Inroduction influence des parametres Problemes algorithmes parametres Complexite parametree et approximation

De
Publié par

Inroduction - influence des parametres Problemes, algorithmes parametres Complexite parametree et approximation Introduction a la complexite parametree (1) (Complexite avancee - UMIN 345) Christophe PAUL (CNRS - LIRMM) November 4, 2008 Christophe PAUL (CNRS - LIRMM) Introduction a la complexite parametree (1) (Complexite avancee - UMIN 345)

  • complexite parametree

  • inroduction - influence des parametres problemes

  • parametre specifique au probleme

  • algorithmes parametres

  • fixed-parameter algorithms

  • croissance exponentielle du temps de calcul


Publié le : mardi 19 juin 2012
Lecture(s) : 27
Source : lirmm.fr
Nombre de pages : 64
Voir plus Voir moins
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
emalgorithbl`emes,enutneitixelpmoc(1nOeet´st)58l,0rudeurtcroumlefaaramle:pesba`etre´ti(One42,1l4)mguonrdeuafelmuorell:n=morbtetoladelitt´erauxOnobmbno3on=m:sesualcedersOnoausedeclmbrelpxecemotnnutbei5)
L’exemple desat Mesuredelacomplexit´eenfonctiondedie´rentsparametres: ` 1taille des clauses :k=nouxrarcpauslaeerbm.xamilede´tt k= 2:satP k>3:satNP-complet nombre de variables :n= nombre de variables Il y a 2naffectations possibles Sionserestreinta`3-sat,lae`tie´otbmcamolpxeO(1,49n)
IN34
2
aeavix´t-eMUcne´oC()elpm´rte1(eepa´em´raplomitexoi`nlacatnorudtc-LIRMM)IAUL(CNRSPehpotsirhC...sencdaenepd´deheapudrguterrtculrsalesuxemppares´esneucndecuitnoi-etresProesparam`Iodnr
etresbas´esparexalofmrlu:eapar`ml)08tr5stuucderelpmotixenee´,1(OhePAstopNRS-UL(CnaecepdnhCir.s..raugedur´eededphruselpmetcurtsaltie´vanaC(molpxetr´ee(1)eparam´eelpm´tixa`noocalodtrtiucRMLIInM)
L’exemple desat Mesuredelacomplexite´enfonctiondedie´rentsparam`etres: 1taille des clauses :kleti´treuapxralcauseom=nembr.dax k= 2:satP k>3:satNP-complet 2nombre de variables :n= nombre de variables Il y a 2naffectations possibles Sionserestreint`a3-satal,ixelpmocbeomett´`aO(1,49n) 3nombre de clauses :m= nombre de clauses Onobtientunecomplexite´enO(1,24m)
)45N3MI-Ueec´ert´itelldtatorecenutneitbonOxuaurdengue4loonbm:e=lmrlualofeorlghmitam`esparcedeuensea,`lmerPbortseni-noitcudornI
)
2
L’exemple desat Mesuredelacomplexite´enfonctiondedie´rentsparame`tres: 1taille des clauses :klcraesuaelitax.dauxpt´errbmen=mo k= 2:satP k>3:satNP-complet nombre de variables :n= nombre de variables Il y a 2naffectations possibles Sionserestreinta`3-satocpm,albeom`axileett´O(1,49n) nombre de clauses :m= nombre de clauses Onobtientunecomplexit´eenO(1,24m) longueur de la formule :l=´treldtaitelmbnotore aux Onobtientunecomplexit´eenO(1,08l)
3 4
MI-U45N3anaveec´xelpe´ti)1(emoC(utcurts5pae:ulrmfoladere`aontiuclempcolarape´tixe´rte´mastopChriUL(ChePAILMRRN-Srtdo)MnIctruedurraugedphe´dednepecna...sram`etresbas´espraxemelpserualtsnIudoroitcinn-enudecearspl`emProbtresam`eetimhglrosea,
Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.