Classes de complexité où

21

Une motivation possible pour étudier les classes de complexité de calcul est de comprendre la puissance de différents types de ressources de calcul (caractère aléatoire, non-déterminisme, effets quantiques, etc.). Si nous le regardons sous cet angle, il semble que nous pouvons obtenir un axiome plausible pour toute tentative de caractériser les calculs réalisables dans un modèle:

Tout calcul réalisable peut toujours invoquer un autre calcul réalisable comme sous-programme. En d'autres termes, supposons que les programmes sont considérés comme réalisables. Ensuite, si nous construisons un nouveau programme en raccordant et , de sorte que fasse des appels de sous-programme à , alors ce nouveau programme est également réalisable. $P,Q$ $P$ $Q$ $P$ $Q$

Traduit dans le langage des classes de complexité, cet axiome revient à l'exigence suivante:

Si est une classe de complexité destinée à la capture qui calculs sont réalisables dans certains modèles, nous devons avoir . $C$ $C^C = C$

(Ici représente les calculs en qui peut invoquer un oracle de ,. Qui est une classe de complexité oracle) Donc, nous allons appeler une classe de complexité plausible si elle satisfait . $C^C$ $C$ $C$ $C$ $C^C=C$

Ma question: de quelles classes de complexité connaissons-nous, qui sont plausibles (par cette définition de plausible)?

Par exemple, est plausible, puisque . Avons-nous ? Qu'en est-il de ? Quelles sont les autres classes de complexité qui répondent à ce critère? $P$ $P^P=P$ $BPP^{BPP} = BPP$ $BQP^{BQP} = BQP$

Je soupçonne que (ou du moins, ce serait notre meilleure estimation, même si nous ne pouvons pas le prouver). Existe-t-il une classe de complexité qui capture le calcul non déterministe et qui est plausible, selon cette définition? Si nous laissons désigner la plus petite classe de complexité telle que et , existe-t-il une caractérisation nette de ce ? $NP^{NP} \ne NP$ $C$ $NP \subseteq C$ $C^C \subseteq C$ $C$

complexity-theory oracle-machines

— DW
source

1

Voir ceci , ceci et cela sur l' informatique théorique - vous devez être prudent.

— András Salamon

OK, @ AndrásSalamon, merci pour l'avertissement et les références! Pouvez-vous m'aider à déterminer comment formuler mon problème avec la prudence appropriée? Avez-vous des suggestions? Ou, si la réponse dépend de la formulation, pouvez-vous expliquer quelle réponse nous obtiendrions avec différentes formulations?

— DW

Constante ^ Constante = Constante.

— Joshua

13

a été prouvé dansForces et faiblesses de l'informatique quantiqueBennett et al. (arXiv). $\mathrm{BQP}^{\mathrm{BQP}} = \mathrm{BQP}$

Selon la complexité de zoo, . $\mathrm{ZBQP}^{\mathrm{ZBQP}} = \mathrm{ZBQP}$

— néophyte
source

11

Voici quelques réponses à certaines des questions, mais certainement pas toutes:

Apparemment, selon Wikipedia , nous avons , , , $P^P=P$ $BPP^{BPP}=BPP$ $PSPACE^{PSPACE}=PSPACE$ , et . Voir aussiQu'est-ce que la classe de complexité $L^L=L$ $\oplus P^{\oplus P} = \oplus P$ $\oplus P^{\oplus P}$ , qui observe que. $\oplus P^{\oplus P} = \oplus P$

De plus, si , alors est fermé sous complément. Il est donc peu probable que : cela impliquerait que $C^C=C$ $C$ $NP^{NP}=NP$ , ce qui semble peu probable. Il ressemble à la plus petite classe de complexité plausible qui contient est (voirWikipedia). $NP=\textit{co-}NP$ $NP$ $PH$

Je ne sais pas quelle est la situation avec . Je ne sais pas s'il existe d'autres exemples intéressants de classes de complexité plausibles. $BQP$

— DW
source

4

Si

alors la hiérarchie polynomiale effondrements au niveau 1, soit

. Ce n'est généralement pas le cas (mais c'est un problème ouvert). Si

et

, alors

et par induction

N P^{N P} = N P

$NP^{NP} = NP$

Σ_{2}^{P} = N P

$\Sigma_2^P = NP$

N P \subseteq C

$NP \subseteq C$

C^{C} \subseteq C

$C^C \subseteq C$

N P^{N P} \subseteq C

$NP^{NP} \subseteq C$

C

$C$ contient la hiérarchie polynomiale.

— András Salamon

6

Une classe de complexité est appelée self-low précisément lorsque $C$ . En général, la "lowness" a été beaucoup étudiée dans les années 80 et 90 - Google en découvrira beaucoup pour vous. $C^C = C$

— Ryan Williams
source

2

Pouvez-vous donner quelques exemples?

— Ryan

Il y a des exemples parmi les autres réponses ci-dessus: P, BPP, etc.

— Ryan Williams

1

D'accord, mais avez-vous pu en trouver qui n'ont pas été mentionnés auparavant?

— Ryan

4

Ce commentaire répertorie L (espace de journal), NC (profondeur de polylog), P, BPP, BQP et PSPACE comme exemples de classes à faible complexité.

— tparker
source