L'informatique

3

P, NP et machines de Turing spécialisées

Je suis en quelque sorte nouveau, mais très intéressé par le domaine de l'informatique et de la théorie de la complexité, et je veux clarifier ma compréhension de la façon de classer les problèmes et de la façon dont les problèmes sont liés à la machine utilisée pour les résoudre. …

13 complexity-theory computability terminology turing-machines complexity-classes

1

Des parois cellulaires dans le jeu de la vie de Conway?

Existe-t-il des structures robustes dans Game of Life de Conway ? Par exemple, quelqu'un a-t-il construit un vaisseau spatial avec un bouclier qui absorbe tous les petits oscillateurs et planeurs avec lesquels il entre en collision?

13 cellular-automata

7

Peut-on dire que DFA est plus efficace que NFA?

Je viens de commencer à lire sur la théorie du calcul. Si nous comparons ce qui est le plus puissant (en acceptant des chaînes), les deux sont identiques. Mais qu'en est-il de l'efficacité? DFA sera rapide par rapport à NFA, car il n'a qu'un seul bord sortant et il n'y …

13 finite-automata efficiency nondeterminism

4

Algorithmes calculant si un nombre est multiple de 3

En faisant du calcul mental, on peut faire: Étant donné un entier k, additionnez tous les chiffres (en base 10), et si le résultat est un multiple de 3, alors k est un multiple de 3. Connaissez-vous un algorithme fonctionnant de manière similaire mais fonctionnant sur des chiffres binaires (bits)? …

13 algorithms

3

Prouver P = NP sans instructions mathématiques / programme informatique

Ceci est mon premier article après avoir été un utilisateur passif depuis un certain temps maintenant. Je voudrais poser quelques questions si vous le permettez. Je ne suis pas mathématicien mais ma question concerne le domaine des mathématiques / informatique. En particulier, le problème P vs NP. Je suis conscient …

13 complexity-theory p-vs-np

1

Conséquences algorithmiques de la formule algébrique pour la fonction de partition?

Bruinier et Ono ont trouvé une formule algébrique pour la fonction de partition , qui a été largement rapportée comme une percée. Je n'arrive pas à comprendre l'article, mais cela a-t-il des conséquences algorithmiques pour un calcul rapide de la fonction de partition?

13 algorithms complexity-theory number-theory

4

Réduction transitive du DAG

Je recherche l'algorithme O (V + E) pour trouver la réduction transitive avec un DAG. C'est-à-dire supprimer autant d'arêtes que possible de sorte que si vous pouviez atteindre v à partir de u, pour v et u arbitraires, vous puissiez toujours atteindre après suppression des bords. S'il s'agit d'un problème …

13 algorithms graphs dag

3

Quelle est l'origine du modèle client-serveur?

Je me demandais si quelqu'un connaissait l'origine du modèle client-serveur. D'où vient le terme (papier, application logicielle, livre)?

13 terminology reference-request distributed-systems history

1

qu'est-ce que la sémantique?

Il existe de nombreuses langues populaires. Mais, les informaticiens nous disent que pour comprendre le comportement des programmes dans ces langues argumenter définitivement et sans ambiguïté sur le comportement du programme (par exemple prouver leur identité), nous devons les traduire dans un autre langage bien compris. Ils appellent ce langage …

13 formal-languages semantics

1

Existe-t-il une structure de données pour les semi-réseaux similaire à une structure de données arborescente?

Si nous considérons un arbre comme un ensemble ordonné partiel, il devient un cas particulier de jointure-semi-réseau. Pour un joint-semi-réseau, nous voulons être capables de calculer la limite supérieure (unique) la moins haute de deux éléments (plus ou moins) efficacement. Dans le cas d'un arbre, une structure de données qui …

13 data-structures lattices

2

Complexité temporelle d'une boucle triple imbriquée

Veuillez considérer la boucle triple imbriquée suivante: for (int i = 1; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) // statement L'instruction ici est exécutée exactement n(n+1)(n+2)6n(n+1)(n+2)6n(n+1)(n+2)\over6 fois. Quelqu'un pourrait-il expliquer comment cette formule a …

13 algorithms time-complexity algorithm-analysis

2

Les fonctions non calculables deviennent-elles asymptotiquement plus grandes?

J'ai lu sur les nombres de castors occupés et comment ils deviennent asymptotiquement plus grands que n'importe quelle fonction calculable. Pourquoi cela est-il ainsi? Est-ce à cause de la non-calculabilité de la fonction castor occupé? Dans l'affirmative, toutes les fonctions non calculables deviennent-elles asymptotiquement plus grandes que les fonctions calculables? …

13 computability asymptotics

1

Lissage dans le modèle Naive Bayes

Un prédicteur Naive Bayes fait ses prédictions en utilisant cette formule: P( O= y| X= x ) = α P( O= y) ∏jeP( Xje= xje| Oui= y)P(Oui=y|X=X)=αP(Oui=y)∏jeP(Xje=Xje|Oui=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) où est un facteur de normalisation. Cela nécessite d'estimer les paramètres partir des données. Si nous faisons cela avec …

13 machine-learning probability-theory statistics

1

Obtention d'éléments parallèles dans la résolution des dépendances

J'ai implémenté un tri topologique basé sur l'article Wikipedia que j'utilise pour la résolution des dépendances, mais il renvoie une liste linéaire. Quel type d'algorithme puis-je utiliser pour trouver les chemins indépendants?

13 algorithms graphs parallel-computing scheduling

2

Les fonctions d'ordre supérieur fournissent-elles plus de puissance à la programmation fonctionnelle?

J'ai posé une question similaire sur cstheory.SE . Selon cette réponse sur Stackoverflow, il existe un algorithme qui, sur un langage de programmation fonctionnel pur non paresseux, a une complexité , tandis que le même algorithme en programmation impérative est Ω ( n ) . Ajouter la paresse au langage …

13 complexity-theory lambda-calculus functional-programming turing-completeness