Aide
Ajouter cette page à votre livre
Afficher le livre (0 article)
Suggérer des pages21 problèmes NP-complets de Karp
Les 21 problèmes NP-complets de Karp ont marqué une étape importante de l'histoire de la théorie de la complexité des algorithmes. Ce sont 21 problèmes réputés difficiles de combinatoire et de théorie des graphes qui sont réductibles entre eux[1]. C'est ce qu'a démontré Richard Karp en 1972 dans son article Reducibility Among Combinatorial Problems[2], de même que leur NP-complétude.
Histoire
[modifier | modifier le code]Un des plus importants résultats en théorie de la complexité est celui de Stephen Cook, en 1971. Dans son article, il montre le premier problème NP-complet, soit le problème SAT (voir théorème de Cook)[3]. C'est cette idée que Karp développe en l'appliquant à des problèmes de combinatoire et de théorie des graphes.
Les problèmes
[modifier | modifier le code]Les 21 problèmes sont organisés en indentations de façon à indiquer la direction de la réduction servant à prouver leur NP-complétude. Par exemple, le problème du sac à dos a été prouvé NP-complet par une réduction à partir de celui de la couverture exacte.
Le nom anglais original est en lettres capitales.
- SATISFIABILITY : le problème SAT pour les formules en forme normale conjonctive
- CLIQUE : le problème de la clique (voir aussi le problème de l'ensemble indépendant)
- SET PACKING : Set packing (empaquetage d'ensemble)
- VERTEX COVER : le problème de couverture par sommets
- SET COVERING : le problème de couverture par ensembles
- FEEDBACK ARC SET : feedback arc set
- FEEDBACK NODE SET : feedback vertex set
- DIRECTED HAMILTONIAN CIRCUIT : voir graphe hamiltonien
- UNDIRECTED HAMILTONIAN CIRCUIT : voir graphe hamiltonien
- 0-1 INTEGER PROGRAMMING : voir optimisation linéaire en nombres entiers
- 3-SAT : voir problème 3-SAT
- CHROMATIC NUMBER : coloration de graphe
- CLIQUE COVER : partition en cliques
- EXACT COVER : couverture exacte
- MATCHING à 3 dimensions : appariement à 3 dimensions
- STEINER TREE : voir arbre de Steiner
- HITTING SET : ensemble intersectant
- KNAPSACK : problème du sac à dos
- JOB SEQUENCING : séquençage de tâches
- PARTITION : problème de partition
- MAX-CUT : problème de la coupe maximum
- CHROMATIC NUMBER : coloration de graphe
- CLIQUE : le problème de la clique (voir aussi le problème de l'ensemble indépendant)
Notes et références
[modifier | modifier le code]- Thomas Cormen, Charles Leiserson, Ronald Rivest et Clifford Stein (trad. Georges-Louis Kocher), Introduction à l'algorithmique [« Introduction to algorithms »], Paris, Dunod, , 2e éd. (1re éd. 1990), 1146 p. (ISBN 2-10-003922-9), chap. 34 (« NP-complétude »), p. 986
- Karp 1972.
- (en) Stephen A. Cook, The complexity of theorem-proving procedures, ACM Press, , 151–158 p. (ISBN 9781450374644, DOI 10.1145/800157.805047
, S2CID 7573663)
Voir aussi
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]- (en) Richard M. Karp, « Reducibility Among Combinatorial Problems », dans Raymond E. Miller et James W. Thatcher, Complexity of Computer Computations, Plenum, (ISBN 978-1-4684-2003-6, DOI 10.1007/978-1-4684-2001-2_9, lire en ligne), p. 85-103
