Forbidden Subgraph Characterization of Bipartite Unit Probe Interval Graphs
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Forbidden Subgraph Characterization of Quasi-Line Graphs Medha Dhurandhar [email protected]
Forbidden Subgraph Characterization of Quasi-line Graphs Medha Dhurandhar [email protected] Abstract: Here in particular, we give a characterization of Quasi-line Graphs in terms of forbidden induced subgraphs. In general, we prove a necessary and sufficient condition for a graph to be a union of two cliques. 1. Introduction: A graph is a quasi-line graph if for every vertex v, the set of neighbours of v is expressible as the union of two cliques. Such graphs are more general than line graphs, but less general than claw-free graphs. In [2] Chudnovsky and Seymour gave a constructive characterization of quasi-line graphs. An alternative characterization of quasi-line graphs is given in [3] stating that a graph has a fuzzy reconstruction iff it is a quasi-line graph and also in [4] using the concept of sums of Hoffman graphs. Here we characterize quasi-line graphs in terms of the forbidden induced subgraphs like line graphs. We consider in this paper only finite, simple, connected, undirected graphs. The vertex set of G is denoted by V(G), the edge set by E(G), the maximum degree of vertices in G by Δ(G), the maximum clique size by (G) and the chromatic number by G). N(u) denotes the neighbourhood of u and N(u) = N(u) + u. For further notation please refer to Harary [3]. 2. Main Result: Before proving the main result we prove some lemmas, which will be used later. Lemma 1: If G is {3K1, C5}-free, then either 1) G ~ K|V(G)| or 2) If v, w V(G) are s.t. -
Infinitely Many Minimal Classes of Graphs of Unbounded Clique-Width∗
Infinitely many minimal classes of graphs of unbounded clique-width∗ A. Collins, J. Foniok†, N. Korpelainen, V. Lozin, V. Zamaraev Abstract The celebrated theorem of Robertson and Seymour states that in the family of minor-closed graph classes, there is a unique minimal class of graphs of unbounded tree-width, namely, the class of planar graphs. In the case of tree-width, the restriction to minor-closed classes is justified by the fact that the tree-width of a graph is never smaller than the tree-width of any of its minors. This, however, is not the case with respect to clique-width, as the clique-width of a graph can be (much) smaller than the clique-width of its minor. On the other hand, the clique-width of a graph is never smaller than the clique-width of any of its induced subgraphs, which allows us to be restricted to hereditary classes (that is, classes closed under taking induced subgraphs), when we study clique-width. Up to date, only finitely many minimal hereditary classes of graphs of unbounded clique-width have been discovered in the literature. In the present paper, we prove that the family of such classes is infinite. Moreover, we show that the same is true with respect to linear clique-width. Keywords: clique-width, linear clique-width, hereditary class 1 Introduction Clique-width is a graph parameter which is important in theoretical computer science, because many algorithmic problems that are generally NP-hard become polynomial-time solvable when restricted to graphs of bounded clique-width [4]. -
Counting Independent Sets in Graphs with Bounded Bipartite Pathwidth∗
Counting independent sets in graphs with bounded bipartite pathwidth∗ Martin Dyery Catherine Greenhillz School of Computing School of Mathematics and Statistics University of Leeds UNSW Sydney, NSW 2052 Leeds LS2 9JT, UK Australia [email protected] [email protected] Haiko M¨uller∗ School of Computing University of Leeds Leeds LS2 9JT, UK [email protected] 7 August 2019 Abstract We show that a simple Markov chain, the Glauber dynamics, can efficiently sample independent sets almost uniformly at random in polynomial time for graphs in a certain class. The class is determined by boundedness of a new graph parameter called bipartite pathwidth. This result, which we prove for the more general hardcore distribution with fugacity λ, can be viewed as a strong generalisation of Jerrum and Sinclair's work on approximately counting matchings, that is, independent sets in line graphs. The class of graphs with bounded bipartite pathwidth includes claw-free graphs, which generalise line graphs. We consider two further generalisations of claw-free graphs and prove that these classes have bounded bipartite pathwidth. We also show how to extend all our results to polynomially-bounded vertex weights. 1 Introduction There is a well-known bijection between matchings of a graph G and independent sets in the line graph of G. We will show that we can approximate the number of independent sets ∗A preliminary version of this paper appeared as [19]. yResearch supported by EPSRC grant EP/S016562/1 \Sampling in hereditary classes". zResearch supported by Australian Research Council grant DP190100977. 1 in graphs for which all bipartite induced subgraphs are well structured, in a sense that we will define precisely. -
General Approach to Line Graphs of Graphs 1
DEMONSTRATIO MATHEMATICA Vol. XVII! No 2 1985 Antoni Marczyk, Zdzislaw Skupien GENERAL APPROACH TO LINE GRAPHS OF GRAPHS 1. Introduction A unified approach to the notion of a line graph of general graphs is adopted and proofs of theorems announced in [6] are presented. Those theorems characterize five different types of line graphs. Both Krausz-type and forbidden induced sub- graph characterizations are provided. So far other authors introduced and dealt with single spe- cial notions of a line graph of graphs possibly belonging to a special subclass of graphs. In particular, the notion of a simple line graph of a simple graph is implied by a paper of Whitney (1932). Since then it has been repeatedly introduc- ed, rediscovered and generalized by many authors, among them are Krausz (1943), Izbicki (1960$ a special line graph of a general graph), Sabidussi (1961) a simple line graph of a loop-free graph), Menon (1967} adjoint graph of a general graph) and Schwartz (1969; interchange graph which coincides with our line graph defined below). In this paper we follow another way, originated in our previous work [6]. Namely, we distinguish special subclasses of general graphs and consider five different types of line graphs each of which is defined in a natural way. Note that a similar approach to the notion of a line graph of hypergraphs can be adopted. We consider here the following line graphsi line graphs, loop-free line graphs, simple line graphs, as well as augmented line graphs and augmented loop-free line graphs. - 447 - 2 A. Marczyk, Z. -
Density Theorems for Bipartite Graphs and Related Ramsey-Type Results
Density theorems for bipartite graphs and related Ramsey-type results Jacob Fox Benny Sudakov Princeton UCLA and IAS Ramsey’s theorem Definition: r(G) is the minimum N such that every 2-edge-coloring of the complete graph KN contains a monochromatic copy of graph G. Theorem: (Ramsey-Erdos-Szekeres,˝ Erdos)˝ t/2 2t 2 ≤ r(Kt ) ≤ 2 . Question: (Burr-Erd˝os1975) How large is r(G) for a sparse graph G on n vertices? Ramsey numbers for sparse graphs Conjecture: (Burr-Erd˝os1975) For every d there exists a constant cd such that if a graph G has n vertices and maximum degree d, then r(G) ≤ cd n. Theorem: 1 (Chv´atal-R¨odl-Szemer´edi-Trotter 1983) cd exists. 2αd 2 (Eaton 1998) cd ≤ 2 . βd αd log2 d 3 (Graham-R¨odl-Ruci´nski2000) 2 ≤ cd ≤ 2 . Moreover, if G is bipartite, r(G) ≤ 2αd log d n. Density theorem for bipartite graphs Theorem: (F.-Sudakov) Let G be a bipartite graph with n vertices and maximum degree d 2 and let H be a bipartite graph with parts |V1| = |V2| = N and εN edges. If N ≥ 8dε−d n, then H contains G. Corollary: For every bipartite graph G with n vertices and maximum degree d, r(G) ≤ d2d+4n. (D. Conlon independently proved that r(G) ≤ 2(2+o(1))d n.) Proof: Take ε = 1/2 and H to be the graph of the majority color. Ramsey numbers for cubes Definition: d The binary cube Qd has vertex set {0, 1} and x, y are adjacent if x and y differ in exactly one coordinate. -
Constrained Representations of Map Graphs and Half-Squares
Constrained Representations of Map Graphs and Half-Squares Hoang-Oanh Le Berlin, Germany [email protected] Van Bang Le Universität Rostock, Institut für Informatik, Rostock, Germany [email protected] Abstract The square of a graph H, denoted H2, is obtained from H by adding new edges between two distinct vertices whenever their distance in H is two. The half-squares of a bipartite graph B = (X, Y, EB ) are the subgraphs of B2 induced by the color classes X and Y , B2[X] and B2[Y ]. For a given graph 2 G = (V, EG), if G = B [V ] for some bipartite graph B = (V, W, EB ), then B is a representation of G and W is the set of points in B. If in addition B is planar, then G is also called a map graph and B is a witness of G [Chen, Grigni, Papadimitriou. Map graphs. J. ACM, 49 (2) (2002) 127-138]. While Chen, Grigni, Papadimitriou proved that any map graph G = (V, EG) has a witness with at most 3|V | − 6 points, we show that, given a map graph G and an integer k, deciding if G admits a witness with at most k points is NP-complete. As a by-product, we obtain NP-completeness of edge clique partition on planar graphs; until this present paper, the complexity status of edge clique partition for planar graphs was previously unknown. We also consider half-squares of tree-convex bipartite graphs and prove the following complexity 2 dichotomy: Given a graph G = (V, EG) and an integer k, deciding if G = B [V ] for some tree-convex bipartite graph B = (V, W, EB ) with |W | ≤ k points is NP-complete if G is non-chordal dually chordal and solvable in linear time otherwise. -
Graph Theory
1 Graph Theory “Begin at the beginning,” the King said, gravely, “and go on till you come to the end; then stop.” — Lewis Carroll, Alice in Wonderland The Pregolya River passes through a city once known as K¨onigsberg. In the 1700s seven bridges were situated across this river in a manner similar to what you see in Figure 1.1. The city’s residents enjoyed strolling on these bridges, but, as hard as they tried, no residentof the city was ever able to walk a route that crossed each of these bridges exactly once. The Swiss mathematician Leonhard Euler learned of this frustrating phenomenon, and in 1736 he wrote an article [98] about it. His work on the “K¨onigsberg Bridge Problem” is considered by many to be the beginning of the field of graph theory. FIGURE 1.1. The bridges in K¨onigsberg. J.M. Harris et al., Combinatorics and Graph Theory , DOI: 10.1007/978-0-387-79711-3 1, °c Springer Science+Business Media, LLC 2008 2 1. Graph Theory At first, the usefulness of Euler’s ideas and of “graph theory” itself was found only in solving puzzles and in analyzing games and other recreations. In the mid 1800s, however, people began to realize that graphs could be used to model many things that were of interest in society. For instance, the “Four Color Map Conjec- ture,” introduced by DeMorgan in 1852, was a famous problem that was seem- ingly unrelated to graph theory. The conjecture stated that four is the maximum number of colors required to color any map where bordering regions are colored differently. -
Matroid Theory
MATROID THEORY HAYLEY HILLMAN 1 2 HAYLEY HILLMAN Contents 1. Introduction to Matroids 3 1.1. Basic Graph Theory 3 1.2. Basic Linear Algebra 4 2. Bases 5 2.1. An Example in Linear Algebra 6 2.2. An Example in Graph Theory 6 3. Rank Function 8 3.1. The Rank Function in Graph Theory 9 3.2. The Rank Function in Linear Algebra 11 4. Independent Sets 14 4.1. Independent Sets in Graph Theory 14 4.2. Independent Sets in Linear Algebra 17 5. Cycles 21 5.1. Cycles in Graph Theory 22 5.2. Cycles in Linear Algebra 24 6. Vertex-Edge Incidence Matrix 25 References 27 MATROID THEORY 3 1. Introduction to Matroids A matroid is a structure that generalizes the properties of indepen- dence. Relevant applications are found in graph theory and linear algebra. There are several ways to define a matroid, each relate to the concept of independence. This paper will focus on the the definitions of a matroid in terms of bases, the rank function, independent sets and cycles. Throughout this paper, we observe how both graphs and matrices can be viewed as matroids. Then we translate graph theory to linear algebra, and vice versa, using the language of matroids to facilitate our discussion. Many proofs for the properties of each definition of a matroid have been omitted from this paper, but you may find complete proofs in Oxley[2], Whitney[3], and Wilson[4]. The four definitions of a matroid introduced in this paper are equiv- alent to each other. -
Lecture 12 — October 10, 2017 1 Overview 2 Matchings in Bipartite Graphs
CS 388R: Randomized Algorithms Fall 2017 Lecture 12 | October 10, 2017 Prof. Eric Price Scribe: Shuangquan Feng, Xinrui Hua 1 Overview In this lecture, we will explore 1. Problem of finding matchings in bipartite graphs. 2. Hall's Theorem: sufficient and necessary condition for the existence of perfect matchings in bipartite graphs. 3. An algorithm for finding perfect matching in d-regular bipartite graphs when d = 2k which is based on the idea of Euler tour and has a time complexity of O(nd). 4. A randomized algorithm for finding perfect matchings in all d regular bipartite graphs which has an expected time complexity of O(n log n). 5. Problem of online bipartite matching. 2 Matchings in Bipartite Graphs Definition 1 (Bipartite Graph). A graph G = (V; E) is said to be bipartite if the vertex set V can be partitioned into 2 disjoint sets L and R so that any edge has one vertex in L and the other in R. Definition 2 (Matching). Given an undirected graph G = (V; E), a matching is a subset of edges M ⊆ E that have no endpoints in common. Definition 3 (Maximum Matching). Given an undirected graph G = (V; E), a maximum matching M is a matching of maximum size. Thus for any other matching M 0, we have that jMj ≥ jM 0j. Definition 4 (Perfect Matching). Given an bipartite graph G = (V; E), with the bipartition V = L [ R where jLj = jRj = n, a perfect matching is a maximum matching of size n. There are several well known algorithms for the problem of finding maximum matchings in bipartite graphs. -
Matroids You Have Known
26 MATHEMATICS MAGAZINE Matroids You Have Known DAVID L. NEEL Seattle University Seattle, Washington 98122 [email protected] NANCY ANN NEUDAUER Pacific University Forest Grove, Oregon 97116 nancy@pacificu.edu Anyone who has worked with matroids has come away with the conviction that matroids are one of the richest and most useful ideas of our day. —Gian Carlo Rota [10] Why matroids? Have you noticed hidden connections between seemingly unrelated mathematical ideas? Strange that finding roots of polynomials can tell us important things about how to solve certain ordinary differential equations, or that computing a determinant would have anything to do with finding solutions to a linear system of equations. But this is one of the charming features of mathematics—that disparate objects share similar traits. Properties like independence appear in many contexts. Do you find independence everywhere you look? In 1933, three Harvard Junior Fellows unified this recurring theme in mathematics by defining a new mathematical object that they dubbed matroid [4]. Matroids are everywhere, if only we knew how to look. What led those junior-fellows to matroids? The same thing that will lead us: Ma- troids arise from shared behaviors of vector spaces and graphs. We explore this natural motivation for the matroid through two examples and consider how properties of in- dependence surface. We first consider the two matroids arising from these examples, and later introduce three more that are probably less familiar. Delving deeper, we can find matroids in arrangements of hyperplanes, configurations of points, and geometric lattices, if your tastes run in that direction. -
Lecture 9-10: Extremal Combinatorics 1 Bipartite Forbidden Subgraphs 2 Graphs Without Any 4-Cycle
MAT 307: Combinatorics Lecture 9-10: Extremal combinatorics Instructor: Jacob Fox 1 Bipartite forbidden subgraphs We have seen the Erd}os-Stonetheorem which says that given a forbidden subgraph H, the extremal 1 2 number of edges is ex(n; H) = 2 (1¡1=(Â(H)¡1)+o(1))n . Here, o(1) means a term tending to zero as n ! 1. This basically resolves the question for forbidden subgraphs H of chromatic number at least 3, since then the answer is roughly cn2 for some constant c > 0. However, for bipartite forbidden subgraphs, Â(H) = 2, this answer is not satisfactory, because we get ex(n; H) = o(n2), which does not determine the order of ex(n; H). Hence, bipartite graphs form the most interesting class of forbidden subgraphs. 2 Graphs without any 4-cycle Let us start with the ¯rst non-trivial case where H is bipartite, H = C4. I.e., the question is how many edges G can have before a 4-cycle appears. The answer is roughly n3=2. Theorem 1. For any graph G on n vertices, not containing a 4-cycle, 1 p E(G) · (1 + 4n ¡ 3)n: 4 Proof. Let dv denote the degree of v 2 V . Let F denote the set of \labeled forks": F = f(u; v; w):(u; v) 2 E; (u; w) 2 E; v 6= wg: Note that we do not care whether (v; w) is an edge or not. We count the size of F in two possible ways: First, each vertex u contributes du(du ¡ 1) forks, since this is the number of choices for v and w among the neighbors of u. -
Incremental Dynamic Construction of Layered Polytree Networks )
440 Incremental Dynamic Construction of Layered Polytree Networks Keung-Chi N g Tod S. Levitt lET Inc., lET Inc., 14 Research Way, Suite 3 14 Research Way, Suite 3 E. Setauket, NY 11733 E. Setauket , NY 11733 [email protected] [email protected] Abstract Many exact probabilistic inference algorithms1 have been developed and refined. Among the earlier meth ods, the polytree algorithm (Kim and Pearl 1983, Certain classes of problems, including per Pearl 1986) can efficiently update singly connected ceptual data understanding, robotics, discov belief networks (or polytrees) , however, it does not ery, and learning, can be represented as incre work ( without modification) on multiply connected mental, dynamically constructed belief net networks. In a singly connected belief network, there is works. These automatically constructed net at most one path (in the undirected sense) between any works can be dynamically extended and mod pair of nodes; in a multiply connected belief network, ified as evidence of new individuals becomes on the other hand, there is at least one pair of nodes available. The main result of this paper is the that has more than one path between them. Despite incremental extension of the singly connect the fact that the general updating problem for mul ed polytree network in such a way that the tiply connected networks is NP-hard (Cooper 1990), network retains its singly connected polytree many propagation algorithms have been applied suc structure after the changes. The algorithm cessfully to multiply connected networks, especially on is deterministic and is guaranteed to have networks that are sparsely connected. These methods a complexity of single node addition that is include clustering (also known as node aggregation) at most of order proportional to the number (Chang and Fung 1989, Pearl 1988), node elimination of nodes (or size) of the network.