AN ALGORITHM FOR A MINIMUM COVER OF A GRAPH

Similar documents
GRAPHS WITH 1-FACTORS

A matching of maximum cardinality is called a maximum matching. ANn s/2

Math 170- Graph Theory Notes

Matching Theory. Figure 1: Is this graph bipartite?

K 4 C 5. Figure 4.5: Some well known family of graphs

THE TRANSITIVE REDUCTION OF A DIRECTED GRAPH*

Fundamental Properties of Graphs

These notes present some properties of chordal graphs, a set of undirected graphs that are important for undirected graphical models.

Definition: A graph G = (V, E) is called a tree if G is connected and acyclic. The following theorem captures many important facts about trees.

(Received Judy 13, 1971) (devised Nov. 12, 1971)

AN ALGORITHM WHICH GENERATES THE HAMILTONIAN CIRCUITS OF A CUBIC PLANAR MAP

THE WORD AND CONJUGACY PROBLEMS FOR THE KNOT GROUP OF ANY TAME, PRIME, ALTERNATING KNOT

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

On Sequential Topogenic Graphs

Advanced Combinatorial Optimization September 17, Lecture 3. Sketch some results regarding ear-decompositions and factor-critical graphs.

Simultaneous Diagonal Flips in Plane Triangulations

Rigidity, connectivity and graph decompositions

FURTHER APPLICATIONS OF CLUTTER DOMINATION PARAMETERS TO PROJECTIVE DIMENSION

Embedding a graph-like continuum in some surface

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

Basics of Graph Theory

Graph Theory Questions from Past Papers

Theorem 3.1 (Berge) A matching M in G is maximum if and only if there is no M- augmenting path.

Subdivisions of Graphs: A Generalization of Paths and Cycles

Module 7. Independent sets, coverings. and matchings. Contents

Chapter-0: Introduction. Chapter 0 INTRODUCTION

11.1. Definitions. 11. Domination in Graphs

HW Graph Theory SOLUTIONS (hbovik)

ON SWELL COLORED COMPLETE GRAPHS

Bijective Proofs of Two Broken Circuit Theorems

A NOTE ON PROPER MAPS

Sharp lower bound for the total number of matchings of graphs with given number of cut edges

Czechoslovak Mathematical Journal

Problem Set 2 Solutions

GEOMETRIC DISTANCE-REGULAR COVERS

Two Characterizations of Hypercubes

arxiv: v2 [math.co] 13 Aug 2013

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

The Dual Neighborhood Number of a Graph

EXTREMALLY DISCONNECTED SPACES

Non-zero disjoint cycles in highly connected group labelled graphs

RATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES. Contents 1. Introduction 1 2. The proof of Theorem References 9

Homework Set #2 Math 440 Topology Topology by J. Munkres

Some Elementary Lower Bounds on the Matching Number of Bipartite Graphs

Discrete Applied Mathematics. A revision and extension of results on 4-regular, 4-connected, claw-free graphs

arxiv:submit/ [math.co] 9 May 2011

Proof of the Caccetta-Häggkvist conjecture for in-tournaments with respect to the minimum out-degree, and pancyclicity

Bipartite Roots of Graphs

The Connectivity and Diameter of Second Order Circuit Graphs of Matroids

Bipartite Coverings and the Chromatic Number

Lecture 19 Thursday, March 29. Examples of isomorphic, and non-isomorphic graphs will be given in class.

Wu, Y.-Q., The reducibility of surgered 3-manifolds, Topology and its Applications 43 (1992)

Pebble Sets in Convex Polygons

Math 443/543 Graph Theory Notes 2: Transportation problems

MAXIMAL FLOW THROUGH A NETWORK

Matching and Factor-Critical Property in 3-Dominating-Critical Graphs

A New Game Chromatic Number

SUMS OF SETS OF CONTINUED FRACTIONS

Graph Connectivity G G G

Chain Packings and Odd Subtree Packings. Garth Isaak Department of Mathematics and Computer Science Dartmouth College, Hanover, NH

arxiv: v1 [math.co] 20 Nov 2013

γ 2 γ 3 γ 1 R 2 (b) a bounded Yin set (a) an unbounded Yin set

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

On the number of distinct directions of planes determined by n points in R 3

On Locating Domination Number of. Boolean Graph BG 2 (G)

LECTURES 3 and 4: Flows and Matchings

THE COMMUTATOR SUBGROUPS OF THE ALTERNATING KNOT GROUPS

A THREE AND FIVE COLOR THEOREM

Assignment 4 Solutions of graph problems

DISTRIBUTIVE LATTICES

Topology I Test 1 Solutions October 13, 2008

Parameterized graph separation problems

THE ISOMORPHISM PROBLEM FOR SOME CLASSES OF MULTIPLICATIVE SYSTEMS

Properly Colored Paths and Cycles in Complete Graphs

A note on isolate domination

CLAW-FREE 3-CONNECTED P 11 -FREE GRAPHS ARE HAMILTONIAN

AXIOMS FOR THE INTEGERS

and Heinz-Jürgen Voss

VERTICES OF LOCALIZED IMBALANCE IN A BIASED GRAPH

UNKNOTTING 3-SPHERES IN SIX DIMENSIONS

arxiv: v1 [math.co] 3 Apr 2016

Chapter 2. Splitting Operation and n-connected Matroids. 2.1 Introduction

Enumerating Perfect Matchings in a Ring of Diamonds

SUBDIVISIONS OF TRANSITIVE TOURNAMENTS A.D. SCOTT

Number Theory and Graph Theory

Topics in Combinatorial Optimization February 5, Lecture 2

Paths partition with prescribed beginnings in digraphs: a Chvátal-Erdős condition approach.

Recognizing Interval Bigraphs by Forbidden Patterns

Weighted Geodetic Convex Sets in A Graph

Optimal Assignments in an Ordered Set: An Application of Matroid Theory

ANNALES DE L I. H. P., SECTION B

Eulerian subgraphs containing given edges

Dirac-type characterizations of graphs without long chordless cycles

SEQUENTIALLY COHEN-MACAULAY GRAPHS OF FORM θ n1,...,n k. Communicated by Siamak Yassemi. 1. Introduction

Ramsey numbers in rainbow triangle free colorings

Notes on Interval Valued Fuzzy RW-Closed, Interval Valued Fuzzy RW-Open Sets in Interval Valued Fuzzy Topological Spaces

Super connectivity of line graphs

The self-minor conjecture for infinite trees

V10 Metabolic networks - Graph connectivity

Superconcentrators of depth 2 and 3; odd levels help (rarely)

Transcription:

AN ALGORITHM FOR A MINIMUM COVER OF A GRAPH ROBERT Z. NORMAN1 AND MICHAEL O. RABIN2 Introduction. This paper contains two similar theorems giving conditions for a minimum cover and a maximum matching of a graph. Both of these conditions depend on the concept of an alternating path, due to Petersen [2]. These results immediately lead to algorithms for a minimum cover and a maximum matching respectively. The first part of the paper contains a noninductive proof of the minimum cover theorem (Theorem 1) and the resultant algorithm. Next we define a set of "level transformations" on the set of minimum covers; any minimum cover can be obtained from any other minimum cover by a finite sequence of level transformations (Theorem 2). Thus we have a procedure for finding all minimum covers: First, reduce any cover to a minimum cover by the algorithm; second, apply the level transformations to obtain all other minimum covers. The treatment of the maximum matching theorem and its corresponding algorithm, in the following section, closely parallels that given for minimum covers. The final section establishes a relationship between minimum covers and maximum matchings. Both the minimum cover theorem and the maximum matching theorem were first proved by induction. The inductive proof of the maximum matching theorem, together with a discussion of its relevance to two similar theorems dealing with point-covers and pointmatchings, are given in Berge [l]. The problem of finding a simple algorithm for obtaining a minimum cover of a graph was proposed by Paul Roth as the one-dimensional instance of the more general question of finding a minimum cover for a cubical complex. This problem is a topological formulation of the synthesis of a switching system with minimum cost (cf. Roth [3]). 1. General definitions. Let G be a graph. A set C of edges of G is a cover of G if every vertex of G is incident to an edge of C. We shall present a procedure for reducing a given cover to a minimum cover, Presented to the Society October 26, 1957; received by the editors January 20, 1958. 1 Supported in part by an Office of Naval Research Logistics Project at Princeton University. 2 Now at the Hebrew University in Jerusalem. 315

316 R. Z. NORMAN AND M. O. RABIN [April using the concept of an alternating path first introduced by Petersen [2]. By a path of G we mean a sequence of pairwise distinct successively adjacent edges of G. If is a set of edges of G, an alternating path of (G, E) is a path whose edges are alternately in E and not in E. The first and last edges of a path are its terminal edges. Its terminal vertices are the vertex incident to the first but not the second edge, and the vertex incident to the last but not the preceding edge. Let C be a cover of G. An alternating path of (G, C) is a reducing path if (1) its terminal edges are in C; (2) its terminal vertices are incident to edges of C which are not terminal edges of the path. If (G, C) possesses no reducing path, C is called an irreducible cover of G. A cover with the fewest possible edges is a minimum cover. 2. Irreducible and minimum covers. It is easy to see that every minimum cover is irreducible. The converse of this statement is the main topic of this section. Theorem 1. Every irreducible cover is a minimum cover. This theorem gives rise to an algorithm for finding a minimum cover. For if C is a nonminimum cover of G, it has a reducing path ir. We can form a new cover C from C by replacing the edges of ir in C with those edges of ir not in C. Then since x begins and ends with edges of C, C" has one fewer edge than C. This process is repeated until an irreducible cover is formed; such a cover is a minimum cover. To prove the theorem we shall make use of the following distance function. Let E and F be two sets of edges of a graph G. The distance d(e, F) is defined as the number of edges of E not in F. Lemma 1. Let C be an irreducible d(ci, C)=0. Then Ci = C. cover and let G be a cover for which Proof. The assumption d(ci, C)=0 asserts that every edge of Cx is in C. Since & is a cover, both vertices of any edge e in C Cx would be covered by edges of Ci; thus e is a reducing path of length 1 of (G, C), contradicting the irreducibility of C. In the following let C be an irreducible cover of a graph G and let M be a minimum cover chosen so that d(m, C) is a minimum. We contend that M=C. Lemma 2. If e is in M C, then e is not adjacent to any edge of M. Proof. Let e={vi, vt} and assume that Vi is incident to another

1959I AN ALGORITHM FOR A MINIMUM COVER OF A GRAPH 317 edge ei of M. Let e2 be an edge of C incident to v2. The set M' = MKJ[e2} [e] is a cover. Since e is in M, M' has no more edges than M, and hence it too is a minimum cover. Therefore e2 is not in M and d(m', C)=d(M, C) l, contrary to the hypothesis that d(m, C) is a minimum. Proof of Theorem 1. Assume d(m, C)>0, so that M C is not empty. Consider the collection of all simple paths (i.e., those without repeated vertices) satisfying the conditions: (a) the edges of the path are alternately in M C and in C; (b) the terminal edges of the path are in M C. The collection is nonempty since a single edge of M C is a path satisfying (a) and (b). Let tr=(eo,, en), e,= {vi, vi+i}, be a path of maximal length in the collection. The vertex vo is covered by an edge ei = {u0, v0} in C. Now ua = vn is impossible because then M' = MW{ei, ei, e3,, en-i} \eo, e2,, en} would be a minimum cover with d(m', Q <d(m, C). Similarly, there is an edge e = {un, vn} in C such that Un^Vo. We contend that u0 and un are covered by edges of C other than ei and e '. If u0=vk for some k, then k<n, and one of the edges ek-i or ek is in C. Otherwise w0 is incident to no edge of tt and we proceed as follows: Let ei' be an edge of M incident to u0. By Lemma 2, ei'^ei. But now ei' must be in C, for otherwise the path (ei', ei, eo, e\,, en) is a path longer than tt satisfying (a) and (b). Hence again wo is covered by an edge of C different from ei and c». A similar argument holds for un. The path (ei, ee, ei,, en, el) is therefore a reducing path of (G, C), contradicting the irreducibility of C. Thus d(m, C)=0, and by Lemma 1, M=C. 3. Level transformations and minimum covers. Motivated by the previous proof, we are led to define two operations, 7\ and T2, called level transformations which, when applied to a minimum cover, transform it into a new minimum cover. Application of a 7Vtransformation to any cover C consists of picking a path (ei, e2, e3) of three edges such that e2 and e3 are in C, and forming the cover TiiC) = CU{ei} {e2}. Application of a ^-transformation to a cover C consists of picking a circuit (ei, e2,, e2n) such that for all k, e2k-i is in C and e2k is not in C, and forming the cover TiiC) = C W \e2, d,, e2n} \ei, e3,, e2n-i\. A T-transformation may decrease the number of edges of a cover by one; a ^-transformation always leaves the number of edges invariant. When applied to a minimum cover, M, however, both TiiM) and TiiM) have the same cardinality as M, and are thus both mini-

318 R. Z. NORMAN AND M. O. RABIN [April mum covers. Since the most interesting applications of Fi and T2 are to minimum covers, the use of the term "level transformation" is justified. Examining the proofs of Lemmata 1 and 2 and the proof of the main theorem, one immediately sees that they actually entail the following statement: Let C be an irreducible cover and let T be a collection of covers closed with respect to Ji- and ^-transformations. If M int minimizes d(m', C) for M' in T, then M=C. From this remark we immediately derive two results. Theorem 2. If Mi and M2 are minimum covers, then M2 can be obtained by applying a (finite) sequence of level transformations to Mi. Proof. Let T be the collection of all minimum covers obtainable from Mi by a finite sequence of level transformations; T is certainly closed with respect to level transformations. As M2 is a minimum cover, it must be irreducible; hence M2 = M ior some M in T. Theorem 3. The collection 911 of all minimum covers of a graph G can be characterized as the nonempty collection of covers of G closed with respect to Ti- and Transformations in which all elements have the same cardinality. Proof. Let T be such a collection. Let M be any minimum cover. Then by the closure of T, M is in T. Since all elements of T have the same cardinality, this implies rc9tl That r = 31t now follows from Theorem 2. 4. Unaugmentable and maximum marchings. A set P of edges of a graph G is a matching if no two of its edges are adjacent. An augmenting path of (G, P) is an alternating (G, P) path whose terminal vertices are incident to no edges of P. Such a path is easily seen to be a simple path. If (G, P) has no augmenting path, P is called unaugmentable. A matching with the greatest possible number of edges is maximum. Of course every maximum matching is unaugmentable. The converse of this theorem is a theorem due to Berge [l] which gives rise to an algorithm similar to the one just discussed. Theorem 4 (Berge). Every unaugmentable matching is maximum. Proof. Let P be an unaugmentable matching and let M be a maximum matching for which d(p, M) is a minimum. Clearly, if d(p, M)=0 then P = M. We construct a path of maximum length whose edges are alternately in P M and M. Since M is also unaugmentable, it cannot begin and end with edges oip M. It has, there-

1959] AN ALGORITHM FOR A MINIMUM COVER OF A GRAPH 319 fore, equally many edges oi P M and M. Now from M we can form a new maximum matching M' by exchanging the edges of the path in M for those in P. Then d(p, M') <d(p, M), contrary to the minimality of d(p, M). 5. Relations between covers and matchings. Let C be a cover of a graph. We shall say that C is minimal if no proper subset of it is a cover. Similarly, a matching is maximal if no proper superset of it is a matching. Let C be a minimal cover of G. For each vertex Vi of G we define its C-degree a,- as the number of edges of C incident to»,-. Let A be the set of multiply covered vertices of G, i.e., those for which a,->l. For each vertex Vi oia, we delete from C a< 1 edges incident to Vi. The resulting set P is a matching, since the P-degree of each point is at most 1. However, P need not be a maximal matching. Let P be a maximal matching. Then for each vertex of P-degree 0, add to P any incident edge of the graph. The result is, of course, a cover, but it need not be minimal. However, if we begin with a minimum cover C, this process produces a maximum matching, while if we start with a maximum matching, the process yields a minimum cover. To demonstrate, let C be a minimum cover of a graph G, and let P result from C by elimination of a,- 1 edges incident to each multiply covered vertex v{. Let c denote the number of edges of C, and let a= 2Z(o» 1) be the number of edges deleted in forming P. Thus a is the number of vertices of P-degree 0. If P is not maximum there is a matching P' with c a + 1 edges, and the number of vertices of P'-degree 0 is a 2. Form a cover by adding one edge incident to each vertex of P-degree 0. This cover has c l edges, contrary to the hypothesis that C is a minimum cover. The dual assertion is proved similarly. References 1. C. Berge, Two theorems in graph theory, Proc. Nat. Acad. Sci. U.S.A. vol. 43 (1957) pp. 842-844. 2. J. Petersen, Die Theorie der reguldren Graphen, Acta Math. vol. 51 (1891) pp. 193-220. 3. J. P. Roth, Algebraic topological methods for the synthesis of switching systems I, Trans. Amer. Math. Soc. vol. 88 (1958) pp. 301-326. Dartmouth College, Princeton University and International Business Machines Corporation