# Graph Classification and Easy Reliability Polynomials

Save this PDF as:

Size: px
Start display at page:

## 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

5 Mathematical Assoc. of America American Mathematical Monthly 121:1 November 18, :11 a.m. AMM.tex page 5 Corollary 1 is a full characterization of graphs whose F -vector is known a-priori. For completeness, we define easy reliability polynomials. Definition. A polynomial is a reliability polynomial if it can be realized by a graph with Expression (1). Definition. A reliability polynomial is easy if it comes from an easy graph. Corollary 2. The complete list of all easy reliability polynomials is the following: r 1 (p) = p m + mp m 1 (1 p) r 2 (p) = p m r 3 (p) = [p s + sp s 1 (1 p)]p m s r 4 (p) = p m + mp m 1 (1 p) + (l 1 l 2 + l 1 l 3 + l 2 l 3 )p m 2 (1 p) 2 r 5 (p) = p 6 + 6p 5 (1 p) + 9p 4 (1 p) 2 r 4 (p) = p 6 + 6p 5 (1 p) + 15p 4 (1 p) p 3 (1 p) 3 Reliability polynomials were presented in the respective order of the graphs from Corollary 1. A similar discussion can be performed to produce all graphs with a level of difficulty d(g) = 1. In order no to extend the discussion and invite further analysis for the reader, we prefer to draw all such graphs. 4. CONCLUSIONS. We played with counting problems in graphs to address a classical telecommunication problem from an abstract setting. As a corollary, we obtain a natural graph classification, to know, the level of difficulty, which is the difference between co-rank and connectivity. Graphs with a non-positive level of difficulty have the counting problem solved beforehand. They were fully characterized here. A full characterization of graphs with level of difficulty 1 is also feasible playing with Handshaking again, and we restricted to draw them. However, more sophisticated techniques should be developed to characterize graphs (and polynomials) with higher level of difficulty. REFERENCES 1. Michael O. Ball. Computational complexity of network reliability analysis: An overview. IEEE Transactions on Reliability, 35(3): , aug Michael O. Ball and J. Scott Provan. The complexity of counting cuts and of computing the probability that a graph is connected. SIAM J. Computing, 12: , N. Biggs. Algebraic Graph Theory. Cambridge Mathematical Library. Cambridge University Press, Eduardo Canale, Pablo Monzón, and Franco Robledo. Global synchronization properties for different classes of underlying interconnection graphs for kuramoto coupled oscillators. In Future Generation Information Technology, volume 5899 of Lecture Notes in Computer Science, pages Springer Berlin Heidelberg, L. R. Ford and D. R. Fulkerson. Flows in Networks. Princeton University Press, E. N. Gilbert. Random graphs. Annals of Mathematical Statistics, 30: , F. Harary. Graph Theory. Addison-Wesley series in mathematics. Perseus Books, G. Kirchoff. Über die auflösung der gleichungen, auf welche man bei der untersuchung der linearen verteilung galvanischer ströme geführt wird. Ann. Phys. Chem., 72: , ClydeL. Monma, BethSpellman Munson, and WilliamR. Pulleyblank. Minimum-weight two-connected spanning networks. Mathematical Programming, 46(1-3): , Leslie G. Valiant. The complexity of computing the permanent. Theor. Comput. Sci., 8: , January 2014]GRAPH CLASSIFICATION AND EASY RELIABILITY POLYNOMIALS 5

### Lecture notes from Foundations of Markov chain Monte Carlo methods University of Chicago, Spring 2002 Lecture 1, March 29, 2002

Lecture notes from Foundations of Markov chain Monte Carlo methods University of Chicago, Spring 2002 Lecture 1, March 29, 2002 Eric Vigoda Scribe: Varsha Dani & Tom Hayes 1.1 Introduction The aim of this

### Exponential time algorithms for graph coloring

Exponential time algorithms for graph coloring Uriel Feige Lecture notes, March 14, 2011 1 Introduction Let [n] denote the set {1,..., k}. A k-labeling of vertices of a graph G(V, E) is a function V [k].

### 10. Graph Matrices Incidence Matrix

10 Graph Matrices Since a graph is completely determined by specifying either its adjacency structure or its incidence structure, these specifications provide far more efficient ways of representing a

### The tree-number and determinant expansions (Biggs 6-7)

The tree-number and determinant expansions (Biggs 6-7) André Schumacher March 20, 2006 Overview Biggs 6-7 [1] The tree-number κ(γ) κ(γ) and the Laplacian matrix The σ function Elementary (sub)graphs Coefficients

V. Adamchik 1 Graph Theory Victor Adamchik Fall of 2005 Plan 1. Basic Vocabulary 2. Regular graph 3. Connectivity 4. Representing Graphs Introduction A.Aho and J.Ulman acknowledge that Fundamentally, computer

### 8.1 Min Degree Spanning Tree

CS880: Approximations Algorithms Scribe: Siddharth Barman Lecturer: Shuchi Chawla Topic: Min Degree Spanning Tree Date: 02/15/07 In this lecture we give a local search based algorithm for the Min Degree

### Cacti with minimum, second-minimum, and third-minimum Kirchhoff indices

MATHEMATICAL COMMUNICATIONS 47 Math. Commun., Vol. 15, No. 2, pp. 47-58 (2010) Cacti with minimum, second-minimum, and third-minimum Kirchhoff indices Hongzhuan Wang 1, Hongbo Hua 1, and Dongdong Wang

### 6.042/18.062J Mathematics for Computer Science October 3, 2006 Tom Leighton and Ronitt Rubinfeld. Graph Theory III

6.04/8.06J Mathematics for Computer Science October 3, 006 Tom Leighton and Ronitt Rubinfeld Lecture Notes Graph Theory III Draft: please check back in a couple of days for a modified version of these

### Theorem A graph T is a tree if, and only if, every two distinct vertices of T are joined by a unique path.

Chapter 3 Trees Section 3. Fundamental Properties of Trees Suppose your city is planning to construct a rapid rail system. They want to construct the most economical system possible that will meet the

### 2.3 Scheduling jobs on identical parallel machines

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

### Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs

Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 13 Overview Graphs and Graph

### Counting spanning trees

Counting spanning trees Question Given a graph G, howmanyspanningtreesdoesg have? (G) =numberofdistinctspanningtreesofg Definition If G =(V,E) isamultigraphwithe 2 E, theng e (said G contract e ) is the

### Every tree contains a large induced subgraph with all degrees odd

Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University

### GRAPH THEORY and APPLICATIONS. Trees

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.

### Graph Theory. Introduction. Distance in Graphs. Trees. Isabela Drămnesc UVT. Computer Science Department, West University of Timişoara, Romania

Graph Theory Introduction. Distance in Graphs. Trees Isabela Drămnesc UVT Computer Science Department, West University of Timişoara, Romania November 2016 Isabela Drămnesc UVT Graph Theory and Combinatorics

### Recall that two vectors in are perpendicular or orthogonal provided that their dot

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. Joe Ryan. Presented by

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

### Outline. NP-completeness. When is a problem easy? When is a problem hard? Today. Euler Circuits

Outline NP-completeness Examples of Easy vs. Hard problems Euler circuit vs. Hamiltonian circuit Shortest Path vs. Longest Path 2-pairs sum vs. general Subset Sum Reducing one problem to another Clique

### Zachary Monaco Georgia College Olympic Coloring: Go For The Gold

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 7. The Matrix-Tree Theorem. 7.1 Kircho s Matrix-Tree Theorem

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

### Solutions to Exercises 8

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.

### Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs

CSE599s: Extremal Combinatorics November 21, 2011 Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs Lecturer: Anup Rao 1 An Arithmetic Circuit Lower Bound An arithmetic circuit is just like

### SAMPLES OF HIGHER RATED WRITING: LAB 5

SAMPLES OF HIGHER RATED WRITING: LAB 5 1. Task Description Lab report 5. (April 14) Graph Coloring. Following the guidelines, and keeping in mind the assessment criteria, using where appropriate experimental

### On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

### On Maximal Energy of Trees with Fixed Weight Sequence

MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 75 (2016) 267-278 ISSN 0340-6253 On Maximal Energy of Trees with Fixed Weight Sequence Shicai Gong 1,,,

### A simple criterion on degree sequences of graphs

Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree

### SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

### P versus NP, and More

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. Rome - February 2010

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

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

### A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

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

### The origins of graph theory are humble, even frivolous. Biggs, E. K. Lloyd, and R. J. Wilson)

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

### Discuss the size of the instance for the minimum spanning tree problem.

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

### princeton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora

princeton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora Scribe: One of the running themes in this course is the notion of

### Fall 2015 Midterm 1 24/09/15 Time Limit: 80 Minutes

Math 340 Fall 2015 Midterm 1 24/09/15 Time Limit: 80 Minutes Name (Print): This exam contains 6 pages (including this cover page) and 5 problems. Enter all requested information on the top of this page,

### Generalized Induced Factor Problems

Egerváry Research Group on Combinatorial Optimization Technical reports TR-2002-07. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.

### Topology-based network security

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

### Fairness in Routing and Load Balancing

Fairness in Routing and Load Balancing Jon Kleinberg Yuval Rabani Éva Tardos Abstract We consider the issue of network routing subject to explicit fairness conditions. The optimization of fairness criteria

### Tenacity and rupture degree of permutation graphs of complete bipartite graphs

Tenacity and rupture degree of permutation graphs of complete bipartite graphs Fengwei Li, Qingfang Ye and Xueliang Li Department of mathematics, Shaoxing University, Shaoxing Zhejiang 312000, P.R. China

### Coloring Eulerian triangulations of the projective plane

Coloring Eulerian triangulations of the projective plane Bojan Mohar 1 Department of Mathematics, University of Ljubljana, 1111 Ljubljana, Slovenia bojan.mohar@uni-lj.si Abstract A simple characterization

### The Characteristic Polynomial

Physics 116A Winter 2011 The Characteristic Polynomial 1 Coefficients of the characteristic polynomial Consider the eigenvalue problem for an n n matrix A, A v = λ v, v 0 (1) The solution to this problem

### On the k-path cover problem for cacti

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. 1. Introduction

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

### Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs

MCS-236: Graph Theory Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010 Chapter 7: Digraphs Strong Digraphs Definitions. A digraph is an ordered pair (V, E), where V is the set

### Applied Algorithm Design Lecture 5

Applied Algorithm Design Lecture 5 Pietro Michiardi Eurecom Pietro Michiardi (Eurecom) Applied Algorithm Design Lecture 5 1 / 86 Approximation Algorithms Pietro Michiardi (Eurecom) Applied Algorithm Design

### A note on properties for a complementary graph and its tree graph

A note on properties for a complementary graph and its tree graph Abulimiti Yiming Department of Mathematics Institute of Mathematics & Informations Xinjiang Normal University China Masami Yasuda Department

### An inequality for the group chromatic number of a graph

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.

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

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

### Discrete Mathematics Problems

Discrete Mathematics Problems William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224 E-mail: wkloster@unf.edu Contents 0 Preface 3 1 Logic 5 1.1 Basics...............................

### High degree graphs contain large-star factors

High degree graphs contain large-star factors Dedicated to László Lovász, for his 60th birthday Noga Alon Nicholas Wormald Abstract We show that any finite simple graph with minimum degree d contains a

### Long questions answer Advanced Mathematics for Computer Application If P= , find BT. 19. If B = 1 0, find 2B and -3B.

Unit-1: Matrix Algebra Short questions answer 1. What is Matrix? 2. Define the following terms : a) Elements matrix b) Row matrix c) Column matrix d) Diagonal matrix e) Scalar matrix f) Unit matrix OR

### Spectral graph theory

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

### NP-Completeness. CptS 223 Advanced Data Structures. Larry Holder School of Electrical Engineering and Computer Science Washington State University

NP-Completeness CptS 223 Advanced Data Structures Larry Holder School of Electrical Engineering and Computer Science Washington State University 1 Hard Graph Problems Hard means no known solutions with

### Quantum Computation as Geometry

Quantum Computation as Geometry arxiv:quant-ph/0603161v2 21 Mar 2006 Michael A. Nielsen, Mark R. Dowling, Mile Gu, and Andrew C. Doherty School of Physical Sciences, The University of Queensland, Queensland

### Chapter 4. Trees. 4.1 Basics

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.

### On the Relationship between Classes P and NP

Journal of Computer Science 8 (7): 1036-1040, 2012 ISSN 1549-3636 2012 Science Publications On the Relationship between Classes P and NP Anatoly D. Plotnikov Department of Computer Systems and Networks,

### The Basics of Graphical Models

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

### Chapter 4: Trees. 2. Theorem: Let T be a graph with n vertices. Then the following statements are equivalent:

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:

### Classification of Cartan matrices

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

### 3. Linear Programming and Polyhedral Combinatorics

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

### / Approximation Algorithms Lecturer: Michael Dinitz Topic: Steiner Tree and TSP Date: 01/29/15 Scribe: Katie Henry

600.469 / 600.669 Approximation Algorithms Lecturer: Michael Dinitz Topic: Steiner Tree and TSP Date: 01/29/15 Scribe: Katie Henry 2.1 Steiner Tree Definition 2.1.1 In the Steiner Tree problem the input

### Computer Algorithms. NP-Complete Problems. CISC 4080 Yanjun Li

Computer Algorithms NP-Complete Problems NP-completeness The quest for efficient algorithms is about finding clever ways to bypass the process of exhaustive search, using clues from the input in order

### Generating models of a matched formula with a polynomial delay

Generating models of a matched formula with a polynomial delay Petr Savicky Institute of Computer Science, Academy of Sciences of Czech Republic, Pod Vodárenskou Věží 2, 182 07 Praha 8, Czech Republic

### CMPSCI611: Approximating MAX-CUT Lecture 20

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

### Product irregularity strength of certain graphs

Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 7 (014) 3 9 Product irregularity strength of certain graphs Marcin Anholcer

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

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

### A Graph-Theoretic Network Security Game. Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou and Paul G. Spirakis

Int. J. Autonomous and Adaptive Communications Systems, Vol. x, No. x, xx 1 A Graph-Theoretic Network Security Game Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou and Paul G. Spirakis Department

### COLORED GRAPHS AND THEIR PROPERTIES

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

### An Exact Algorithm for Steiner Tree Problem on Graphs

International Journal of Computers, Communications & Control Vol. I (2006), No. 1, pp. 41-46 An Exact Algorithm for Steiner Tree Problem on Graphs Milan Stanojević, Mirko Vujošević Abstract: The paper

### Cycles in a Graph Whose Lengths Differ by One or Two

Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS

### Analysis of Algorithms, I

Analysis of Algorithms, I CSOR W4231.002 Eleni Drinea Computer Science Department Columbia University Thursday, February 26, 2015 Outline 1 Recap 2 Representing graphs 3 Breadth-first search (BFS) 4 Applications

### Polytope Examples (PolyComp Fukuda) Matching Polytope 1

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

### Complexity and Completeness of Finding Another Solution and Its Application to Puzzles

yato@is.s.u-tokyo.ac.jp seta@is.s.u-tokyo.ac.jp Π (ASP) Π x s x s ASP Ueda Nagao n n-asp parsimonious ASP ASP NP Complexity and Completeness of Finding Another Solution and Its Application to Puzzles Takayuki

### 14. Trees and Their Properties

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

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

### Transportation Polytopes: a Twenty year Update

Transportation Polytopes: a Twenty year Update Jesús Antonio De Loera University of California, Davis Based on various papers joint with R. Hemmecke, E.Kim, F. Liu, U. Rothblum, F. Santos, S. Onn, R. Yoshida,

### Linear Programming I

Linear Programming I November 30, 2003 1 Introduction In the VCR/guns/nuclear bombs/napkins/star wars/professors/butter/mice problem, the benevolent dictator, Bigus Piguinus, of south Antarctica penguins

### Min-cost flow problems and network simplex algorithm

Min-cost flow problems and network simplex algorithm The particular structure of some LP problems can be sometimes used for the design of solution techniques more efficient than the simplex algorithm.

### Orthogonal Projections and Orthonormal Bases

CS 3, HANDOUT -A, 3 November 04 (adjusted on 7 November 04) Orthogonal Projections and Orthonormal Bases (continuation of Handout 07 of 6 September 04) Definition (Orthogonality, length, unit vectors).

### (a) (b) (c) Figure 1 : Graphs, multigraphs and digraphs. If the vertices of the leftmost figure are labelled {1, 2, 3, 4} in clockwise order from

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

### Lecture 1: Course overview, circuits, and formulas

Lecture 1: Course overview, circuits, and formulas Topics in Complexity Theory and Pseudorandomness (Spring 2013) Rutgers University Swastik Kopparty Scribes: John Kim, Ben Lund 1 Course Information Swastik

### Graphs without proper subgraphs of minimum degree 3 and short cycles

Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract

### About the inverse football pool problem for 9 games 1

Seventh International Workshop on Optimal Codes and Related Topics September 6-1, 013, Albena, Bulgaria pp. 15-133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute

### Practical Guide to the Simplex Method of Linear Programming

Practical Guide to the Simplex Method of Linear Programming Marcel Oliver Revised: April, 0 The basic steps of the simplex algorithm Step : Write the linear programming problem in standard form Linear

### Fig. 1. All hexagonal systems with h = 2, 3, 4 hexagons. HEXAGONAL SYSTEMS. A CHEMISTRY-MOTIVATED EXCURSION TO COMBINATORIAL GEOMETRY

THE TEACHING OF MATHEMATICS 2007, Vol. X, 1, pp. 1 10 HEXAGONAL SYSTEMS. A CHEMISTRY-MOTIVATED EXCURSION TO COMBINATORIAL GEOMETRY Ivan Gutman Abstract. Hexagonal systems are geometric objects obtained

### ON THE COMPLEXITY OF THE GAME OF SET. {kamalika,pbg,dratajcz,hoeteck}@cs.berkeley.edu

ON THE COMPLEXITY OF THE GAME OF SET KAMALIKA CHAUDHURI, BRIGHTEN GODFREY, DAVID RATAJCZAK, AND HOETECK WEE {kamalika,pbg,dratajcz,hoeteck}@cs.berkeley.edu ABSTRACT. Set R is a card game played with a

### Introduction to Scheduling Theory

Introduction to Scheduling Theory Arnaud Legrand Laboratoire Informatique et Distribution IMAG CNRS, France arnaud.legrand@imag.fr November 8, 2004 1/ 26 Outline 1 Task graphs from outer space 2 Scheduling

### Nan Kong, Andrew J. Schaefer. Department of Industrial Engineering, Univeristy of Pittsburgh, PA 15261, USA

A Factor 1 2 Approximation Algorithm for Two-Stage Stochastic Matching Problems Nan Kong, Andrew J. Schaefer Department of Industrial Engineering, Univeristy of Pittsburgh, PA 15261, USA Abstract We introduce

### A CHARACTERIZATION OF TREE TYPE

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

### Linear Span and Bases

MAT067 University of California, Davis Winter 2007 Linear Span and Bases Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (January 23, 2007) Intuition probably tells you that the plane R 2 is of dimension

### 10.1 Integer Programming and LP relaxation

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

### An inequality for the group chromatic number of a graph

Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph Hong-Jian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,

### BEAUTIFUL CONJECTURES IN GRAPH THEORY. Adrian Bondy

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

### Cycle transversals in bounded degree graphs

Electronic Notes in Discrete Mathematics 35 (2009) 189 195 www.elsevier.com/locate/endm Cycle transversals in bounded degree graphs M. Groshaus a,2,3 P. Hell b,3 S. Klein c,1,3 L. T. Nogueira d,1,3 F.

### UNIT 2 MATRICES - I 2.0 INTRODUCTION. Structure

UNIT 2 MATRICES - I Matrices - I Structure 2.0 Introduction 2.1 Objectives 2.2 Matrices 2.3 Operation on Matrices 2.4 Invertible Matrices 2.5 Systems of Linear Equations 2.6 Answers to Check Your Progress

### Steiner Tree Approximation via IRR. Randomized Rounding

Steiner Tree Approximation via Iterative Randomized Rounding Graduate Program in Logic, Algorithms and Computation μπλ Network Algorithms and Complexity June 18, 2013 Overview 1 Introduction Scope Related

### International Journal of Information Technology, Modeling and Computing (IJITMC) Vol.1, No.3,August 2013

FACTORING CRYPTOSYSTEM MODULI WHEN THE CO-FACTORS DIFFERENCE IS BOUNDED Omar Akchiche 1 and Omar Khadir 2 1,2 Laboratory of Mathematics, Cryptography and Mechanics, Fstm, University of Hassan II Mohammedia-Casablanca,