Dans cette question, une formule 3CNF signifie une formule CNF où chaque clause implique exactement trois variables distinctes . Pour un 0 < s <1 constant , Gap-3SAT s est le problème de promesse suivant: Gap-3SAT de l' instance : A 3CNF formule de φ. Oui-promesse : φ est satisfaisable. …
Laisser L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (où nnn est considéré comme codé en binaire). Que dire alors de la complexité de calcul de ? Il est clair …
La connectivité ST est le problème de déterminer s'il existe un chemin dirigé entre deux sommets distincts et t dans un graphe dirigé G ( V , E ) . La question de savoir si ce problème peut être résolu dans l'espace de journalisation est un problème ouvert de longue …
Il y a des tonnes de problèmes NP-complets et des sources qui les collectent, par exemple, voir le livre de Garey et Johnson. Je serais également intéressé de voir une liste des problèmes NEXP-complete. Y en a-t-il un disponible? Comme je suppose qu'il n'y en a pas, j'ouvre cette question …
Dans ce billet d'invité de Josh Grochow sur le blog de complexité, il rend compte d'un récent atelier consacré au GCT qui s'est tenu à Princeton en juillet. Plusieurs des participants ont fait valoir que nous devrions utiliser GCT pour attaquer des problèmes plus faciles que vs N P afin …
J'étais (et je suis toujours) vraiment intéressé par la réponse à cette question, car il s'agit d'une variation intéressante sur la complexité des jeux qui n'a pas été résolue, alors j'ai offert une prime. Je pensais que la question d'origine était très probablement trop difficile, alors j'ai posté trois questions …
J'ai pensé partager cette question car elle pourrait être intéressante pour d'autres utilisateurs ici. Supposons qu'une fonction qui est dans une classe uniforme (comme ) se trouve également dans une petite classe non uniforme (comme , c'est-à-dire non uniforme ), cela implique-t-il que la fonction est contenue dans une classe …
Décider si une formule booléenne quantifiée telle que ∀ x1∃ x2∀ x3⋯ ∃ xnφ ( x1, x2, … , Xn) ,∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), évalue toujours à true est un problème classique PSPACE-complete. Cela peut être considéré comme un jeu entre deux …
Définir ioioio - SUBEXPSUBEXPSUBEXP comme étant la classe de langues LLL telle qu'il existe une langue L′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}}) et pour une infinité de nnn , LLL et L′L′L' accord sur toutes les instances de longueur nnn . (C'est-à-dire que c'est la classe de langages qui peut …
Non - déterminisme Borné associe une fonction avec une classe C des langues acceptées par les machines de Turing déterministe borné ressources, pour former une nouvelle classe g - C . Cette classe se compose des langages acceptés par une machine de Turing non déterministe M obéissant aux mêmes limites …
Quelles seraient les conséquences désagréables de NP = PSPACE? Je suis surpris de n'avoir rien trouvé à ce sujet, étant donné que ces cours sont parmi les plus célèbres. En particulier, cela aurait-il des conséquences sur les classes inférieures?
Citant Wikipedia , "[Le jeu de la vie de Conway] a le pouvoir d'une machine de Turing universelle: c'est-à-dire que tout ce qui peut être calculé de manière algorithmique peut être calculé dans le jeu de la vie de Conway." Ces résultats s'étendent-ils aux versions bruyantes de Game of Life …
De nombreux experts pensent que la conjecture est vraie et l'utilisent dans leurs résultats. Ma préoccupation est que la complexité dépend fortement de la conjecture .P ≠ N PP≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Ma question est donc: Tant que la conjecture n'est pas prouvée, peut-on / doit-on la considérer comme …
Tout nombre naturel peut être considéré comme une séquence de bits, donc la saisie d'un nombre naturel est la même que la saisie d'une séquence 0-1, donc des problèmes NP-complets avec des entrées naturelles existent évidemment. Mais y a-t-il des problèmes naturels, c'est-à-dire ceux qui n'utilisent pas d'encodage et d'interprétation …
Je voudrais trouver un algorithme de temps polynomial qui détermine si la durée d'un ensemble donné de matrices contient une matrice de permutation. Si quelqu'un sait si ce problème est d'une classe de complexité différente, ce serait tout aussi utile. EDIT: J'ai étiqueté cette question avec la programmation linéaire, car …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.