Problème de l'évaluation d'un circuit
En informatique théorique, plus précisément en théorie de la complexité, le problème de l'évaluation d'un circuit (appelé CIRCUIT VALUE PROBLEM, CVP, CIRCUIT EVALUATION PROBLEM ou CIRCUIT-EVAL[1] en anglais) est le problème de décision qui consiste à calculer la sortie d'un circuit booléen sur des entrées données.
P-complétude
[modifier | modifier le code]Richard E. Ladner a démontré en 1975[2] que ce problème est complet pour la classe P[1]. La démonstration de la P-dureté par rapport à une réduction en espace logarithmique se réalise comme suit. On encode l'exécution de longueur polynomiale d'une machine de Turing à l'aide d'un circuit booléen[3]. La P-complétude de CVP joue le même rôle pour les problèmes ouverts P = LOGSPACE ou P = NLOGSPACE que le problème SAT (voir théorème de Cook) pour le problème ouvert P = NP.
Restrictions
[modifier | modifier le code]Le problème reste P-complet pour des circuits booléens planaires et des circuits booléens monotones (pas de portes NON, que des portes ET et OU)[4]. Il est dans NC (plus précisément dans LOGCFL) pour des circuits booléens planaires et monotones[5],[6].
Si par contre, on considère une formule booléenne au lieu d'un circuit booléen général (autrement dit, si le circuit booléen est un arbre), le problème est plus simple. En 1977, Nancy A. Lynch a démontré que le problème est dans LOGSPACE[7]. En 1987, Samuel R. Buss montre un résultat plus précis : le problème est complet pour la classe ALOGTIME[8] (ALOGTIME est égale à NC1 (voir NC) avec une condition d'uniformité DLOGTIME[9], cette classe est incluse dans LOGSPACE).
Notes et références
[modifier | modifier le code]- « Computational Complexity: A Modern Approach / Sanjeev Arora and Boaz Barak », sur theory.cs.princeton.edu (consulté le ), p. 119, Th. 6.30
- Richard E. Ladner, « The circuit value problem is log space complete for P », ACM SIGACT News, vol. 7, no 1, , p. 18–20 (ISSN 0163-5700, DOI 10.1145/990518.990519, lire en ligne, consulté le )
- (en) « Cours à l'université de Cornell - The circuit value problem »,
- Leslie M. Goldschlager, « The monotone and planar circuit value problems are log space complete for P », ACM SIGACT News, vol. 9, no 2, , p. 25–29 (ISSN 0163-5700, DOI 10.1145/1008354.1008356, lire en ligne, consulté le )
- Patrick W. Dymond et Stephen A. Cook, « Complexity theory of parallel time and hardware », Information and Computation, vol. 80, no 3, , p. 205–226 (ISSN 0890-5401, DOI 10.1016/0890-5401(89)90009-6, lire en ligne, consulté le )
- Honghua Yang, « An NC algorithm for the general planar monotone circuit value problem », Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, , p. 196–203 (DOI 10.1109/SPDP.1991.218279, lire en ligne, consulté le )
- Nancy Lynch, « Log Space Recognition and Translation of Parenthesis Languages », Journal of the ACM (JACM), vol. 24, no 4, , p. 583–590 (ISSN 0004-5411, DOI 10.1145/322033.322037, lire en ligne, consulté le )
- Samuel R. Buss, « The Boolean formula value problem is in ALOGTIME », sur www.math.ucsd.edu, (consulté le )
- (en) « On uniformity within NC1 », Journal of Computer and System Sciences, vol. 41, no 3, , p. 274–306 (ISSN 0022-0000, DOI 10.1016/0022-0000(90)90022-D, lire en ligne, consulté le )
