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...
Si nous regardons le théorème de la hiérarchie DTIME, nous avons un journal en raison de la surcharge dans la simulation d'une machine de Turing déterministe par une machine universelle: DTIME(flogf)⊊DTIME(f)DTIME(flogf)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Nous n'avons pas ce genre...
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...
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 ....
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...
Les méthodes polynomiales , par exemple Nullstellensatz combinatoire et le théorème de Chevalley-Warning sont des outils puissants en combinatoire additive. En représentant un problème avec des polynômes appropriés, ils peuvent garantir l'existence d'une solution ou le nombre de solutions aux...
Il y avait deux questions posées récemment sur cs.se qui étaient liées ou avaient un cas spécial équivalent à la question suivante: Supposons que vous ayez une séquence de n nombres tels que ∑ n i = 1 a i = n ( n + 1 ) . Décomposer en la somme de deux permutations, π et σ , de 1 … n , de sorte que...
Il est facile de voir que l' isomorphisme graphique (GI) est en NP. C'est un problème ouvert majeur si l'IG est en coNP. Existe-t-il des candidats potentiels aux propriétés des graphiques qui peuvent être utilisés comme certificats IG de coNP? Des conjectures impliquant ? Quelles sont les...
Soit un problème (de décision) dans NP et soit # sa version de comptage.XXXXXX Dans quelles conditions sait-on que "X est NP-complet" "#X est # P-complet"?⟹⟹\implies Bien sûr, l'existence d'une réduction parcimonieuse est une de ces conditions, mais c'est évident et la seule de ces conditions que...
Il est bien connu par le théorème de Ladner que si , alors il existe une infinité de problèmes -intermediate ( ). Il existe également des candidats naturels pour ce statut, tels que l'isomorphisme graphique, et un certain nombre d'autres, voir Problèmes entre P et NPC . Néanmoins, la grande...
Supposons que P = NP soit vrai. Y aurait-il alors une application pratique à la construction d'un ordinateur quantique, telle que la résolution plus rapide de certains problèmes, ou une telle amélioration serait-elle sans pertinence étant donné que P = NP est vrai? Comment caractériseriez-vous...
Le récent résultat de la borne inférieure de la complexité du circuit de Ryan Williams fournit une technique de preuve qui utilise le résultat de la borne supérieure pour prouver la complexité des bornes inférieures. Suresh Venkat dans sa réponse à cette question, Y a-t-il des résultats...
En une phrase: l'existence d'une hiérarchie pour impliquerait-elle des résultats de dérandomisation?BPTIMEBPTIME\mathsf{BPTIME} Une question connexe mais plus vague est: l'existence d'une hiérarchie pour implique-t-elle des limites inférieures difficiles? La résolution de ce problème heurte-t-elle...
Soit une fonction booléenne et considérons f comme une fonction de à . Dans ce langage, l'expansion de Fourier de f est simplement l'expansion de f en termes de monômes libres carrés. (Ces monômes forment une base pour l'espace des fonctions réelles sur . La somme des carrés des coefficients est...
Le théorème de Valiant-Vazirani dit que s'il existe un algorithme polynomial de temps (déterministe ou aléatoire) pour distinguer entre une formule SAT qui a exactement une affectation satisfaisante et une formule insatisfaisante - alors NP = RP . Ce théorème est prouvé en montrant que UNIQUE-SAT...
On que car l'inverse impliquerait . Le théorème de Ladner établit que si alors . Cependant, la preuve ne semble pas généraliser à donc la possibilité ie semble ouvert.NP⊈P/polyNP⊈P/poly\mathsf{NP} \nsubseteq \mathsf{P}/\text{poly}PH=Σ2PH=Σ2\mathsf{PH} = \Sigma_2P≠NPP≠NP\mathsf{P} \ne...
Est-il judicieux de considérer une catégorie de tous les problèmes NP-complets, avec des morphismes comme des réductions de poly-temps entre différentes instances? Quelqu'un a-t-il déjà publié un article à ce sujet, et si oui, où puis-je le
Tout d'abord, je m'excuse d'avance pour toute stupidité. Je ne suis en aucun cas un expert en théorie de la complexité (loin de là! Je suis un étudiant de premier cycle qui suit mon premier cours de théorie de la complexité) Voici ma question. Le théorème de Savitch indique maintenant que...
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...
Considérons le problème 3-SAT sur n variables. Le nombre de clauses distinctes possibles est le suivant: C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Le nombre de cas de problème est le nombre de tous les...