Tree Decompositions and Tree-Width
|
|
- Charla Hudson
- 5 years ago
- Views:
Transcription
1 Tree Decompositions and Tree-Width CS 511 Iowa State University December 6, 2010 CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
2 Tree Decompositions Definition A tree decomposition of a graph G = (V, E) consists of a tree T and a subset V t V for every node t T, such that the collection {V t : t T } satisfies: (Node coverage) For every v V, there is some node t in T such that v V t. (Edge coverage) For every e E, there is some node t in T such that V t contains both endpoints of e. (Coherence) Let t 1, t 2, t 3 be three nodes in T such that t 2 lies on the path between t 1 and t 3 in T. Then, if v V belongs to both V t1 and V t3, v must also belong to V t2. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
3 Author: David Eppstein. Source: Wikipedia. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
4 Tree-Width Definition The width of tree decomposition (T, {V t : t T }) is width(t, {V t : t T }) = max t T V t 1. Definition The tree-width of G, denoted tw(g), is the minimum width of a tree decomposition of G. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
5 Complexity of Tree-Width Let TW(k) be the class of graphs G such that tw(g) k. Tree-Width (Decision Version) Input: An undirected graph G and an integer k. Question: Is G TW(k)? Theorem Tree-width (decision version) is NP-complete. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
6 Complexity of Tree-Width Lemma For every positive integer k, TW(k) is minor closed. Corollary (Tree-width is fixed-parameter tractable) For every fixed k, the problem of determining whether or not G TW(k) can be solved in O(f (k) n O(1) ) time. Corollary follows from Robertson & Seymour s graph minor results. f (k) is superpolynomial, but depends only on k. Running time can be improved to O(n) for each fixed k. Simple O(n) algorithms exist for k 4. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
7 Notation Let (T, {V t : t T }) be a tree decomposition of G. Then, if T is a subgraph of T, G T denotes the subgraph induced by the set t T V t. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
8 Theorem (Node Separation Property) Suppose T t has components T 1,..., T d. Then, the subgraphs G T1 V t, G T2 V t,..., G Td V t have no nodes in common, and there are no edges between them. t1 t2 t4 t t3 CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
9 Theorem (Edge Separation Property) Let X and Y be the two components of T after the deletion of edge (x, y). Then, deleting V x V y disconnects G into two subgraphs H X = G X (V x V y ) and H Y = G Y (V x V y ). That is, H X and H Y share no nodes and there is no edge in G with one endpoint in H X and the other in H Y. y x Vx Vy CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
10 Definition A tree decomposition (T, {V t : t T }) of G is nonredundant if there is no edge (x, y) in T such that V x V y. Lemma Any graph has a nonredundant tree decomposition. Lemma Any non-redundant tree decomposition of an n-node graph has at most n pieces. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
11 Rooted tree decomposition Definition A rooted tree decomposition of G is a tree decomposition (T, {V t : t T }) of G where some node r in T is declared to be the root. Let t be a node in a rooted tree decomposition. Then, T t is the subtree of T rooted at t, G t is the subgraph of G induced by the vertices in x T t V x. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
12 Subproblems Definition For each node t in a rooted tree decomposition of G and each independent set U V t, opt U (t) is the maximum weight of an independent set S of G t such that S V t = U. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
13 Optimal Substructure Let t be a node in T with children t 1,..., t d, U be an independent set of V t, S be a maximum independent set in G t subject to S V t = U (i.e., w(s) = opt U (t)), S i be the intersection of S with the nodes of G Ti. Lemma (Optimal Substructure) S i is a maximum-weight independent set of G ti, subject to the constraint that S i V t = U V ti. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
14 A Recurrence for Maximum Weight Independent Set Theorem (Dynamic Programming Recurrence Relation for MWIS) d opt U (t) = w(u) + max{opt Ui (t i ) w(u i U) : i=1 U i V ti is independent and U i V t = U V ti }. CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
15 Theorem (Running time analysis) Suppose we are given a vertex-weighted graph G TW(k) with n nodes along with a tree decomposition of width k for G. Then, we can find a maximum weight independent set in G in O(4 k+1 kn) time. Proof. Traverse the tree decomposition bottom-up. For a leaf, use exhaustive enumeration O(2 k+1 ) time. For an internal node t, apply the recurrence relation. Enumerate each of the O(2 k+1 ) subsets U of V t. For each child ti of t, enumerate each of the O(2 k+1 ) subsets U i of V ti, checking that U i V t = U V ti. Time = O(2 k+1 }{{} #U s d }{{} #children 2 }{{} k+1 #U i s Total time = O(4 k+1 k t T degree(t)) = O(4k+1 kn). k }{{} checking U i ) = O(4 k+1 kd). CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, / 15
Dynamic Programming on Trees. Example: Independent Set on T = (V, E) rooted at r V.
Dynamic Programming on Trees Example: Independent Set on T = (V, E) rooted at r V. For v V let T v denote the subtree rooted at v. Let f + (v) be the size of a maximum independent set for T v that contains
More informationTree-width. September 14, 2015
Tree-width Zdeněk Dvořák September 14, 2015 A tree decomposition of a graph G is a pair (T, β), where β : V (T ) 2 V (G) assigns a bag β(n) to each vertex of T, such that for every v V (G), there exists
More informationGUOLI DING AND STAN DZIOBIAK. 1. Introduction
-CONNECTED GRAPHS OF PATH-WIDTH AT MOST THREE GUOLI DING AND STAN DZIOBIAK Abstract. It is known that the list of excluded minors for the minor-closed class of graphs of path-width numbers in the millions.
More informationThe Strong Largeur d Arborescence
The Strong Largeur d Arborescence Rik Steenkamp (5887321) November 12, 2013 Master Thesis Supervisor: prof.dr. Monique Laurent Local Supervisor: prof.dr. Alexander Schrijver KdV Institute for Mathematics
More informationCS60007 Algorithm Design and Analysis 2018 Assignment 1
CS60007 Algorithm Design and Analysis 2018 Assignment 1 Palash Dey and Swagato Sanyal Indian Institute of Technology, Kharagpur Please submit the solutions of the problems 6, 11, 12 and 13 (written in
More informationTREE-DECOMPOSITIONS OF GRAPHS. Robin Thomas. School of Mathematics Georgia Institute of Technology thomas
1 TREE-DECOMPOSITIONS OF GRAPHS Robin Thomas School of Mathematics Georgia Institute of Technology www.math.gatech.edu/ thomas MOTIVATION 2 δx = edges with one end in X, one in V (G) X MOTIVATION 3 δx
More informationTree-width and algorithms
Tree-width and algorithms Zdeněk Dvořák September 14, 2015 1 Algorithmic applications of tree-width Many problems that are hard in general become easy on trees. For example, consider the problem of finding
More informationk-distinct In- and Out-Branchings in Digraphs
k-distinct In- and Out-Branchings in Digraphs Gregory Gutin 1, Felix Reidl 2, and Magnus Wahlström 1 arxiv:1612.03607v2 [cs.ds] 21 Apr 2017 1 Royal Holloway, University of London, UK 2 North Carolina State
More informationFinding Paths with Minimum Shared Edges in Graphs with Bounded Treewidth
Finding Paths with Minimum Shared Edges in Graphs with Bounded Treewidth Z.-Q. Ye 1, Y.-M. Li 2, H.-Q. Lu 3 and X. Zhou 4 1 Zhejiang University, Hanzhou, Zhejiang, China 2 Wenzhou University, Wenzhou,
More informationGRAPH SEARCHING, AND A MIN-MAX THEOREM FOR TREE-WIDTH. P. D. Seymour Bellcore 445 South St. Morristown, New Jersey 07960, USA. and
GRAPH SEARCHING, AND A MIN-MAX THEOREM FOR TREE-WIDTH P. D. Seymour Bellcore 445 South St. Morristown, New Jersey 07960, USA and Robin Thomas* School of Mathematics Georgia Institute of Technology Atlanta,
More informationGraph Minor Theory. Sergey Norin. March 13, Abstract Lecture notes for the topics course on Graph Minor theory. Winter 2017.
Graph Minor Theory Sergey Norin March 13, 2017 Abstract Lecture notes for the topics course on Graph Minor theory. Winter 2017. Contents 1 Background 2 1.1 Minors.......................................
More information7 The structure of graphs excluding a topological minor
7 The structure of graphs excluding a topological minor Grohe and Marx [39] proved the following structure theorem for graphs excluding a topological minor: Theorem 7.1 ([39]). For every positive integer
More informationComputing Bounded Path Decompositions in Logspace
Computing Bounded Path Decompositions in Logspace Shiva Kintali Sinziana Munteanu Department of Computer Science, Princeton University, Princeton, NJ 08540-5233. kintali@cs.princeton.edu munteanu@princeton.edu
More informationOn the Complexity of Budgeted Maximum Path Coverage on Trees
On the Complexity of Budgeted Maximum Path Coverage on Trees H.-C. Wirth An instance of the budgeted maximum coverage problem is given by a set of weighted ground elements and a cost weighted family of
More informationCleaning Interval Graphs
Cleaning Interval Graphs Dániel Marx and Ildikó Schlotter Department of Computer Science and Information Theory, Budapest University of Technology and Economics, H-1521 Budapest, Hungary. {dmarx,ildi}@cs.bme.hu
More informationRing Sums, Bridges and Fundamental Sets
1 Ring Sums Definition 1 Given two graphs G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) we define the ring sum G 1 G 2 = (V 1 V 2, (E 1 E 2 ) (E 1 E 2 )) with isolated points dropped. So an edge is in G 1 G
More informationBounded Treewidth Graphs A Survey German Russian Winter School St. Petersburg, Russia
Bounded Treewidth Graphs A Survey German Russian Winter School St. Petersburg, Russia Andreas Krause krausea@cs.tum.edu Technical University of Munich February 12, 2003 This survey gives an introduction
More informationarxiv: v1 [cs.ds] 25 Sep 2016
Linear kernels for edge deletion problems to immersion-closed graph classes Archontia C. Giannopoulou a,b Micha l Pilipczuk c,d Jean-Florent Raymond c,e,f Dimitrios M. Thilikos e,g Marcin Wrochna c,d arxiv:1609.07780v1
More informationStructure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs
Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs Martin Grohe and Dániel Marx November 13, 2014 Abstract We generalize the structure theorem of Robertson and Seymour
More informationA Fixed-Parameter Algorithm for Max Edge Domination
A Fixed-Parameter Algorithm for Max Edge Domination Tesshu Hanaka and Hirotaka Ono Department of Economic Engineering, Kyushu University, Fukuoka 812-8581, Japan ono@cscekyushu-uacjp Abstract In a graph,
More informationClassical Complexity and Fixed-Parameter Tractability of Simultaneous Consecutive Ones Submatrix & Editing Problems
Classical Complexity and Fixed-Parameter Tractability of Simultaneous Consecutive Ones Submatrix & Editing Problems Rani M. R, Mohith Jagalmohanan, R. Subashini Binary matrices having simultaneous consecutive
More informationApproximating Longest Directed Path
Electronic Colloquium on Computational Complexity, Report No. 3 (003) Approximating Longest Directed Path Andreas Björklund Thore Husfeldt Sanjeev Khanna April 6, 003 Abstract We investigate the hardness
More informationSolving the Maximum Agreement Subtree and Maximum Comp. Tree problems on bounded degree trees. Sylvain Guillemot, François Nicolas.
Solving the Maximum Agreement Subtree and Maximum Compatible Tree problems on bounded degree trees LIRMM, Montpellier France 4th July 2006 Introduction The Mast and Mct problems: given a set of evolutionary
More information3. Branching Algorithms
3. Branching Algorithms COMP6741: Parameterized and Exact Computation Serge Gaspers Semester 2, 2015 Contents 1 Introduction 1 2 Maximum Independent Set 3 2.1 Simple Analysis................................................
More informationOptimization and approximation on systems of geometric objects van Leeuwen, E.J.
UvA-DARE (Digital Academic Repository) Optimization and approximation on systems of geometric objects van Leeuwen, E.J. Link to publication Citation for published version (APA): van Leeuwen, E. J. (2009).
More informationA Cubic-Vertex Kernel for Flip Consensus Tree
To appear in Algorithmica A Cubic-Vertex Kernel for Flip Consensus Tree Christian Komusiewicz Johannes Uhlmann Received: date / Accepted: date Abstract Given a bipartite graph G = (V c, V t, E) and a nonnegative
More informationCS 580: Algorithm Design and Analysis
CS 580: Algorithm Design and Analysis Jeremiah Blocki Purdue University Spring 2018 Homework 5 due tonight at 11:59 PM (on Blackboard) Midterm 2 on April 4 th at 8PM (MATH 175) Practice Midterm Released
More informationMinimum Bisection is Fixed Parameter Tractable
Minimum Bisection is Fixed Parameter Tractable Marek Cygan Daniel Lokshtanov Marcin Pilipczuk Micha l Pilipczuk Saket Saurabh Abstract In the classic Minimum Bisection problem we are given as input a graph
More informationComputing branchwidth via efficient triangulations and blocks
Computing branchwidth via efficient triangulations and blocks Fedor Fomin Frédéric Mazoit Ioan Todinca Abstract Minimal triangulations and potential maximal cliques are the main ingredients for a number
More informationMinors in graphs of large θ r -girth
Minors in graphs of large θ r -girth Dimitris Chatzidimitriou Jean-Florent Raymond Ignasi Sau Dimitrios M. Thilikos Abstract For every r N, let θ r denote the graph with two vertices and r parallel edges.
More informationExact Algorithms for Dominating Induced Matching Based on Graph Partition
Exact Algorithms for Dominating Induced Matching Based on Graph Partition Mingyu Xiao School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu 611731,
More informationAsymptotic Enumeration of Compacted Binary Trees
Asymptotic Enumeration of Compacted Binary Trees Antoine Genitrini Bernhard Gittenberger Manuel Kauers Michael Wallner March 30, 207 Abstract A compacted tree is a graph created from a binary tree such
More information3. Branching Algorithms COMP6741: Parameterized and Exact Computation
3. Branching Algorithms COMP6741: Parameterized and Exact Computation Serge Gaspers 12 1 School of Computer Science and Engineering, UNSW Australia 2 Optimisation Resarch Group, NICTA Semester 2, 2015
More informationCographs; chordal graphs and tree decompositions
Cographs; chordal graphs and tree decompositions Zdeněk Dvořák September 14, 2015 Let us now proceed with some more interesting graph classes closed on induced subgraphs. 1 Cographs The class of cographs
More informationMINORS OF GRAPHS OF LARGE PATH-WIDTH. A Dissertation Presented to The Academic Faculty. Thanh N. Dang
MINORS OF GRAPHS OF LARGE PATH-WIDTH A Dissertation Presented to The Academic Faculty By Thanh N. Dang In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in Algorithms, Combinatorics
More informationOn the Graph Bisection Cut Polytope
On the Graph Bisection Cut Polytope Michael Armbruster, Christoph Helmberg Chemnitz University of Technology Contact: helmberg@mathematik.tu-chemnitz.de Marzena Fügenschuh, Alexander Martin Darmstadt University
More informationConnectivity and tree structure in finite graphs arxiv: v5 [math.co] 1 Sep 2014
Connectivity and tree structure in finite graphs arxiv:1105.1611v5 [math.co] 1 Sep 2014 J. Carmesin R. Diestel F. Hundertmark M. Stein 20 March, 2013 Abstract Considering systems of separations in a graph
More informationApproximation Algorithms and Hardness of Approximation. IPM, Jan Mohammad R. Salavatipour Department of Computing Science University of Alberta
Approximation Algorithms and Hardness of Approximation IPM, Jan 2006 Mohammad R. Salavatipour Department of Computing Science University of Alberta 1 Introduction For NP-hard optimization problems, we
More informationThe Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth
The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth Gregory Gutin, Mark Jones, and Magnus Wahlström Royal Holloway, University of London Egham, Surrey TW20 0EX, UK Abstract In the
More informationDept. of Computer Science, University of British Columbia, Vancouver, BC, Canada.
EuroComb 2005 DMTCS proc. AE, 2005, 67 72 Directed One-Trees William Evans and Mohammad Ali Safari Dept. of Computer Science, University of British Columbia, Vancouver, BC, Canada. {will,safari}@cs.ubc.ca
More informationParameterized Algorithms for the H-Packing with t-overlap Problem
Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 18, no. 4, pp. 515 538 (2014) DOI: 10.7155/jgaa.00335 Parameterized Algorithms for the H-Packing with t-overlap Problem Alejandro López-Ortiz
More information4. How to prove a problem is NPC
The reducibility relation T is transitive, i.e, A T B and B T C imply A T C Therefore, to prove that a problem A is NPC: (1) show that A NP (2) choose some known NPC problem B define a polynomial transformation
More informationLong cycles have the edge-erdős-pósa property
Long cycles have the edge-erdős-pósa property Henning Bruhn, Matthias Heinlein and Felix Joos Abstract We prove that the set of long cycles has the edge-erdős-pósa property: for every fixed integer l 3
More informationRemoving critical nodes from a graph: complexity results and polynomial algorithms for the case of bounded treewidth
Removing critical nodes from a graph: complexity results and polynomial algorithms for the case of bounded treewidth B. Addis M. Di Summa A. Grosso July 6, 011 Abstract We consider the problem of deleting
More informationOn the Path-width of Planar Graphs
On the Path-width of Planar Graphs Omid Amini 1,2 Florian Huc 1 Stéphane Pérennes 1 FirstName.LastName@sophia.inria.fr Abstract In this paper, we present a result concerning the relation between the path-with
More informationOn Powers of some Intersection Graphs
On Powers of some Intersection Graphs Geir Agnarsson Abstract We first consider m-trapezoid graphs and circular m-trapezoid graphs and give new constructive proofs that both these classes are closed under
More informationMinimum-Dilation Tour (and Path) is NP-hard
Minimum-Dilation Tour (and Path) is NP-hard Panos Giannopoulos Christian Knauer Dániel Marx Abstract We prove that computing a minimum-dilation (Euclidean) Hamilton circuit or path on a given set of points
More informationOn improving matchings in trees, via bounded-length augmentations 1
On improving matchings in trees, via bounded-length augmentations 1 Julien Bensmail a, Valentin Garnero a, Nicolas Nisse a a Université Côte d Azur, CNRS, Inria, I3S, France Abstract Due to a classical
More informationarxiv: v1 [cs.dm] 23 Jan 2019
Towards Tight(er) Bounds for the Excluded Grid Theorem Julia Chuzhoy Zihan Tan January 24, 2019 arxiv:1901.07944v1 [cs.dm] 23 Jan 2019 Abstract We study the Excluded Grid Theorem, a fundamental structural
More informationAugmenting Outerplanar Graphs to Meet Diameter Requirements
Proceedings of the Eighteenth Computing: The Australasian Theory Symposium (CATS 2012), Melbourne, Australia Augmenting Outerplanar Graphs to Meet Diameter Requirements Toshimasa Ishii Department of Information
More informationProperties of Context-Free Languages
Properties of Context-Free Languages Seungjin Choi Department of Computer Science and Engineering Pohang University of Science and Technology 77 Cheongam-ro, Nam-gu, Pohang 37673, Korea seungjin@postech.ac.kr
More informationChordal structure in computer algebra: Permanents
Chordal structure in computer algebra: Permanents Diego Cifuentes Laboratory for Information and Decision Systems Electrical Engineering and Computer Science Massachusetts Institute of Technology Joint
More informationMinimum Distance Violation Tree Problems
Minimum Distance Violation Tree Problems Hui Chen Department of Management Sciences University of Iowa S221 John Pappajohn Business Building Iowa City, Iowa 52242-1000 hui-chen@uiowa.edu Ph.D Dissertation
More informationk-blocks: a connectivity invariant for graphs
1 k-blocks: a connectivity invariant for graphs J. Carmesin R. Diestel M. Hamann F. Hundertmark June 17, 2014 Abstract A k-block in a graph G is a maximal set of at least k vertices no two of which can
More informationWydział Matematyki, Informatyki i Mechaniki UW. Sparsity. lecture notes. fall 2012/2013
Wydział Matematyki, Informatyki i Mechaniki UW Sparsity lecture notes fall 2012/2013 Lecture given by Notes taken by Szymon Toruńczyk Hong Hai Chu Łukasz Czajka Piotr Godlewski Jakub Łącki Paweł Pasteczka
More informationTree-width and planar minors
Tree-width and planar minors Alexander Leaf and Paul Seymour 1 Princeton University, Princeton, NJ 08544 May 22, 2012; revised March 18, 2014 1 Supported by ONR grant N00014-10-1-0680 and NSF grant DMS-0901075.
More informationObservation 4.1 G has a proper separation of order 0 if and only if G is disconnected.
4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H, K) with H K = G and E(H K) = and V (H) V (K) = k. Such a separation is proper if V (H) \ V (K) and V (K)
More informationPropositional Calculus - Semantics (3/3) Moonzoo Kim CS Dept. KAIST
Propositional Calculus - Semantics (3/3) Moonzoo Kim CS Dept. KAIST moonzoo@cs.kaist.ac.kr 1 Overview 2.1 Boolean operators 2.2 Propositional formulas 2.3 Interpretations 2.4 Logical Equivalence and substitution
More informationNAOMI NISHIMURA Department of Computer Science, University of Waterloo, Waterloo, Ontario, N2L 3G1, Canada.
International Journal of Foundations of Computer Science c World Scientific Publishing Company FINDING SMALLEST SUPERTREES UNDER MINOR CONTAINMENT NAOMI NISHIMURA Department of Computer Science, University
More informationCSE 202 Homework 4 Matthias Springer, A
CSE 202 Homework 4 Matthias Springer, A99500782 1 Problem 2 Basic Idea PERFECT ASSEMBLY N P: a permutation P of s i S is a certificate that can be checked in polynomial time by ensuring that P = S, and
More informationA REFINED ENUMERATION OF p-ary LABELED TREES
Korean J. Math. 21 (2013), No. 4, pp. 495 502 http://dx.doi.org/10.11568/kjm.2013.21.4.495 A REFINED ENUMERATION OF p-ary LABELED TREES Seunghyun Seo and Heesung Shin Abstract. Let T n (p) be the set of
More informationThe complexity of independent set reconfiguration on bipartite graphs
The complexity of independent set reconfiguration on bipartite graphs Daniel Lokshtanov Amer E. Mouawad Abstract We settle the complexity of the Independent Set Reconfiguration problem on bipartite graphs
More informationFinding k disjoint paths in a directed planar graph
Finding k disjoint paths in a directed planar graph Alexander Schrijver CWI Kruislaan 413 1098 SJ Amsterdam The Netherlands and Department of Mathematics University of Amsterdam Plantage Muidergracht 24
More informationNew algorithms for Disjoint Paths and Routing Problems
New algorithms for Disjoint Paths and Routing Problems Chandra Chekuri Dept. of Computer Science Univ. of Illinois (UIUC) Menger s Theorem Theorem: The maximum number of s-t edgedisjoint paths in a graph
More informationObservation 4.1 G has a proper separation of order 0 if and only if G is disconnected.
4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H 1, H 2 ) so that H 1 H 2 = G E(H 1 ) E(H 2 ) = V (H 1 ) V (H 2 ) = k Such a separation is proper if V (H
More informationAlgorithm Design and Analysis (NTU CSIE, Fall 2017) Homework #3. Homework #3. Due Time: 2017/12/14 (Thu.) 17:20 Contact TAs:
Instructions and Announcements Homework #3 ue Time: 017/1/14 (Thu.) 17:0 Contact TAs: ada-ta@csie.ntu.edu.tw There are four programming problems and two handwritten problems. Programming. The judge system
More informationarxiv: v2 [math.co] 7 Jan 2019
Clique-Width for Hereditary Graph Classes Konrad K. Dabrowski, Matthew Johnson and Daniël Paulusma arxiv:1901.00335v2 [math.co] 7 Jan 2019 Abstract Clique-width is a well-studied graph parameter owing
More informationBELIEF-PROPAGATION FOR WEIGHTED b-matchings ON ARBITRARY GRAPHS AND ITS RELATION TO LINEAR PROGRAMS WITH INTEGER SOLUTIONS
BELIEF-PROPAGATION FOR WEIGHTED b-matchings ON ARBITRARY GRAPHS AND ITS RELATION TO LINEAR PROGRAMS WITH INTEGER SOLUTIONS MOHSEN BAYATI, CHRISTIAN BORGS, JENNIFER CHAYES, AND RICCARDO ZECCHINA Abstract.
More informationk-degenerate Graphs Allan Bickle Date Western Michigan University
k-degenerate Graphs Western Michigan University Date Basics Denition The k-core of a graph G is the maximal induced subgraph H G such that δ (H) k. The core number of a vertex, C (v), is the largest value
More informationOn the approximability of some degree-constrained subgraph problems
On the approximability of some degree-constrained subgraph problems Omid Amini a a CNRS, Département de mathématiques et applications (DMA), École Normale Supérieure, Paris, France. E-mail: omid.amini@ens.fr.
More informationThe minimum G c cut problem
The minimum G c cut problem Abstract In this paper we define and study the G c -cut problem. Given a complete undirected graph G = (V ; E) with V = n, edge weighted by w(v i, v j ) 0 and an undirected
More informationSpanning Trees with many Leaves in Regular Bipartite Graphs.
Spanning Trees with many Leaves in Regular Bipartite Graphs. Emanuele G. Fusco and Angelo Monti Dipartimento di Informatica Sapienza, Università di Roma, via Salaria, 113-00198 Rome, Italy {fusco, monti}@di.uniroma1.it
More informationarxiv: v1 [math.co] 12 Dec 2014
The Parameterized Complexity of Graph Cyclability Petr A. Golovach Marcin Kamiński Spyridon Maniatis arxiv:1412.3955v1 [math.co] 12 Dec 2014 Dimitrios M. Thilikos, Abstract The cyclability of a graph is
More informationEvaluating a Weighted Graph Polynomial for Graphs of Bounded Tree-Width
Evaluating a Weighted Graph Polynomial for Graphs of Bounded Tree-Width S. D. Noble Department of Mathematical Sciences Brunel University Kingston Lane, Uxbridge UB8 3PH, U.K. steven.noble@brunel.ac.uk
More informationABHELSINKI UNIVERSITY OF TECHNOLOGY
Approximation Algorithms Seminar 1 Set Cover, Steiner Tree and TSP Siert Wieringa siert.wieringa@tkk.fi Approximation Algorithms Seminar 1 1/27 Contents Approximation algorithms for: Set Cover Steiner
More informationSteiner Forest Orientation Problems
Steiner Forest Orientation Problems Marek Cygan Guy Kortsarz Zeev Nutov November 20, 2011 Abstract We consider connectivity problems with orientation constraints. Given a directed graph D and a collection
More informationSolving #SAT and MaxSAT by dynamic programming
Solving #SAT and MaxSAT by dynamic programming Sigve Hortemo Sæther, Jan Arne Telle, and Martin Vatshelle {sigve.sether,telle,martin.vatshelle}@ii.uib.no Department of Informatics, University of Bergen,
More informationBranching. Teppo Niinimäki. Helsinki October 14, 2011 Seminar: Exact Exponential Algorithms UNIVERSITY OF HELSINKI Department of Computer Science
Branching Teppo Niinimäki Helsinki October 14, 2011 Seminar: Exact Exponential Algorithms UNIVERSITY OF HELSINKI Department of Computer Science 1 For a large number of important computational problems
More informationRandomized Algorithms III Min Cut
Chapter 11 Randomized Algorithms III Min Cut CS 57: Algorithms, Fall 01 October 1, 01 11.1 Min Cut 11.1.1 Problem Definition 11. Min cut 11..0.1 Min cut G = V, E): undirected graph, n vertices, m edges.
More informationOn Graph Contractions and Induced Minors
On Graph Contractions and Induced Minors Pim van t Hof, 1, Marcin Kamiński 2, Daniël Paulusma 1,, Stefan Szeider, 3, and Dimitrios M. Thilikos 4, 1 School of Engineering and Computing Sciences, Durham
More informationThe Computational Complexity of Graph Contractions I: Polynomially Solvable and NP-Complete Cases*
The Computational Complexity of Graph Contractions I: Polynomially Solvable and NP-Complete Cases* Asaf Levin Department of Statistics, The Hebrew University, Jerusalem 91905, Israel Daniel Paulusma Department
More informationAdvanced Combinatorial Optimization September 22, Lecture 4
8.48 Advanced Combinatorial Optimization September 22, 2009 Lecturer: Michel X. Goemans Lecture 4 Scribe: Yufei Zhao In this lecture, we discuss some results on edge coloring and also introduce the notion
More information1 Review of Vertex Cover
CS266: Parameterized Algorithms and Complexity Stanford University Lecture 3 Tuesday, April 9 Scribe: Huacheng Yu Spring 2013 1 Review of Vertex Cover In the last lecture, we discussed FPT algorithms for
More informationGraph coloring, perfect graphs
Lecture 5 (05.04.2013) Graph coloring, perfect graphs Scribe: Tomasz Kociumaka Lecturer: Marcin Pilipczuk 1 Introduction to graph coloring Definition 1. Let G be a simple undirected graph and k a positive
More informationCIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 4, No. 4, pp. 643-660, December 2000 CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS Xuding Zhu Abstract. This paper proves that for any integer n 4 and any rational number
More informationCS 372: Computational Geometry Lecture 4 Lower Bounds for Computational Geometry Problems
CS 372: Computational Geometry Lecture 4 Lower Bounds for Computational Geometry Problems Antoine Vigneron King Abdullah University of Science and Technology September 20, 2012 Antoine Vigneron (KAUST)
More informationA general scheme for deciding the branchwidth
Laboratoire de l Informatique du Parallélisme École Normale Supérieure de Lyon Unité Mixte de Recherche CNRS-INRIA-ENS LYON-UCBL n o 5668 A general scheme for deciding the branchwidth Frédéric Mazoit Juin
More informationLow Polynomial Exclusion of Planar Graph Patterns
Low Polynomial Exclusion of Planar Graph Patterns Jean-Florent Raymond Dimitrios M. Thilikos Friday 7 th August, 2015 Abstract The celebrated grid exclusion theorem states that for every h-vertex planar
More informationOn the mean connected induced subgraph order of cographs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 71(1) (018), Pages 161 183 On the mean connected induced subgraph order of cographs Matthew E Kroeker Lucas Mol Ortrud R Oellermann University of Winnipeg Winnipeg,
More informationGraph Transformations T1 and T2
Graph Transformations T1 and T2 We now introduce two graph transformations T1 and T2. Reducibility by successive application of these two transformations is equivalent to reducibility by intervals. The
More informationCombinatorial Optimization
Combinatorial Optimization Problem set 8: solutions 1. Fix constants a R and b > 1. For n N, let f(n) = n a and g(n) = b n. Prove that f(n) = o ( g(n) ). Solution. First we observe that g(n) 0 for all
More informationComplexity issues in Vertex-Colored Graph Pattern Matching
Complexity issues in Vertex-Colored Graph Pattern Matching Riccardo Dondi, Guillaume Fertin, Stéphane Vialette To cite this version: Riccardo Dondi, Guillaume Fertin, Stéphane Vialette. Complexity issues
More informationA Simple Algorithm for the Graph Minor Decomposition Logic meets Structural Graph Theory
A Simple Algorithm for the Graph Minor Decomposition Logic meets Structural Graph Theory Martin Grohe Ken-ichi Kawarabayashi Bruce Reed Abstract A key result of Robertson and Seymour s graph minor theory
More informationMINIMALLY NON-PFAFFIAN GRAPHS
MINIMALLY NON-PFAFFIAN GRAPHS SERGUEI NORINE AND ROBIN THOMAS Abstract. We consider the question of characterizing Pfaffian graphs. We exhibit an infinite family of non-pfaffian graphs minimal with respect
More informationOn shredders and vertex connectivity augmentation
On shredders and vertex connectivity augmentation Gilad Liberman The Open University of Israel giladliberman@gmail.com Zeev Nutov The Open University of Israel nutov@openu.ac.il Abstract We consider the
More informationOn the Generation of Circuits and Minimal Forbidden Sets
Mathematical Programming manuscript No. (will be inserted by the editor) Frederik Stork Marc Uetz On the Generation of Circuits and Minimal Forbidden Sets January 31, 2004 Abstract We present several complexity
More informationTHE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS
THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.
More informationA Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion
A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion Eduard Eiben a, Robert Ganian a, O-joung Kwon b a Algorithms and Complexity Group, TU Wien, Vienna, Austria b Logic
More informationApproximation Algorithms for Min-Sum k-clustering and Balanced k-median
Approximation Algorithms for Min-Sum k-clustering and Balanced k-median Babak Behsaz Zachary Friggstad Mohammad R. Salavatipour Rohit Sivakumar Department of Computing Science University of Alberta Edmonton,
More informationSteiner Forest Orientation Problems
Steiner Forest Orientation Problems Marek Cygan Guy Kortsarz Zeev Nutov November 23, 2011 Abstract We consider connectivity problems with orientation constraints. Given a directed graph D and a collection
More information