Loading AI tools
classe de complexité De Wikipédia, l'encyclopédie libre
En informatique théorique, plus précisément en théorie de la complexité, la classe RP (Randomized Polynomial time) est la classe de complexité des problèmes de décision pour lesquels il existe une machine de Turing probabiliste, en temps polynomial, qui refuse toutes les instances négatives et accepte les instances positives avec une probabilité supérieure à 1/2.
La classe RP est l'ensemble des problèmes, ou de façon équivalente des langages, pour lesquels il existe une machine de Turing probabiliste en temps polynomial qui satisfait les conditions d'acceptation suivantes :
On dit que la machine « ne se trompe que d'un côté »[réf. nécessaire].
Pour un polynôme en la taille de l'entrée , on définit , l'ensemble des langages pour lesquels il existe une machine de Turing probabiliste , en temps , telle que pour tout mot :
Alors on peut définir RP comme : .
La constante 1/2 est en fait arbitraire, on peut choisir n'importe quel nombre (constant) entre 0 et 1 (exclus)[1].
L'idée est qu'en faisant le calcul indépendamment un nombre polynomial de fois , on peut faire chuter la probabilité d'erreur à dans le cas (tout en gardant une réponse sûre dans le cas ).
La classe co-RP est l'ensemble des langages, pour lesquels il existe une machine de Turing probabiliste en temps polynomial qui satisfait les conditions d'acceptation suivantes :
(Même remarque sur la constante)
On a la relation suivante avec les classes P et NP :
Remarquons que cette classe n'est plus intéressante si P=NP.
Valiant et Vazirani ont démontré[2] que où USAT est le problème SAT, où on promet que la formule booléenne en entrée admet au plus qu'une solution. L'oracle à USAT fonctionne comme suit : il répond positivement sur des formules qui ont exactement une unique solution, il répond négativement sur des formules sans solution, et il répond de manière arbitraire sur les autres formules.
Les inclusions suivantes mettent en jeu les classes ZPP et BPP.
Cela vient directement des définitions : ZPP est l'intersection de RP et co-RP et BPP a des conditions d'acceptation moins contraignantes (erreur « des deux côtés »).
Les problèmes de RP sont des problèmes pour lesquels il existe un algorithme probabiliste qui satisfait les conditions décrites plus haut.
Par exemple le problème de savoir si un entier est premier est dans co-RP grâce au test de primalité de Miller-Rabin. En fait, ce problème est même dans P, grâce au test de primalité AKS.
Un problème de co-RP qui n'est pas connu comme étant dans P est le problème polynomial identity testing, qui consiste, étant donné un polynôme multivarié sous une forme quelconque, à décider s'il est identiquement nul ou non. Grâce au lemme de Schwartz-Zippel, on peut reconnaître les polynômes nuls avec une bonne probabilité en les évaluant en un petit nombre de points.
Cette classe a été introduite par J. Gill[3] dans l'article Computational complexity of probabilistic Turing machines (Gill 1977).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.