Presentation is loading. Please wait.

Presentation is loading. Please wait.

Math Foundations Week 12 Graphs (2). Agenda Paths Connectivity Euler paths Hamilton paths 2.

Similar presentations


Presentation on theme: "Math Foundations Week 12 Graphs (2). Agenda Paths Connectivity Euler paths Hamilton paths 2."— Presentation transcript:

1 Math Foundations Week 12 Graphs (2)

2 Agenda Paths Connectivity Euler paths Hamilton paths 2

3 Paths A path in a graph is a continuous way of getting from one vertex to another by using a sequence of edges. EG: could get from 1 to 3 circuitously as follows: 1-e 1  2-e 1  1-e 3  3-e 4  2-e 6  2-e 5  2-e 4  3 3 12 34 e1e1 e3e3 e2e2 e4e4 e5e5 e6e6 e7e7

4 Paths DEF: A path of length n in an undirected graph is a sequence of n edges e 1, e 2, …,e n such that each consecutive pair e i, e i+1 share a common vertex. In a simple graph, one may instead define a path of length n as a sequence of n+1 vertices v 0, v 1, v 2, …,v n such that each consecutive pair v i, v i+1 are adjacent. Paths of length 0 are also allowed according to this definition. Q: Why does the second definition work for simple graphs? 4

5 Paths A: For simple graphs, any edge is unique between vertices so listing the vertices gives us the edge-sequence as well. DEF: A simple path contains no duplicate edges (though duplicate vertices are allowed). A cycle (or circuit) is a path which starts and ends at the same vertex. Note: Simple paths need not be in simple graphs. E.g., may contain loops. 5

6 Paths Q: Find a longest possible simple path in the following graph: 6 12 34 e1e1 e3e3 e2e2 e4e4 e5e5 e6e6 e7e7

7 Paths A: The following path from 1 to 2 is a maximal simple path because simple: each of its edges appears exactly once maximal: because it contains every edge except the unreachable edge e 7 The maximal path: e 1,e 5,e 6,e 2,e 3,e 4 7 12 34 e1e1 e3e3 e2e2 e4e4 e5e5 e6e6 e7e7

8 Paths in Directed Graphs One can define paths for directed graphs by insisting that the target of each edge in the path is the source of the next edge: DEF: A path of length n in a directed graph is a sequence of n edges e 1, e 2, …,e n such that the target of e i is the source e i+1 for each i. In a digraph, one may instead define a path of length n as a sequence of n+1 vertices v 0, v 1, v 2, …,v n such that for each consecutive pair v i, v i+1 there is an edge from v i to v i+1. 8

9 Paths in Directed Graphs Q: Consider digraph adjacency matrix: 1.Find a path from 1 to 4. 2.Is there a path from 4 to 1? 9

10 Paths in Directed Graphs A: 1.1  3  2  4. 2.There’s no path from 4 to 1. From 4 must go to 2, from 2 must stay at 2 or return to 4. In other words 2 and 4 are disconnected from 1. 10

11 Connectivity DEF: Let G be a pseudograph. Let u and v be vertices. u and v are connected to each other if there is a path in G which starts at u and ends at v. G is said to be connected if all vertices are connected to each other. 1. Note: Any vertex is automatically connected to itself via the empty path. 2. Note: A suitable definition for directed graphs will follow later. 11

12 Connectivity Q: Which of the following graphs are connected? 12 12 3 4

13 Connectivity A: First and second are disconnected. Last is connected. 13 12 3 4

14 English Connectivity Puzzle Can define a puzzling graph G as follows: V = {3-letter English words} E : two words are connected if can get one word from the other by changing a single letter. One small subgraph of G is: Q: Is “fun” connected to “car” ? 14 jobrobjab

15 English Connectivity Puzzle A: Yes: fun  fan  far  car Or: fun  fin  bin  ban  bar  car 15

16 Connected Components DEF: A connected component (or just component) in a graph G is a set of vertices such that all vertices in the set are connected to each other and every possible connected vertex is included. Q: What are the connected components of the following graph? 16 62 4 35 1 7 8

17 Connected Components A: The components are {1,3,5},{2,4,6},{7} and {8} as one can see visually by pulling components apart: 17 62 4 7 8 35 1

18 N-Connectivity Not all connected graphs are created equal! Q: Rate following graphs in terms of their design value for computer networks: 1) 2) 3) 4) 18

19 N-Connectivity A: Want all computers to be connected, even if 1 computer goes down: 1) 2 nd best. However, there’s a weak link— “cut vertex” 2) 3 rd best. Connected but any computer can disconnect 3) Worst! Already disconnected 4) Best! Network dies only with 2 bad computers 19

20 N-Connectivity The network is best because it can only become disconnected when 2 vertices are removed. In other words, it is 2-connected. Formally: DEF: A connected simple graph with 3 or more vertices is 2-connected if it remains connected when any vertex is removed. When the graph is not 2-connected, we call the disconnecting vertex a cut vertex. Q: Why the condition on the number of vertices? 20

21 N-Connectivity A: To avoid being 2-connected. There is also a notion of N-Connectivity where we require at least N vertices to be removed to disconnect the graph. 21

22 Connectivity in Directed Graphs 1) Weakly connected : can get from a to b in underlying undirected graph 2) Semi-connected (my terminology): can get from a to b OR from b to a in digraph 3) Strongly connected : can get from a to b AND from b to a in the digraph DEF: A graph is strongly (resp. semi, resp. weakly) connected if every pair of vertices is connected in the same sense. 22

23 Connectivity in Directed Graphs Q: Classify the connectivity of each graph. 23

24 Connectivity in Directed Graphs A: semi weakstrong 24

25 Euler and Hamilton Paths -Motivation An pictorial way to motivate the graph theoretic concepts of Eulerian and Hamiltonian paths and circuits is with two puzzles: The pencil drawing problem The taxicab problem 25

26 Pencil Drawing Problem -Euler Paths Which of the following pictures can be drawn on paper without ever lifting the pencil and without retracing over any segment? 26

27 Pencil Drawing Problem -Euler Paths Graph Theoretically: Which of the following graphs has an Euler path? 27

28 Pencil Drawing Problem -Euler Paths Answer: the left but not the right. 28 startfinish 12 3 4 5 6

29 Euler Paths and Circuits Definition DEF: An Euler path in a graph G is a simple path containing every edge in G. An Euler circuit (or Euler cycle) is a cycle which is an Euler path. NOTE: The definition applies both to undirected as well as directed graphs of all types. 29

30 Taxicab Problem -Hamilton Paths Can a taxicab driver milk his hapless customer by visiting every intersection exactly once, when driving from point A to point B ? 30 A B

31 Taxicab Problem -Hamilton Paths Graph Theoretically: Is there a Hamilton path from A to B in the following graph? (NO in this case) 31 A B

32 Hamilton Paths and Circuits Definition DEF: A Hamilton path in a graph G is a path which visits ever vertex in G exactly once. A Hamilton circuit (or Hamilton cycle) is a cycle which visits every vertex exactly once, except for the first vertex, which is also visited at the end of the cycle. NOTE: Again, the definition applies both to undirected as well as directed graphs of all types. 32

33 Implications to CS Finding Hamilton paths is a very important problem in CS. EG: Visit every city (vertex) in a region using the least trips (edges) as possible. EG: Encode all bit strings of a certain length as economically as possible so that only change one bit at a time. (Gray codes). 33

34 Implications to CS Analyzing difficulty of Euler vs. Hamilton paths is a great CS case study. Finding Euler paths can be done in O (n) time Finding Hamilton paths is NP-complete! Slight change in definition can result in dramatic algorithmic bifurcation! 34

35 Finding Euler Paths To find Euler paths, we’ll first give an algorithm for finding Euler cycles and then modify it to give Euler paths. THM: An undirected graph G has an Euler circuit iff it is connected and every vertex has even degree. NOTE: for directed graphs the condition is that G be weakly connected and that every vertex has same in-degree as out-degree. 35

36 Finding Euler Circuits Q: Why does the following graph have no Euler circuit? 36

37 Finding Euler Circuits A: It contains a vertex of odd degree. 37

38 Finding Euler Circuits Let’s prove the theorem constructively. Constructive means that the proof will actually contain an algorithm for constructing the Euler path, when it exists. Part 1) Suppose G is connected and each vertex has even degree. Construct an Euler cycle. We prove this by strong induction on m –the number of edges in G. Base case m = 0: Since G is connected and contains no edges, it must consist of a single vertex. The empty path is an Euler cycle. 1 38

39 Finding Euler Circuits Induction step for m+1 edges, assuming proved this up to m  0. CLAIM: G contains a simple cycle. Consider an edge e (since m+1 > 0). If e is a self-loop, then is a simple cycle. So can assume that e is a loopless edge: v v’ Since deg(v’ ) > 1 (all degrees are even), another edge e’ must be incident with v’ : 39 v’v’’ e

40 Finding Euler Circuits So can continue adding edges until we find an edge whose new endpoint has already been encountered during the process. This endpoint is a vertex which is seen twice so at which a simple cycle is based! (This proves claim) 40 Simple cycle

41 Finding Euler Circuits Gives rise to a recursive proof/algorithm: 1)Find a simple cycle in connected graph with m+1 edges. 2)Delete all the edges from the cycle and find Euler cycles in each resulting component 3)Amalgamate Euler cycles together using the simple cycle obtaining wanted Euler cycle. Let’s see how the amalgamation process works: 41

42 Finding Euler Circuits Mohammed’s Scimitars 42

43 Finding Euler Circuits Mohammed’s Scimitars Found a cycle after starting from middle vertex. Delete the cycle: 43

44 Finding Euler Circuits Mohammed’s Scimitars Found a cycle after starting from middle vertex. Delete the cycle: 44

45 Finding Euler Circuits Mohammed’s Scimitars Found a cycle after starting from middle vertex. Delete the cycle: 45

46 Finding Euler Circuits Mohammed’s Scimitars Found a cycle after starting from middle vertex. Delete the cycle: 46

47 Finding Euler Circuits Mohammed’s Scimitars Found a cycle after starting from middle vertex. Delete the cycle: 47

48 Finding Euler Circuits Mohammed’s Scimitars Now try again (say from middle vertex): 48

49 Finding Euler Circuits Mohammed’s Scimitars This time, found a cycle starting and ending at middle vertex: Amalgamate these cycles together from a point of intersection, and delete from graph: 49

50 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 50 1

51 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 51 1 2

52 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 52 1 2 3

53 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 53 1 2 3 4

54 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 54 1 2 3 4 5

55 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 55 1 2 3 4 5 6

56 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 56 1 2 3 4 5 6 7

57 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 57 1 2 3 4 5 6 7 8

58 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 58 1 2 3 4 5 6 7 8 9

59 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 59 1 2 3 4 5 6 7 8 9 10

60 Finding Euler Circuits Mohammed’s Scimitars Find another cycle from middle vertex: 60 1 2 3 4 5 6 7 8 9 10 11

61 Finding Euler Circuits Mohammed’s Scimitars Amalgamate it to Euler cycle of deleted graph, and delete it. Need to insert cycle between former edges 10 & 11: 61 1 2 3 4 5 6 7 8 9 10 11

62 Finding Euler Circuits Mohammed’s Scimitars Finally, need to add the triangle. Use same naïve approach looking for cycle in remaining component: 62 1 2 3 4 5 6 7 8 9 10 ??

63 Finding Euler Circuits Mohammed’s Scimitars Finally, need to add the triangle. Use same naïve approach looking for cycle in remaining component: 63 1 2 3 4 5 6 7 8 9 10 ?? 11

64 Finding Euler Circuits Mohammed’s Scimitars Finally, need to add the triangle. Use same naïve approach looking for cycle in remaining component: 64 1 2 3 4 5 6 7 8 9 10 ?? 11 12

65 Finding Euler Circuits Mohammed’s Scimitars Finally, need to add the triangle. Use same naïve approach looking for cycle in remaining component: 65 1 2 3 4 5 6 7 8 9 10 ?? 11 12 13

66 Finding Euler Circuits Mohammed’s Scimitars Finally, need to add the triangle. Use same naïve approach looking for cycle in remaining component: 66 1 2 3 4 5 6 7 8 9 10 ?? 11 12 13 14

67 Finding Euler Circuits Mohammed’s Scimitars Finally, need to add the triangle. Use same naïve approach looking for cycle in remaining component: 67 1 2 3 4 5 6 7 8 9 10 15 11 12 13 14

68 Finding Euler Circuits Mohammed’s Scimitars Amalgamate the triangle cycle between edges formerly labeled 9 & 10: 68 1 2 3 4 5 6 7 8 9 10 15 11 12 13 14

69 Finding Euler Circuits Mohammed’s Scimitars Amalgamate the triangle cycle between edges formerly labeled 9 & 10: 69 1 2 3 4 5 6 7 8 9 ??

70 Finding Euler Circuits Mohammed’s Scimitars We found the Euler circuit! 70 1 2 3 4 5 6 7 8 9 13 18 14 15 16 17 10 11 12

71 Euler Circuit  All Degrees Even 2 nd half of theorem says that an Euler circuit in a graph implies that all degrees are even: In a simple cycle, whenever path enters vertex, must come out on different edge. Thus every visit of v contributes 2 to deg(v). Thus, if keep only edges which were on the simple cycle, degrees of resulting graph are all even. But in an Eulerian graph G, can find a simple cycle containing all vertices and consequently graph resulting from cycle is G itself!  71

72 Generalizing to Euler Paths Q: Does the following have an Euler circuit? 72

73 Generalizing to Euler Paths A: No, vertices of odd degree: Q: But why does it have an Euler path? 73

74 Generalizing to Euler Paths A: YES! Because exactly 2 vertices of odd degree. So can add a phantom edge between odd degree vertices: 74

75 Generalizing to Euler Paths All degrees now even so find Euler cycle: 75

76 Generalizing to Euler Paths Now remove phantom edge obtaining: L25 76 12 3 4 5 6 7

77 Generalizing to Euler Paths Generalize: 77 12 3 4 5 6

78 Generalizing to Euler Paths THM: An undirected connected graph has an Euler path iff there are exactly two vertices of odd degree. 78

79 Blackboard Exercises 1)Prove by induction that Q n always has a Hamilton cycle for n > 1. (This gives a Gray code). 2)Prove that the following graph has no Hamilton cycle: 79


Download ppt "Math Foundations Week 12 Graphs (2). Agenda Paths Connectivity Euler paths Hamilton paths 2."

Similar presentations


Ads by Google