pnp*complexite
TRANSCRIPT
-
7/21/2019 Pnp*complexite
1/103
Le problme P = NPla complexit des algorithmes
Arnaud Durand
Universit Paris 7
Fte de la science 2009
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 1 / 37
http://find/ -
7/21/2019 Pnp*complexite
2/103
Problmes du millnium
Depuis 2000, le Clay Institute propose un prix pour la rsolution de 7questions mathmatiques.
La conjecture de Birch et Swinnerton-Dyer
La conjecture de Hodge
Les quations de Navier-StokesPvs NP
La conjecture de Poincar
Lhypothse de Riemann
La thorie de Yang-Mills
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 2 / 37
http://find/ -
7/21/2019 Pnp*complexite
3/103
Pvs NP
Question de mathmatique et dinformatique.Question ouverte depuis environ 40 ans mais aux origines bienplus lointaines...
QuestionsQuest-ce quune fonction mathmatique calculable ? une proprit ouun problme dcidable ?Quest-ce quun algorithme ?
Proprit, problme : rponse = oui ou non
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 3 / 37
http://find/http://goback/ -
7/21/2019 Pnp*complexite
4/103
Algorithme
Origine: Al-Khawarizmi (mathmaticien, gographe et astronomeperse du 9me sicle).
Sens : recette, mthode pour rsoudre un problme ou calculer unefonction.
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 4 / 37
http://find/ -
7/21/2019 Pnp*complexite
5/103
Algorithme
Origine: Al-Khawarizmi (mathmaticien, gographe et astronomeperse du 9me sicle).
Sens : recette, mthode pour rsoudre un problme ou calculer unefonction.
Exemple : la multiplication dentiers
1 2 3 1 5
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 4 / 37
http://find/http://goback/ -
7/21/2019 Pnp*complexite
6/103
Algorithme
Origine: Al-Khawarizmi (mathmaticien, gographe et astronomeperse du 9me sicle).
Sens : recette, mthode pour rsoudre un problme ou calculer unefonction.
Exemple : la multiplication dentiers
1 1
1 2 3 1 5
6 1 5
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 4 / 37
http://find/ -
7/21/2019 Pnp*complexite
7/103
Algorithme
Origine: Al-Khawarizmi (mathmaticien, gographe et astronomeperse du 9me sicle).
Sens : recette, mthode pour rsoudre un problme ou calculer unefonction.
Exemple : la multiplication dentiers
1 1
1 2 3 1 5
6 1 51 2 3
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 4 / 37
http://find/ -
7/21/2019 Pnp*complexite
8/103
Algorithme
Origine: Al-Khawarizmi (mathmaticien, gographe et astronomeperse du 9me sicle).
Sens : recette, mthode pour rsoudre un problme ou calculer unefonction.
Exemple : la multiplication dentiers
1 1
1 2 3 1 5
6 1 51 2 31 8 4 5
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 4 / 37
http://find/ -
7/21/2019 Pnp*complexite
9/103
Algorithme
Origine: Al-Khawarizmi (mathmaticien, gographe et astronomeperse du 9me sicle).
Sens : recette, mthode pour rsoudre un problme ou calculer unefonction.
Exemple : la multiplication dentiers
1 1
1 2 3 1 5
6 1 51 2 31 8 4 5
Besoin de :
actions rptitives (itrations)
actions conditionnelles (tests)
rsultats intermdiaires
La longueur du calcul dpend de latailledes entiers.
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 4 / 37
http://find/ -
7/21/2019 Pnp*complexite
10/103
Modles de calcul et fonction calculable
Dbut des annes 1930 :
formalisation de la notion de fonction calculable et dalgorithme.Approches quivalentes (machines de Turing, fonctionsrcursives, lambda calcul) et actuelles...
Alan Turing Alonzo Church Stephen C.Kleene
mise en vidence des limites : il existe des fonctions noncalculables (et des problmes indcidables)!
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 5 / 37
http://goforward/http://find/ -
7/21/2019 Pnp*complexite
11/103
Problmes indcidables
Le problme suivant est indcidable :
Entre : un programme P, une entrex
Question : lexcution dePsur lentrexsarrte-elle ?
Problme assez naturel !
Un des premiers dune longue ligne dans de nombreux domaines.
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 6 / 37
http://find/http://goback/ -
7/21/2019 Pnp*complexite
12/103
Algorithme et complexit
Petit petit, le dbat se dplace. La question :
Quest-ce quune fonction calculable ?devient, par exemple :Si une fonction est calculable, peut-on mesurer le cot (sacomplexit) ncessaire pour la calculer ?
Cot / complexit :nombre dtapes, doprations lmentaires, de lalgorithme (tempsabstrait).Rabin, Cobham, Blum, Edmonds, Hartmanis, Stearns (milieu des
annes 60)
Multiplication :m npetites multiplications et additions pour desentiers detaillesmetn.
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 7 / 37
http://find/ -
7/21/2019 Pnp*complexite
13/103
Algorithme et complexit
Regrouper les problmes par catgorie....
Si je sais calculer un ensemble de fonctions avec telle ou telle
ressource, puis-je le faire aussi avec telle autre ressource (moinsdtapes de calcul, avec telle mmoire, avec un autre type demachine)?
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 8 / 37
http://find/ -
7/21/2019 Pnp*complexite
14/103
PvsNP
Le problme Pvs NPporte sur deux classes de problmes :
P: les problmes faciles dcider, cest dire de complexitraisonnable.
NP: les problmes faciles vrifier.
Tout cela reste dfinir...
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 9 / 37
http://find/ -
7/21/2019 Pnp*complexite
15/103
Problmes
Entre : trois entiersn, p, qQuestion :n=p q?
Entre : un entier n
Question :nest-il premier?
Entre : un entier nQuestion : existe-t-il des entiers non nulsx,yetztels que
xn+yn =zn?
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 10 / 37
http://find/ -
7/21/2019 Pnp*complexite
16/103
Problmes
Entre : une liste de motsl1, l2, ..., lnSortie : renvoyer la liste trie par ordre croissant ?
Entre : un programme P, une entrexQuestion : lexecution dePsur lentrexsarrte-elle ?
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 11 / 37
U l l i i h il i
http://find/ -
7/21/2019 Pnp*complexite
17/103
Un exemple : le circuit hamiltonienCircuit hamiltonien
tant donn un grapheG= (V,E)et un sommetvV, peut-on
trouver un circuit empruntant des artes du graphe, commenant etfinissant envet passant une seule fois par tout autre sommet de G?
Aussi : problme des bandits, voyageur de commerce.
A
B
C
D
E
F
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 12 / 37
U l l i it h ilt i
http://find/ -
7/21/2019 Pnp*complexite
18/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
U l l i it h ilt i
http://find/ -
7/21/2019 Pnp*complexite
19/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un e emple le circ it hamiltonien
http://find/http://goback/ -
7/21/2019 Pnp*complexite
20/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
21/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
B
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
22/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
B
F
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
23/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
B
F
H
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/http://goback/ -
7/21/2019 Pnp*complexite
24/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
B
F
H
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
25/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
B
F
H
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
26/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
B
F
E
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
27/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
B
F
E
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
28/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
B
F
E
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
29/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
B
F
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
30/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
B
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
31/103
Un exemple : le circuit hamiltonien
A
B
C
D
E
F
H
I
J
A D
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://goforward/http://find/http://goback/ -
7/21/2019 Pnp*complexite
32/103
p
A
B
C
D
E
F
H
I
J
A
B
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://goforward/http://find/http://goback/ -
7/21/2019 Pnp*complexite
33/103
p
A
B
C
D
E
F
H
I
J
A
B
D
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
34/103
p
A
B
C
D
E
F
H
I
J
A
B
D
E
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
35/103
p
A
B
C
D
E
F
H
I
J
A
B
D
E
F
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
36/103
A
B
C
D
E
F
H
I
J
A
B
D
E
F
H
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
37/103
A
B
C
D
E
F
H
I
J
A
B
D
E
F
H
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
38/103
A
B
C
D
E
F
H
I
J
A
B
D
E
F
H
J
I
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
39/103
A
B
C
D
E
F
H
I
J
A
B
D
E
F
H
J
I
C
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Un exemple : le circuit hamiltonien
http://find/ -
7/21/2019 Pnp*complexite
40/103
A
B
C
D
E
F
H
I
J
A
B
D
E
F
H
J
I
C
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 13 / 37
Circuit hamiltonien : bilan
http://find/ -
7/21/2019 Pnp*complexite
41/103
Problme difficile !Taille du graphe=nombre dartes+nombre de sommets= |E| + |V|
Nombre dtapesOn peut tre amen essayer tous les chemins possibles... Il y en a :
(n 1)(n 2) 2= (n 1)!avecn=|V|
Pas de stratgie franchement meilleure (en dessous de 2n) connue...
Le nombre dtapes estexponentielen latailledu graphe.
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 14 / 37
Plus facile : le circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
42/103
Circuit eulerientant donn un grapheG= (V,E), peut-ontrouver un circuit passant une seule fois parchaquearte du graphe?
Les 7 ponts de Koenigsberg
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 15 / 37
Plus facile : le circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
43/103
Circuit eulerientant donn un grapheG= (V,E), peut-ontrouver un circuit passant une seule fois parchaquearte du graphe?
Les 7 ponts de Koenigsberg
CaractrisationUn grapheG= (V,E)admet un circuit eulerien si et seulement si toutsommetvVest dedegrpair.
degr dun sommetv: nombre de sommets relis v(ses voisins)
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 15 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
44/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
45/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
46/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
47/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
48/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
49/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
50/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
51/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
52/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
53/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
54/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
55/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
56/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
57/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
58/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
59/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
60/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Circuit eulerien
http://find/ -
7/21/2019 Pnp*complexite
61/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 16 / 37
Bilan
http://find/ -
7/21/2019 Pnp*complexite
62/103
Nombre dtapes pour le circuit Eulerienbesoin de tester le degr de chaque sommet. En tout, |V|2 tapes (augrand maximum...O(|E|)en fait).
Le nombre dtapes estpolynomialen latailledu graphe.BilanCircuit hamiltonien : a priori difficile (exponentiel)Circuit eulerien : facile (polynomial)
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 17 / 37
k-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
63/103
k-colorabilit
tant donns un grapheGet un entierk, peut-on colorier les sommetsdeGavec au pluskcouleurs de faon ce que deux sommets
adjacentsne portent jamais la mme couleur.
Si le grapheGest unecarteet k4, la rponse est toujoursoui.
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 18 / 37
3-colorabilit3 couleurs :jaune,bleu,rouge
http://find/ -
7/21/2019 Pnp*complexite
64/103
A
B
C
D
E
F
G
H
I
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
65/103
A
B
C
D
E
F
G
H
I
J
A
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
66/103
A
B
C
D
E
F
G
H
I
J
A
B
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
67/103
A
B
C
D
E
F
G
H
I
J
A
B
C
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
68/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
69/103
A
B
C
D
E
F
G
H
I
J
A
B
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
70/103
A
B
C
D
E
F
G
H
I
J
A
B
C
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
71/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
72/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
G
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
73/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
G
F
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
74/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
G
F
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
75/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
G
F
J
I
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
76/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
G
F
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
77/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
G
F
J
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
78/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
G
F
J
I
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
79/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
G
F
J
I
E
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit
http://find/ -
7/21/2019 Pnp*complexite
80/103
A
B
C
D
E
F
G
H
I
J
A
B
C
D
G
F
J
I
E H
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 19 / 37
3-colorabilit : bilanA nouveau quelques retours en arrire. Tester toutes les possibilits :3n onest le nombre de sommets. Pas dalgorithme connu avec un
b l i l dt
http://find/ -
7/21/2019 Pnp*complexite
81/103
nombre polynomial dtapes.
A
B
C
D
E
F
G
H
I
J
A
B
C
D
G
F
J
I
E H
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 20 / 37
Colorabilit des artes
http://find/ -
7/21/2019 Pnp*complexite
82/103
Indice Chromatique
tant donns un grapheGet un entierk, peut-on colorier les artesdeGavec au pluskcouleurs de faon ce que deux artesincidentesne portent jamais la mme couleur.Nombre minimal de couleurs :indice chromatique
(G): degr du graphe (nombre maximal de voisins admis par unsommet)
Vizing (1964)
Lindice chromatique dun grapheGest soit(G)soit(G) + 1.
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 21 / 37
Colorabilit des artes
http://find/ -
7/21/2019 Pnp*complexite
83/103
Problme facile sik (G) +1
En route vers un algorithme efficace ? dautant plus que :Erds, Wilson (1977)Lorsquenest grand, presque tous les graphes sont dindice (G)
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 22 / 37
Colorabilit des artes
http://find/ -
7/21/2019 Pnp*complexite
84/103
Problme facile sik (G) +1
En route vers un algorithme efficace ? dautant plus que :Erds, Wilson (1977)Lorsquenest grand, presque tous les graphes sont dindice (G)
Mais :
Holyer (1981)Sauf surprise, il nexiste pas dalgorithme polynomial pour dcider siun graphe est dindice(G)ou (G) +1.
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 22 / 37
Polynomial vs exponentielQuelle diffrence ?
http://find/ -
7/21/2019 Pnp*complexite
85/103
n 10 100 1000
n2 100 104 106
n5 105 1010 1015
2n 210 >1025 >10250
PCactuels :entre 1 et 4 milliards doprations par seconde
Machines les plus rapides (-> Petaflops) :1015 (1 million de milliardsdoprations par seconde).
Nombre datomes dans lunivers observable :1080
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 23 / 37
Problmes artificiels ou pratiques ?
http://find/ -
7/21/2019 Pnp*complexite
86/103
Problmatique naturelle en mathmatiques, mais aussi..
Bases de donnes
Scurit (cryptographie...)
Algorithmique des rseauxIntelligence artificielle(raisonnement, apprentissage)
Bio-informatique
conomie (systmeslectoraux, quilibres)
JeuxOrdonnancement(planification de tches)
Optimisation
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 24 / 37
Le temps polynomial
http://find/ -
7/21/2019 Pnp*complexite
87/103
Le temps polynomial P
Un problmede dcisionAest dans Psil est rsoluble (i.e. dcidable)par unalgorithme polynomial.
Proposition comme classe de problmes faciles ou raisonnables :Cobham (1964), Edmonds (1965), Rabin (1966)
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 25 / 37
Le temps polynomial
http://find/ -
7/21/2019 Pnp*complexite
88/103
Le temps polynomial P
Un problmede dcisionAest dans Psil est rsoluble (i.e. dcidable)par unalgorithme polynomial.
Proposition comme classe de problmes faciles ou raisonnables :Cobham (1964), Edmonds (1965), Rabin (1966)
Attention, P=facile de plusieurs points de vue
n100 nest pas une complexit acceptable.
Certains algorithmes polynomiaux ont t trs durs... trouver (et
comprendre).
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 25 / 37
Trouver un tmoin... et viteLes problmes difficiles que lon a vu sont trs particuliers :on peut vrifier facilement quun candidat est une solution !
V ifi ti d l ti
http://find/ -
7/21/2019 Pnp*complexite
89/103
Vrification dune solution
Si on aG= (V,E)et un circuitf :{1, ..,n} V, dterminer sifdcrit un circuit hamiltonien est facile...
A
B
C
D
E
F
H
I
J
A
B
D
E
F
H
J
I
C
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 26 / 37
Trouver un tmoin... et vite
Situation frquente et naturelle
http://find/ -
7/21/2019 Pnp*complexite
90/103
Situation frquente et naturelle...
k-colorabilitSoientG= (V,E)et un coloriage des sommetsc:V {1, ..., k},dterminer sicdcrit un bonk-coloriage se fait en temps polynomial.
Pareil pour coloration dartes, circuit eulrien, etc.
Non primalitSoient trois entiersn,p,q, dterminer sip=1,netp q=nse fait en
temps polynomial...
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 27 / 37
Trouver un tmoin... et vite
RemarqueT l bl "diffi il " (i i ti l ) t f t
http://find/ -
7/21/2019 Pnp*complexite
91/103
Tous les problmes "difficiles" (ici, exponentiels) nont pas forcment
cette proprit
Par exemple, dterminer lexistence dune stratgie gagnante danscertains jeux classiques ou leur gnralisation (les echecs, le Go, ...).
Arnaud Durand (Universit Paris 7) Le problmeP = NP
Fte de la science 2009 28 / 37
Le temps polynomial non dterministe NP
Vrification en temps polynomialUn problme B est vrifiable en temps polynomial si pour toute
http://find/ -
7/21/2019 Pnp*complexite
92/103
Un problmeBest vrifiable en temps polynomial si pour toute
instancex:sixB, il existe un tmoiny(de taille polynomiale en la taille dex) permettant de dcider en temps polynomial que xB.
sixB, il nexiste pas de tel tmoin
Le temps polynomial non dterministe NPUn problme de dcisionBest dans NPsil est vrifiable en tempspolynomial
Formalis par Cook (1971) et Levin (1973).Notions similaires : Edmonds (1966) mais aussi Gdel (1956 - Lettre Von Neumann).
Arnaud Durand (Universit Paris 7) Le problmeP = NP
Fte de la science 2009 29 / 37
P = NP: un problme de tmoin
http://find/ -
7/21/2019 Pnp*complexite
93/103
P = NP?Les problmes vrifiables en temps polynomial sont-ils aussidcidables en temps polynomial?Autrement dit, existe-til des problmes dont les solutions sont faciles vrifier mais sont dures trouver ?
Montrer P= NP: montrer quetousles problmes de NPsont dans P.
A d D d (U i it P i 7) L blP = NP
Ft d l i 2009 30 / 37
Rductibilit : un seul pour les reprsenter tous
Certains problmes dans NP sont reprsentatifs de la difficult de la
http://find/ -
7/21/2019 Pnp*complexite
94/103
Certains problmes dans NPsont reprsentatifs de la difficult de la
classe. Ils sont ditsNP
-completsOutil principal :algorithme polynomial pour "rduire" un problme unautre, unerduction.
Cook (1971), Levin (1973)Le problmeSAT(satisfaisabilit dune formule propositionnelle) estNP-complet
Depuis lors, plusieurs centaines de problmesNP-complets prouvs
(depuis travail de Karp (1972))...
A d D d (U i it P i 7) L blP = NP
Ft d l i 2009 31 / 37
Un exemple de rduction
Dans les graphes
http://find/ -
7/21/2019 Pnp*complexite
95/103
recouvrement par sommetsminimalsous-ensembleSde tailleminimale tel que toute arte a un
de ses sommets dansS.
Clique maximalesous-ensembleTde taillemaximale tel que toute pairede sommets deTest lie par
une arte.
partir dun grapheG, construire en temps polynomial un grapheG
tel que
Ga un recouvrement de taille minimalehssi G
a une clique de taillemaximalek.
A d D d (U i it P i 7) L blP = NP
Ft d l i 2009 32 / 37
Un exemple de rduction
http://find/ -
7/21/2019 Pnp*complexite
96/103
A
B
C
D
E
F
A D
F
A d D d (U i it P i 7) L blP = NP
Ft d l i 2009 33 / 37
Un exemple de rduction
http://find/ -
7/21/2019 Pnp*complexite
97/103
A
B
C
D
E
F
A D
F
A d D d (U i it P i 7) L blP = NP
Ft d l i 2009 33 / 37
Un exemple de rduction
http://goforward/http://find/http://goback/ -
7/21/2019 Pnp*complexite
98/103
A
B
C
D
E
F
A D
F
A d D d (U i i P i 7) L blP = NP
F d l i 2009 33 / 37
Un exemple de rduction
C E
http://goforward/http://find/http://goback/ -
7/21/2019 Pnp*complexite
99/103
A
B
D
F
A D
F
RductionPour trouver un recouvrement minimal dans G, on cherche une cliquemaximale dans un autre graphe G, "facilement" constructible.
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 33 / 37
RductibilitDans lexemple prcdent, trouver un recouvrement minimalse rduittrouver une clique maximale.
http://goforward/http://find/http://goback/ -
7/21/2019 Pnp*complexite
100/103
Donc trouver une clique maximale estau moins aussi durque trouverun recouvrement minimal.
un problme est NP-completsi tout problme de NPse rduit lui.
ConsquenceTrouver un algorithme polynomial pour un problme NP-completdonnerait automatiquement un algorithme polynomial pour tous lesproblmes de NP
A priori, plein de faon dattaquer la conjecture (chacun peut choisirson problme prfr...).
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 34 / 37
Quelques remarques sur la conjecture
http://goforward/http://find/http://goback/ -
7/21/2019 Pnp*complexite
101/103
Arguments pourP=NP:
Pragmatique :beaucoup de gens dhorizons trs diffrents ontcherch un algorithme polynomial pour un problme NP-complet...
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 35 / 37
Quelques approches pour la rsolution pratique
H i ti t t l i t d bl t l i dt
http://find/ -
7/21/2019 Pnp*complexite
102/103
1 Heuristique :toutes les instances dun problme sont loin dtreuniformment difficiles
2 Approche probabiliste :trouver une solution avec une bonneprobabilit
3 Approximation :trouver une solution proche de loptimum4 Approximation probabiliste :trouver avec une bonne probabilit
une solution proche de loptimum5 Famille dinstances facile :Dterminer des familles entires
dinstances pour lesquelles "P= NP"
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 36 / 37
Quelques approches
1 Les mthodes actuelles de diagonalisation ne semblent pas
http://find/ -
7/21/2019 Pnp*complexite
103/103
convenir.2 Les preuves ne passeront pas la relativisation. On sait quil existe
deux ensemblesAet Btels que :
PA = NPA et PB = NPB
3 Approches combinatoires et probabilistes. Bons rsultats avec depetites classes de complexit et caractrisations trs importantesde NP(PCP).
4 Tentative de relier dautres questions, notamment lhypothse de
Riemann.
Arnaud Durand (Universit Paris 7) Le problmeP = NP Fte de la science 2009 37 / 37
http://find/