Graphic sequences, adjacency matrix

Size: px
Start display at page:

Download "Graphic sequences, adjacency matrix"

Transcription

1 Chapter 2 Graphic sequences, adjacency matrix Definition 2.1. A sequence of integers (d 1,..., d n ) is called graphic if it is the degree sequence of a graph. Example (1, 2, 2, 3) is graphic: 2. (1, 1, 1, 2, 2, 3, 4, 5) is not graphic (there would be an odd number of vertices of odd degree, see corollary 1.22). 3. (2, 3, 3, 4, 5, 6, 7) is not graphic (the graph would have 7 vertices and one of them would have degree 7, which is impossible). Problem: Given a sequence (d 1,..., d n ) of elements of N, determine whether or not it is graphic. Clearly, if we have d i n for some i, then the sequence is not graphic (having a vertex with degree equal at least to the number of vertices would require self-loops or parallel edges). The other case is answered by this result: Theorem 2.3 (Havel (1955)- Hakimi (1962)). Let d = (d 1,..., d n ) be a sequence of elements of N such that d 1 d 2 d n < n. Construct d = ( d 1, d 2,... }{{} n d n 1 elements can be empty (if d n = n 1), d n dn 1,..., d n 1 1) }{{} d n elements Then d is graphic if and only if d is graphic (after being re-ordered to be in non-decreasing order, if necessary). 15

2 16 CHAPTER 2. GRAPHIC SEQUENCES, ADJACENCY MATRIX Example (0, 1, 1, 1, 2) (1, 1, 2, 2, 2, 4) apply Thm. 2.3 apply Thm.2.3 apply Thm. 2.3 apply Thm. 2.3 (0, 1, 1, 0) (0, 1, 0, 0) make it non-decreasing (0, 0, 0, 1) (0, 0, 1) not graphic (1, 0, 1, 1, 1) make it non-decreasing make it non-decreasing (0, 1, 1, 1, 1) (0, 0, 1, 1) (0, 0, 0) graphic: Remark 2.5. The sequence (0, 0,..., 0) is always graphic: (a graph with no edges). Consequently: Applying the transformation from theorem 2.3. we can always reduce to either or A sequence of zeros (which is graphic, so the starting sequence is graphic) A sequence containig negative numbers (which is not graphic, so the starting sequence is not graphic). Proof. (of theorem 2.3) We first show that d graphic implies d graphic: By hypothesis d is the degree sequence of some graph G = (V, E ), and d = (d 1, d 2,..., d n dn 1,..., d n 1 1). If we denote the coefficients of d above by d 1,..., d n 1, we have d i = d(v i) where V = {v 1,..., v n 1 }. To get G = (V, E) out of G we add one vertex: V = V {v n } and we add edges from v n to v n dn,..., v n 1.: Then the degree sequence of G is d. E = E {v n v n dn,..., v n v n 1 }. We now show that d graphic implies d graphic: We write d = (d 1,..., d n dn,..., d n 1, d n ), where d i = d(v i ) and V = {v 1,..., v n }. We consider two cases Case 1: If v n is adjacent to v n dn,..., v n 1. Then we remove v n and all the edges v n v n dn,..., v n v n 1. The resulting graph has degree sequence d.

3 17 Case 2: If v n is not adjacent to all of v n dn,..., v n 1. Consider the following Fact Fact: We can modify the edges in the graph G to obtain a graph with the same degree sequence d, but where the amount of neighbours of v n among v n dn,..., v n 1 is increase by 1 Applying this Fact several times, we will be back to case 1, from which we can conclude. So we only have to justify why this fact is true: Let i {n d n,..., n 1} be the least integer such that v n is not a neighbour of v i. Since d(v n ) = d n, v n is adjacent to some v j with j < n d n : If d(v j ) = d n, we simply relabel the vertices and swap v i and v j (the degree sequence is unchanged). If d(v j ) < d(v i ): There is a vertex v k adjacent to v i but not to v j (and v k v n because v n is adjacent to v j ): In this case we remove the edges v j v n and v i v k, then add the edges v j v k and v i v n : Doing this preserves the degree of all vertices, so the degree sequence is unchanged, but now v n has one more neighbour in v n dn,..., v n 1 (namely v i ). The proof of theorem 2.3 is an algorithm. We saw in the previous remark that is a sequence is graphic, repeated applications of theorem 2.3 will give the sequence (0,..., 0), corresponding to the graph

4 18 CHAPTER 2. GRAPHIC SEQUENCES, ADJACENCY MATRIX Using the part d graphic d graphic of the proof of theorem 2.3 (the easy part), and starting from the graph we can construct a graph with degree sequence d. Example (1,1,2,2,2,4) n = 6, d n = 4 (1,0,1,1,1) (0,1,1,1,1) n = 5, d n = 1 (0,1,1,0) (0,0,1,1) n = 4, d n = 1 (0,0,0) 2. Ursa major: Its degree sequence is (1, 2, 2, 2, 2, 2, 3). We know it is graphic, but we still apply the above algorithm:

5 19 (1,2,2,2,2,2,3) n = 7, d n = 3 (1,2,2,1,1,1) (1,1,1,1,2,2) n = 6, d n = 2 (1,1,1,0,1) (0,1,1,1,1) n = 5, d n = 1 (0,1,1,0) (0,0,1,1) n = 4, d n = 1 (0,0,0) The result we obtained here does not look like Ursa Major. Conclusion: There can be different graphs with the same degree sequence. Definition 2.7. Let G = (V, E) be any graph (graph, multigraph, pseudograph, directed graph). Consider any labelling V = {v 1,..., v n } of the vertices of G. The adjacency matrix of G (with respect to this labelling) is where A = (a ij ) i,j=1,...,n, a ij = the number of edges in G starting at v i and ending at v j. Example A =

6 20 CHAPTER 2. GRAPHIC SEQUENCES, ADJACENCY MATRIX A = Some properties of A (depending on the type of graph): normal graph: a ij {0, 1}. no self-loops: a ii = 0. undirected: a ij = a ji, i.e., A = A t. Proposition 2.9. Let A k = } A A {{ A } = (a (k) ij ) i,j=1,...,n. Then k times Example a (k) ij = the number of walks of length k from v i to v j A = There are 2 walks of length 2 from v 1 to v 1, and one walk of length 2 from v 2 to v A 2 = There are 3 walks of length 2 from v 1 to v 1, there are 2 walks of length 2 from v 1 to v 3.

7 21 Proof. (of theorem 2.9) By induction on k. k = 1. It is clear by definition of A: a (1) ij = a ij = the number of edges from v i to v j = the number of walks of length 1 from v i to v j We assume that the statement is true for k and prove it for k + 1. We have A k+1 = A A k, so a (k+1) ij = n r=1 a (1) ir a(k) rj. Every walk of length k + 1 from v i to v j is of the form: an edge from v i to some v r, followed by a walk of length k from v r to v j. The number a (1) ir a(k) rj is the number of walks of length k + 1 from v i to v j that have v i v r as first step (indeed: a (1) ir is the number of different edges from v i to v r, and a (k) rj is the number of different walks of length k from v r to v j ). Therefore n from v i to v j. r=1 a(1) ir a(k) rj is the number of all possible walks of length k + 1

Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability

Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability Salil Vadhan September 20, 2012 Reading: Sipser, 1.3 and The Diagonalization Method, pages 174 178 (from just before Definition

More information

Ma/CS 6b Class 12: Graphs and Matrices

Ma/CS 6b Class 12: Graphs and Matrices Ma/CS 6b Class 2: Graphs and Matrices 3 3 v 5 v 4 v By Adam Sheffer Non-simple Graphs In this class we allow graphs to be nonsimple. We allow parallel edges, but not loops. Incidence Matrix Consider a

More information

This section is an introduction to the basic themes of the course.

This section is an introduction to the basic themes of the course. Chapter 1 Matrices and Graphs 1.1 The Adjacency Matrix This section is an introduction to the basic themes of the course. Definition 1.1.1. A simple undirected graph G = (V, E) consists of a non-empty

More information

1.10 Matrix Representation of Graphs

1.10 Matrix Representation of Graphs 42 Basic Concepts of Graphs 1.10 Matrix Representation of Graphs Definitions: In this section, we introduce two kinds of matrix representations of a graph, that is, the adjacency matrix and incidence matrix

More information

GRAPHIC REALIZATIONS OF SEQUENCES. Under the direction of Dr. John S. Caughman

GRAPHIC REALIZATIONS OF SEQUENCES. Under the direction of Dr. John S. Caughman GRAPHIC REALIZATIONS OF SEQUENCES JOSEPH RICHARDS Under the direction of Dr. John S. Caughman A Math 501 Project Submitted in partial fulfillment of the requirements for the degree of Master of Science

More information

3.2 Configuration model

3.2 Configuration model 3.2 Configuration model 3.2.1 Definition. Basic properties Assume that the vector d = (d 1,..., d n ) is graphical, i.e., there exits a graph on n vertices such that vertex 1 has degree d 1, vertex 2 has

More information

Markov properties for undirected graphs

Markov properties for undirected graphs Graphical Models, Lecture 2, Michaelmas Term 2011 October 12, 2011 Formal definition Fundamental properties Random variables X and Y are conditionally independent given the random variable Z if L(X Y,

More information

Markov properties for undirected graphs

Markov properties for undirected graphs Graphical Models, Lecture 2, Michaelmas Term 2009 October 15, 2009 Formal definition Fundamental properties Random variables X and Y are conditionally independent given the random variable Z if L(X Y,

More information

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic).

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic). Trees A tree is a graph which is (a) Connected and (b) has no cycles (acyclic). 1 Lemma 1 Let the components of G be C 1, C 2,..., C r, Suppose e = (u, v) / E, u C i, v C j. (a) i = j ω(g + e) = ω(g).

More information

Uniquely Hamiltonian Graphs

Uniquely Hamiltonian Graphs Uniquely Hamiltonian Graphs Benedikt Klocker Algorithms and Complexity Group Institute of Computer Graphics and Algorithms TU Wien Retreat Talk Uniquely Hamiltonian Graphs Benedikt Klocker 2 Basic Definitions

More information

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion CHAPTER 1 Relations 1. Relations and Their Properties 1.1. Definition of a Relation. Definition 1.1.1. A binary relation from a set A to a set B is a subset R A B. If (a, b) R we say a is Related to b

More information

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution

More information

An Introduction to Spectral Graph Theory

An Introduction to Spectral Graph Theory An Introduction to Spectral Graph Theory Mackenzie Wheeler Supervisor: Dr. Gary MacGillivray University of Victoria WheelerM@uvic.ca Outline Outline 1. How many walks are there from vertices v i to v j

More information

Math 5707: Graph Theory, Spring 2017 Midterm 3

Math 5707: Graph Theory, Spring 2017 Midterm 3 University of Minnesota Math 5707: Graph Theory, Spring 2017 Midterm 3 Nicholas Rancourt (edited by Darij Grinberg) December 25, 2017 1 Exercise 1 1.1 Problem Let G be a connected multigraph. Let x, y,

More information

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected.

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected. 4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H, K) with H K = G and E(H K) = and V (H) V (K) = k. Such a separation is proper if V (H) \ V (K) and V (K)

More information

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected.

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected. 4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H 1, H 2 ) so that H 1 H 2 = G E(H 1 ) E(H 2 ) = V (H 1 ) V (H 2 ) = k Such a separation is proper if V (H

More information

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution

More information

Graph homomorphism into an odd cycle

Graph homomorphism into an odd cycle Graph homomorphism into an odd cycle Hong-Jian Lai West Virginia University, Morgantown, WV 26506 EMAIL: hjlai@math.wvu.edu Bolian Liu South China Normal University, Guangzhou, P. R. China EMAIL: liubl@hsut.scun.edu.cn

More information

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results

More information

( ) ( ) ( ) ( ) Given that and its derivative are continuous when, find th values of and. ( ) ( )

( ) ( ) ( ) ( ) Given that and its derivative are continuous when, find th values of and. ( ) ( ) 1. The piecewise function is defined by where and are constants. Given that and its derivative are continuous when, find th values of and. When When of of Substitute into ; 2. Using the substitution, evaluate

More information

Exam Practice Problems

Exam Practice Problems Math 231 Exam Practice Problems WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the topics.

More information

Models of Computation. by Costas Busch, LSU

Models of Computation. by Costas Busch, LSU Models of Computation by Costas Busch, LSU 1 Computation CPU memory 2 temporary memory input memory CPU output memory Program memory 3 Example: f ( x) x 3 temporary memory input memory Program memory compute

More information

Unfolding Trees & Symmetrically-Associated Graphs

Unfolding Trees & Symmetrically-Associated Graphs Portland State University PDXScholar University Honors Theses University Honors College 11-2015 Unfolding Trees & Symmetrically-Associated raphs Kaelyn Flowerday Portland State University Let us know how

More information

Rao s degree sequence conjecture

Rao s degree sequence conjecture Rao s degree sequence conjecture Maria Chudnovsky 1 Columbia University, New York, NY 10027 Paul Seymour 2 Princeton University, Princeton, NJ 08544 July 31, 2009; revised December 10, 2013 1 Supported

More information

Path decompositions and Gallai s conjecture

Path decompositions and Gallai s conjecture Journal of Combinatorial Theory, Series B 93 (005) 117 15 www.elsevier.com/locate/jctb Path decompositions and Gallai s conjecture Genghua Fan Department of Mathematics, Fuzhou University, Fuzhou, Fujian

More information

CMPS 6610 Fall 2018 Shortest Paths Carola Wenk

CMPS 6610 Fall 2018 Shortest Paths Carola Wenk CMPS 6610 Fall 018 Shortest Paths Carola Wenk Slides courtesy of Charles Leiserson with changes and additions by Carola Wenk Paths in graphs Consider a digraph G = (V, E) with an edge-weight function w

More information

Maximum Flow. Reading: CLRS Chapter 26. CSE 6331 Algorithms Steve Lai

Maximum Flow. Reading: CLRS Chapter 26. CSE 6331 Algorithms Steve Lai Maximum Flow Reading: CLRS Chapter 26. CSE 6331 Algorithms Steve Lai Flow Network A low network G ( V, E) is a directed graph with a source node sv, a sink node tv, a capacity unction c. Each edge ( u,

More information

arxiv: v1 [math.co] 13 May 2016

arxiv: v1 [math.co] 13 May 2016 GENERALISED RAMSEY NUMBERS FOR TWO SETS OF CYCLES MIKAEL HANSSON arxiv:1605.04301v1 [math.co] 13 May 2016 Abstract. We determine several generalised Ramsey numbers for two sets Γ 1 and Γ 2 of cycles, in

More information

Nowhere zero flow. Definition: A flow on a graph G = (V, E) is a pair (D, f) such that. 1. D is an orientation of G. 2. f is a function on E.

Nowhere zero flow. Definition: A flow on a graph G = (V, E) is a pair (D, f) such that. 1. D is an orientation of G. 2. f is a function on E. Nowhere zero flow Definition: A flow on a graph G = (V, E) is a pair (D, f) such that 1. D is an orientation of G. 2. f is a function on E. 3. u N + D (v) f(uv) = w ND f(vw) for every (v) v V. Example:

More information

Complementary Signed Dominating Functions in Graphs

Complementary Signed Dominating Functions in Graphs Int. J. Contemp. Math. Sciences, Vol. 6, 011, no. 38, 1861-1870 Complementary Signed Dominating Functions in Graphs Y. S. Irine Sheela and R. Kala Department of Mathematics Manonmaniam Sundaranar University

More information

Lecture 3: Simulating social networks

Lecture 3: Simulating social networks Lecture 3: Simulating social networks Short Course on Social Interactions and Networks, CEMFI, May 26-28th, 2014 Bryan S. Graham 28 May 2014 Consider a network with adjacency matrix D = d and corresponding

More information

Problem Set 5 Solutions

Problem Set 5 Solutions Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true

More information

Hamiltonian paths in tournaments A generalization of sorting DM19 notes fall 2006

Hamiltonian paths in tournaments A generalization of sorting DM19 notes fall 2006 Hamiltonian paths in tournaments A generalization of sorting DM9 notes fall 2006 Jørgen Bang-Jensen Imada, SDU 30. august 2006 Introduction and motivation Tournaments which we will define mathematically

More information

Multipartite tournaments with small number of cycles

Multipartite tournaments with small number of cycles Multipartite tournaments with small number of cycles Gregory Gutin and Arash Rafiey Department of Computer Science Royal Holloway, University of London Egham, Surrey, TW20 0EX, UK Gutin(Arash)@cs.rhul.ac.uk

More information

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution

More information

Connectivity and tree structure in finite graphs arxiv: v5 [math.co] 1 Sep 2014

Connectivity and tree structure in finite graphs arxiv: v5 [math.co] 1 Sep 2014 Connectivity and tree structure in finite graphs arxiv:1105.1611v5 [math.co] 1 Sep 2014 J. Carmesin R. Diestel F. Hundertmark M. Stein 20 March, 2013 Abstract Considering systems of separations in a graph

More information

On the symmetry of the distribution of k-crossings and k-nestings in graphs

On the symmetry of the distribution of k-crossings and k-nestings in graphs On the symmetry of the distribution of k-crossings and k-nestings in graphs Anna de Mier Submitted: Oct 11, 2006; Accepted: Nov 7, 2006; Published: Nov 23, 2006 Mathematics Subject Classification: 05A19

More information

The candidates are advised that they must always show their working, otherwise they will not be awarded full marks for their answers.

The candidates are advised that they must always show their working, otherwise they will not be awarded full marks for their answers. MID SWEDEN UNIVERSITY TFM Examinations 2006 MAAB16 Discrete Mathematics B Duration: 5 hours Date: 7 June 2006 There are EIGHT questions on this paper and you should answer as many as you can in the time

More information

Paths and cycles in extended and decomposable digraphs

Paths and cycles in extended and decomposable digraphs Paths and cycles in extended and decomposable digraphs Jørgen Bang-Jensen Gregory Gutin Department of Mathematics and Computer Science Odense University, Denmark Abstract We consider digraphs called extended

More information

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2, List of Theorems Mat 416, Introduction to Graph Theory 1. Ramsey s Theorem for graphs 8.3.11. Theorem 1 The numbers R(p, q) exist and for p, q 2, R(p, q) R(p 1, q) + R(p, q 1). If both summands on the

More information

9.5 HONORS Determine Odd and Even Functions Graphically and Algebraically

9.5 HONORS Determine Odd and Even Functions Graphically and Algebraically 9.5 HONORS Determine Odd and Even Functions Graphically and Algebraically Use this blank page to compile the most important things you want to remember for cycle 9.5: 181 Even and Odd Functions Even Functions:

More information

Kernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman

Kernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman Kernels of Directed Graph Laplacians J. S. Caughman and J.J.P. Veerman Department of Mathematics and Statistics Portland State University PO Box 751, Portland, OR 97207. caughman@pdx.edu, veerman@pdx.edu

More information

On the Dynamic Chromatic Number of Graphs

On the Dynamic Chromatic Number of Graphs On the Dynamic Chromatic Number of Graphs Maryam Ghanbari Joint Work with S. Akbari and S. Jahanbekam Sharif University of Technology m_phonix@math.sharif.ir 1. Introduction Let G be a graph. A vertex

More information

Advanced Combinatorial Optimization September 22, Lecture 4

Advanced Combinatorial Optimization September 22, Lecture 4 8.48 Advanced Combinatorial Optimization September 22, 2009 Lecturer: Michel X. Goemans Lecture 4 Scribe: Yufei Zhao In this lecture, we discuss some results on edge coloring and also introduce the notion

More information

Graph fundamentals. Matrices associated with a graph

Graph fundamentals. Matrices associated with a graph Graph fundamentals Matrices associated with a graph Drawing a picture of a graph is one way to represent it. Another type of representation is via a matrix. Let G be a graph with V (G) ={v 1,v,...,v n

More information

Laplacian Integral Graphs with Maximum Degree 3

Laplacian Integral Graphs with Maximum Degree 3 Laplacian Integral Graphs with Maximum Degree Steve Kirkland Department of Mathematics and Statistics University of Regina Regina, Saskatchewan, Canada S4S 0A kirkland@math.uregina.ca Submitted: Nov 5,

More information

Characterization of Digraphic Sequences with Strongly Connected Realizations

Characterization of Digraphic Sequences with Strongly Connected Realizations Characterization of Digraphic Sequences with Strongly Connected Realizations Yanmei Hong, 1 Qinghai Liu, 2 and Hong-Jian Lai 3 1 DEPARTMENT OF MATHEMATICS FUZHOU UNIVERSITY FUZHOU, CHINA E-mail: yhong@fzu.edu.cn

More information

Cohomology of some configuration spaces and associated bundles

Cohomology of some configuration spaces and associated bundles Cohomology of some configuration spaces and associated bundles untitled t Page of Printed: Friday, July 8, 005 :7: PM 誕生日おめでとうの男 Laurence R. Taylor University of Notre Dame July, 005 For any space X, F

More information

MATH 829: Introduction to Data Mining and Analysis Clustering II

MATH 829: Introduction to Data Mining and Analysis Clustering II his lecture is based on U. von Luxburg, A Tutorial on Spectral Clustering, Statistics and Computing, 17 (4), 2007. MATH 829: Introduction to Data Mining and Analysis Clustering II Dominique Guillot Departments

More information

arxiv: v1 [math.co] 20 Oct 2018

arxiv: v1 [math.co] 20 Oct 2018 Total mixed domination in graphs 1 Farshad Kazemnejad, 2 Adel P. Kazemi and 3 Somayeh Moradi 1,2 Department of Mathematics, University of Mohaghegh Ardabili, P.O. Box 5619911367, Ardabil, Iran. 1 Email:

More information

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5 Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5 Instructor: Farid Alizadeh Scribe: Anton Riabov 10/08/2001 1 Overview We continue studying the maximum eigenvalue SDP, and generalize

More information

THE MINIMALLY NON-IDEAL BINARY CLUTTERS WITH A TRIANGLE 1. INTRODUCTION

THE MINIMALLY NON-IDEAL BINARY CLUTTERS WITH A TRIANGLE 1. INTRODUCTION THE MINIMALLY NON-IDEAL BINARY CLUTTERS WITH A TRIANGLE AHMAD ABDI AND BERTRAND GUENIN ABSTRACT. It is proved that the lines of the Fano plane and the odd circuits of K 5 constitute the only minimally

More information

MATH 564/STAT 555 Applied Stochastic Processes Homework 2, September 18, 2015 Due September 30, 2015

MATH 564/STAT 555 Applied Stochastic Processes Homework 2, September 18, 2015 Due September 30, 2015 ID NAME SCORE MATH 56/STAT 555 Applied Stochastic Processes Homework 2, September 8, 205 Due September 30, 205 The generating function of a sequence a n n 0 is defined as As : a ns n for all s 0 for which

More information

MTHSC 3190 Section 2.9 Sets a first look

MTHSC 3190 Section 2.9 Sets a first look MTHSC 3190 Section 2.9 Sets a first look Definition A set is a repetition free unordered collection of objects called elements. Definition A set is a repetition free unordered collection of objects called

More information

1 Random Walks and Electrical Networks

1 Random Walks and Electrical Networks CME 305: Discrete Mathematics and Algorithms Random Walks and Electrical Networks Random walks are widely used tools in algorithm design and probabilistic analysis and they have numerous applications.

More information

EMBEDDED PATHS AND CYCLES IN FAULTY HYPERCUBES

EMBEDDED PATHS AND CYCLES IN FAULTY HYPERCUBES EMBEDDED PATHS AND CYCLES IN FAULTY HYPERCUBES NELSON CASTAÑEDA AND IVAN S. GOTCHEV Abstract. An important task in the theory of hypercubes is to establish the maximum integer f n such that for every set

More information

Longest paths in strong spanning oriented subgraphs of strong semicomplete multipartite digraphs

Longest paths in strong spanning oriented subgraphs of strong semicomplete multipartite digraphs Longest paths in strong spanning oriented subgraphs of strong semicomplete multipartite digraphs Gregory Gutin Department of Mathematical Sciences Brunel, The University of West London Uxbridge, Middlesex,

More information

Standard Diraphs the (unique) digraph with no vertices or edges. (modulo n) for every 1 i n A digraph whose underlying graph is a complete graph.

Standard Diraphs the (unique) digraph with no vertices or edges. (modulo n) for every 1 i n A digraph whose underlying graph is a complete graph. 5 Directed Graphs What is a directed graph? Directed Graph: A directed graph, or digraph, D, consists of a set of vertices V (D), a set of edges E(D), and a function which assigns each edge e an ordered

More information

ECS 289 / MAE 298, Network Theory Spring 2014 Problem Set # 1, Solutions. Problem 1: Power Law Degree Distributions (Continuum approach)

ECS 289 / MAE 298, Network Theory Spring 2014 Problem Set # 1, Solutions. Problem 1: Power Law Degree Distributions (Continuum approach) ECS 289 / MAE 298, Network Theory Spring 204 Problem Set #, Solutions Problem : Power Law Degree Distributions (Continuum approach) Consider the power law distribution p(k) = Ak γ, with support (i.e.,

More information

The doubly negative matrix completion problem

The doubly negative matrix completion problem The doubly negative matrix completion problem C Mendes Araújo, Juan R Torregrosa and Ana M Urbano CMAT - Centro de Matemática / Dpto de Matemática Aplicada Universidade do Minho / Universidad Politécnica

More information

Tope Graph of Oriented Matroids

Tope Graph of Oriented Matroids Tope Graph of Oriented Matroids Clara Brioschi, Legi: 12-946-554 1 st December 2013 1 Introduction and Definitions In this report I will first define tope graphs of oriented matroids and their geometric

More information

The Interlace Polynomial of Graphs at 1

The Interlace Polynomial of Graphs at 1 The Interlace Polynomial of Graphs at 1 PN Balister B Bollobás J Cutler L Pebody July 3, 2002 Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152 USA Abstract In this paper we

More information

Expander Construction in VNC 1

Expander Construction in VNC 1 Expander Construction in VNC 1 Sam Buss joint work with Valentine Kabanets, Antonina Kolokolova & Michal Koucký Prague Workshop on Bounded Arithmetic November 2-3, 2017 Talk outline I. Combinatorial construction

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

Markov Chains. Andreas Klappenecker by Andreas Klappenecker. All rights reserved. Texas A&M University

Markov Chains. Andreas Klappenecker by Andreas Klappenecker. All rights reserved. Texas A&M University Markov Chains Andreas Klappenecker Texas A&M University 208 by Andreas Klappenecker. All rights reserved. / 58 Stochastic Processes A stochastic process X tx ptq: t P T u is a collection of random variables.

More information

Mathematical Induction. Section 5.1

Mathematical Induction. Section 5.1 Mathematical Induction Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction

More information

Nowhere 0 mod p dominating sets in multigraphs

Nowhere 0 mod p dominating sets in multigraphs Nowhere 0 mod p dominating sets in multigraphs Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel. e-mail: raphy@research.haifa.ac.il Abstract Let G be a graph with

More information

Graphs & Algorithms: Advanced Topics Nowhere-Zero Flows

Graphs & Algorithms: Advanced Topics Nowhere-Zero Flows Graphs & Algorithms: Advanced Topics Nowhere-Zero Flows Uli Wagner ETH Zürich Flows Definition Let G = (V, E) be a multigraph (allow loops and parallel edges). An (integer-valued) flow on G (also called

More information

TOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS II

TOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS II TOWARDS A SPLITTER THEOREM FOR INTERNALLY 4-CONNECTED BINARY MATROIDS II CAROLYN CHUN, DILLON MAYHEW, AND JAMES OXLEY Abstract. Let M and N be internally 4-connected binary matroids such that M has a proper

More information

Bulletin of the Iranian Mathematical Society

Bulletin of the Iranian Mathematical Society ISSN: 117-6X (Print) ISSN: 1735-8515 (Online) Bulletin of the Iranian Mathematical Society Vol. 4 (14), No. 6, pp. 1491 154. Title: The locating chromatic number of the join of graphs Author(s): A. Behtoei

More information

Cycle Double Cover Conjecture

Cycle Double Cover Conjecture Cycle Double Cover Conjecture Paul Clarke St. Paul's College Raheny January 5 th 2014 Abstract In this paper, a proof of the cycle double cover conjecture is presented. The cycle double cover conjecture

More information

On imbalances in oriented multipartite graphs

On imbalances in oriented multipartite graphs Acta Univ. Sapientiae, Mathematica, 3, 1 (2011) 34 42 On imbalances in oriented multipartite graphs S. Pirzada King Fahd University of Petroleum and Minerals Dhahran, Saudi Arabia email: sdpirzada@yahoo.co.in

More information

MODEL ANSWERS TO THE SEVENTH HOMEWORK. (b) We proved in homework six, question 2 (c) that. But we also proved homework six, question 2 (a) that

MODEL ANSWERS TO THE SEVENTH HOMEWORK. (b) We proved in homework six, question 2 (c) that. But we also proved homework six, question 2 (a) that MODEL ANSWERS TO THE SEVENTH HOMEWORK 1. Let X be a finite set, and let A, B and A 1, A 2,..., A n be subsets of X. Let A c = X \ A denote the complement. (a) χ A (x) = A. x X (b) We proved in homework

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

A = A U. U [n] P(A U ). n 1. 2 k(n k). k. k=1

A = A U. U [n] P(A U ). n 1. 2 k(n k). k. k=1 Lecture I jacques@ucsd.edu Notation: Throughout, P denotes probability and E denotes expectation. Denote (X) (r) = X(X 1)... (X r + 1) and let G n,p denote the Erdős-Rényi model of random graphs. 10 Random

More information

ON COST MATRICES WITH TWO AND THREE DISTINCT VALUES OF HAMILTONIAN PATHS AND CYCLES

ON COST MATRICES WITH TWO AND THREE DISTINCT VALUES OF HAMILTONIAN PATHS AND CYCLES ON COST MATRICES WITH TWO AND THREE DISTINCT VALUES OF HAMILTONIAN PATHS AND CYCLES SANTOSH N. KABADI AND ABRAHAM P. PUNNEN Abstract. Polynomially testable characterization of cost matrices associated

More information

Math.3336: Discrete Mathematics. Chapter 9 Relations

Math.3336: Discrete Mathematics. Chapter 9 Relations Math.3336: Discrete Mathematics Chapter 9 Relations Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall 2018

More information

On Modular Colorings of Caterpillars

On Modular Colorings of Caterpillars On Modular Colorings of Caterpillars Futaba Okamoto Mathematics Department University of Wisconsin - La Crosse La Crosse, WI 546 Ebrahim Salehi Department of Mathematical Sciences University of Nevada

More information

Permutations and Combinations

Permutations and Combinations Permutations and Combinations Permutations Definition: Let S be a set with n elements A permutation of S is an ordered list (arrangement) of its elements For r = 1,..., n an r-permutation of S is an ordered

More information

Well primitive digraphs

Well primitive digraphs AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 71(1) (2018), Pages 1 11 Well primitive digraphs Jolanta Rosiak West Pomeranian University of Technology Szczecin Poland jrosiak@zut.edu.pl Abstract A primitive

More information

A quasisymmetric function generalization of the chromatic symmetric function

A quasisymmetric function generalization of the chromatic symmetric function A quasisymmetric function generalization of the chromatic symmetric function Brandon Humpert University of Kansas Lawrence, KS bhumpert@math.ku.edu Submitted: May 5, 2010; Accepted: Feb 3, 2011; Published:

More information

Using Laplacian Eigenvalues and Eigenvectors in the Analysis of Frequency Assignment Problems

Using Laplacian Eigenvalues and Eigenvectors in the Analysis of Frequency Assignment Problems Using Laplacian Eigenvalues and Eigenvectors in the Analysis of Frequency Assignment Problems Jan van den Heuvel and Snežana Pejić Department of Mathematics London School of Economics Houghton Street,

More information

2-GENERATED CAYLEY DIGRAPHS ON NILPOTENT GROUPS HAVE HAMILTONIAN PATHS

2-GENERATED CAYLEY DIGRAPHS ON NILPOTENT GROUPS HAVE HAMILTONIAN PATHS Volume 7, Number 1, Pages 41 47 ISSN 1715-0868 2-GENERATED CAYLEY DIGRAPHS ON NILPOTENT GROUPS HAVE HAMILTONIAN PATHS DAVE WITTE MORRIS Abstract. Suppose G is a nilpotent, finite group. We show that if

More information

Bounded Arithmetic, Expanders, and Monotone Propositional Proofs

Bounded Arithmetic, Expanders, and Monotone Propositional Proofs Bounded Arithmetic, Expanders, and Monotone Propositional Proofs joint work with Valentine Kabanets, Antonina Kolokolova & Michal Koucký Takeuti Symposium on Advances in Logic Kobe, Japan September 20,

More information

On the complexity and topology of scoring games: of Pirates and Treasure

On the complexity and topology of scoring games: of Pirates and Treasure On the complexity and topology of scoring games: of Pirates and Treasure P. Árendás, Z. L. Blázsik, B. Bodor, Cs. Szabó 24 May 2015 Abstract The combinatorial game Pirates and Treasure is played between

More information

Notes on the Matrix-Tree theorem and Cayley s tree enumerator

Notes on the Matrix-Tree theorem and Cayley s tree enumerator Notes on the Matrix-Tree theorem and Cayley s tree enumerator 1 Cayley s tree enumerator Recall that the degree of a vertex in a tree (or in any graph) is the number of edges emanating from it We will

More information

ALG 4.3. Hashing Polynomials and Algebraic Expressions: Main Goal of Lecture: Algorithms Professor John Reif

ALG 4.3. Hashing Polynomials and Algebraic Expressions: Main Goal of Lecture: Algorithms Professor John Reif Algorithms Professor John Reif ALG 4.3 Hashing Polynomials and Algebraic Expressions: (a) Identity Testing of Polynomials (b) Applications of Polynomial Hashing (c) Hashing Classes of Algebraic Expressions

More information

Advanced Combinatorial Optimization September 24, Lecture 5

Advanced Combinatorial Optimization September 24, Lecture 5 18.438 Advanced Combinatorial Optimization September 24, 2009 Lecturer: Michel X. Goemans Lecture 5 Scribe: Yehua Wei In this lecture, we establish the connection between nowhere-zero (nwz) k-flow and

More information

MATH 2200 Final Review

MATH 2200 Final Review MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics

More information

Zero forcing propagation time on oriented graphs

Zero forcing propagation time on oriented graphs Zero forcing propagation time on oriented graphs Adam Berliner a, Chassidy Bozeman b, Steve Butler b,, Minerva Catral c, Leslie Hogben b,d, Brenda Kroschel e, Jephian Chin-Hung Lin b, Nathan Warnberg f,

More information

Discrete Mathematics. Spring 2017

Discrete Mathematics. Spring 2017 Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder

More information

A lower bound for the Laplacian eigenvalues of a graph proof of a conjecture by Guo

A lower bound for the Laplacian eigenvalues of a graph proof of a conjecture by Guo A lower bound for the Laplacian eigenvalues of a graph proof of a conjecture by Guo A. E. Brouwer & W. H. Haemers 2008-02-28 Abstract We show that if µ j is the j-th largest Laplacian eigenvalue, and d

More information

Lecture 8 : Structural Induction DRAFT

Lecture 8 : Structural Induction DRAFT CS/Math 240: Introduction to Discrete Mathematics 2/15/2011 Lecture 8 : Structural Induction Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last week we discussed proofs by induction. We

More information

Recitation 8: Graphs and Adjacency Matrices

Recitation 8: Graphs and Adjacency Matrices Math 1b TA: Padraic Bartlett Recitation 8: Graphs and Adjacency Matrices Week 8 Caltech 2011 1 Random Question Suppose you take a large triangle XY Z, and divide it up with straight line segments into

More information

1 Hamiltonian properties

1 Hamiltonian properties 1 Hamiltonian properties 1.1 Hamiltonian Cycles Last time we saw this generalization of Dirac s result, which we shall prove now. Proposition 1 (Ore 60). For a graph G with nonadjacent vertices u and v

More information

On the Existence of a Second Hamilton Cycle in Hamiltonian Graphs With Symmetry

On the Existence of a Second Hamilton Cycle in Hamiltonian Graphs With Symmetry On the Existence of a Second Hamilton Cycle in Hamiltonian Graphs With Symmetry Andrew Wagner Thesis submitted to the Faculty of Graduate and Postdoctoral Studies in partial fulfillment of the requirements

More information

XMA2C011, Annual Examination 2012: Worked Solutions

XMA2C011, Annual Examination 2012: Worked Solutions XMA2C011, Annual Examination 2012: Worked Solutions David R. Wilkins 1. (a) Let A, B and C be sets. Prove that A (B \ C) = (A B) \ (A C). We show that every element of A (B \ C) is an element of (A B)

More information

PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS. 1. Introduction

PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS. 1. Introduction PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS HUNTER LEHMANN AND ANDREW PARK Abstract. A graph on n vertices is said to admit a prime labeling if we can label its vertices with the first n natural

More information

A note on the Isomorphism Problem for Monomial Digraphs

A note on the Isomorphism Problem for Monomial Digraphs A note on the Isomorphism Problem for Monomial Digraphs Aleksandr Kodess Department of Mathematics University of Rhode Island kodess@uri.edu Felix Lazebnik Department of Mathematical Sciences University

More information

Discrete Mathematics. The average degree of a multigraph critical with respect to edge or total choosability

Discrete Mathematics. The average degree of a multigraph critical with respect to edge or total choosability Discrete Mathematics 310 (010 1167 1171 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc The average degree of a multigraph critical with respect

More information