1 Treewidth, partial k-tree and chordal graphs Delpensum INF 334 Institutt fo informatikk Pinar Heggernes Speaker:

Slides:



Advertisements
Similar presentations
Solving connectivity problems parameterized by treewidth in single exponential time Marek Cygan, Marcin Pilipczuk, Michal Pilipczuk Jesper Nederlof, Dagstuhl.
Advertisements

CS 336 March 19, 2012 Tandy Warnow.
NP-Hard Nattee Niparnan.
Connectivity - Menger’s Theorem Graphs & Algorithms Lecture 3.
Interval Graph Test.
Minimum Vertex Cover in Rectangle Graphs
Edge-connectivity and super edge-connectivity of P 2 -path graphs Camino Balbuena, Daniela Ferrero Discrete Mathematics 269 (2003) 13 – 20.
Presented By: Saleh A. Almugrin * Based and influenced by many works of Hans L. Bodlaender, * Based and influenced by many works of Hans.
Bayesian Networks, Winter Yoav Haimovitch & Ariel Raviv 1.
1 NP-completeness Lecture 2: Jan P The class of problems that can be solved in polynomial time. e.g. gcd, shortest path, prime, etc. There are many.
Parallel Scheduling of Complex DAGs under Uncertainty Grzegorz Malewicz.
CS774. Markov Random Field : Theory and Application Lecture 17 Kyomin Jung KAIST Nov
Graphs – Basic Concepts
Graph Classes A Survey 張貿翔 中正大學資訊工程學系. Meeting Room Reservation One meeting room Reservation: –Gary10:00~11:00 –Mary10:30~12:00 –Jones13:30~14:30 –Amy14:00~15:30.
Complexity 16-1 Complexity Andrei Bulatov Non-Approximability.
CSC5160 Topics in Algorithms Tutorial 2 Introduction to NP-Complete Problems Feb Jerry Le
16:36MCS - WG20041 On the Maximum Cardinality Search Lower Bound for Treewidth Hans Bodlaender Utrecht University Arie Koster ZIB Berlin.
Welcome to the TACO Project Finding tree decompositions Hans L. Bodlaender Institute of Information and Computing Sciences Utrecht University.
Perfect Graphs Lecture 23: Apr 17. Hard Optimization Problems Independent set Clique Colouring Clique cover Hard to approximate within a factor of coding.
Vertex Cover, Dominating set, Clique, Independent set
NP-Complete Problems Reading Material: Chapter 10 Sections 1, 2, 3, and 4 only.
1 CSE 417: Algorithms and Computational Complexity Winter 2001 Lecture 23 Instructor: Paul Beame.
Utrecht, february 22, 2002 Applications of Tree Decompositions Stan van Hoesel KE-FdEWB Universiteit Maastricht
CSE 421 Algorithms Richard Anderson Lecture 27 NP Completeness.
Coloring Algorithms and Networks. Coloring2 Graph coloring Vertex coloring: –Function f: V  C, such that for all {v,w}  E: f(v)  f(w) Chromatic number.
Graph Theory Ch.5. Coloring of Graphs 1 Chapter 5 Coloring of Graphs.
The Maximum Independent Set Problem Sarah Bleiler DIMACS REU 2005 Advisor: Dr. Vadim Lozin, RUTCOR.
The Art Gallery Problem
Αλγοριθμική Θεωρία Γραφημάτων Διάλεξη 3 Τριγωνικά Γραφήματα Μεταβατικά Γραφήματα Σταύρος Δ. Νικολόπουλος 1.
Graph Coalition Structure Generation Maria Polukarov University of Southampton Joint work with Tom Voice and Nick Jennings HUJI, 25 th September 2011.
Nattee Niparnan. Easy & Hard Problem What is “difficulty” of problem? Difficult for computer scientist to derive algorithm for the problem? Difficult.
Kernel Bounds for Structural Parameterizations of Pathwidth Bart M. P. Jansen Joint work with Hans L. Bodlaender & Stefan Kratsch July 6th 2012, SWAT 2012,
Design Techniques for Approximation Algorithms and Approximation Classes.
Modular Decomposition and Interval Graphs recognition Speaker: Asaf Shapira.
Lecture 22 More NPC problems
1 Bart Jansen Independent Set Kernelization for a Refined Parameter: Upper and Lower bounds TACO Day, Utrecht January 12 th, 2011 Joint work with Hans.
Batch Scheduling of Conflicting Jobs Hadas Shachnai The Technion Based on joint papers with L. Epstein, M. M. Halldórsson and A. Levin.
Approximation Algorithms
1 Steiner Tree Algorithms and Networks 2014/2015 Hans L. Bodlaender Johan M. M. van Rooij.
Techniques for Proving NP-Completeness Show that a special case of the problem you are interested in is NP- complete. For example: The problem of finding.
CS774. Markov Random Field : Theory and Application Lecture 02
Graph Colouring L09: Oct 10. This Lecture Graph coloring is another important problem in graph theory. It also has many applications, including the famous.
Twenty Years of EPT Graphs: From Haifa to Rostock Martin Charles Golumbic Caesarea Rothschild Institute University of Haifa With thanks to my research.
The Dominating Set and its Parametric Dual  the Dominated Set  Lan Lin prepared for theory group meeting on June 11, 2003.
1 IM.CJCU Hsin-Hung Chou The Node-Searching Problem on Special Graphs 周信宏 長榮大學 資訊管理學系
Computing Branchwidth via Efficient Triangulations and Blocks Authors: F.V. Fomin, F. Mazoit, I. Todinca Presented by: Elif Kolotoglu, ISE, Texas A&M University.
Data Reduction for Graph Coloring Problems Bart M. P. Jansen Joint work with Stefan Kratsch August 22 nd 2011, Oslo.
Introduction to Graph Theory
Interval Graph Test Wen-Lian Hsu.
Algorithms for hard problems Parameterized complexity Bounded tree width approaches Juris Viksna, 2015.
NOTE: To change the image on this slide, select the picture and delete it. Then click the Pictures icon in the placeholder to insert your own image. Fast.
Introduction to NP Instructor: Neelima Gupta 1.
Kernel Bounds for Path and Cycle Problems Bart M. P. Jansen Joint work with Hans L. Bodlaender & Stefan Kratsch September 8 th 2011, Saarbrucken.
The NP class. NP-completeness Lecture2. The NP-class The NP class is a class that contains all the problems that can be decided by a Non-Deterministic.
Trees.
ICS 353: Design and Analysis of Algorithms NP-Complete Problems King Fahd University of Petroleum & Minerals Information & Computer Science Department.
Graphs and Algorithms (2MMD30)
An introduction to chordal graphs and clique trees
Richard Anderson Lecture 26 NP-Completeness
Hans Bodlaender, Marek Cygan and Stefan Kratsch
Richard Anderson Lecture 26 NP-Completeness
Parameterized complexity Bounded tree width approaches
Vertex Cover, Dominating set, Clique, Independent set
Algorithms and Complexity
Computability and Complexity
ICS 353: Design and Analysis of Algorithms
Richard Anderson Lecture 25 NP-Completeness
Richard Anderson Lecture 28 NP-Completeness
Boi Faltings and Martin Charles Golumbic
Boi Faltings and Martin Charles Golumbic
Presentation transcript:

1 Treewidth, partial k-tree and chordal graphs Delpensum INF 334 Institutt fo informatikk Pinar Heggernes Speaker: 李維陞

2 Outline Polynomial time algorithm for maximum independent set. Graph class define symbols Tree decomposition Treewidth Partial k-tree Chordal graph Clique tree Interval graphs

3 Problem Many graph problems that are NP-hard on general graphs. But if these graphs are trees, then we can solve these in polynomial time. Or these general graph problem can be categorized as some kind of graph, such as chodal graph or interval graph. General graphs Some kind of Restricted graph Design technique mapping Polynomial time NP-hard

4 Classification(1) A graph is called a  graph if it satisfies property . For example, a graph having no induced cycle of length greater than 3 is called a chordal graph. Many problems in graphs become polynomial-time solvable if the graphs considered satisfy some nice property .

5 Classification(2) Tree Just about all graph problems become linear-time sovable on trees. Planar graphs The maximum cut problem, NAE-3SAT become polynomial time solvable on plannar graph. Chodal graphs Maximum independent set problem There are almost 200 graph classes described in the book “Graph Classes, A Survey” by Brandstädt, Le, and Spinrad, published in 1999.

6 Perfect GraphsCocomparabilityComparabilityCircle GraphsWeakly ChordalChordal Distance-Hereditary PermutationCographsSplitStrongly ChordalTreesIntervalCircular-Arc Some Graph Classes

7 definition(1) G=(V,E) N(v): the neighbors of a vertex v, v ∈ V. ω(G): The number of graph vertices in the largest clique of G. κ(G): the size of a smallest possilbe clique cover of G. α(G):the number of vertices in an independent set of maximum cardinality. χ(G): chromatic number of G.

8 definition(2) Observe: ω(G) ≦ χ(G), α(G) ≦ κ(G) ω(G) = α(G bar ), χ(G) = κ(G bar ) Some parameters on G1 ω(G) = 3, α(G) = 2, χ(G) =3, κ(G) = 2 Deciding ω(G), χ(G), α(G) andκ(G) are NP-hard problems. G1

9 definition(3) Separator: given a graph G=(V,E), a set of vertices S V is a separator if the subgraph of G induced by V-S is disconnected. The set S is a uv-separator if u and v are in different connected components of G[V-S]. A uv-separator S is minimal if no subset of S separates u and v.

10 Tree decomposition

11 example for example: a trivial tree decomposition contains all vertices of the graph in its single root node. The tree decomposition Is far from unique.

12 Treewidth(1) a parameter that give a measure of how “tree-like” or “close to being a tree” a graph is. The width of a tree decomposition is the size of its largest set Xi minus one. The treewidth tw(G) of a graph G is the minimum width among all possible tree decompositions of G.

13 Treewidth(2) A tree decomposition of width equal to the treewidth is called an optimal tree decomposition. For graphs that have treewidth bounded by a constant, their treewidth and corresponding optimal tree decoposition can be constructed in linear time. Since we need an optimal tree composition when designing polynomial time algorithms for graphs of bounded treewidth.

14 Dynamic programming on a tree decomposition When we have a graph of treewidth at most k, we can first compute its treewidth and an optimal tree decomposition in linear time. We turn this tree decomposition into a binary tree decomposition with the same width in polynomial time. Therefore,We can always assume that we have an optimal binary tree decomposition.

15 DP based on a tree decomposition

16 K tree

17 Partial k-tree Definition A graph G is called a partial k-tree if G is a subgraph of a k-tree. Theorem G is a partial k-tree iff G has treewidth at most k.

18 Chordal graphs(1) Definition A vertex is called simplicial if it’s adjacency set induces a clique. Theorem A graph G is chordal iff every minimal separator of G is a clique. Theorem A graph is cordal iff it has a p.e.o.

19 Chordal graphs(2) Theorem A chordal graph is either complete or has at least two nonadjacent simplicial vertices. proof Let G be a chordal graph which is not complete. By induction on vertex n. abS A B S

20 Clique tree(1) Definition There exists a tree T=( κ,ε ) whose vertex set is the set of maximal cliques of G such that each of the induced subgraphs T[ κ v ] is connected.

21 Clique tree(2)

22 Clique tree(3) Any clique tree of a chordal graph G is a tree decomposition of G of minimum width. Thus for a chordal graph G, the treewidth is one less than the size of the largest clique in G, and hence can be found in linear time. The clique tree is a useful structure to express the information on maximal cliques and minimal separators of chordal graph. Maximum clique can be found in linear time by a modification of Maximum Cardinality Search(MCS).

23 Interval graphs Definition A graph G=(V,E) is an interval graph if there is a mapping I of the vertices of G into sets of consecutive integers such that for each pair of vertices v,w ∈ E I(v) I(w) Φ Theorem G is an intergval graph if and only if G has a clique tree that is a simple path.

24 Interval graphs

25 conclusion a tree decomposition is a mapping of a graph into a tree that can be used to speed up solving certain problems on the original graph. Interval graphs have at least as many applications as chordal graphs. Many scheduling problems can be modeled as interval graphs. Actually, when G is chordal, also χ(G), α(G),κ(G) can be computed in linear time.

26 Reference: Graph Classes A Survey Lecture notes for Graph-Theoretic Algorithms, Waterloo Unv. Hung-Lin Fu, graph decomposition load Hans L. Bodlaender, A partial k-arboretum of graphs with bounded treewidth