• Aucun résultat trouvé

Complexité algorithmique : classes. Sébastien Tavenas

N/A
N/A
Protected

Academic year: 2022

Partager "Complexité algorithmique : classes. Sébastien Tavenas"

Copied!
39
0
0

Texte intégral

(1)

Complexit´e algorithmique : classes

S´ebastien Tavenas

(2)

Un point commun entre ces probl`emes?

Sudoku Coloriage de cartes

Ordonnancement de tˆaches Voyageur de Commerce

Chemin Hamiltonien Super Mario Bros

(3)

Un point commun entre ces probl`emes?

Repliement des prot´eines

Sudoku Coloriage de cartes

Ordonnancement de tˆaches Voyageur de Commerce

Chemin Hamiltonien Super Mario Bros

(4)

Un point commun entre ces probl`emes?

Repliement des prot´eines

Sudoku

Coloriage de cartes

Ordonnancement de tˆaches Voyageur de Commerce

Chemin Hamiltonien Super Mario Bros

(5)

Un point commun entre ces probl`emes?

Repliement des prot´eines

Sudoku Coloriage de cartes

Ordonnancement de tˆaches Voyageur de Commerce

Chemin Hamiltonien Super Mario Bros

(6)

Un point commun entre ces probl`emes?

Repliement des prot´eines

Sudoku Coloriage de cartes

Ordonnancement de tˆaches

Voyageur de Commerce

Chemin Hamiltonien Super Mario Bros

(7)

Un point commun entre ces probl`emes?

Repliement des prot´eines

Sudoku Coloriage de cartes

Ordonnancement de tˆaches Voyageur de Commerce

Chemin Hamiltonien Super Mario Bros

(8)

Un point commun entre ces probl`emes?

Repliement des prot´eines

Sudoku Coloriage de cartes

Ordonnancement de tˆaches Voyageur de Commerce

Chemin Hamiltonien

Super Mario Bros

(9)

Un point commun entre ces probl`emes?

Repliement des prot´eines

Sudoku Coloriage de cartes

Ordonnancement de tˆaches Voyageur de Commerce

Chemin Hamiltonien Super Mario Bros

(10)

Complexit´e en temps

Temps n´ecessaire pour r´esoudre un probl`eme `a l’aide d’un ordinateur

Lent Rapide

Existence de Mariage Parfait Voyageur de Commerce

(11)

Complexit´e en temps

Temps n´ecessaire pour r´esoudre un probl`eme `a l’aide d’un ordinateur

Lent Rapide

! Existence de Mariage Parfait Voyageur de Commerce

Un algorithme (Edmonds) r´esout rapidement le probl`eme de l’existence d’un mariage parfait.

(12)

Complexit´e en temps

Temps n´ecessaire pour r´esoudre un probl`eme `a l’aide d’un ordinateur

Lent Rapide

Existence de Mariage Parfait Voyageur de Commerce

Qu’en est-il du probl`eme du voyageur de commerce?

(13)

Complexit´e en Temps

Nous voudrions classer les probl`emes par rapport `a leur complexit´e.

Lent ? Rapide

Echecs´ PVC Addition/Multiplication d’entiers Go (jeu) Premier Mariage parfait

. . . Sudoku . . .

(14)

P et NP

P

NP

Isomorphisme de graphes

Premier PVC

Sudoku Ordonnancement

de tˆaches

Multiplication

Echecs´ Mariage

parfait

I P : Probl`emes r´esolvables efficacement

I NP : Une solution peut ˆetre v´erifi´eeefficacement.

(15)

P et NP

P

NP

Isomorphisme de graphes

Premier PVC

Sudoku Ordonnancement

de tˆaches

Multiplication

Echecs´ Mariage

parfait

I P : Probl`emes r´esolvables efficacement

I NP : Une solution peut ˆetre v´erifi´eeefficacement.

(16)

P et NP

P

NP

Isomorphisme de graphes

Premier PVC

Sudoku Ordonnancement

de tˆaches

Multiplication

Echecs´ Mariage

parfait

I P : Probl`emes r´esolvables efficacement

I NP : Une solution peut ˆetre v´erifi´eeefficacement.

(17)

P et NP

P

NP

Isomorphisme de graphes

Premier PVC

Sudoku Ordonnancement

de tˆaches

Multiplication

Echecs´ Mariage

parfait

I P : Probl`emes r´esolvables efficacement

I NP : Une solution peut ˆetre v´erifi´eeefficacement.

(18)

P et NP

P

NP

Isomorphisme de graphes

Premier PVC

Sudoku Ordonnancement

de tˆaches

Multiplication

Echecs´ Mariage

parfait

I P : Probl`emes r´esolvables efficacement

I NP : Une solution peut ˆetre v´erifi´eeefficacement.

(19)

P et NP

P

NP

Isomorphisme de graphes

Premier PVC

Sudoku Ordonnancement

de tˆaches

Multiplication

Echecs´ Mariage

parfait

I P : Probl`emes r´esolvables efficacement

I NP : Une solution peut ˆetre v´erifi´eeefficacement.

(20)

P et NP

P

NP

Isomorphisme de graphes

Premier PVC

Sudoku Ordonnancement

de tˆaches

Multiplication

Echecs´ Mariage

parfait

I P : Probl`emes r´esolvables efficacement

I NP : Une solution peut ˆetre v´erifi´eeefficacement.

(21)

P et NP

P

NP

Isomorphisme de graphes

Premier PVC

Sudoku Ordonnancement

de tˆaches

Multiplication

Echecs´ Mariage

parfait

I P : Probl`emes r´esolvables efficacement

I NP : Une solution peut ˆetre v´erifi´eeefficacement.

(22)

P et NP

P

NP

Isomorphisme de graphes

Premier PVC

Sudoku Ordonnancement

de tˆaches

Multiplication

Echecs´ Mariage

parfait

I P : Probl`emes r´esolvables efficacement

I NP : Une solution peut ˆetre v´erifi´eeefficacement.

(23)

Objections

I “Sudoku est facile. R´esolu rapidement par un ordinateur!”

Mise `a l’´echelle : Et si vous avez une grille 100⇥100?

I “Multiplier deux nombres de 1020chi↵res vs. un petit sudoku” Comparer `a taille d’entr´ee ´egale

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour calculer n taille de l’entr´ee

f une fonction polynomiale.

N

on-deterministic

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour v´erifier n taille de l’entr´ee

f une fonction polynomiale.

(24)

Objections

I “Sudoku est facile. R´esolu rapidement par un ordinateur!”

Mise `a l’´echelle : Et si vous avez une grille 100⇥100?

I “Multiplier deux nombres de 1020chi↵res vs. un petit sudoku” Comparer `a taille d’entr´ee ´egale

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour calculer n taille de l’entr´ee

f une fonction polynomiale.

N

on-deterministic

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour v´erifier n taille de l’entr´ee

f une fonction polynomiale.

(25)

Objections

I “Sudoku est facile. R´esolu rapidement par un ordinateur!”

Mise `a l’´echelle : Et si vous avez une grille 100⇥100?

I “Multiplier deux nombres de 1020chi↵res vs. un petit sudoku”

Comparer `a taille d’entr´ee ´egale

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour calculer n taille de l’entr´ee

f une fonction polynomiale.

N

on-deterministic

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour v´erifier n taille de l’entr´ee

f une fonction polynomiale.

(26)

Objections

I “Sudoku est facile. R´esolu rapidement par un ordinateur!”

Mise `a l’´echelle : Et si vous avez une grille 100⇥100?

I “Multiplier deux nombres de 1020chi↵res vs. un petit sudoku”

Comparer `a taille d’entr´ee ´egale

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour calculer n taille de l’entr´ee

f une fonction polynomiale.

N

on-deterministic

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour v´erifier n taille de l’entr´ee

f une fonction polynomiale.

(27)

Objections

I “Sudoku est facile. R´esolu rapidement par un ordinateur!”

Mise `a l’´echelle : Et si vous avez une grille 100⇥100?

I “Multiplier deux nombres de 1020chi↵res vs. un petit sudoku”

Comparer `a taille d’entr´ee ´egale

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour calculer n taille de l’entr´ee

f une fonction polynomiale.

N

on-deterministic

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour v´erifier n taille de l’entr´ee

f une fonction polynomiale.

(28)

Objections

I “Sudoku est facile. R´esolu rapidement par un ordinateur!”

Mise `a l’´echelle : Et si vous avez une grille 100⇥100?

I “Multiplier deux nombres de 1020chi↵res vs. un petit sudoku”

Comparer `a taille d’entr´ee ´egale

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour calculer n taille de l’entr´ee

f une fonction polynomiale.

N

on-deterministic

P

olynomial time

T =f(n) o`u T nombre d’´etapes pour v´erifier n taille de l’entr´ee

f une fonction polynomiale.

(29)

NP-compl´etude

(30)

NP-compl´etude

R´eductions (exemples)

Si on a un algorithme efficace pour factoriser,

cela implique un algorithme efficace pour tester la primalit´e.

(31)

NP-compl´etude

(32)

NP-compl´etude

Th´eor`eme (Levin/Cook 1971)

Supposons que SAT peut-ˆetre r´esolu efficacement, alors tout probl`eme de NP peut ˆetre r´esolu efficacement.

(33)

NP-compl´etude

Tous ces probl`emes sont ´equivalents et sont les probl`emes les plus difficiles de NP

(34)

Conclusion

Un probl`eme NP-complet est “efficacement” calculable , Tout probl`eme de NP est dans P

, P = NP.

P 6= NP

, Il existe un probl`eme de NP qui n’est pas dans P

, Aucun des probl`emes NP-complets ne peut ˆetre calcul´e

“efficacement”. [Levin/Cook 1971]

[Lettre de G¨odel `a Von Neumann 1956]

(35)

Conclusion

Un probl`eme NP-complet est “efficacement” calculable , Tout probl`eme de NP est dans P

, P = NP.

P 6= NP

, Il existe un probl`eme de NP qui n’est pas dans P

, Aucun des probl`emes NP-complets ne peut ˆetre calcul´e

“efficacement”.

[Levin/Cook 1971]

[Lettre de G¨odel `a Von Neumann 1956]

(36)

Conclusion

Un probl`eme NP-complet est “efficacement” calculable , Tout probl`eme de NP est dans P

, P = NP.

P 6= NP

, Il existe un probl`eme de NP qui n’est pas dans P

, Aucun des probl`emes NP-complets ne peut ˆetre calcul´e

“efficacement”.

[Levin/Cook 1971]

[Lettre de G¨odel `a Von Neumann 1956]

(37)

Conclusion

Un probl`eme NP-complet est “efficacement” calculable , Tout probl`eme de NP est dans P

, P = NP.

P 6= NP

, Il existe un probl`eme de NP qui n’est pas dans P

, Aucun des probl`emes NP-complets ne peut ˆetre calcul´e

“efficacement”.

[Levin/Cook 1971]

[Lettre de G¨odel `a Von Neumann 1956]

(38)

Un point commun entre ces probl`emes?

Repliement des prot´eines

Sudoku Coloriage de cartes

Ordonnancement de tˆaches Voyageur de Commerce

Chemin Hamiltonien Super Mario Bros

Tous ces probl`emes sont NP-complets, i.e., ils sont tous

´equivalents.

(39)

Un point commun entre ces probl`emes?

Repliement des prot´eines

Sudoku Coloriage de cartes

Ordonnancement de tˆaches Voyageur de Commerce

Chemin Hamiltonien Super Mario Bros

Tous ces probl`emes sont NP-complets, i.e., ils sont tous

´equivalents.

Références

Documents relatifs

R´ esoudre les ´ equations diff´ erentielles

Proposez des implantations des algorithmes de Kruskal et de Prim permettant de r´esoudre le probl`eme de l’arbre de poids minimum dans cette classe de graphes et analysez-en

Ecrire le processus it´ eratif de Newton pour cette ´ equation.. quel est dans ce cas l’ordre de convergence de la

Un premier essai de transf´erer la r´esolution propositionnelle vers la lo- gique du premier ordre est comme suit : ´ Etant donn´e un ensemble fini S de formules, on peut le

Universit´ e Paris-Dauphine et Institut Tunis-Dauphine L3 Math´ ematiques appliqu´ ees, 2012-2013.. Partiel de

Le syst` eme admet un d´ eterminant diff´ erent de 0 (il vaut − 34), il admet donc une unique solution qui est la solution nulle (et on n’a pas besoin des formules de Cramer

[r]

Soit elle n’est pas chez elle, soit elle ne r´ epond pas au t´ el´ ephone. Mais si elle n’est pas chez elle, alors, elle a ´ et´ e kidnapp´ ee. Et si elle ne r´ epond pas au