DOCSLIB.ORG

Arxiv:1602.02002V1 [Math.CO] 5 Feb 2016 Dept

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1602.02002V1 [Math.CO] 5 Feb 2016 Dept a The Structure of W4-Immersion-Free Graphs R´emy Belmonteb;c Archontia Giannopouloud;e Daniel Lokshtanovf ;g Dimitrios M. Thilikosh;i ;j Abstract We study the structure of graphs that do not contain the wheel on 5 vertices W4 as an immersion, and show that these graphs can be constructed via 1, 2, and 3-edge-sums from subcubic graphs and graphs of bounded treewidth. Keywords: Immersion Relation, Wheel, Treewidth, Edge-sums, Structural Theorems 1 Introduction A recurrent theme in structural graph theory is the study of specific properties that arise in graphs when excluding a fixed pattern. The notion of appearing as a pattern gives rise to various graph containment relations. Maybe the most famous example is the minor relation that has been widely studied, in particular since the fundamental results of Kuratowski and Wagner who proved that planar graphs are exactly those graphs that contain neither K5 nor K3;3 as a (topological) minor. A graph G contains a graph H as a topological minor if H can be obtained from G by a sequence of vertex deletions, edge deletions and replacing internally vertex-disjoint paths by single edges. Wagner also described the structure of the graphs that exclude K5 as a minor: he proved that K5- minor-free graphs can be constructed by \gluing" together (using so-called clique-sums) planar graphs and a specific graph on 8 vertices, called Wagner's graph. aEmails of authors: [email protected] [email protected], [email protected], [email protected] b arXiv:1602.02002v1 [math.CO] 5 Feb 2016 Dept. of Architecture and Architectural Engineering, Kyoto University, Japan cSupported by the ELC project (Grant-in-Aid for Scientific Research on Innovative Areas, MEXT Japan) dInstitute of Informatics, University of Warsaw, Warsaw, Poland. eSupported by the Warsaw Center of Mathematics and Computer Science. fDepartment of Informatics, University of Bergen, Norway. gSupported by BeHard grant under the recruitment programme of the Bergen Research Foundation. hAlGCo project team, CNRS, LIRMM, Montpellier, France. iDepartment of Mathematics, National and Kapodistrian University of Athens. jCo-financed by the European Union (European Social Fund ESF) and Greek national funds through the Operational Program [Pleaseinsert\PrerenderUnicode{}intopreamble]Education and Lifelong Learn- ing[Pleaseinsert\PrerenderUnicode{}intopreamble] of the National Strategic Reference Framework (NSRF) - Research Funding Program: ARISTEIA II. 1 Wagner's theorem was later extended in the seminal Graph Minor series of papers by Robertson and Seymour (see e.g. [28]), which culminated with the proof of Wagner's conjecture, i.e., that graphs are well-quasi-ordered under minors [29], and ended with the proof of Nash-Williams' immersion conjecture, i.e., that the graphs are also well- quasi-ordered under immersions [30]. Other major results in graph minor theory include the (Strong) Structure Theorem [28], the Weak Structure Theorem [27], the Excluded Grid Theorem [26, 31, 21], as well as numerous others, e.g., [34, 18, 7]. Moreover, the structural results of graph minor theory have deep algorithmic implications, one of the most significant examples being the existence of cubic time algorithms for the k-Disjoint Paths and H-Minor Containment problems [27]. For more applications see, e.g., [19, 8, 2, 20, 4]. However, while the structure of graphs that exclude a fixed graph H as a minor has been extensively studied, the structure of graphs excluding a fixed graph H as a topological minor or as an immersion has not received as much attention. While a general structure theorem for topological minor free graphs was very recently provided by Grohe and Marx [17], finding an exact characterization of the graphs that exclude K5 as a topological minor remains a notorious open problem. Recently, Wollan gave a structure theorem for graphs excluding complete graphs as immersions [35]. A graph G contains a graph H as a immersion if H can be obtained from G by a sequence of vertex deletions, edge deletions and replacing edge-disjoint paths by single edges. Observe that if a graph G contains a graph H as a topological minor, then G also contains H as an immersion, as vertex-disjoint paths are also edge-disjoint. In 2011, DeVos et al. [9] proved that if the minimum degree of a graph G is at least 200t then G contains the complete graph on t vertices as an immersion. In [13] Ferrara et al. provided a lower bound on the minimum degree of any graph G in order to ensure that a given graph H is contained in G as an immersion. A common drawback of such general results is that they do not provide sharp struc- tural characterizations for concrete instantiations of the excluded graph H. In the par- ticular case of immersion, such structural results are only known when excluding both K5 and K3;3 as immersions[14]. In this paper, we prove a structural characterization of the graphs that exclude W4 as an immersion and show that they can be constructed from graphs that are either subcubic or have treewidth bounded by a constant. We de- note by W4 the wheel with 4 spokes, i.e., the graph obtained from a cycle on 4 vertices by adding a universal vertex. The structure of graphs that exclude W4 as a topological minor has been studied by Farr [12]. He proved that these graphs can be constructed via clique-sums of order at most 3 from graphs of maximum degree at most 3. However, this characterization only applies to simple graphs. In our study we exclude W4 as an immersion while allowing multiple edges. Robinson and Farr later extended this result by obtaining similar, albeit more complex, characterizations of graphs that exclude W6 and W7 as a topological minor [32, 33]. As with the minor relation, many algorithmic results have also started appearing in terms of immersions. In [16], Grohe et al. gave a cubic time algorithm that decides whether a fixed graph H immerses in any input graph G. This algorithm, combined with the well-quasi-ordering of immersions [30], implies that the membership of a graph 2 in any graph class that is closed under taking immersions can be decided in cubic time. However, the construction of such an algorithm requires the ad-hoc knowledge of the finite set of excluded immersions that characterizes this graph class (which is called obstruction set). While no general way to compute an obstruction set is known, in [15], Giannopoulou et al. provided sufficient conditions, under which the obstruction set of any graph class that is closed under taking immersions becomes effectively com- putable. Another example of explicit construction of immersion obstruction sets is given by Belmonte et al. [3], where the set of immersion obstructions is given for graphs of carving-width 3. Finally, for structural and algorithmic results on immersions in terms of colorings, see [22, 1, 24, 10]. Our paper is organized as follows: in Section 2, we give necessary definitions and previous results. In Section 3, we show that containment of W4 as an immersion is preserved under 1, 2 and 3-edge-sums. Then, in Section 4, we provide our main result, i.e., a decomposition theorem for graphs excluding W4 as an immersion. Finally, we conclude with remarks and open problems. 2 Preliminaries For undefined terminology and notation, we refer to the textbook of Diestel [11]. For every integer n, we let [n] = f1; 2; : : : ; ng. All graphs we consider are finite, undirected, and without self-loops but may have multiple edges. Given a graph G we denote by V (G) and E(G) its vertex and edge set respectively. Given a set F ⊆ E(G) (resp. S ⊆ V (G)), we denote by G n F (resp. G n S) the graph obtained from G if we remove the edges in F (resp. the vertices in S along with their incident edges). We denote by C(G) the set of the connected components of G. Given two vertices u; v 2 V (G), we also use the notation G − v = G n fvg and the notation uv for the edge fu; vg. The neighborhood of a vertex v 2 V (G), denoted by NG(v), is the set of vertices in G that are adjacent to v. We denote by EG(v) the set of the edges of G that are incident with v. The degree of a vertex v 2 V (G), denoted by degG(v), is the number of edges that are incident with it, that is, degG(v) = jEG(v)j. Notice that, as we are working with multigraphs, jNG(v)j ≤ degG(v). The degree of a set S, denoted by @(S), is the number of edges between S and V (G) n S, that is jfuv 2 E(G) j u 2 S ^ v 62 Sgj. Given two vertices u and v with u 2 N(v) we say that u is an i-neighbor of v if E(G) contains exactly i copies of the edge fu; vg. Let P be a path and v; u 2 V (P ). We denote by P [v; u] the subpath of P with endpoints v and u. The maximum degree of a graph G, denoted by ∆(H) is the maximum of the degrees of the vertices of G, that is, ∆(G) = maxv2V (G) degG(v). We denote by Wk−1 the wheel on k vertices, that is, the graph obtained from the cycle of length k − 1 after adding a new vertex and making it adjacent to all of its vertices. We call the new vertex center of the wheel. Definition 1.
Load more

Recommended publications
  • On Treewidth and Graph Minors
    On Treewidth and Graph Minors Daniel John Harvey Submitted in total fulfilment of the requirements of the degree of Doctor of Philosophy February 2014 Department of Mathematics and Statistics The University of Melbourne Produced on archival quality paper ii Abstract Both treewidth and the Hadwiger number are key graph parameters in structural and al- gorithmic graph theory, especially in the theory of graph minors. For example, treewidth demarcates the two major cases of the Robertson and Seymour proof of Wagner's Con- jecture. Also, the Hadwiger number is the key measure of the structural complexity of a graph. In this thesis, we shall investigate these parameters on some interesting classes of graphs. The treewidth of a graph defines, in some sense, how \tree-like" the graph is. Treewidth is a key parameter in the algorithmic field of fixed-parameter tractability. In particular, on classes of bounded treewidth, certain NP-Hard problems can be solved in polynomial time. In structural graph theory, treewidth is of key interest due to its part in the stronger form of Robertson and Seymour's Graph Minor Structure Theorem. A key fact is that the treewidth of a graph is tied to the size of its largest grid minor. In fact, treewidth is tied to a large number of other graph structural parameters, which this thesis thoroughly investigates. In doing so, some of the tying functions between these results are improved. This thesis also determines exactly the treewidth of the line graph of a complete graph. This is a critical example in a recent paper of Marx, and improves on a recent result by Grohe and Marx.
    [Show full text]
  • Directed Graphs Definition: an Directed Graph (Or Digraph) G = (V, E) Consists of a Nonempty Set V of Vertices (Or Nodes) and a Set E of Directed Edges (Or Arcs)
    Chapter 10 Chapter Summary Graphs and Graph Models Graph Terminology and Special Types of Graphs Representing Graphs and Graph Isomorphism Connectivity Euler and Hamiltonian Graphs Shortest-Path Problems (not currently included in overheads) Planar Graphs (not currently included in overheads) Graph Coloring (not currently included in overheads) Section 10.1 Section Summary Introduction to Graphs Graph Taxonomy Graph Models Graphs Definition: A graph G = (V, E) consists of a nonempty set V of vertices (or nodes) and a set E of edges. Each edge has either one or two vertices associated with it, called its endpoints. An edge is said to connect its endpoints. Example: a b This is a graph with four vertices and five edges. d c Remarks: The graphs we study here are unrelated to graphs of functions studied in Chapter 2. We have a lot of freedom when we draw a picture of a graph. All that matters is the connections made by the edges, not the particular geometry depicted. For example, the lengths of edges, whether edges cross, how vertices are depicted, and so on, do not matter A graph with an infinite vertex set is called an infinite graph. A graph with a finite vertex set is called a finite graph. We (following the text) restrict our attention to finite graphs. Some Terminology In a simple graph each edge connects two different vertices and no two edges connect the same pair of vertices. Multigraphs may have multiple edges connecting the same two vertices. When m different edges connect the vertices u and v, we say that {u,v} is an edge of multiplicity m.
    [Show full text]
  • Adjacency and Incidence Matrices
    Adjacency and Incidence Matrices 1 / 10 The Incidence Matrix of a Graph Definition Let G = (V ; E) be a graph where V = f1; 2;:::; ng and E = fe1; e2;:::; emg. The incidence matrix of G is an n × m matrix B = (bik ), where each row corresponds to a vertex and each column corresponds to an edge such that if ek is an edge between i and j, then all elements of column k are 0 except bik = bjk = 1. 1 2 e 21 1 13 f 61 0 07 3 B = 6 7 g 40 1 05 4 0 0 1 2 / 10 The First Theorem of Graph Theory Theorem If G is a multigraph with no loops and m edges, the sum of the degrees of all the vertices of G is 2m. Corollary The number of odd vertices in a loopless multigraph is even. 3 / 10 Linear Algebra and Incidence Matrices of Graphs Recall that the rank of a matrix is the dimension of its row space. Proposition Let G be a connected graph with n vertices and let B be the incidence matrix of G. Then the rank of B is n − 1 if G is bipartite and n otherwise. Example 1 2 e 21 1 13 f 61 0 07 3 B = 6 7 g 40 1 05 4 0 0 1 4 / 10 Linear Algebra and Incidence Matrices of Graphs Recall that the rank of a matrix is the dimension of its row space. Proposition Let G be a connected graph with n vertices and let B be the incidence matrix of G.
    [Show full text]
  • Graph Homomorphisms with Complex Values: a Dichotomy Theorem ∗
    SIAM J. COMPUT. c 2013 Society for Industrial and Applied Mathematics Vol. 42, No. 3, pp. 924–1029 GRAPH HOMOMORPHISMS WITH COMPLEX VALUES: A DICHOTOMY THEOREM ∗ † ‡ § JIN-YI CAI ,XICHEN, AND PINYAN LU Abstract. Each symmetric matrix A over C defines a graph homomorphism function ZA(·)on undirected graphs. The function ZA(·) is also called the partition function from statistical physics, and can encode many interesting graph properties, including counting vertex covers and k-colorings. We study the computational complexity of ZA(·) for arbitrary symmetric matrices A with algebraic complex values. Building on work by Dyer and Greenhill [Random Structures and Algorithms,17 (2000), pp. 260–289], Bulatov and Grohe [Theoretical Computer Science, 348 (2005), pp. 148–186], and especially the recent beautiful work by Goldberg et al. [SIAM J. Comput., 39 (2010), pp. 3336– 3402], we prove a complete dichotomy theorem for this problem. We show that ZA(·)iseither computable in polynomial-time or #P-hard, depending explicitly on the matrix A. We further prove that the tractability criterion on A is polynomial-time decidable. Key words. computational complexity, counting complexity, graph homomorphisms, partition functions AMS subject classifications. 68Q17, 68Q25, 68R05, 68R10, 05C31 DOI. 10.1137/110840194 1. Introduction. Graph homomorphism has been studied intensely over the years [28, 23, 13, 18, 4, 12, 21]. Given two graphs G and H, a graph homomorphism from G to H is a map f from the vertex set V (G)to V (H) such that, whenever (u, v)isanedgeinG,(f(u),f(v)) is an edge in H. The counting problem for graph homomorphism is to compute the number of homomorphisms from G to H.Forafixed graph H, this problem is also known as the #H-coloring problem.
    [Show full text]
  • Multilayer Networks
    Journal of Complex Networks (2014) 2, 203–271 doi:10.1093/comnet/cnu016 Advance Access publication on 14 July 2014 Multilayer networks Mikko Kivelä Oxford Centre for Industrial and Applied Mathematics, Mathematical Institute, University of Oxford, Oxford OX2 6GG, UK Alex Arenas Departament d’Enginyeria Informática i Matemátiques, Universitat Rovira I Virgili, 43007 Tarragona, Spain Marc Barthelemy Downloaded from Institut de Physique Théorique, CEA, CNRS-URA 2306, F-91191, Gif-sur-Yvette, France and Centre d’Analyse et de Mathématiques Sociales, EHESS, 190-198 avenue de France, 75244 Paris, France James P. Gleeson MACSI, Department of Mathematics & Statistics, University of Limerick, Limerick, Ireland http://comnet.oxfordjournals.org/ Yamir Moreno Institute for Biocomputation and Physics of Complex Systems (BIFI), University of Zaragoza, Zaragoza 50018, Spain and Department of Theoretical Physics, University of Zaragoza, Zaragoza 50009, Spain and Mason A. Porter† Oxford Centre for Industrial and Applied Mathematics, Mathematical Institute, University of Oxford, by guest on August 21, 2014 Oxford OX2 6GG, UK and CABDyN Complexity Centre, University of Oxford, Oxford OX1 1HP, UK †Corresponding author. Email: [email protected] Edited by: Ernesto Estrada [Received on 16 October 2013; accepted on 23 April 2014] In most natural and engineered systems, a set of entities interact with each other in complicated patterns that can encompass multiple types of relationships, change in time and include other types of complications. Such systems include multiple subsystems and layers of connectivity, and it is important to take such ‘multilayer’ features into account to try to improve our understanding of complex systems. Consequently, it is necessary to generalize ‘traditional’ network theory by developing (and validating) a framework and associated tools to study multilayer systems in a comprehensive fashion.
    [Show full text]
  • Multidimensional Network Analysis
    Universita` degli Studi di Pisa Dipartimento di Informatica Dottorato di Ricerca in Informatica Ph.D. Thesis Multidimensional Network Analysis Michele Coscia Supervisor Supervisor Fosca Giannotti Dino Pedreschi May 9, 2012 Abstract This thesis is focused on the study of multidimensional networks. A multidimensional network is a network in which among the nodes there may be multiple different qualitative and quantitative relations. Traditionally, complex network analysis has focused on networks with only one kind of relation. Even with this constraint, monodimensional networks posed many analytic challenges, being representations of ubiquitous complex systems in nature. However, it is a matter of common experience that the constraint of considering only one single relation at a time limits the set of real world phenomena that can be represented with complex networks. When multiple different relations act at the same time, traditional complex network analysis cannot provide suitable an- alytic tools. To provide the suitable tools for this scenario is exactly the aim of this thesis: the creation and study of a Multidimensional Network Analysis, to extend the toolbox of complex network analysis and grasp the complexity of real world phenomena. The urgency and need for a multidimensional network analysis is here presented, along with an empirical proof of the ubiquity of this multifaceted reality in different complex networks, and some related works that in the last two years were proposed in this novel setting, yet to be systematically defined. Then, we tackle the foundations of the multidimensional setting at different levels, both by looking at the basic exten- sions of the known model and by developing novel algorithms and frameworks for well-understood and useful problems, such as community discovery (our main case study), temporal analysis, link prediction and more.
    [Show full text]
  • The Structure of Graphs Not Topologically Containing the Wagner Graph
    The structure of graphs not topologically containing the Wagner graph John Maharry, Neil Robertson1 Department of Mathematics The Ohio State University Columbus, OH USA [email protected], [email protected] Abstract A structural characterization of graphs not containing the Wagner graph, also known as V8, is shown. The result was announced in 1979 by the second author, but until now a proof has not been published. Keywords: Wagner graph, V8 graph, Excluded-minor 1. Introduction Graphs in this paper are finite and have no loops or multiple edges. Given a graph G, one can obtain a contraction K of G by contracting pairwise dis- joint connected induced subgraphs to single (distinct) vertices where distinct vertices of K are adjacent if and only if there exists an edge of G with an end- vertex in each of the corresponding subgraphs of G. A graph M is a minor of a graph G when M is a contraction of a subgraph of G. We write H ≤m G when H is isomorphic to a minor M of G. Given an edge e 2 E(G) with endvertices x and y, we define the single-edge contraction to be the graph formed by contracting the edge e to a new vertex, call it z. An equivalent definition of minor inclusion of a graph is H ≤m G if and only if H is iso- morphic to a graph obtained by a series of single-edge contractions starting with a subgraph S of G. 1Research funded in part by King Abdulaziz University, 2011 and in part by SERC Visiting Fellowship Research Grant, University of London, 1985 Preprint submitted to Journal Combin.
    [Show full text]
  • Characterizations of Graphs Without Certain Small Minors by J. Zachary
    Characterizations of Graphs Without Certain Small Minors By J. Zachary Gaslowitz Dissertation Submitted to the Faculty of the Graduate School of Vanderbilt University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY in Mathematics May 11, 2018 Nashville, Tennessee Approved: Mark Ellingham, Ph.D. Paul Edelman, Ph.D. Bruce Hughes, Ph.D. Mike Mihalik, Ph.D. Jerry Spinrad, Ph.D. Dong Ye, Ph.D. TABLE OF CONTENTS Page 1 Introduction . 2 2 Previous Work . 5 2.1 Planar Graphs . 5 2.2 Robertson and Seymour's Graph Minor Project . 7 2.2.1 Well-Quasi-Orderings . 7 2.2.2 Tree Decomposition and Treewidth . 8 2.2.3 Grids and Other Graphs with Large Treewidth . 10 2.2.4 The Structure Theorem and Graph Minor Theorem . 11 2.3 Graphs Without K2;t as a Minor . 15 2.3.1 Outerplanar and K2;3-Minor-Free Graphs . 15 2.3.2 Edge-Density for K2;t-Minor-Free Graphs . 16 2.3.3 On the Structure of K2;t-Minor-Free Graphs . 17 3 Algorithmic Aspects of Graph Minor Theory . 21 3.1 Theoretical Results . 21 3.2 Practical Graph Minor Containment . 22 4 Characterization and Enumeration of 4-Connected K2;5-Minor-Free Graphs 25 4.1 Preliminary Definitions . 25 4.2 Characterization . 30 4.3 Enumeration . 38 5 Characterization of Planar 4-Connected DW6-minor-free Graphs . 51 6 Future Directions . 91 BIBLIOGRAPHY . 93 1 Chapter 1 Introduction All graphs in this paper are finite and simple. Given a graph G, the vertex set of G is denoted V (G) and the edge set is denoted E(G).
    [Show full text]
  • The Alon-Tarsi Number of K5-Minor-Free Graphs
    The Alon-Tarsi number of K5-minor-free graphs Toshiki Abea, Seog-Jin Kimb, Kenta Ozekia aGraduate school of Environmental and Information Science, Yokohama National University bDepartment of Mathematics Education, Konkuk university November 12, 2019 Abstract In this paper, we show the following three theorems. Let G be a K5-minor-free graph. Then Alon-Tarsi number of G is at most 5, there exists a matching M of G such that the Alon-Tarsi number of G−M is at most 4, and there exists a forest F such that the Alon-Tarsi number of G − E(F ) is at most 3. Key words. planar graph, defective-coloring, list coloring; Combinatorial Nullstellensatz; Alon-Tarsi number 1 Introductions In this paper, we only deal with finite and simple graphs. A d-defective coloring of G is a coloring c : V (G) ! N such that each color class induces a subgraph of maximum degree at most d. Especially, a 0-defective coloring is also called a proper coloring of G. A k-list assignment of a graph G is a mapping L which assigns to each vertex v of G a set L(v) of k permissible colors. Given a k-list assignment arXiv:1911.04067v1 [math.CO] 11 Nov 2019 L of G, a d-defective L-coloring of G is a d-defective coloring c such that c(v) 2 L(v) for every vertex v. We say that G is d-defective k-choosable if G has a d-defective L-coloring for every k-list assignment L.
    [Show full text]
  • Excluding a Small Minor
    Excluding a small minor Guoli Ding1∗ and Cheng Liu1,2 1Mathematics Department, Louisiana State University, Baton Rouge, LA, USA 2School of Mathematical Science and Computing Technology, Central South University, Changsha, China August 20, 2012 Abstract There are sixteen 3-connected graphs on eleven or fewer edges. For each of these graphs H we discuss the structure of graphs that do not contain a minor isomorphic to H. Key words: Graph minor, splitter theorem, graph structure. 1 Introduction Let G and H be graphs. In this paper, G is called H-free if no minor of G is isomorphic to H. We consider the problem of characterizing all H-free graphs, for certain fixed H. In graph theory, many important problems are about H-free graphs. For instance, Hadwiger’s Conjecture [7], made in 1943, states that every Kn-free graph is n − 1 colorable. Today, this conjecture remains “one of the deepest unsolved problems in graph theory” [1]. Another long standing problem of this kind is Tutte’s 4-flow conjecture [19], which asserts that every bridgeless Petersen-free graph admits a 4-flow. It is generally believed that knowing the structures of Kn-free graphs and Petersen-free graphs, respectively, would lead to a solution to the corresponding conjecture. In their Graph-Minors project, Robertson and Seymour [16] obtained, for every graph H, an approximate structure for H-free graphs. This powerful result has many important consequences, yet it is not strong enough to handle the two conjectures mentioned above. An interesting contrast can be made for K6-free graphs.
    [Show full text]
  • Tree-Decomposition Graph Minor Theory and Algorithmic Implications
    DIPLOMARBEIT Tree-Decomposition Graph Minor Theory and Algorithmic Implications Ausgeführt am Institut für Diskrete Mathematik und Geometrie der Technischen Universität Wien unter Anleitung von Univ.Prof. Dipl.-Ing. Dr.techn. Michael Drmota durch Miriam Heinz, B.Sc. Matrikelnummer: 0625661 Baumgartenstraße 53 1140 Wien Datum Unterschrift Preface The focus of this thesis is the concept of tree-decomposition. A tree-decomposition of a graph G is a representation of G in a tree-like structure. From this structure it is possible to deduce certain connectivity properties of G. Such information can be used to construct efficient algorithms to solve problems on G. Sometimes problems which are NP-hard in general are solvable in polynomial or even linear time when restricted to trees. Employing the tree-like structure of tree-decompositions these algorithms for trees can be adapted to graphs of bounded tree-width. This results in many important algorithmic applications of tree-decomposition. The concept of tree-decomposition also proves to be useful in the study of fundamental questions in graph theory. It was used extensively by Robertson and Seymour in their seminal work on Wagner’s conjecture. Their Graph Minors series of papers spans more than 500 pages and results in a proof of the graph minor theorem, settling Wagner’s conjecture in 2004. However, it is not only the proof of this deep and powerful theorem which merits mention. Also the concepts and tools developed for the proof have had a major impact on the field of graph theory. Tree-decomposition is one of these spin-offs. Therefore, we will study both its use in the context of graph minor theory and its several algorithmic implications.
    [Show full text]
  • 6.042J Chapter 6: Directed Graphs
    “mcs-ftl” — 2010/9/8 — 0:40 — page 189 — #195 6 Directed Graphs 6.1 Definitions So far, we have been working with graphs with undirected edges. A directed edge is an edge where the endpoints are distinguished—one is the head and one is the tail. In particular, a directed edge is specified as an ordered pair of vertices u, v and is denoted by .u; v/ or u v. In this case, u is the tail of the edge and v is the ! head. For example, see Figure 6.1. A graph with directed edges is called a directed graph or digraph. Definition 6.1.1. A directed graph G .V; E/ consists of a nonempty set of D nodes V and a set of directed edges E. Each edge e of E is specified by an ordered pair of vertices u; v V . A directed graph is simple if it has no loops (that is, edges 2 of the form u u) and no multiple edges. ! Since we will focus on the case of simple directed graphs in this chapter, we will generally omit the word simple when referring to them. Note that such a graph can contain an edge u v as well as the edge v u since these are different edges ! ! (for example, they have a different tail). Directed graphs arise in applications where the relationship represented by an edge is 1-way or asymmetric. Examples include: a 1-way street, one person likes another but the feeling is not necessarily reciprocated, a communication channel such as a cable modem that has more capacity for downloading than uploading, one entity is larger than another, and one job needs to be completed before another job can begin.
    [Show full text]