Questions sur les relations entre les classes de complexité.
Le problème 3SUM essaie d'identifier 3 entiersa , b , cune,b,ca,b,cSSSnnna + b + c = 0une+b+c=0a + b + c = 0 On suppose qu'il n'y a pas de meilleure solution que quadratique, c'est-à-dire o ( n2)o(n2)\mathcal{o}(n^2)o (nlog( n ) + n2)o(nbûche(n)+n2)\mathcal{o}(n \log(n) + n^2) Je me demandais donc...
Si quelqu'un devait construire un ordinateur quantique universel, cela aurait-il des implications sur le problème de P contre
Cette question a été migrée à partir de la bourse théorique de l'informatique, car elle peut être répondue sur la bourse de la science informatique. Migré il y a 7 ans . Dans cet article de Wikipédia sur le problème de la clique dans la théorie des graphes, il déclare au début que le problème de...
Est-il possible que et la cardinalité de soit la même que la cardinalité de ? Ou signifie-t-il que et doivent avoir des cardinalités différentes?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not =
Soit A à B réductibles, par exemple, . Par conséquent, la machine de Turing accepter a accès à un oracle pour . Soit la machine de Turing acceptant soit et l'oracle de soit . Les types de réductions:A B A M A B O BA ≤ BUNE≤BA \leq BUNEUNEABBBUNEUNEAMUNEMUNEM_{A}BBBOBOBO_{B} Réduction de Turing:...
Je lisais une question sur Stack Overflow demandant si c'était NP- difficile de lister tous les cycles simples dans un graphique contenant un nœud particulier et il m'est venu à l'esprit que je ne pouvais penser à aucune classe de complexité existante qui était bien adaptée pour parler de problèmes...
J'essaie de comprendre la preuve du théorème de Karp-Lipton comme indiqué dans le livre "Computational Complexity: A modern approach" (2009). En particulier, ce livre déclare ce qui suit: Théorème de Karp-Lipton Si NP ⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} , alors PH =Σp2=Σ2p= \Sigma^p_2 ....
J'ai un certain nombre de questions connexes sur ces deux sujets. Tout d' abord, la plupart des textes de complexité de brillant que sur la classe . Existe-t-il une bonne ressource qui couvre la recherche de manière plus approfondie? Par exemple, quelque chose qui traite de toutes mes questions...
Un étudiant m'a récemment demandé de vérifier une preuve de dureté NP pour eux. Ils ont effectué une réduction selon: Je réduit ce problème P′P′P' qui est connu pour être NP-complet à mon problème PPP (avec une réduction poly-temps multiple), donc PPP est NP-dur. Ma réponse était essentiellement:...
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. Ma compréhension...
D'après ce que j'ai lu dans le preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Voici la définition PTAS : Un schéma d'approximation polynomiale du temps ( PTAS ) pour le...
Que signifie la classe de complexité ? Je sais que ⊕ P est la classe de complexité qui contient les langages A pour lesquels il existe une machine de Turing polynomiale à temps non déterministe M telle que x ∈ A si le nombre d'états accepteurs de la machine M sur l'entrée x est impair.⊕ P⊕...
Je me demande cela en se basant sur plusieurs endroits en ligne qui appellent co- un problème ouvert majeur ... mais je ne trouve aucune indication quant à savoir si c'est la même chose que Problème ...N P P = N PNP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf
Je suis curieux de savoir s'il existe des problèmes complets dans la classe de complexité Arthur-Merlin. Le graphique de non-isomorphisme (GNI) semble être l'exemple canonique d'un problème en AM, mais ce n'est probablement pas complet. Je suppose que je me demande aussi si un problème "complet"...
Si je comprends bien, le problème d'affectation est en P car l'algorithme hongrois peut le résoudre en temps polynomial - O (n 3 ). Je comprends également que le problème d'affectation est un problème de programmation linéaire entier , mais la page Wikipedia indique que c'est NP-Hard. Pour moi,...
Le problème de décision Étant donné une formule booléenne , ϕ a-t-il exactement une affectation satisfaisante?ϕϕ\phiϕϕ\phi peut être vu comme étant en , U P -hard et c o N P -hard. En sait-on plus sur sa
Existe-t-il un moyen simple de comprendre pourquoi NP est dans EXPTIME? Il me semble a priori concevable qu'il pourrait y avoir un problème qui nécessite un temps super-exponentiel à résoudre, mais dont la solution pourrait être vérifiée en temps
Tout le monde connaît "Garey & Johnson", qui est ma référence à chaque fois que j'ai besoin d'un problème de transformation pour une preuve de dureté NP. Cependant, j'ai récemment eu besoin d'une preuve de dureté APX, et je me demande s'il existe une collection similaire (et plus à jour ..?) De...
Soit un problème de comptage connu pour être # -Complete .PΠΠ\PiPPP Cela implique-t-il que est -hard (c'est-à-dire qu'il n'y a pas de PTAS pour le problème sauf si )?A P X P = N
J'aimerais vraiment votre aide pour prouver ce qui suit. Si alors .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Ici, est la classe de toutes les langues qui peut être décidée par la machine de Turing non...