Graph Classification and Easy Reliability Polynomials

Transcription

1 Mathematical Assoc. of America American Mathematical Monthly 121:1 November 18, :11 a.m. AMM.tex page 1 Graph Classification and Easy Reliability Polynomials Pablo Romero and Gerardo Rubino Abstract. A graph classification is provided, inspired in an interplay between a celebrated network reliability problem and counting. This problem is precisely the probability that a random graph is connected following Gilbert edge-deletion rule. The graph classification induces a classification of reliability polynomials. Finally, a level of difficulty is assigned to graphs, and provides a corresponding notion of easy reliability polynomials. 1. INTRODUCTION. Historically, several counting problems are related with graphs. They appear naturally in the practice of engineering, physics, chemistry, biology, economics, and other branches of knowledge. For instance, counting spanning trees helped to solve electrical circuits to Gustav Kirchhoff in the nineteenth century [8], and counting marriages in bipartite graphs launched a new complexity hierarchy in classes of counting problems, headed by Leslie Valiant [10]. Up to that moment, mathematicians were surprised with the fact that it is simple to find the determinant of a matrix but the permanent (in brief words, a permanent is a determinant but where all permutations have the same sign). Indeed, finding the permanent of a matrix is a hard task, and it was formalized by Leslie Valiant proving that it is the first problem inside a special hard counting class, called #P-Complete class. Informally, this class captures the complexity of NP-Hard decision problems in counting. In this paper, we want to play with a counting problem which captures an abstract setting from telecommunications. We are given a connected graph, where nodes are perfect but edges may fail with identical and independent probability q = 1 p [0, 1] (this is Gilbert model for random graphs, where p is the probability of edgepresence [6]). The resulting graph may be either connected or not. We aim to find the probability that the random graph is connected, or connectedness probability, denoted by R(p). At a first sight, it does not seem a counting problem. However, we will see this is nothing but a counting problem! Indeed, let us consider a simple graph G = (V, E) with m = E edges and n = V nodes. We will stick to this symbology during the treatment. Let us call F i to the number of subgraphs with precisely m i edges. They all have the same probability, to know, p m i (1 p) i. Summing all events we get that: R(p) = m F i p m i (1 p) i. (1) i=0 Therefore, finding R(p) is equivalent to count all entries of the F -vector F = (F 0,..., F m ). This counting problem is called network reliability analysis problem, and it remains in the heart of network reliability theory [1]. Effort performed by Michael Ball and Scott Provan permitted to determine that counting the F -vector is a hard task again [2]. In this paper we want to answer two questions: This work has been partially supported by the Stic AmSud project AMMA January 2014]GRAPH CLASSIFICATION AND EASY RELIABILITY POLYNOMIALS 1

2 Mathematical Assoc. of America American Mathematical Monthly 121:1 November 18, :11 a.m. AMM.tex page 2 (I) Which kind of graphs have an easy counting procedure for the F -vector? (II) Is there a natural classification for those graphs? Question (I) is a source of inspiration for network reliability analysis. Here, we classify all graphs were the F -vector is completely known. They represent the easiest counting problems under study. Then, we introduce a level of difficulty, which is a function l that assigns each graph an integer from the set { 1, 0, 1,...}. Gracefully, easiest graphs have level of difficulty 1 or 0, while non-easiest graphs assume positive level of difficulty. The main results only use the first theorem of Graph Theory, to know, Handshaking [7]. 2. BACKGROUND. Your intuition is correct: if we delete too many edges, the graph will be disconnected. On the other hand, if we delete none or few edges, normally the graph will be connected. In this section, both corners are formalized. We just state the results but do not spend time with the proofs, since they are thoroughly covered in the related literature. All spanning trees have n 1 edges. Since they are minimally connected, there is no hope to find a graph with less than n 1 edges and to be connected. This implies that F x = 0 for all x > m n + 1. Gustav Kirchhoff found in 1847 a closed formula to count the number of spanning trees in a given graph [8]. Specifically, the number of spanning trees, or tree number of, κ(g), is any cofactor of the Laplacian matrix of G 1. So, F m n+1 = κ(g), and since determinants are easy to find, we are able to count F m n+1 as well! On the other hand, let us denote by c to the minimum number of edges we must remove in order to disconnect the graph, sometimes called edge-connectivity, or simply connectivity. Naturally, by its definition we get that F x = ( m x) for all x < c. The minimum number of links required to disconnect two fixed nodes has been solved by Ford and Fulkerson [5], in the context of flows in networks 2. Curiously, the number of ways to delete such c links is a hard problem (again, in the class #P-Complete), but it is not hard for our problem. Michael Ball and Scott Provan [2] found the number n c of ways to delete c edges and disconnect G. Therefore, F c = ( ) m c nc. We summarize the known results on the F -vector with the following items: F x = ( m x) for all x < c. F c = ( m c ) nc. F m n+1 = κ(g). F x = 0 for all x > m n + 1. Observe that m n + 1 is precisely the difference between the number of edges of the graph and the ones of a certain spanning tree. This is the number of independent cycles, or the co-rank of G 3. We will denote it by c(g). Clearly, if we delete more edges than the co-rank, the resulting graph is disconnected, since it has less edges than a tree. Therefore, c c(g) + 1. The key question for our graph classification is the following: is the equality possible? In that case, which graphs achieve the equality? 1 This result is sometimes known as Matrix-Tree Theorem, and connects algebra with graphs in an elegant way. Moreover, the birth of a new area of mathematics began with this result, called Algebraic Graph Theory 2 Indeed, the authors found an algorithm to find the maximum flow between a source and a sink in a capacitated network with natural capacities. This is a foundational result of Flow Theory in networks. 3 In algebraic graph theory, it is the dimension of the kernel of the incidence matrix for the graph G. For a neat cover of this topic, we invite the reader to see the book [3] 2 c THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121

3 Mathematical Assoc. of America American Mathematical Monthly 121:1 November 18, :11 a.m. AMM.tex page 3 3. CLASSIFICATION. Definition (Level of difficulty). The level of difficulty of a graph G is the difference between its co-rank and connectivity: By previous observations, we know that d(g) 1. Definition (Easy graph). A graph G is easy if d(g) 0. d(g) = c(g) c. (2) Observe that in easy graphs, the F -vector is fully known. In fact, consider a graph G such that d(g) = 1. Then, m n + 1 = c 1. But we know all entries x such that F x c or F x m n + 1, so the F -vector is fully recovered. The same situation occurs when d(g) = 0. In this section, we will fully characterize connected graphs with d(g) { 1, 0}. Let us start with the easiest ones. Theorem 1. The level of difficulty is 1 only in trees and cycles. Proof. We study three possible cases: 1) If c(g) = 0 we have acyclic connected graphs, or trees. They have connectivity c = 1, and thus level of difficulty 1. 2) If c(g) = 1 we must have connectivity c = 2. For sure, the graph has no bridge (otherwise, the bridge disconnects the graph, and c = 1). Therefore, the minimum degree is δ(g) = 2. Since c(g) = 1, we know that m n + 1 = 1, or alternatively that m = n. By Handshaking, we get that 2m = 2n equals the sum of nodedegrees. This implies that all nodes have degree 2, and the connected graph must be a cycle. 3) If c(g) = i 2 we must have connectivity c = i + 1, and the minimum degree is therefore δ(g) i + 1. Since c(g) = i, alternatively m = n + i 1. By Handshaking, we get that 2m = 2n + 2(i 1) = n i=1 deg(v i) nδ(g) = (i + 1)n. If we subtract 2n on both sides, we get that 2(i 1) (i 1)n. Finally, dividing by the factor i 1 we lead to the conclusion that a graph with co-rank c(g) = 2 and level of difficulty 1 must have n 2 nodes. But this is impossible, since the minimum degree must respect n 1 δ(g) 3 in this case. Observe that during the proof of Theorem 2, only Handshaking Theorem was used. As a consequence, cycles and trees are the most elementary graphs under this new concept of difficulty. Let us go one step further, and characterize all graphs with level of difficulty d(g) = 0. The reader can have a try before reading. Indeed, the proofs follows the same spirit of Theorem 2, and Handshaking is the main tool. Before, we provide a hint. In 1990, Clyde Monma et. al. offered to the scientific community a foundational result from topological network design. He proved that the minimum-cost 2-node-connected spanning networks must either be a Hamiltonian tour or contain a special graph as an induced subgraph [9]. This special graph has been called Monma graphs for the first time in [4], to give the corresponding credits. They consist of two nodes connected by independent paths. Monma graphs are sketched in Figure 1. The hint: Monma graphs have the same co-rank and connectivity! It is worth to mention some other graphs before the statement. When all nodes are directly connected, we have a complete graph. Butterflies are two triangles with a January 2014]GRAPH CLASSIFICATION AND EASY RELIABILITY POLYNOMIALS 3

4 Mathematical Assoc. of America American Mathematical Monthly 121:1 November 18, :11 a.m. AMM.tex page 4 l v l u l Figure 1. Monma s graph structure. common vertex, and quasi-trees are graphs such that a tree is obtained once we remove a specific node (trees and cycles are omitted in this definition for convenience). In order to illustrate the concept, let us find the level of difficulty for complete graphs with n nodes, here denoted by K n. The number of edges in K n is the number of ways to choose two nodes out of n. So: d(k n ) = (n n 1 2 n + 1) (n 1) = 1 (n 1)(n 4), 2 which is null if and only if n = 1 (trivial graph) or n = 4. The trivial graph is pathologic, in the sense that its connectivity is not defined. So, the only complete graph with null level of difficulty is K 4. The reader can have fun, finding the level of difficulty of the other graphs defined recently (Butterflies, Monma and Quasi-trees). Yes... they have all level of difficulty 0! We can say more. Theorem 2. The level of difficulty is 0 only in Butterflies, Monma graphs, Quasi-trees and the Complete graph of order four. Proof. We should characterize the graphs such that the connectivity and co-rank are identical: c(g) = c. Since c 1, we divide again the discussion into three possible cases: 1) If c(g) = c = 1, the graph must have at least a cycle and a bridge, leading in quasi-trees. 2) If c(g) = c = 2 we know that the minimum degree respects the inequality δ(g) 2. Since c(g) = 2 we get that m = n + 1. Now, Handshaking Theorem says that 2m = n i=1 deg(v i) = 2n + 2. Therefore, the graph must have either all but one or two nodes with degree two. This is a characterization Monma graphs and Butterflies, respectively. 3) If c(g) = i 3, we have δ(g) i. Since c(g) = i, alternatively m = n + i 1. By Handshaking, we get that 2m = 2n + 2(i 1) = n i=1 deg(v i) nδ(g) = ni. This means that 2(i 1) n(i 2). Rewriting, we get that: n 2 i 1 ( i 2 = ) i 2 2 ( ) 3 2 = 4. (3) So, n 4. But n 1 δ(g) i 3. So, n = 4, and all inequalities are equalities. This is possible only in the complete graph with four nodes. Corollary 1. Easy graphs are Cycles, Trees, Quasi-trees, Monma Graphs, Butterflies and the Complete graph with four nodes. 4 c THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121

2.3 Scheduling jobs on identical parallel machines There are jobs to be processed, and there are identical machines (running in parallel) to which each job may be assigned Each job = 1,,, must be processed

GRAPH THEORY and APPLICATIONS Trees Properties Tree: a connected graph with no cycle (acyclic) Forest: a graph with no cycle Paths are trees. Star: A tree consisting of one vertex adjacent to all the others.

Orthogonal Complements and Projections Recall that two vectors in are perpendicular or orthogonal provided that their dot product vanishes That is, if and only if Example 1 The vectors in are orthogonal

Basic Notions on Graphs Planar Graphs and Vertex Colourings Presented by Joe Ryan School of Electrical Engineering and Computer Science University of Newcastle, Australia Planar graphs Graphs may be drawn

Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various

Lecture The Matrix-Tree Theorem This section of the notes introduces a very beautiful theorem that uses linear algebra to count trees in graphs. Reading: The next few lectures are not covered in Jungnickel

Discrete Mathematics Lent 2009 MA210 Solutions to Exercises 8 (1) Suppose that G is a graph in which every vertex has degree at least k, where k 1, and in which every cycle contains at least 4 vertices.

1 P versus NP, and More Great Ideas in Theoretical Computer Science Saarland University, Summer 2014 If you have tried to solve a crossword puzzle, you know that it is much harder to solve it than to verify

Lesson 3 Algebraic graph theory Sergio Barbarossa Basic notions Definition: A directed graph (or digraph) composed by a set of vertices and a set of edges We adopt the convention that the information flows

Euler Paths and Euler Circuits An Euler path is a path that uses every edge of a graph exactly once. An Euler circuit is a circuit that uses every edge of a graph exactly once. An Euler path starts and

Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

Chapter 11 Graph Theory The origins of graph theory are humble, even frivolous. Biggs, E. K. Lloyd, and R. J. Wilson) (N. Let us start with a formal definition of what is a graph. Definition 72. A graph

3.1 Algorithm complexity The algorithms A, B are given. The former has complexity O(n 2 ), the latter O(2 n ), where n is the size of the instance. Let n A 0 be the size of the largest instance that can

Topology-based network security Tiit Pikma Supervised by Vitaly Skachek Research Seminar in Cryptography University of Tartu, Spring 2013 1 Introduction In both wired and wireless networks, there is the

On the k-path cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics

MATH 304 Linear Algebra Lecture 16: Basis and dimension. Basis Definition. Let V be a vector space. A linearly independent spanning set for V is called a basis. Equivalently, a subset S V is a basis for

Large induced subgraphs with all degrees odd A.D. Scott Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, England Abstract: We prove that every connected graph of order

Spectral graph theory Uri Feige January 2010 1 Background With every graph (or digraph) one can associate several different matrices. We have already seen the vertex-edge incidence matrix, the Laplacian

Chapter 4 Trees 4.1 Basics A tree is a connected graph with no cycles. A forest is a collection of trees. A vertex of degree one, particularly in a tree, is called a leaf. Trees arise in a variety of applications.

The Basics of Graphical Models David M. Blei Columbia University October 3, 2015 Introduction These notes follow Chapter 2 of An Introduction to Probabilistic Graphical Models by Michael Jordan. Many figures

9 Properties of Trees. Definitions: Chapter 4: Trees forest - a graph that contains no cycles tree - a connected forest. Theorem: Let T be a graph with n vertices. Then the following statements are equivalent:

Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

Massachusetts Institute of Technology Handout 6 18.433: Combinatorial Optimization February 20th, 2009 Michel X. Goemans 3. Linear Programming and Polyhedral Combinatorics Summary of what was seen in the

CMPSCI611: Approximating MAX-CUT Lecture 20 For the next two lectures we ll be seeing examples of approximation algorithms for interesting NP-hard problems. Today we consider MAX-CUT, which we proved to

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

COLORED GRAPHS AND THEIR PROPERTIES BEN STEVENS 1. Introduction This paper is concerned with the upper bound on the chromatic number for graphs of maximum vertex degree under three different sets of coloring

Polytope Examples (PolyComp Fukuda) Matching Polytope 1 Matching Polytope Let G = (V,E) be a graph. A matching in G is a subset of edges M E such that every vertex meets at most one member of M. A matching

14. Trees and Their Properties This is the first of a few articles in which we shall study a special and important family of graphs, called trees, discuss their properties and introduce some of their applications.

Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS 1.1.25 Prove that the Petersen graph has no cycle of length 7. Solution: There are 10 vertices in the Petersen graph G. Assume there is a cycle C

4 Graph Theory Throughout these notes, a graph G is a pair (V, E) where V is a set and E is a set of unordered pairs of elements of V. The elements of V are called vertices and the elements of E are called

A CHARACTERIZATION OF TREE TYPE LON H MITCHELL Abstract Let L(G) be the Laplacian matrix of a simple graph G The characteristic valuation associated with the algebraic connectivity a(g) is used in classifying

CS787: Advanced Algorithms Lecture 10: LP Relaxation and Rounding In this lecture we will design approximation algorithms using linear programming. The key insight behind this approach is that the closely

BEAUTIFUL CONJECTURES IN GRAPH THEORY Adrian Bondy What is a beautiful conjecture? The mathematician s patterns, like the painter s or the poet s must be beautiful; the ideas, like the colors or the words

1. (Chapter 1 supplementary, problem 7): There are 12 men at a dance. (a) In how many ways can eight of them be selected to form a cleanup crew? (b) How many ways are there to pair off eight women at the

Lecture 19 NP-Completeness I 19.1 Overview In the past few lectures we have looked at increasingly more expressive problems that we were able to solve using efficient algorithms. In this lecture we introduce

To ensure the functioning of the site, we use cookies. We share information about your activities on the site with our partners and Google partners: social networks and companies engaged in advertising and web analytics. For more information, see the Privacy Policy and Google Privacy &amp Terms.
Your consent to our cookies if you continue to use this website.