Complexite parametrique Multicut in trees

Nicolas Bousquet

Description

Niveau: Supérieur, Licence, Bac+3
Complexite parametrique Multicut in trees Conclusion Un noyau polynomial pour Multicut in Trees Nicolas Bousquet Juin-Juillet 2008 Nicolas Bousquet Un noyau polynomial pour Multicut in Trees

• probleme np-complets


• complexite parametrique


• trouver des algorithmes efficaces


• problemes en differentes classes


• noyau polynomial


• problemes np

Sujets

• Bousquet

Informations

• Publié par: vehot
• Publié le: 01 juillet 2008
• Nombre de lectures: 18
• Langue: Français

Extrait

ciNsuoBsaloaypulonyuqtenUonrMulticuomialpou

noyau

Un

Complexit´eparam´etrique Multicut in trees Conclusion

Nicolas Bousquet

Trees

in

polynomial pour Multicut

Tnitseer

Juin-Juillet 2008

2

Conclusion

3

Plan

Complexite´param´etrique Introductiona`lacomplexite´ Probl`emesFPT Problemesa`noyaupolynomial `

1

Multicut in trees Introduction d bl` u pro eme R`eglesder´eduction Cas du caterpillar Cas ´ ´ l genera

mpleCoqirte´marape´tix eetrinuticltMu ue on s Cusclnio oynntUuesqousBlaociNeesinTricutMultopruimlaylonuaop

rees

Complexit´e

Probl`emeNP-complets Unproble`meestdansNPsi il admet un certificat polynomial. Lesproble`mesNPpsortnelemlslbe`-cotssompleplesdiusilfficdees NP.

ticutinT tr´eueiq ltMuuticrtni C see lcnooisu oCpmelix´tperama e`lborP TPFseme`l nolypoauoyans`me `nlatcoiorudI n tn Prob it´eplexacom imla emescfficaseopruedouverdesalgorith Mvitooita rT sn obl`esprfierlassi .s lC itnonoidencsairtceussotslempoc-PN seme`lborps lpourMulolynomianUonaypuoBsuuqteic . Nasol lascesssre´ffetnesemeidne

riqum´etparait´e erseittnitucM e lu odtrIn onsiluncCo elpmocala`noitcumoCxelpix´t P e orlbe`emFsPT Probl`emes`anopuaynyloaimol auoynntUminolypoalociNeuqsuoBss

Complexit´e

Proble`meNP-complets Unproble`meestdansNPsi il admet un certificat polynomial. Lesproble`mesNPltnorpselpmosste-ceffiiiceldslesplusdobl`emes NP.

Tree

Motivations Trouverdesalgorithmesefficacespourdesproble`mes NP-complets sous certaines conditions. Classifierlesproble`mesendiff´erentesclasses.

ruuMlaoptunitlci

ylonimlaopruuMtlousquetUnnoyaupo

d´cisionsi sa sortie est OUI ou e

uticTrinsee

De´finitions

Probl`emeded´ecision Unprobl`emeestuneprobl`emed NON

Introductiona`lacomplexite´ Proble`mesFPT Probl`emes`anoyaupolynomial

Complexite´parametrique ´ Multicut in trees Conclusion

P rt E e expm peramae`appelleln,k).ks’trap(seinerexued e d ts isiv ´etreuepnonesesie`rtramae`apl`emprobstuneeme`lborpnU ertem`rapa`ame`eblro NONsinon NicolasB uoetlsseraeˆet,stsmeitquchouttenisIUxelietsimosk ierknent ut:OOutp hpGegnar)Eu,(=,V EROVXCTE :Uutnp : I borpeL el REVeme`l

usion Int ees Concl citunirt qieu uMtlobPreml` expl´eitla`nmocaudoroitc miallynoaupoanoyem`slbe`P T or sePF pe´tixelrte´marampCo salociNteuqsuoBesre

Exemple Leproble`meVERTEXCOVER: Input graphe: UnG= (V,E), un entierk Output: OUI si il existekesetrˆsa,ehtnotcuseelottusosquimmet NON sinon

Probl`emedede´cision Un probleme est unionplboreme`´dedsicesi sa sortie est OUI ou ` NON

De´finitions

Probl`emea`param`etre Unproble`meestunme`abl`em`etparaerorpestuoseniseeeptn´r diviser en deux parties (n,k).ks’appelleelapar`metre

pluoMrluitucitTnUnnoyaupolynomia

Mu ue iclt ´eamiqtr´tixrapeoCelpm laopruuMopylonimTrees

Complexite´parametrique ´

Probl`emeFPT Unproble`meP= (n,k) est FPT (Fixed Parameter Tractable) si onpeutler´esoudreenP(n)∗f(k).

lticutiniNalocnntUauoyousBuesq omplalac´e Pr exit mesebo`l orlb PF P Teetrinut usclon s C ortnI noi `noitcud me`eans`auoylypoimonla

obl`emesFPT Probl lacamolpxetie´ rP minoaleme`na`suayoylop tlci eu uM rtqimae´eparxit´mpleCo`noitcudortnI noiusclon s C eetrinut omynolupyanoUnetitucitluMruoplaies

Exemple Leproble`meVERTEXCOVER: Input: Un grapheG= (V,E), un entierk Output: OUI si il existekmmsosqetottnsetuotiuehcues,lesarˆet NON sinon

nTresaoBsuuqNcilo

urpoltMuuticTrinyonnopuaonyllaimNicolasBousquetU imlalynoaupoanoymes`C seertni oisulcno duront n Ialn`ioctlpxecamo rPbo tie´ esFPl`em bl`e T Pro oCpmelix´tperama´etrique Multicut

8?9> A <:=;

C : ~~ 8?9> B ;:=< ? ? ? ? FG;89<=>?A@ D ECBD ~ ? ? ? ? ? ~ ~ ~ ~~ 8?> E <=;: ~ 9

Exemple Leprobl`emeVERTEXCOVER: Input: Un grapheG= (V,E), un entierk Output: OUI si il existektuotelsecuottnehetmmuisqsoteseasˆr, NON sinon

see

rPbo`lmesea`onayupolynomial noitala`pmocixele P t´ blrome`ePTsFucitluitse oC tner sionnclu oducIntrCtixelpmom´rapa´ee M quriet NieuqsnnUtalocuoBs

8?9> B ?>89:;=< C A=<;:GF@ D BCED ? ? ? ? ~ ~ ~ ~ ? ? ? ? ? > ~ ~ ~ ~ ~ ?89 E <=:;

Exemple Leprobl`emeVERTEXCOVER: Input: Un grapheG= (V,E), un entierk Output si il existe: OUIkselsetuo,seteˆrasmoquitmetsenttouch NON sinon

salponomipolyoyaurTeetunitlciruuM

s Con tree ion I clus eu uM rtqi tunitlci t´xilemp´eamarepoC opylonim`snayouarobl`eme emesFPT P rP e´ `lbo lpmotixen`ioacalrontctdu al NlocioBsauqsuUnetyanoolupomyncutiultiourMialp

Exemple Leproble`meVERTEXCOVER: Input graphe: UnG= (V,E), un entierk Output: OUI si il existeksommuitoetsqottnehcuaselsetu,esetrˆ NON sinon

se

>= F 8?9 C <:; ~ ~ ~ ~ ~ ~ G@ ~ A D DECB ?8>9 E =<:; ~~

Tner