Graph Theory. Simple Graph G = (V, E). V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}

Similar documents
Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!

CIT 596 Theory of Computation 1. Graphs and Digraphs

Mid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs

CS 491G Combinatorial Optimization Lecture Notes

Exercise sheet 6: Solutions

Discrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α

18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106

Lecture 4: Graph Theory and the Four-Color Theorem

Graph G = (V, E). V ={vertices}, E={edges}. V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}

Answers and Solutions to (Some Even Numbered) Suggested Exercises in Chapter 11 of Grimaldi s Discrete and Combinatorial Mathematics

Graph Algorithms. Vertex set = { a,b,c,d } Edge set = { {a,c}, {b,c}, {c,d}, {b,d}} Figure 1: An example for a simple graph

arxiv: v2 [math.co] 31 Oct 2016

On a Class of Planar Graphs with Straight-Line Grid Drawings on Linear Area

Connectivity in Graphs. CS311H: Discrete Mathematics. Graph Theory II. Example. Paths. Connectedness. Example

Logic, Set Theory and Computability [M. Coppenbarger]

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6

Lecture 2: Cayley Graphs

On the Spectra of Bipartite Directed Subgraphs of K 4

Total score: /100 points

Necessary and sucient conditions for some two. Abstract. Further we show that the necessary conditions for the existence of an OD(44 s 1 s 2 )

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.

Lecture 11 Binary Decision Diagrams (BDDs)

CS 310 (sec 20) - Winter Final Exam (solutions) SOLUTIONS

Solutions to Problem Set #1

Bisimulation, Games & Hennessy Milner logic

378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A.

Discrete Structures Lecture 11

If the numbering is a,b,c,d 1,2,3,4, then the matrix representation is as follows:

Graph Theory. Dr. Saad El-Zanati, Faculty Mentor Ryan Bunge Graduate Assistant Illinois State University REU. Graph Theory

Free groups, Lecture 2, part 1

CS261: A Second Course in Algorithms Lecture #5: Minimum-Cost Bipartite Matching

Compression of Palindromes and Regularity.

The DOACROSS statement

Graphs. CSC 1300 Discrete Structures Villanova University. Villanova CSC Dr Papalaskari

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014

Monochromatic Plane Matchings in Bicolored Point Set

Lecture 6: Coding theory

Maximum size of a minimum watching system and the graphs achieving the bound

Tutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4.

Graph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France)

Probability. b a b. a b 32.

Myhill-Nerode Theorem

Lecture 8: Abstract Algebra

NON-DETERMINISTIC FSA

CIRCULAR COLOURING THE PLANE

Computing data with spreadsheets. Enter the following into the corresponding cells: A1: n B1: triangle C1: sqrt

Introduction To Matrices MCV 4UI Assignment #1

Formal Languages and Automata

arxiv: v1 [math.co] 6 Jan 2019

THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p

Symmetrical Components 1

Bases for Vector Spaces

APPENDIX. Precalculus Review D.1. Real Numbers and the Real Number Line

Matrix- System of rows and columns each position in a matrix has a purpose. 5 Ex: 5. Ex:

Comparing the Pre-image and Image of a Dilation

arxiv: v1 [cs.cg] 28 Apr 2009

where the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b

LESSON 11: TRIANGLE FORMULAE

GNFA GNFA GNFA GNFA GNFA

KENDRIYA VIDYALAYA IIT KANPUR HOME ASSIGNMENTS FOR SUMMER VACATIONS CLASS - XII MATHEMATICS (Relations and Functions & Binary Operations)

Coalgebra, Lecture 15: Equations for Deterministic Automata

AT100 - Introductory Algebra. Section 2.7: Inequalities. x a. x a. x < a

Section 1.3 Triangles

Lecture 3: Equivalence Relations

Geometry of the Circle - Chords and Angles. Geometry of the Circle. Chord and Angles. Curriculum Ready ACMMG: 272.

Logic Synthesis and Verification

5.3 The Fundamental Theorem of Calculus

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Surface maps into free groups

T b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.

Technische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution

Vidyalankar S.E. Sem. III [CMPN] Discrete Structures Prelim Question Paper Solution

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24

Graphs. Graphs. Graphs: Basic Terminology. Directed Graphs. Dr Papalaskari 1

Linear choosability of graphs

Duke Math Meet

1 From NFA to regular expression

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3

The Word Problem in Quandles

Minimal DFA. minimal DFA for L starting from any other

22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of:

p-adic Egyptian Fractions

Surds and Indices. Surds and Indices. Curriculum Ready ACMNA: 233,

Arrow s Impossibility Theorem

ad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4)

INTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable

Pre-Lie algebras, rooted trees and related algebraic structures

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

Graph width-parameters and algorithms

Arrow s Impossibility Theorem

A Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version

Read section 3.3, 3.4 Announcements:

I 3 2 = I I 4 = 2A

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

a) Read over steps (1)- (4) below and sketch the path of the cycle on a P V plot on the graph below. Label all appropriate points.

1 This diagram represents the energy change that occurs when a d electron in a transition metal ion is excited by visible light.

4 7x =250; 5 3x =500; Read section 3.3, 3.4 Announcements: Bell Ringer: Use your calculator to solve

Well Centered Spherical Quadrangles

Greedoid polynomial, chip-firing, and G-parking function for directed graphs. Connections in Discrete Mathematics

Transcription:

Grph Theory Simple Grph G = (V, E). V ={verties}, E={eges}. h k g f e V={,,,,e,f,g,h,k} E={(,),(,g),(,h),(,k),(,),(,k),...,(h,k)} E =16. 1

Grph or Multi-Grph We llow loops n multiple eges. G = (V, E.ψ) g replements e 1 e2 e 4 e 3 e 5 e 7 e 8 e e 6 V = {,,,, e}, E = {e 1, e 2,..., e 8 }. t 1 2 3 4 5 6 7 8 ψ(t) e e e e 2

Eulerin Grphs Cn you rw the igrm elow without tking your pen off the pper or going over the sme line twie? 3

Biprtite Grphs G is iprtite if V = X Y where X n Y re isjoint n every ege is of the form (x, y) where x X n y Y. In the igrm elow, A,B,C,D re women n,,, re men. T here is n ege joining x n y iff x n y like eh other. The re eges form perfet mthing enling everyoy to e pire with someone they like. Not ll grphs will hve perfet mthing! A B C D 4

Vertex Colouring R B R G B R Colours {R,B,G} B Let C = {olours}. A vertex olouring of G is mp f : V C. We sy tht v V gets oloure with f(v). The olouring is proper iff (, ) E f() f(). The Chromti Numer χ(g) is the minimum numer of olours in proper olouring. Applition: V ={exms}. (, ) is n ege iff there is some stuent who nees to tke oth exms. χ(g) is the minimum numer of perios require in orer tht no stuent is sheule to tke two exms t one. 5

Sugrphs G = (V, E ) is sugrph of G = (V, E) if V V n E E. G is spnning sugrph if V = V. f e g h e f g NOT SPANNING h SPANNING 6

If V V then G[V ] = (V, {(u, v) E : u, v V }) is the sugrph of G inue y V. e G[{,,,,e}] 7

Similrly, if E 1 E then G[E 1 ] = (V 1, E 1 ) where V 1 = {v V 1 : e E 1 suh tht v e} is lso inue (y E 1 ). E 1 = {(,), (,)} g replements G[ ] E 1 8

Isomorphism for Simple Grphs G 1 = (V 1, E 1 ) n G 2 = (V 2, E 2 ) re isomorphi if there exists ijetion f : V 1 V 2 suh tht (v, w) E 1 (f(v), f(w)) E 2. A B D f()=a et. Isomorphism for Grphs C G 1 = (V 1, E 1, ψ 1 ) n G 2 = (V 2, E 2, ψ 2 ) re isomorphi if there exist ijetions f : V 1 V 2 n g : E 1 E 2 suh tht ψ 1 (e) = ψ 2 (g(e)) = f()f(). 9

Complete Grphs K n = ([n], {(i, j) : 1 i < j n}) is the omplete grph on n verties. K m,n = ([m] [n], {(i, j) : i [m], j [n]}) is the omplete iprtite grph on m + n verties. (The nottion is little impreise ut hopefully ler.) K 5 frg replements K 2,3 10

Vertex Degrees ements f G (v) = egree of vertex v in G = numer of eges inient with v δ(g) = min G (v) v (G) = mx v g e G (v) G G () = 2, G (g) = 4 et. δ(g) = 2, (G) = 4 If V = {1, 2,..., n} then = 1, 2,..., n where j = G (j) is lle the egree sequene of G. 11

Mtries n Grphs Iniene mtrix M: V E mtrix. M(v, e) = { 1 v e 0 v / e e 1 e 2 e 3 e 4 e 5 e 6 e 7 e 8 1 1 1 1 1 1 1 1 1 PSfrg replements 1 1 1 e 1 1 1 1 e 2 e 1 e 5 e e 6 e 7 e 8 e 3 e 4 12

Ajeny mtrix A: V V mtrix. A(v, w) = numer of v, w eges. PSfrg replements e 1 1 1 1 1 1 1 1 1 1 1 1 e 1 1 1 1 e 2 e 1 e 5 e e 6 e 7 e 8 e 3 e 4 13

Theorem 1 v V G (v) = 2 E Proof Consier the iniene mtrix M. Row v hs G (v) 1 s. So # 1 s in mtrix M is G (v). v V Column e hs two 1 s. So # 1 s in mtrix M is 2 E. 14

Corollry 1 In ny grph, the numer of verties of o egree, is even. Proof Let ODD = {o egree verties} n EV EN = V \ ODD. is even. v ODD (v) = 2 E v EV EN (v) So ODD is even. 15

Pths n Wlks W = (v 1, v 2,..., v k ) is wlk in G if (v i, v i+1 ) E for 1 i < k. A pth is wlk in whih the verties re istint. W 1 is pth, ut W 2, W 3 re not. e frg replements W 1 W 2 W 3 =,,,e, 2 =,,,,e =g,f,,e,f g f 16

A wlk is lose if v 1 = v k. A yle is lose wlk in whih the verties re istint exept for v 1, v k.,, e,, is yle.,,,,, e,, is not yle. e g f 17

Connete omponents We efine reltion on V. iff there is wlk from to. e g f ut. Clim: is n equivlene reltion. Reflexivity v v s v is (trivil) wlk from v to v. Symmetry u v implies v u. (u = u 1, u 2..., u k = v) is wlk from u to v implies (u k, u k 1,..., u 1 ) is wlk from v to u. 18

Trnsitivity u v n v w implies u w. W 1 = (u = u 1, u 2..., u k = v) is wlk from u to v n W 2 = (v 1 = v, v 2, v 3,..., v l = w) is wlk from v to w imples tht (W 1, W 2 ) = (u 1, u 2..., u k, v 2, v 3,..., v l ) is wlk from u to w. The equivlene lsses of re lle onnete omponents. In generl V = C 1 V 2 C r where C 1, C 2,..., C r re the onnete omonents. We let ω(g)(= r) e the numer of omponents of G. G is onnete iff ω(g) = 1 i.e. there is wlk etween every pir of verties. Thus C 1, C 2,..., C r inue onnete sugrphs G[C 1 ],..., G[C r ] of G 19

Pths n wlks For wlk W we let l(w ) = no. of eges in W. replements l(w ) = 6 Lemm 1 Suppose W is wlk from vertex to vertex n tht W minimises l over ll wlks from to. Then W is pth. Proof Suppose W = ( = 0, 1,..., k = ) n i = j where 0 i < j k. Then W = ( 0, 1,..., i, j+1,..., k ) is lso wlk from to n l(w ) = l(w ) (j i) < l(w ) ontrition. Corollry 2 If then there is pth from to. So G is onnete, V there is pth from to. 20

Wlks n powers of mtries Theorem 2 A k (v, w) = numer of wlks of length k from v to w with k eges. Proof By inution on k. Trivilly true for k = 1. Assume true for some k 1. Let N t (v, w) e the numer of wlks from v to w with t eges. Let N t (v, w; u) e the numer of wlks from v to w with t eges whose penultimte vertex is u. u v w 21

N k+1 (v, w) = N k+1 (v, w; u) u V = u V = u V N k (v, u)a(u, w) A k (v, u)a(u, w) = A k+1 (v, w). inution 22

Breth First Serh BFS Fix v V. For w V let (v, w) = minimum numer of eges in pth from v to w. For t = 0, 1, 2,..., let A t = {w V : (v, w) = t}. A 1 A 2 A 3 A 4 ements v A 2 A 3 A 4 A 4 A 1 A 2 A 3 A 0 = {v} n v w (v, w) <. 23

In BFS we onstrut A 0, A 1, A 2,..., y A t+1 = {w / A 0 A 1 A t : n ege (u, w) suh tht u A t }. Note : no eges (, ) etween A k n A l for l k 2, else w A k+1 A l. (1) In this wy we n fin ll verties in the sme omponent C s v. By repeting for v / C we fin nother omponent et. 24

Chrteristion of iprtite grphs Theorem 3 G is iprtite G hs no yles of o length. Proof : G = (X Y, E). Y X X Y Typil Cyle Y X Suppose C = (u 1, u 2,..., u k, u 1 ) is yle. Suppose u 1 X. Then u 2 Y, u 3 X,..., u k Y implies k is even. Assume G is onnete, else pply following rgument to eh omponent. Choose v V n onstrut A 0, A 1, A 2,..., y BFS. X = A 0 A 2 A 4 n Y = A 1 A 3 A 5 25

We nee only show tht X n Y ontin no eges n then ll eges must join X n Y. Suppose X ontins ege (, ) where A k n A l. (i) If k l then k l 2 whih ontrits (1) (ii) k = l: plements v v j There exist pths (v = v 0, v 1, v 2,..., v k = ) n (v = w 0, w 1, w 2,..., w k = ). Let j = mx{t : v t = w t }. (v j, v j+1,..., v k, w k, w k 1,..., w j ) is n o yle length 2(k j) + 1 ontrition. 26