Hiérarchie polynomiale

Représentation graphique de la hiérarchie polynomiale. Les flèches indiquent l'inclusion.

En théorie de la complexité, la hiérarchie polynomiale est une hiérarchie de classes de complexité qui étend la notion de classes P, NP, co-NP. La classe PH est l'union de toutes les classes de la hiérarchie polynomiale.

Définitions

Il existe plusieurs définitions équivalentes des classes de la hiérarchie polynomiale.

Comme alternance de quantificateurs

On peut définir la hiérarchie à l'aide des quantificateurs universel ($\mathrm{\forall }$) et existentiel ($\mathrm{\exists }$). Tout d'abord, pour tout polynôme $p$, et tout langage $L$, on définit

${\mathrm{\exists }}^{p}L:=\{x\in \{0,1{\}}^{*}|(\mathrm{\exists }w\in \{0,1{\}}^{\le p(|x|)})⟨x,w⟩\in L\}$,

c'est-à-dire que l'ensemble ${\mathrm{\exists }}^{p}L$ contient exactement l'ensemble des mots $x$ pour lesquels il existe un mot $w$ de taille polynomiale en la longueur de x tel que le mot $⟨x,w⟩$est dans $L$. Intuitivement, le mot $w$ joue le rôle d'un certificat pour $x$, certificat relativement petit par rapport à $x$. De la même façon on définit

${\mathrm{\forall }}^{p}L:=\{x\in \{0,1{\}}^{*}|(\mathrm{\forall }w\in \{0,1{\}}^{\le p(|x|)})⟨x,w⟩\in L\}$.

On étend ces définitions aux classes de langages $𝒞$

${\mathrm{\exists }}^{\mathrm{P}}𝒞:=\{{\mathrm{\exists }}^{p}L|p\text{ est un polynome et }L\in 𝒞\}$

${\mathrm{\forall }}^{\mathrm{P}}𝒞:=\{{\mathrm{\forall }}^{p}L|p\text{ est un polynome et }L\in 𝒞\}$

Maintenant, on peut définir les classes de la hiérarchie polynomiale par récurrence de la façon suivante :

${\mathrm{\Sigma }}_0^{\mathrm{P}}:={\mathrm{\Pi }}_0^{\mathrm{P}}:=\mathrm{P}$

${\mathrm{\Sigma }}_{k+1}^{\mathrm{P}}:={\mathrm{\exists }}^{\mathrm{P}}{\mathrm{\Pi }}_k^{\mathrm{P}}$

${\mathrm{\Pi }}_{k+1}^{\mathrm{P}}:={\mathrm{\forall }}^{\mathrm{P}}{\mathrm{\Sigma }}_k^{\mathrm{P}}$

$\mathrm{P}\mathrm{H}=\bigcup _{k\in \mathbb{N}}{\mathrm{\Sigma }}_k^{\mathrm{P}}$

En particulier, $\mathrm{N}\mathrm{P}={\mathrm{\Sigma }}_1^{\mathrm{P}}$ et $\mathrm{c}\mathrm{o}\mathrm{N}\mathrm{P}={\mathrm{\Pi }}_1^{\mathrm{P}}$.

Avec des machines à oracles

La hiérarchie polynomiale est également définissable à l'aide de machine de Turing avec oracle. $A^B$ dénote la classe des problèmes pouvant être décidés par des machines de complexité $A$ augmentées d'un oracle de complexité $B$.

On pose

${\mathrm{\Delta }}_0^P={\mathrm{\Sigma }}_0^P={\mathrm{\Pi }}_0^P=\text{P}$

Puis pour tout i ≥ 0 :

${\mathrm{\Delta }}_{i+1}^P:={\text{P}}^{{\mathrm{\Sigma }}_i^P}$

${\mathrm{\Sigma }}_{i+1}^P:={\text{NP}}^{{\mathrm{\Sigma }}_i^P}$

${\mathrm{\Pi }}_{i+1}^P:={\text{co-NP}}^{{\mathrm{\Sigma }}_i^P}$

Avec des machines alternantes

La hiérarchie polynomiale peut se définir à l'aide de machines de Turing alternantes. ${\mathrm{\Sigma }}_i^P$est la classe des langages décidés par une machine de Turing alternante en temps polynomial, dans laquelle toute exécution est composée de i suites de configurations de même type (existentielles ou universelles), la première suite ne contenant que des configurations existentielles. La définition de ${\mathrm{\Pi }}_i^P$est similaire mais les configurations dans la première suite sont universelles.

Exemples de problèmes

Savoir si une formule de la logique propositionnelle est minimale, c'est-à-dire s'il n'existe pas de formules plus courtes équivalentes, est un problème algorithmique dans ${\mathrm{\Sigma }}_2^P$.

Pour tout $i\ge 1$, le problème ${\mathrm{S}\mathrm{A}\mathrm{T}}_i$, défini comme le problème de satisfabilité booléenne pour les formules propositionnelles en forme prénexe avec $i$ quantificateurs alternant entre $\mathrm{\exists }$ et $\mathrm{\forall }$ et commençant par $\mathrm{\exists }$, est complet pour ${\mathrm{\Sigma }}_i^{\mathrm{P}}$.

Propriétés

Question autour de l'effondrement

Une autre propriété importante, interne à la hiérarchie polynomiale, est la suivante : $\mathrm{\forall }i,{\mathrm{\Sigma }}_i^P={\mathrm{\Pi }}_i^P\Rightarrow {\mathrm{\Sigma }}_i^P=\mathrm{P}\mathrm{H}$, ce qui signifie que si à un niveau $i$ deux classes sont égales, alors toutes les classes « au-dessus » sont égales. On parle alors d’« effondrement de la hiérarchie polynomiale au niveau $i$ ».

On peut par exemple montrer que la hiérarchie polynomiale s'effondre si PH admet un problème complet ou si la hiérarchie booléenne, qu'elle contient, s'effondre. Dans ce dernier cas, elle s'effondre au niveau 3.

Liens avec les autres classes

On a l'inclusion : $\mathrm{P}\mathrm{H}\subseteq \mathrm{P}\mathrm{S}\mathrm{P}\mathrm{A}\mathrm{C}\mathrm{E}$. L'égalité entre PH et PSPACE n'est pas connue, elle impliquerait que la hiérarchie polynomiale s'effondre. En particulier, si $\mathrm{P}=\mathrm{N}\mathrm{P}$, alors $\mathrm{N}\mathrm{P}=\mathrm{c}\mathrm{o}\mathrm{N}\mathrm{P}$, c’est-à-dire ${\mathrm{\Sigma }}_1^P={\mathrm{\Pi }}_1^P$ : la hiérarchie polynomiale s’effondre au niveau 1. On ne pense donc pas que la hiérarchie polynomiale s’effondre au niveau 1 (c’est la question P = NP).

Le théorème de Sipser–Gács–Lautemann énonce que la classe probabiliste BPP est incluse dans le deuxième niveau de la hiérarchie polynomiale : $\mathrm{B}\mathrm{P}\mathrm{P}\subseteq {\mathrm{\Sigma }}_2^P\cap {\mathrm{\Pi }}_2^P$. Les relations entre PH et la classe de complexité quantique BQP ont aussi été étudiées.

Le théorème de Toda énonce que la hiérarchie polynomiale est incluse dans l'ensemble des problèmes résolubles en temps polynomial par une machine de Turing avec oracle pour la classe ♯P : $\mathrm{P}\mathrm{H}\subseteq {\mathrm{P}}^{\mathrm{♯}\mathrm{P}}$. Cet énoncé signifie que la classe de comptage $\mathrm{♯}\mathrm{P}$ est au moins aussi puissante que $\mathrm{P}\mathrm{H}$.

Le théorème de Karp-Lipton énonce que si la classe NP est contenue dans la classe P/poly, alors la hiérarchie polynomiale s'effondre au niveau 2.

Bibliographie

• A. R. Meyer and L. J. Stockmeyer. The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space. In Proceedings of the 13th IEEE Symposium on Switching and Automata Theory, pp. 125–129, 1972. L'article qui a introduit la hierarchie.
• L. J. Stockmeyer. The polynomial-time hierarchy. Theoretical Computer Science, vol.3, pp. 1–22, 1976.
• Modèle:Computational Complexity (Papadimitriou) Chap. 17. Polynomial hierarchy, pp. 409–438.
• Modèle:Ouvrage.
• Modèle:Computational Complexity (Arora et Barak)
• Modèle:Ouvrage, chapitre 8 : la hiérarchie polynomiale.

Lien externe

• Modèle:Complexity Zoo

Voir aussi

• Hiérarchie booléenne
• NP
• PSPACE