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,QPQPQ

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 .CCC=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 .CCCCC CC=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?PPP=PBPPBPP=BPPBQPBQP=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 ?C N P C C CC CNPNPNPCNPCCCCC


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

Réponses:



11

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

Apparemment, selon Wikipedia , nous avons , B P P B P P = B P P , P S P A C E P S P A C E = P S P A C E ,PP=PBPPBPP=BPPPSPACEPSPACE=PSPACE , etP P = P . Voir aussiQu'est-ce que la classe de complexitéPLL=LPP=PPP , qui observe que.PP=P

De plus, si , alors C est fermé sous complément. Il est donc peu probable que N P N P = N P : cela impliquerait que NCC=CCNPNP=NP , ce qui semble peu probable. Il ressemble à la plus petite classe de complexité plausible qui contient N P est P H (voirWikipedia).NP=co-NPNPPH

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


4
Si alors la hiérarchie polynomiale effondrements au niveau 1, soit Σ P 2 = N P . Ce n'est généralement pas le cas (mais c'est un problème ouvert). Si N P C et C CC , alors N P N PC et par induction CNPNP=NPΣ2P=NPNPCCCCNPNPCC contient la hiérarchie polynomiale.
András Salamon

6

Une classe de complexité est appelée self-low précisément lorsqueC . 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.CC=C


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é.

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.