7 jours d'essai offerts
Cet ouvrage et des milliers d'autres sont disponibles en abonnement pour 8,99€/mois
Inroduction-ineucndeseapar`mtesPreblrome`eals,irogemhtristChIL-SRNC(LUAPehpoontiucodtrInM)RMmararte´(ee´C()1la`ampcoxileept´eeU-IM3N54)
Christophe PAUL (CNRS - LIRMM)
Introduction`alacomplexite´pa´etr´ee(1) ram (Complexit´eavance´e-UMIN345)
November 4, 2008
omplexit´eavanc´
irhCpotsAPehC(LUe´rte´marape´tix´eitexplom(C1)e(rtdo)MnIILMRRN-Smplelacoon`auctiU-IM3N54vana´cee)
Bibliographie
Parameterized Complexity, R. Downey and M. Fellows, 1999. Invitation to Fixed-Parameter Algorithms, R. Niedermeier, 2006. Parameterized Complexity Theory, J. Flum and M. Grohe, 2006.
udornImae`psrarPbortsen-inctiocedeueneroglmhtime`la,se
etr´ee(1´eparam´ix´taeav()oCpmel34IN
Complexit´eparame´tre´eetapproximation
5)´encUMe-
2
1
Inroduction-inuencedesparam`etres
3
Proble`mes,algorithmesparame´tre´s
duroioctInlgores,aeithmserte`mame`lborPenuinn-arspdeceomplexition`alactnorudtcL-RIMMI)L(AURSCNtoisePphrhC
Inune-nnitcoiorudestr`eamarspdecerogla,seme`lborPtimheredtseelatnemadnfoeed´iLotriibancnmosooiexplreleindestrau,`ullc`eamarnptudelleiacedspme`emeroblR.Ni...´pcertseaepuiuqitevleabui,qtreses,eelbmi-t-´niloissanceexponentseopsnbaeledalrc
J. Flum and M. Grohe
5)
Mesurerlacomplexite´seulementenfonctiondelatailledela donn´eesignieignorertoutinformationstructurellesurlinstance donn´ee...
UMe-34INee(1)(Coram´etr´aeavcne´pmelix´tn`ioctduront)IMMape´tixelpmocalaistorChrmeieederL-RINCSRUA(LhpPe
MIN345)anc´ee-Uxetie´va)1C(molp
Mesurerlacomplexit´eseulementenfonctiondelatailledela donne´esignieignorertoutinformationstructurellesurlinstance donn´ee.. .
J. Flum and M. Grohe
Lide´efondamentaleestderestreindrelexplosioncombinatoire, semble-t-iline´vitable,quiestresponsabledelacroissance exptielledutempsdecalcul,`aunpa`etrespe´ciqueau onen ram proble`me...
R. Niedermeier
hCMR)M-SILdocunIrtopherist(CNRPAULmarape´t(ee´rte´la`aontixilempcoorPserte,seme`lbthrigoalmerndoInoi-cuitncednueram`espa
oducInrblrosPreetm`rapasedecneuni-noitevedbrom2nmorbn:n=lbseraaiIlyablesariaedevme`eals,rigomethtiobOnuxra´ettliedlatoterbmon=l:muleaforrdelgueul4no42)m(O,1e´neestrs´baar:p`eamrofaelumrutclede8l)5strueenO(1,0pmelix´tneutenoctixelpmo`ebmote´a3t`inreac,lat-sseiSislbertsnoesecta2naspostiontneicenulpmotixedereauclsOsebtnoedlcuaes:s=monbmaO(1,49n)3nombreNIMU-ee´cnavae´t
L exemple desat Mesuredelacomplexit´eenfonctiondedi´erentsparame`tres: 1taille des clauses :k=mbnoiltte´areram.xeduseuxparcla k= 2:satP k>3:satNP-complet
5)34d´ephedencesendarhsi..C.PeUAothpxerepaesrlsulemputcurtsaparguderplexit´eparam´et´ree1(()oCpmelixCNL(-LRSMMIRnt)Iudoroitcla`nmoca