Les algorithmes La theorie de la complexite: un peu d'histoire La classe P La classe NP La classe PEspace Reductions parcimonieuses

De
Publié par

Les algorithmes La theorie de la complexite: un peu d'histoire La classe P La classe NP La classe PEspace Reductions parcimonieuses Complexite avancee - UMIN 345 Theorie de la NP-Completude (2) Christophe PAUL September 24, 2007 Christophe PAUL Complexite avancee - UMIN 345 Theorie de la NP-Completude (2)

  • complexite avancee - umin

  • classe co ?

  • x1 x2x2

  • reductions parcimonieusesquelques

  • classe np

  • theorie de la complexite


Publié le : mardi 19 juin 2012
Lecture(s) : 56
Source : lirmm.fr
Nombre de pages : 82
Voir plus Voir moins
LesalgorithmesLta´hoeirdelecamoexpl´eitnp:udeutsihrioeunimosessiotCrhexitomplAULCpheP3NIMU-ee´cnavae´NPladeieor´eTh45
September 24, 2007
Christophe PAUL
Complexite´avanc´ee-UMIN345 Th´eoriedelaNP-Comple´tude(2)
om-C´epldetu)(2
irhCledeiroe´hT543NIe(udetl´mpCoP-aNpmelLUoCehAPtspoe-UMnc´eeavaxit´
3
La classeNP Quelquesr´eductions La classecoNP Bonnescaract´erisations
2
La classeP
1
Lath´eoriedelacomplexit´e:unpeudhistoire
Les algorithmes
)2
R´eductionsparcimonieuses
La classe PEspace
6
4
5
seaLhte´roeiedalLesalgorithmotsihdurixilempcopeune:t´quelr´esusieQuesnomnnescaraecoNPBoLscaalssdecuitnosnoitasire´tc
ent3ontit:Vc3-saaFniT,teteBsosmmiesxetmmsoe2qusiraveuqahcruopixtement`aNentclaircuitnod2PoCsnrtpa`airrtgrunheapcnatedIenudsnieteix,iixocolostnsdiri´ement´ere.FteTrapeuqahca`,oseauclieocssnaailbxe.iB{T,F,e}stuntriangledeGaisnieuqB{,i,ix,}Oxierbstiva:on
3-coloration
Montrer que3-sat6K
Exercice :
)2(edtu´eplom-CNPladeUAPemoCLsirhhpotivsutCangaleetdghTe´roeiU-IM3N54avanc´eeplexit´edeleoeirlpxecamorithalgoath´mesLseLrio´eitnp:udeusthierisact´scaronneNBPesoclcsasnaLioctdu´esruelqueQsesueinomnappartioloratio31c-oitasn
LstahtemogirselaLseeunimoLaclionscoNasseqleuQseuudtcrse´itex:u´eeunphidoe´hdeircalelpmotsiort´eraracnescPBonoisnsitatse}rtnugnaiedelinGaqusii,e,x{B{B,T,Fe´vana´cmolpxetiphePAULCtChristoustenavieleigdagna,oocssclueseauhcqaa`}xii,2()uted
Exercice :Montrer que3-sat6K3-coloration 13-colorationappararimene`titnectalNP 2uctrontinsCoa`ehtrapnudpargnuieridcnesnatIde3-sat: Vcontient 3 sommetsB,TetFainsi que 2 sommetsxietxi pour chaque variablexi.
Observation:i,xietxirtnapremei´e´esdlorioctnosTetF.
NPladeie´eplom-C3NIMU-eeroe´hT54
edr´tiucelQuesqueinosesum´eriractescaBonnoPNsscecaalnoLssnoitaseLeiede´ropmelalocoritsalgLathhmesriotune:t´xiishudpen:ioatrvseObctlosinoeixtix,emen´eresdiori´potsirhCoCLUAPehTetFtpar.(edu
Exercice :Montrer que3-sat6K3-coloration 13-colorationientclairement`apatrapNP 2phrangutiarape`nienudrecnatsCnotsurtcoidnIde3-sat: Vcontient 3 sommetsB,TetFainsi que 2 sommetsxietxi pour chaque variablexi. {B,T,F}est un triangle deGainsi quei,{B,xi,xi}
)2
`achaqueclause,onassocielegadgetsuivant
eledP-aNmpCoetl´-eMUNI43T5´hoeirmplexit´eavanc´e
isonietxori´tcolvrtabOesix,oi:nac.`tFTelaecquhare´idseraptneme5T34INUMe-´encvaoC-PNaledeiroe´h
Exercice :Montrer que3-sat6K3-coloration 13-colorationtna`lciaerempartientapNP 2Ccestanneinitraudrhparpa`endiongustonctruIde3-sat: Vcontient 3 sommetsB,TetFainsi que 2 sommetsxietxi pour chaque variablexi. {B,T,F}est un triangle deGainsi quei,{B,xi,xi}
e(2)etudmpl´cisoegele,usasontnav1x(egdaiustristophex2x3)Chelix´taeAPLUoCpmnoLscuit´rdeuqseBonnoNPssecaclaelQuesusieonmire´itasacsetcarsonsalgLemhserotie´roaLhtdeiecolalempt´xinu:eduepsihriot
aimoC.elsirhhpotAUePomLCexpl´eitcuitnoudrgpaehsetclairementpolynute´lpmo
Gest 3-coloriable ssiIest satisfiable Siaucuntermedelaclauserec¸oitlacouleurT,alorslegraphe n’est pas 3-coloriable.
Exercice :Montrer que3-sat6K3-coloration 13-coloration`aapntmretrpeanaiticelNP 2rduartie`apraphectsnaenniCgnudnoitcurtsnoIde3-sat
)2(ed
3
´ceevana3N54U-IMorieTh´eNP-Cdelanosctracaestisari´ecessalcannoBPNor´edquesonsLuctinoeimuQlesusehistoire:unpeud´tixelpmocaledeior´ethLaeshmitorasgleLgearhpeets-3ocolriable.4Laconstrlcalesuac¸erltioouacurlealT,sloriSinsuaumomedenter
elquesr´eductionmnoeisuseuQsitnoracaesnnsari´ectssalcaLsoBPNoceaseLtoishudpeune:t´rith´eesLaithmlgorelixocpmedalroei
3
Exercice :Montrer que3-sat6K3-coloration 13-colorationappaeitrment`antclaireNP 2tcoidnuCnotsurecnatsnienurdtiarape`phrangIde3-sat
Gest 3-coloriable ssiIest satisfiable Si aucun terme de la clause recoit la couleur T, alors le graphe ¸ n’est pas 3-coloriable.
e´lpmoC-)2(edutSiaumoinsuntermealedualceresioc¸actlleouT,uroral3-coeestraphslegocsn4.aLbaelolirheapgrduontiuctrloptnemerialctse.ChristoynomialemolpxetihpPeUACL-UeeN3MIav´ec´anedeiPNalhT54roe´
LComePAUtophhriselC.moailonyneptemirlatcesheapgrudnoitcurtsnocaL4ed2()
Gest 3-coloriable ssiIest satisfiable Si aucun terme de la clau ¸ T, s le graph se recoit la couleur alor e n’est pas 3-coloriable. Siaumoinsuntermedelaclausere¸coitlacouleurT,alorsle graphe est 3-coloriable.
Exercice :Montrer que3-sat6K3-coloration 13-colorationeremlciaeitnaptrapnt`aNP 2 d’une instance ` artirConstruction d’un graphIde3-sat e a p
3
delaNP-Compl´etuIMU-543Ne´hTeiroexpl´eitanaveec´nose´irasitLath´eoriedelacoeLasglrotimhseriotsihudpeune:t´xilempseuqde´rsesuleuQmieonseacartcoPNoBnnaclassecuctionsL
Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.