Questions marquées «complexity-classes»

Questions sur les relations entre les classes de complexité.

2
Pourquoi croyons-nous que PSPACE ≠ EXPTIME?
J'ai du mal à comprendre intuitivement pourquoi PSPACE est généralement considéré comme différent d'EXPTIME. Si PSPACE est l'ensemble des problèmes résolubles dans le polynôme spatial dans la taille d'entrée f(n)f(n)f(n) , alors comment peut-il y avoir une classe de problèmes qui subissent une plus grande explosion de temps exponentielle et …
4
Generalised 3SUM (k-SUM) problem?
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 …
3
Est implique que?
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 = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}
1
Preuve du théorème de Karp-Lipton
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 . Preuve: Par le théorème 5.4, pour montrer PH …
2
Existe-t-il des classes de complexité établies avec des nombres réels?
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: Étant donné …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.