Math 778S Spectral Graph Theory Handout #2: Basic graph theory

Similar documents
Math 776 Graph Theory Lecture Note 1 Basic concepts

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

Graph Theory: Introduction

Characterizing Graphs (3) Characterizing Graphs (1) Characterizing Graphs (2) Characterizing Graphs (4)

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur

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

Math 170- Graph Theory Notes

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

BIL694-Lecture 1: Introduction to Graphs

How can we lay cable at minimum cost to make every telephone reachable from every other? What is the fastest route between two given cities?

Introduction III. Graphs. Motivations I. Introduction IV

Small Survey on Perfect Graphs

Varying Applications (examples)

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department

1 Matchings in Graphs

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

MC 302 GRAPH THEORY 10/1/13 Solutions to HW #2 50 points + 6 XC points

Bipartite Roots of Graphs

Graphs and Isomorphisms

Fundamental Properties of Graphs

Math 443/543 Graph Theory Notes

CMSC Honors Discrete Mathematics

Math.3336: Discrete Mathematics. Chapter 10 Graph Theory

v V Question: How many edges are there in a graph with 10 vertices each of degree 6?

Discrete Mathematics

Math 443/543 Graph Theory Notes

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

Assignment 4 Solutions of graph problems

8.2 Paths and Cycles

Problem Set 2 Solutions

WUCT121. Discrete Mathematics. Graphs

arxiv: v4 [math.co] 4 Apr 2011

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

HOMEWORK 4 SOLUTIONS. Solution: The Petersen graph contains a cycle of odd length as a subgraph. Hence,

Ma/CS 6b Class 26: Art Galleries and Politicians

1 Digraphs. Definition 1

Lecture Notes on Graph Theory

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics. An Introduction to Graph Theory

Introduction to Graph Theory

Combinatorics Summary Sheet for Exam 1 Material 2019

REGULAR GRAPHS OF GIVEN GIRTH. Contents

MATH 682 Notes Combinatorics and Graph Theory II. One interesting class of graphs rather akin to trees and acyclic graphs is the bipartite graph:

AMS /672: Graph Theory Homework Problems - Week V. Problems to be handed in on Wednesday, March 2: 6, 8, 9, 11, 12.

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note 8

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

Minimum Number of Palettes in Edge Colorings

Graph Theory. 1 Introduction to Graphs. Martin Stynes Department of Mathematics, UCC January 26, 2011

Graph Theory CS/Math231 Discrete Mathematics Spring2015

1. a graph G = (V (G), E(G)) consists of a set V (G) of vertices, and a set E(G) of edges (edges are pairs of elements of V (G))

A Vizing-like theorem for union vertex-distinguishing edge coloring

Chapter 3: Paths and Cycles

HW Graph Theory SOLUTIONS (hbovik) - Q

Discrete mathematics II. - Graphs

Discrete Mathematics for CS Spring 2008 David Wagner Note 13. An Introduction to Graphs

CMSC 380. Graph Terminology and Representation

Elements of Graph Theory

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

Graph Theory Day Four

Discrete mathematics , Fall Instructor: prof. János Pach

Matching Theory. Figure 1: Is this graph bipartite?

CS70 - Lecture 6. Graphs: Coloring; Special Graphs. 1. Review of L5 2. Planar Five Color Theorem 3. Special Graphs:

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G.

CHAPTER 2. Graphs. 1. Introduction to Graphs and Graph Isomorphism

Chapter 1 Graph Theory

Graphs. Pseudograph: multiple edges and loops allowed

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 7

Exercise set 2 Solutions

Abstract. A graph G is perfect if for every induced subgraph H of G, the chromatic number of H is equal to the size of the largest clique of H.

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

Ma/CS 6b Class 5: Graph Connectivity

Graph Theory and Network Measurment

CPS 102: Discrete Mathematics. Quiz 3 Date: Wednesday November 30, Instructor: Bruce Maggs NAME: Prob # Score. Total 60

Math 454 Final Exam, Fall 2005

Lecture 4: Walks, Trails, Paths and Connectivity

Number Theory and Graph Theory

Basics of Graph Theory

MATH 350 GRAPH THEORY & COMBINATORICS. Contents

by conservation of flow, hence the cancelation. Similarly, we have

Chapter 9. Graph Theory

Graph Theory. Part of Texas Counties.

Extremal Graph Theory: Turán s Theorem

Mathematics and Statistics, Part A: Graph Theory Problem Sheet 1, lectures 1-4

Definition 1.1. A matching M in a graph G is called maximal if there is no matching M in G so that M M.

INTRODUCTION TO GRAPH THEORY. 1. Definitions

Graphs and trees come up everywhere. We can view the internet as a graph (in many ways) Web search views web pages as a graph

Characterizations of graph classes by forbidden configurations

Vertex coloring, chromatic number

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

GRAPH THEORY: AN INTRODUCTION

CS 311 Discrete Math for Computer Science Dr. William C. Bulko. Graphs

Lecture 6: Graph Properties

Finding a -regular Supergraph of Minimum Order

Final Exam Math 38 Graph Theory Spring 2017 Due on Friday, June 2, at 12:50 pm. Good Luck!!

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

3 Euler Tours, Hamilton Cycles, and Their Applications

An Introduction to Graph Theory

Matching and Covering

5 Graphs

Transcription:

Math 778S Spectral Graph Theory Handout #: Basic graph theory Graph theory was founded by the great Swiss mathematician Leonhard Euler (1707-178) after he solved the Königsberg Bridge problem: Is it possible to cross seven bridges exactly once? e 1 x e 6 w e 4 e e 5 y Figure 1: The map of Königsberg e z Figure : The graph associated with the Königsberg Bridges e 7 Using graph terminology, Euler gave a complete solution for any similar problem with any number of bridges connecting any number of landmasses! We will show and prove his result later. Definition 1 A graph G is a triple consisting of a vertex set V (G), an edge set E(G), and a relation that associates with each edge two vertices called its endpoints. Example 1 For the problem of the Königsberg Bridges, one can define the graph as follows. Vertices are landmasses while edges are bridges. We have V (G) = {w, x, y, x} E(G) = {e 1, e, e, e 4, e 5, e 6, e 7 } e 1 {w, x} e {w, x} e {w, z} e 4 {w, z} e 5 {w, y} e 6 {x, y} e 7 {y, z} Definition A loop is an edge whose endpoints are the same. Multiple edges are edges that have the same pair of endpoints. A simple graph is a graph without loops or multiple edges. 1

For a simple graph, an edge e is uniquely represented by its endpoints u and v. In this case, we write e = uv (or e = vu), and we say u and v are adjacent. u is a neighbor of v, and vice versa. An edge e is incident to u (and v). A simple graph G on n vertices can have at most ( n ) edges. The simple graph with n vertices and ( n ) edges is called the complete graph, denoted by K n. The simple graph G on n vertices with 0 edge is called the empty graph. The graph with 0 vertices and 0 edges is called the null graph. K K 4 K 5 K 6 Figure : Complete graphs K, K 4, K 5, and K 6. A cycle on n vertices, written C n, is a graph with vertex set V (G) = [n] = {1,,,..., n} and edge set E(G) = {1,, 4,..., (n 1)n, n1}. C C 4 C 5 C 6 Figure 4: Cycles C, C 4, C 5, and C 6. A path on n vertices, written P n, is a graph with vertex set V (G) = [n] = {1,,,..., n} and edge set E(G) = {1,, 4,..., (n 1)n}. Definition The complement Ḡ of a simple graph G is the simple graph with vertex set V (Ḡ) = V (G) and edge set E(Ḡ) defined by uv E(Ḡ) if and only if uv E(G). A clique in a graph is a set of pairwise adjacent vertices. An independent set in a graph is a set of pairwise non-adjacent vertices. Definition 4 A graph G is bipartite if V (G) is the union of two disjoint independent sets called partite sets of G. Definition 5 A graph is k-partite if V (G) can be expressed as the union of k independent sets. Definition 6 The chromatic number of a graph G, written χ(g), is the minimum number k such that G is k-partite.

A subgraph of a graph G is a graph H such that V (H) V (G) and E(H) E(G). We says G contains H. A induced subgraph of a graph G is a subgraph H satisfying E(H) = {uv u, v V (H), uv E(G)}. Example Let G 1 be the simple graph defined by (see Figure 5) V (G 1 ) = {1,,, 4, 5} E(G 1 ) = {1,, 1, 4, 4, 45}. 1 4 5 Figure 5: A simple graph G 1. {1,, } is a clique. {1, 4} is an independent set. G 1 is not a bipartite graph. The chromatic number is χ(g 1 ) =. 1 4 1 4 Figure 6: A subgraph of G 1. Figure 7: A induced subgraph of G 1.

An isomorphism from a simple graph G to a simple graph H is a bijection f : V (G) V (H) satisfying uv E(G) iff f(u)f(v) E(H). We say G is isomorphic to H, denoted G = H. The isomorphism relation is an equivalence relation. I.e., it is 1. reflexive: A = A.. symmetric: if A = B, then B = A.. transitive: if A = B and B = C, then A = C. An isomorphism class of graphs is an equivalence class of graphs under the isomorphism relation. It is also known as an unlabeled graph. Definition 7 The adjacency matrix of a graph G, written A(G), is the n-by-n matrix in which entry a ij is the number of edges with endpoints {v i, v j } in G. Here V (G) = v 1, v,...,v n is the vertex set of G. For a simple graph G, we have A(G) = { 1 if vi v j is an edge 0 otherwise A(G) is a symmetric 0-1 matrix with 0s on the diagonal. For a vertex v of the graph G, the degree d v is the number of edges which are incident to v. If v = v i, then d vi is the i-th row/column sum of A(G). Example For graph G 1 (Figure 5), the adjacency matrix is given by 0 1 1 0 0 1 0 1 1 0 A = 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 Definition 8 A walk (on a graph G) is a list v 0, e 1, v 1, e 1,..., e k, v k, satisfying e i = v i 1 v i is an edge for all i = 1,,...,k. k is called the length of the walk. A u, v-walk is a walk with v 0 = u and v k = v. A trail is a walk with no repeated edge. A path is a walk with no repeated vertices. A closed walk is a walk with the same endpoints, i.e., v 0 = v k. A cycle is a closed walk with no repeated vertices except for the endpoints. Lemma 1 Every u, v-walk contains a u, v-path. 4

Proof: We prove it by induction on the length k of the walk. When k = 1, a u, v-walk is a u, v-path. We assume that every u, v-walk with length at most k contains a u, v-path. Now let us consider a u, v-walk u = v 0, e 1, v 1, e 1,..., e k+1, v k+1 = v of length k + 1. If the walk has no repeated vertices, it is a u, v-path by definition. Otherwise, say v i = v j for 0 i < j k + 1. By deleting all vertices and edges between v i and v j, we get a new walk: v 0,..., v i = v j,..., v k+1. This walk has length at most k. By the inductive hypothesis, it contains a u, v-path.. Definition 9 A graph G is connected if it has a u, v-path for any u, v V (G). For any u, v, we define a connected relation u v over V (G) if there is a u, v- path in G. The connected relation is an equivalence relation. The equivalence classes for this relation are called connected components of G. A component is trivial if it contains only one vertex. A trivial component is also called an isolated vertex. Lemma Every closed odd walk contains an odd cycle. Proof: We prove it by induction on the length k of the closed walk. When k = 1, the walk of length 1 is a loop. Thus, it is an odd cycle. We assume that every odd walk with length at most k = r 1 contains a u, v- path. Now let us consider a closed walk u = v 0, e 1, v 1, e 1,..., e r+1, v r+1 = v of length r + 1. If the walk has no repeated vertices, it is an odd cycle by definition. Otherwise, say v i = v j for 0 i < j r + 1. The walk can be split into two closed walks: v 0,...,v i = v j,..., v k+1 v i,..., e i+1,...,v j. One of them must have odd length of at most r 1. By the inductive hypothesis, it contains an odd cycle. The proof is finished.. Theorem 1 (König 196) A graph is bipartite if and only if it has no odd cycle. Proof: It is sufficient to prove this for any connected graph. Necessity: Let G be bipartite graph. Every walk of G alternates between the two sets of a bipartition. The lengths of any closed walks are even. Therefore, it has no odd cycle. Sufficiency: Let G be a graph with no odd cycle. We will construct a bipartition as follows. Choose any vertex u. We define a partition V (G) = X Y as follows. X = {v V (G) there is a u, v-path of odd length}. Y = {v V (G) there is a u, v-path of even length}. 5

Since G is connected, we have X Y = V (G). We will show X Y =. Otherwise, let u X Y. There are two u, v-paths. One path has even length while the other one has odd length. Put them together. We have an odd closed walk. By lemma, G has an odd cycle. Contradiction. Therefore, V (G) = X Y is a partition. Next, we will show there are no edges with both ends in X or Y. Otherwise, suppose that vw is such an edge. The u, v-path, the edge vw, and the w, u-path together form an odd closed walk. By previous lemma, G contains an odd cycle. Contradiction. Hence, G is a bipartite graph. A complete bipartite graph K s,t has a vertex set partition V = X Y with X = s and Y = t and an edge set E(G) = xy x X, y Y. Theorem Let λ 1 λ λ n be the eigenvalues of the adjacency matrix of a simple graph G. The the following statements are equivalent. 1. G is a bipartite graph.. For all 1 i n, λ n+1 i = λ i. Proof: Suppose G is a bipartite graph. Then there exists a vertex set partition V = X Y. Reorder vertices so that the vertices in X are before the vertices in Y. The adjacency matrix A has the following shape: A = ( 0 B B 0 ( ) β Let α = be an eigenvector corresponding to an eigenvalue λ. Since γ Aα = λα, we have ). ( β Let α = γ Bγ = λβ B β = λα. ) Then we have A α = = = ( ) ( 0 B β B 0 γ ( ) Bγ B β ( ) λβ λγ = λ α. ) This shows λ is also an eigenvalue of A. The eigenvalues are symmetric about 0. 6

Suppose λ i = λ n+1 i for all i. We have tr(a k+1 ) = n i=1 λ k+1 i = 0. The number of odd closed walks is 0. G has no odd cycle. Thus, G is bipartite by Konig s theorem. 7