Structurations des graphes : quelques applications algorithmiques, Graph structurings : some algorithmic applications
255 pages
English

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Structurations des graphes : quelques applications algorithmiques, Graph structurings : some algorithmic applications

-

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
255 pages
English
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

Sous la direction de Bruno Courcelle
Thèse soutenue le 03 décembre 2008: Bordeaux 1
Tous les problèmes définissables en logique du second ordre monadique peuvent être résolus en temps polynomial dans les classes de graphes qui ont une largeur de clique bornée. La largeur de clique est un paramètre de graphe défini de manière algébrique, c'est-à-dire, à partir d'opérations de composition de graphes. La largeur de rang, définie de manière combinatoire, est une notion équivalente à la largeur de clique des graphes non orientés. Nous donnons une caractérisation algébrique de la largeur de rang et nous montrons qu'elle est linéairement bornée par la largeur arborescente. Nous proposons également une notion de largeur de rang pour les graphes orientés et une relation de vertex-minor pour les graphes orientés. Nous montrons que les graphes orientés qui ont une largeur de rang bornée sont caractérisés par une liste finie de graphes orientés à exclure comme vertex-minor. Beaucoup de classes de graphes n'ont pas une largeur de rang bornée, par exemple, les graphes planaires. Nous nous intéressons aux systèmes d'étiquetage dans ces classes de graphes. Un système d'étiquetage pour une propriété P dans un graphe G, consiste à assigner une étiquette, aussi petite que possible, à chaque sommet de telle sorte que l'on puisse vérifier si G satisfait P en n'utilisant que les étiquettes des sommets. Nous montrons que si P est une propriété définissable en logique du premier ordre alors, certaines classes de graphes de largeur de clique localement bornée admettent un système d'étiquetage pour P avec des étiquettes de taille logarithmique. Parmi ces classes on peut citer les classes de graphes de degré borné, les graphes planaires et plus généralement les classes de graphes qui excluent un apex comme mineur et, les graphes d'intervalle unitaire. Si x et y sont deux sommets, X un ensemble de sommets et F un ensemble d'arêtes, nous notons Conn(x,y,X,F) la propriété qui vérifie dans un graphe donné si x et y sont connectés par un chemin, qui ne passe par aucun sommet de X si aucune arête de F. Cette propriété n'est pas définissable en logique du premier ordre. Nous montrons qu'elle admet un système d'étiquetage avec des étiquettes de taille logarithmique dans les graphes planaires. Nous montrons enfin que Conn(x,y,X,0) admet également un système d'étiquetage avec des étiquettes de taille logarithmique dans des classes de graphes qui sont définies comme des combinaisons de graphes qui ont une petite largeur de clique et telles que le graphe d'intersection de ces derniers est planaire et est de degré borné.
-Décomposition de graphes
-Vertex-minor
-Logique monadique du second ordre
-Largeur de clique
-Système d'étiquetage
-Largeur de rang
-Configuration interdite
-Largeur arborescente mineur
-Logique du premier ordre
Every property definable in onadic second order logic can be checked in polynomial-time on graph classes of bounded clique-width. Clique-width is a graph parameter defined in an algebraical way, i.e., with operations ``concatenating graphs'' and that generalize concatenation of words.Rank-width, defined in a combinatorial way, is equivalent to the clique-width of undirected graphs. We give an algebraic characterization of rank-width and we show that rank-width is linearly bounded in term of tree-width. We also propose a notion of ``rank-width'' of directed graphs and a vertex-minor inclusion for directed graphs. We show that directed graphs of bounded ``rank-width'' are characterized by a finite list of finite directed graphs to exclude as vertex-minor. Many graph classes do not have bounded rank-width, e.g., planar graphs. We are interested in labeling schemes on these graph classes. A labeling scheme for a property P in a graph G consists in assigning a label, as short as possible, to each vertex of G and such that we can verify if G satisfies P by just looking at the labels. We show that every property definable in first order logic admit labeling schemes with labels of logarithmic size on certain graph classes that have bounded local clique-width. Bounded degree graph classes, minor closed classes of graphs that exclude an apex graph as a minor have bounded local clique-width. If x and y are two vertices and X is a subset of the set of vertices and Y is a subset of the set of edges, we let Conn(x,y,X,Y) be the graph property x and y are connected by a path that avoids the vertices in X and the edges in Y. This property is not definable by a first order formula. We show that it admits a labeling scheme with labels of logarithmic size on planar graphs. We also show that Conn(x,y,X,0) admits short labeling schemes with labels of logarithmic size on graph classes that are ``planar gluings'' of graphs of small clique-width and with limited overlaps.
-Graph decomposition
-Clique-width
-Rank-width
-Tree-width
-Minor
-Vertex-minor
-Labeling scheme
-Excluded configuration
-First-order logic
-Monadic second-order logic
Source: http://www.theses.fr/2008BOR13693/document

Sujets

Informations

Publié par
Nombre de lectures 81
Langue English
Poids de l'ouvrage 1 Mo

Extrait

oN
d'ordrehercSegounHDR:se3693HDRTH?SEos?ePR?SENT?Ede?RecL'UNIVERSIT?orteurBORDEAdeUXlaICaucal?COLEBrunoDOCTORALEvDEPMAHDRTH?MAhercTIQUESheETSegounD'INFhercORMAanTIQUEd'examenP:ardeMamadouHDRMoustaphaProfesseurKANT?CyrilPOURProfeOBTENIRExaminateurLECharg?GRADEheDEorteurDOCTEURdeSP?CIALIT?HDR:hercINF,ORLucMDirecteurARecTIQUEhe,StructurationsDevdestGraphescommissionQuelquescompApplicationsdeAlgorithmiquesDidierSoutenCharg?ueReclehe,03ExaminateurD?ceCourcellemDirecteurbreTh?se2008GaApr?soilleasvisurdesChristopherauladepphercorteurs,:RappChristopheLucPDirecteuraulRecCharg?he,deRappRec2008oN
rd3
3693DISSERTACourcelleyhercTIONRecPRESENTEDhercTOCharg?THEProfesseFhercAaulCULSegounTYareOFhe,UNIVERSIT?CyrilBORDEAPUXSegounIorteurDEPChristopheARdeTMENTHDROFdeMAHDRTHEMADidierTICRecSExaminateurANDSupCOMPUTERvSCIENCEExaminateurBYCharg?MamadouorteurMoustaphadeKANT?HDRINbCANDID:APCYCharg?FRecORhe,THELucDEGREEDirecteurOFRecDOCTEURhe,OFExaminersPHILOSOPHY:INCaucal:deCOMPUTERhercSCIENCEHDRGraphBrunoStructuringsProfesseurSomeervisorAlgorithmicGaApplicationsoilleDefendeduronChristophe:aulhedeHDRhercOrder,DecemRappbLucerDirecteur2008RecRecommendedhe,forRappacceptance2008AcknoledeparenwledgmenfaittMbaJepremerciemaDIEUaetmeilleurelelesphrmaop?reh?tenMohamedlogique(PAndrew.S.L.).th?se.LaoussoufoiDioufentir.DIEUmaestgunmesr?confort.wJeeremercieteBrunosoutienCourcelle?rioquimondeadeaccept?td'encadrerremerciecette?th?sedeuxetd'enaupMoubar?sLandrydegrandesquifatiguej'ai?galemenapprisa?norm?menett.?tuJeamapmonourraietdiremquemasansle.lquiuiainsicetteyth?sean'auraitrmisjamaisduraneuqlieu.vJedeluir?sumeentoutessuisj'aitr?sparticulierrecoMicnersonnesnaissanont.eJeestremerconnesideeuLucetSegounaussiete,ChristopheTPourauldeplorsqueofaisaituremerciemenr?apvoiroiroaccept?ermisdeerrapp?orterd-m?receourtra?rance,vBathie,ail.Daouda,Lesapha,conseilstedeDiChristopheetPeaulam'onBatk?t?unpr?cieuxunptoourfamillelaJepr?parationRokhadetlapsoutenance.eJebtiensles?galemendicilesti?sexprimerquemespasremeetrcineeauxmenJetsp?ecCyrilor?Gath?se,vvidoillewiggetRao.?lesDidierj'aiCaucaletpconourbadevraisonoirqui,accept?hosesdereconna?trefaireestpartielededeuxmonDja'farjuryDiengdeJoanth?se.maisJeMaissaremercieyl'ANOmerRetblancaphaGRAALpD?compnosositionss?ancesdediscussiongraphesapr?s-midietlaalgorithmessepsenourMesatsvtoirmesnanc?tstousourmesvvsuscit?ovycationagespdurand'actevcettemesth?sedes.etmapranourYm'apvsaoirers?vp?ermisonclede?c?tofr?resyK?baerTdes?memtanbresAduiLIRMMaetaradu?LIAFbA,lquefjemilremercie??galemenyt.MbacEn?citanesttgrand-pdesetnomsguidejequerisqueud'enlaoublierMbamaise.ilremerciefafemmeuytdonquandlem?mem'aqueejedremercieteFirr?d?riqueonCarr?retppourdessonetaccueiluaumelabtoujoursoratoire,aPoirascalleWn'esteilfaitquigraphesm'adeiniti?et?selapasrecparam?treshercgraphes.he,remercieFlesr?d?ricersonnesMazoitvpquiourcollabsesduranconseilscettedansenlaDar?dactionSoguet,deTl'inettrohaelductionJeettoutesDapvidqueRenaultoubli?pciterourquisestcritiquestribu?lorsladeonnlar?ussitepr?parationcettedeL'hommelanablesoceluiudetenancecetbsessaitconseilslaenetLaTcapableeX.discernerJepireremercietremesmaco-bureauxx.YS?diqσ
σ
GF(4)
GF(4)
F
GraphStructurings:Some..Rank-WidthAlgorithmic3.3Applications.11.1.Notations.and.Basic.Denitions.19.1.1.Clique-Widthalenand.M-Clique-Width4.1...Op.....of...47.....................for.............s21Graphs1.2.Rank-Width.and.V-Rank-Widthertex-Minor......Bi-Rank-Width.......................Characterization.Graphs.......Op.Graphs.....for.....7726.1.3.Monadic.Second.Ord.er44LogicDirected.3.1.re...............ts...............47.................3.2..29.1.4.Graph.Op.eration.s................4.Rank-Width.Coloring...............4.2.ration.-Rank-Width.........4.3.ration................31.I.Graph.Cla.sses.of.Bounded.Rank-Width.33.2.Rank-width3ofof1Graph-Symmetric47MatricesRank-Width35Di2.1ctedRank-Width.of.duction.-Symmetric.Ma.tri.c.es..............3.1.1.ten..............................363.1.22.2.V.ertex-Min.o.r...................tro.In.and51are..-Rank-Width.Bi-Rank-Width.Equiv.t.............54.Conclusion..............................37.2.3.Excluded.V.ertex-Minors56.Algebraic.of.59.Algebraic.of.............................60.Algebraic.e.sCon..of............40.2.4.Conclusion64.Algebraic.e.s.Bi-Rank-Width.......................iF
FO
FO
2
2
...yReviewRemarks.............for.on.........ounded.................The.Planar.P.......Sc.for....81of5.RecognitioncalAlgorithms.83.5.1148Other.Width9P.arameters.and.Comparisons....tation...ed.....174...............I.Classes.Lab.Prop.ols..83.5.2.Recognition141AlgorithmsTfo.r.DirectedClassesGraphs....145.......a.......for.161.........161........89.5.2.1andRecognizingnctionsGraphs.of-ConnectedBoun.ded.Bi-Rank-WidthCase.......Plane.........7.5........89.5.2.2.Recognizing.Graphs.of.Boun.dedLab.for-Rank-WidthUn.133.Sc.Conclusion.141.T.Logic...............Graph91Lo5.3.Conclusion........8.3.Bounded...........Lab.............Other.d.............Lab.y.g.Preliminaries...................Plane93.6.Balanced.Graph.Expressions.95.6.1.General.F.ramew9.3orkProp.unctions.F.....167.of.ace.Graphs.......9.5...............Bip.hs.P...............130.Conclusion......96.6.2.Applications.to.Graph.Algebras......................131.I.eling.hemes.Graph.of.b.Rank-Width.8.eling.hemes...-denable.erties.8.1.of.o105from6.3.Conclusion............................8.2.Classes.Bounded.cal.ree-Width...................143.Graph.of.Lo.Clique-Width..............115....8.4Propeling.7Rank-width-denableComparedertiesto.T.ree-width.117.7.1.T.ree-Width.and.Related.Notions......8.5.Results.n.Concluding.......................155.Short.eling.Connectivit.Queries.planar.raphs.9.1..118.7.2.V.ertex-Min.o.r.Reductions.and.Edge.Con.tractions................9.2.Graphs................120.7.3.Application.to.Rank-Width............163.Represen.of.erties.F.b.Unary.u...........9.4.Case4.4..F.Bound.Plane..........127.7.4.A172ProTheofofof-ConnectedPropGraphsosition.7.2....................9.5.1.olar.Grap.and.olar.airs...................175H
H
BarriersandthePro...of.of.Theorem.9.4...Reduced231.....to...-e-Decomp.............Undirected..186.9.6.The.General.Case....Gra.....221.................203.ositions.p...........10.3.y.............10.4.of.hs......190.9.7.ConclusionConclusion...................229.y.............10.2.-v-Decomp.of.Gra.hs.....................206.Application.Connectivit.Query......202.10.Short.Connectivit.y.Query.Lab.e.ling.on2129.5.2GraphClassesositionsofUndirectedUnpb.ounded.Clique-.Width.203.10.1.In.tro.duction......10.5.........................................Conclusion.Bibliograph.233

  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents