”des outils efficaces pour la resolution exacte de problemes difficiles”

Christophe Paul

Description

COMPLEXITE PARAMETREE ”des outils efficaces pour la resolution exacte de problemes difficiles” Christophe Paul Journee scientifique du LIRMM 15 juin 2010

• histoire de la complexite


• journee scientifique du lirmm


• outils efficaces pour la resolution exacte de problemes difficiles


• theorie de la np-completude


• problemes np

Informations

• Publié par: pefav
• Publié le: 01 juin 2010
• Nombre de lectures: 25
• Langue: Français

Extrait

”des

´ ´ ´ COMPLEXITE PARAMETREE

outilsefficacespourlare´solutionexacte probl`emesdifficiles”

Christophe Paul

Journ´eescientifiqueduLIRMM 15 juin 2010

de

Ide´eadmise:lesprobl`esNP-completssonttous´equivalents! em

I ´hT)1:97k1(ooeCedemr`eosatestnp-complet (2-sat∈P)

I 12)lptedsKera(p9127probl`emesNP-com

peud’histoiredelacomplexit´e

Th´eoriedelaNP-Comple´tude

ngue3.loelafurldel(Oroum) l

Un

,180 pmeloCerff´tsenontididenetacnof´tixsede riables2brendeva er 1 s n.mo apar`mte ou)p9 n ,4(1 s O leibssopsnoitatceffa n 24 m )O(1,useseclaerdmonbm ta .2 3rs-

delaeurlongu ) 3.l 2, m 4Os1(uaesedlcembrom.n2

Id´eeadmise:lesprobl`emesNP-completssonttouse´quivalents!

I 1(kooCedeme`roe´Th:1)97satestnp-complet (2-sat∈P)

I praK791(elpmedst2)2mesNP-co1probl`e

Unpeud’histoiredelacomplexit´e

Th´eoriedelaNP-Comple´tude

1.nombrende variables

1.nombrende variables

2 n affectations possibles O(1,49 n ) pour 3-sat

Complexite desatfnnoerapse`masertioctednd´eiffntre ´

0,1() l 8mrofOelu