Fixe un entier nnn et un alphabet Σ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\} . Définissez D FA ( n )DFA(n)DFA(n) comme la collection de tous les automates à états finis sur nnn états avec l'état de départ 1. Nous considérons tous les DFA (pas seulement ceux connectés, minimaux ou non dégénérés); ainsi |...
Remarque: il s'agit du puzzle sudoku 9x9 standard. La solution ne doit prendre en charge que des énigmes juridiques résolues . Ainsi, une solution n'a pas besoin de prendre en charge les cellules vides et peut s'appuyer sur les propriétés d'un puzzle sudoku résolu. Je me posais la question, mais je...
Soit un polynôme de degré d dans n variables sur F 2 , où d est constant (disons 2 ou 3). Je voudrais trouver la plus petite formule pour f , où «formule» et «taille de formule» sont définies de manière évidente (par exemple, la plus petite formule pour le polynôme x 1 x 2 + x 1 x 3 est x 1 ( x 2 +...
La complexité du préfixe de Kolmogorov (c'est-à-dire que est la taille du programme d'auto-délimitation minimal qui génère ) a plusieurs fonctionnalités intéressantes:xK( x )K(x)K(x)Xxx Cela correspond à une intuition de donner aux chaînes avec des motifs ou une structure une complexité inférieure...
Existe-t-il des exemples de jouets qui fournissent des informations «essentielles» sur la compréhension des trois obstacles connus au problème P= NPP=NPP = NP - la relativisation, les preuves naturelles et
Supposons que j'ai un poset "S" et un prédicat monotone "P" sur S. Je veux trouver un ou tous les éléments maximaux de S satisfaisant P. EDIT : Je suis intéressé à minimiser le nombre d' évaluations de P . Quels algorithmes existent pour ce problème et quelles propriétés et opérations...
Je me demandais s'il y avait un `` meilleur '' algorithme (j'expliquerai dans quel sens) pour partir d'un DFA et construire une expression régulière r telle que L ( A ) = L ( r ) , que celle du livre de Hopcroft et Ullman (1979). Dans ce document, les ensembles R k i j sont utilisés pour...
Je présentais une conférence sur le tri des crêpes et j'ai mentionné que: Le tri par inversions est NP-difficile « signé » le tri par inversions est en P . Ce qui m'a fait réfléchir. Il y a un sens dans lequel le tri "signé" est "dirigé" - vous pouvez voir le signe comme une direction (et en fait,...
NC-Log-space-uniform est contenu dans un espace polylogue déterministe (parfois écrit PolyL). Le RNC à espace de log uniforme est-il également dans cette classe? La version standard randomisée de PolyL devrait être en PolyL, mais je ne vois pas que RNC (uniforme) est en randomL-PolyL. La difficulté...
Je cherche de bons exemples, où le phénomène suivant se produit: (1) Un problème algorithmique semble difficile, si vous voulez le résoudre en travaillant à partir des définitions et en utilisant uniquement les résultats standard. (2) En revanche, cela devient facile, si vous connaissez certains...
Dans son livre, Boolean Function Complexity, Stasys Jukna mentionne (page 564) que Kolmogorov croyait que chaque langue en P avait des circuits de taille linéaire. Aucune référence n'est mentionnée et je n'ai rien trouvé en ligne. Quelqu'un en sait-il plus
Il existe plusieurs algorithmes qui décident en temps polynomial si un graphique peut être dessiné dans le plan ou non, même beaucoup avec un temps d'exécution linéaire. Cependant, je n'ai pas trouvé d'algorithme très simple que l'on pourrait expliquer facilement et rapidement en classe et qui...
J'étudie récemment Haskell et les langages de programmation. Quelqu'un pourrait-il recommander des livres sur la théorie des
La question sur la théorie " Qu'est-ce que NP est limité aux témoins de taille linéaire? " Demande à propos de la classe NP limitée aux témoins de taille linéaire O ( n )O(n)O(n) , mais Existe-t-il des problèmes naturels NP-complets dans lesquels (oui) les instances de taille nécessitent des...
Dans cet article de wikipedia sur l'exhaustivité de Turing, il déclare que: Le calcul lambda non typé est Turing complet, mais de nombreux calculs lambda typés, y compris le système F, ne le sont pas. La valeur des systèmes dactylographiés est basée sur leur capacité à représenter la plupart des...
Pourquoi le "tri topologique" est-il appelé "topologique"? Est-ce simplement parce qu'il détermine une commande sans altérer les sommets ou les bords - comme un beignet et une tasse de café sont topologiquement équivalents? Pourquoi n'est-il pas appelé "tri par dépendance" ou autre chose? Pourquoi...
Fixons un codage sans préfixe des machines de Turing et une machine de Turing universelle qui en entrée (codée comme le code sans préfixe de suivi de ) sort quelles que soient sorties sur l'entrée (éventuellement les deux fonctionnant pour toujours). Définissez la complexité de Kolmogorov de , ,...
Nous savons que (voir, par exemple, les théorèmes 1 et 3 de [1]), en gros, dans des conditions appropriées, des fonctions qui peuvent être efficacement calculées par la machine de Turing en temps polynomial ("efficacement calculable") peuvent être exprimées par des réseaux de neurones polynomiaux...
La parité-L est l'ensemble des langages reconnus par une machine de Turing non déterministe qui ne peut distinguer qu'un nombre pair ou un nombre impair de chemins "d'acceptation" (plutôt qu'un nombre nul ou non nul de chemins d'acceptation), et qui est en outre limité à travailler dans l'espace...
Vous pouvez souvent trouver des méthodes de plan de coupe, de propagation variable, de branchement et de limite, d'apprentissage de clause, de retour en arrière intelligent ou même d'heuristique humaine tissée à la main dans les solveurs SAT. Pourtant, pendant des décennies, les meilleurs solveurs...