Si P = N PP=NP\mathbf{P} = \mathbf{NP} , alors L = N LL=NL\mathbf{L} = \mathbf{NL} ? Je pose cette question parce que, pour d'autres classes non déterministes, il semble que P = N PP=NP\mathbf{P} = \mathbf{NP} établit toujours qu'elles sont égales à leurs homologues
Je sais que les langages qui peuvent être définis à l'aide d'expressions régulières et ceux reconnaissables par DFA / NFA (automates finis) sont équivalents. De plus, aucun DFA n'existe pour la langue . Mais il peut encore être écrit en utilisant des expressions régulières (pour cette question...
Étant donné un ensemble de points et un rayon . Quelle est la complexité de trouver le point avec un plus grand nombre de points à une distance inférieure à . Par exemple, celui qui maximise ?x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni = 11∥ x - xje∥ ≤ r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n...
Wikipedia dit que l'union par rang sans compression de chemin donne une complexité temporelle amortie de , et que l'union par rang et la compression de chemin donnent une complexité temporelle amortie de (où est le inverse de la fonction Ackerman). Cependant, il ne mentionne pas le temps...
Je veux comprendre la théorie des types mais je dois d'abord savoir comment l'appliquer. Pourrait-il y avoir des applications plus évidentes de la théorie des types en dehors des systèmes de types en programmation? Pourrait-il y avoir d'autres applications, disons dans le profilage de personnalité...
Les Self Types sont une extension du Calcul des constructions [1] qui permettent au langage d'exprimer des types de données algébriques encodés par le Scott Encoding. Le Scott Encoding offre une possibilité de correspondance de motifs O(1), qui est l'un des principaux facteurs de motivation pour...
J'apprends à convertir des NFA en DFA et je veux m'assurer de bien faire les choses. Évidemment, revenir dans l'autre sens n'est pas une chose. Quelqu'un connaît-il un algorithme pour vérifier qu'un DFA est équivalent à un
Avertissement: je sais qu'il y a déjà des questions de sondage similaires ici et sur Stackoverflow. Mais ce sont toutes des collisions, ce qui n'est pas ce que je demande. Ma question est: pourquoi est par collision moins lookup O(1)en premier lieu? Supposons que j'ai cette table de hachage: Hash...
J'ai essayé de déterminer si le problème d'arrêt est décidable pour les automates cellulaires unidimensionnels à 3 symboles. Définition Soit f(w,i)f(w,i)f(w,i) la configuration du système au pas de temps . Plus formellement , où est l'alphabet.iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA...
D'après ma lecture, il semble que la plupart des grammaires se préoccupent de générer un nombre infini de chaînes. Et si vous travailliez dans l'autre sens? Si on donne n chaînes de m longueur, il devrait être possible de faire une grammaire qui générera ces chaînes, et juste ces chaînes....
J'implémente un algorithme Naive Bayes pour la catégorisation de texte avec lissage laplacien. Le problème que j'ai est que la probabilité approche de zéro parce que je multiplie de nombreuses petites fractions. Par conséquent, la probabilité donne finalement zéro. En effet, il y a plusieurs mots...
J'ai écrit ce code Python et je me suis demandé s'il ne se terminait pas simplement parfois (en supposant que nous avions une mémoire / temps infinie et aucune limite de profondeur de récursivité). Intuitivement, vous penseriez qu'il se termine, car à un moment donné, vous devez avoir de la chance...
De cette référence: Positivité stricte La stricte condition de positivité exclut les déclarations telles que data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Pourquoi A est-il négatif? Aussi pourquoi B est-il autorisé? Je comprends pourquoi C est...
J'ai récemment découvert la structure des données du rosier, mais en partant d'une datadéfinition de Haskell et de la minuscule description de Wikipédia , j'ai du mal à comprendre quelles applications un rosier pourrait avoir. Pour référence, la datadéfinition de Haskell : data RoseTree a =...
Je ne connais pas la terminologie correcte pour poser cette question, donc je vais la décrire avec beaucoup de mots à la place, supportez-moi. Contexte , juste pour que nous soyons sur la même longueur d'onde: les programmes contiennent souvent des caches - un compromis temps / mémoire. Une erreur...
Je veux fournir des preuves pour des parties d'un programme Haskell que j'écris dans le cadre de ma thèse. Jusqu'à présent cependant, je n'ai pas réussi à trouver un bon ouvrage de référence. Le livre d'introduction de Graham Hutton, Programming in Haskell ( Google Books ) - que j'ai lu tout en...
Cette preuve est une preuve par induction, et va comme suit: P (n) est l'affirmation selon laquelle "Tri rapide trie correctement chaque tableau d'entrée de longueur n". Cas de base: chaque tableau d'entrée de longueur 1 est déjà trié (P (1) tient) Étape inductive: fixer n => 2. Fixer un tableau...
J'essaie de m'enseigner l'informatique quantique, et j'ai une compréhension décente de l'algèbre linéaire. Je suis passé par la porte NOT, ce qui n'était pas trop mal, mais je suis arrivé à la porte Hadamard. Et je suis resté coincé. Principalement parce que si je "comprends" les manipulations, je...
J'ai appris aujourd'hui que l'analyse d'algorithme diffère en fonction du modèle de calcul. C'est quelque chose auquel je n'ai jamais pensé ni entendu parler. Un exemple qui m'a été donné, qui l'a illustré davantage, par l'utilisateur @chi était: Par exemple, considérons la tâche: étant donné...
Considérez une machine à états finis comme d'habitude, mais à chaque transition, elle peut également mettre à jour un compteur entier en ajoutant ou en soustrayant un nombre. Disons, une fonction de transition de la forme passe au nouvel état p et ajoute k au compteur, où k ∈ Z (donc k peut être...