Presentation is loading. Please wait.

Presentation is loading. Please wait.

Lecture 6 Graph Traversal

Similar presentations


Presentation on theme: "Lecture 6 Graph Traversal"— Presentation transcript:

1 Lecture 6 Graph Traversal
Undirected graph Directed graph 4/21/2019 Xiaojuan Cai

2 Overview Graph Undirected graph DFS, BFS, Application Directed graph
4/21/2019 Xiaojuan Cai

3 Graph theory The Königsberg Bridge problem (Source from Wikipedia)
4/21/2019 Xiaojuan Cai

4 Graph terminology Undirected graph Directed graph 4/21/2019
Xiaojuan Cai

5 Adjacency Matrix v.s. Adjacency List
G=<V, E> Directed: n + m Undirected: n + 2m Directed: n2 Undirected: n2 For every edge connected with v ... Is u and v connected with an edge? 4/21/2019 Xiaojuan Cai

6 Important graph problems
Path. Is there a directed path from s to t ? Shortest path. What is the shortest directed path from s to t ? Topological sort. Can you draw the digraph so that all edges point upwards? Strong connectivity. Is there a directed path between all pairs of vertices? Transitive closure. For each vertices v and w, is there a path from v to w ? 4/21/2019 Xiaojuan Cai

7 Where are we? Graph Undirected graph DFS, BFS, Application
4/21/2019 Xiaojuan Cai

8 DFS Depth-first-search. Unroll a ball of string behind you.
忒修斯 克里特岛迷宫 米诺斯 阿里阿德涅公主 米诺牛 剑和线团 Shannon的故事 Depth-first-search. Unroll a ball of string behind you. Mark each visited intersection and each visited passage. Retrace steps when no unvisited options. 4/21/2019 Xiaojuan Cai

9 Maze exploration 4/21/2019 Xiaojuan Cai

10 Depth-first search pre/post = 0/0 u 1/ 6 u v w v 2/ 5 y x y 3/ 4 z w z
4/ 1 5/ 3 w x y 6/ 2 z v DFS tree u 4/21/2019 Xiaojuan Cai u

11 Depth-first search time = 0 pre/post u 1/ 12 u v w v 2/ 11 y x y 3/ 10
z w z x 4/ 5 6/ 9 w x y 7/ 8 z v DFS tree u 4/21/2019 Xiaojuan Cai u

12 DFS tree: undirected How to figure out back edges? u 1/ 6 v 2/ 5
tree edge: back edge: y 3/ 4 w x 4/ 1 5/ 3 6/ 2 z DFS tree 4/21/2019 Xiaojuan Cai

13 4/21/2019 Xiaojuan Cai

14 time <-- 0 v.pre <-- infinity v.post <-- infinity
time <-- time + 1 v.pre <-- time time <-- time + 1 v.post <-- time 4/21/2019 Xiaojuan Cai

15 Quiz: Complexity Time Space Undirected Adj. Matrix ? Adj. List
4/21/2019 Xiaojuan Cai

16 Complexity Time Space Undirected Adj. Matrix O(|V|2) O(|V|) Adj. List
O(|V| + 2|E|) 4/21/2019 Xiaojuan Cai

17 DFS application? 4/21/2019 Xiaojuan Cai

18 Breadth-first search u v w x y z a b u 1 x 2 v 2 y 3 w z 4 u v x y w z
5 a 5 BFS tree 4/21/2019 Xiaojuan Cai

19 4/21/2019 Xiaojuan Cai

20 Quiz: Complexity Time Space Undirected Adj. Matrix ? Adj. List
4/21/2019 Xiaojuan Cai

21 Complexity Time Space Undirected Adj. Matrix O(|V|2) O(|V|) Adj. List
O(|V| + 2|E|) 4/21/2019 Xiaojuan Cai

22 BFS Application: The shortest path
u x v y a b w z u v w x y z a b Discussion: How to record the shortest path? 4/21/2019 Xiaojuan Cai

23 4/21/2019 Xiaojuan Cai

24 w.parent <-- v 4/21/2019 Xiaojuan Cai

25 Connectivity #trees == #connected components 4/21/2019 Xiaojuan Cai

26 Graph acyclicity NO back edges! 4/21/2019 Xiaojuan Cai

27 Where are we? Graph Undirected graph DFS, BFS, Application
4/21/2019 Xiaojuan Cai

28 DFS tree: directed time = 0 u w w 1/ 8 9/ 12 u v v 10/ 11 2/ 7 z x y
3/ 6 z y x 4/ 5 x DFS trees y z v w u 4/21/2019 Xiaojuan Cai u

29 DFS tree u w tree edge: back edge: forward edge: cross edge: 1/ 8 9/
12 v 10/ 11 2/ 7 z type edge(u,v) tree [u [v ]v ]u back [v [u ]u ]v forward cross [v ]v [u ]u 3/ 6 y x 4/ 5 4/21/2019 Xiaojuan Cai

30 Quiz Run DFS on the following graph. Which type are the following edges: CB, DC, FC (Whenever you have a choice of vertices to explore, always pick the one that is alphabetically first.) A. tree edge B. back edge C. forward edge D. cross edge

31 Application: Garbage collector
Mark-sweep algorithm. [McCarthy, 1960] Mark: mark all reachable objects. Sweep: if object is unmarked, it is garbage (so add to free list). Memory cost. Uses 1 extra mark bit per object (plus DFS stack). roots DFS needs O(|V|) space. How to do Mark-sweep with O(1) space? 4/21/2019 Xiaojuan Cai

32 A directed acyclic graph is usually called a DAG.
Graph acyclicity NO back edges! A directed acyclic graph is usually called a DAG. 4/21/2019 Xiaojuan Cai

33 An edge (u,v) is a back edge iff
Graph acyclicity u w tree edge: back edge: forward edge: cross edge: 1/ 8 9/ 12 v 10/ 11 2/ 7 z type edge(u,v) tree [u [v ]v ]u back [v [u ]u ]v forward cross [v ]v [u ]u 3/ 6 y x 4/ 5 An edge (u,v) is a back edge iff post(u) < post(v) 4/21/2019 Xiaojuan Cai

34 Applications 4/21/2019 Xiaojuan Cai

35 DAG: Topological sort Problem: TopoSort
Input: A DAG (directed acyclic graph) G = (V , E ) Output: A linear ordering of its vertices in such a way that if (v,w) ∈ E, then v appears before w in the ordering. 4/21/2019 Xiaojuan Cai

36 Topological order 4/21/2019 Xiaojuan Cai

37 Topological sort by DFS
Proposition In DAG, every edge (u,v) yields post[v] < post[u]. u v x y w z 1/ 2/ 3/ 4/ 5 6 7 8 9/ 10/ 11 12 tree edge: back edge: forward edge: cross edge: type edge(u,v) tree [u [v ]v ]u back [v [u ]u ]v forward cross [v ]v [u ]u 4/21/2019 Xiaojuan Cai

38 DAG: Topological sort Θ(|E|+|V|) TOPOLOGICAL-SORT(G)
Call DFS(G) to compute finishing times of each vertex v As each vertex is finished, insert it onto the front of a linked list Return the linked list of vertices. Θ(|E|+|V|) 4/21/2019 Xiaojuan Cai

39 ? Connectivity #trees == #connected components u v w x y z 4/21/2019
Xiaojuan Cai

40 Strong connected components
4/21/2019 Xiaojuan Cai

41 Ecological food webs 4/21/2019 Xiaojuan Cai
4/21/2019 Xiaojuan Cai

42 Strong connected components
Lemma Every directed graph is a DAG of its strongly connected component. 4/21/2019 Xiaojuan Cai

43 Some properties Property 1
If dfs is started at node u, then it will terminate precisely when all nodes reachable from u have been visited. Property 2 The node that receives the highest post number in DFS must lie in a source strongly connected component. Property 3 If C and C′ are scc, and there is an edge from a node in C to a node in C′, then the highest post number in C is bigger than the highest post number in C′. 4/21/2019 Xiaojuan Cai

44 Kosaraju-Sharir algorithm
Reversed graph 4/21/2019 Xiaojuan Cai

45 Kosaraju-Sharir algorithm
Run DFS on GR. Run the undirected connected components algorithm on G, and during the DFS, process the vertices in decreasing order of their post numbers from step 1. Θ(|E|+|V|) 4/21/2019 Xiaojuan Cai

46 Tarjan’s algorithm (briefly)
//color[u] = 0: unvisited; 1: visited and in Stack, 2: visited and not in Stack try all vertex u, if color[u] = 0, DFS(u) DFS(u): Push u into stack, color[u] = 1, pre[u], low[u] = ++time try all neighbor v of u if color[v] = 0, DFS(v), low[u] = min{low[u],low[v]} else if color[v] = 1, low[u] = min{low[u],pre[v]} if low[u]==pre[u] Pop v from stack, color[v] = 2, until v=u; One Dfs, More efficient than Kosaraju-Sharir

47 BFS, DFS applications 4/21/2019 Xiaojuan Cai

48 BFS, DFS applications BFS. Choose root web page as source s.
Maintain a Queue of websites to explore. Maintain a SET of discovered websites. Dequeue the next website and enqueue websites to which it links (provided you haven't done so before). 4/21/2019 Xiaojuan Cai

49 BFS, DFS applications Vertex: pixel.
Edge: between two adjacent gray pixels. Blob: all pixels connected to given pixel. 4/21/2019 Xiaojuan Cai

50 BFS, DFS applications Every data structure is a digraph.
Vertex = object. Edge = reference. Roots. Objects known to be directly accessible by program (e.g., stack). Reachable objects. Objects indirectly accessible by program (starting at a root and following a chain of pointers). roots 4/21/2019 Xiaojuan Cai

51 BFS, DFS applications Every program is a digraph.
Vertex = basic block of instructions Edge = jump. Dead-code elimination. Find (and remove) unreachable code. Infinite-loop detection. Determine whether exit is unreachable. 4/21/2019 Xiaojuan Cai

52 Quiz Which of the following statements are true for undirected graph?
A. If u is connected to v and v is connected to w, then u is connected to w. B. Removing any edge from a connected graph G breaks the graph into two connected components. C. An acyclic graph G is connected if and only if it has V-1 edges. D. If you add two edges to a graph G, its number of components can decrease by at most 2. ♠ ♣ ♦

53 Quiz Which of the following statements are true for directed graph?
A. A digraph on V vertices with fewer than V edges contains more than one strong component. B. If we modify the Kosaraju-Sharir algorithm to replace the second DFS with BFS, then it will still find the strong components. C. If u is strongly connected to v and v is strongly connected to w, then u is strongly connected to w. D. If you add two edges to a digraph, its number of strong components can decrease by at most 2.

54 Challenges 4/21/2019 Xiaojuan Cai

55 Challenge 1 Problem. Is a graph bipartite? How difficult?
0-1 0-2 0-5 0-6 1-3 2-3 2-4 4-5 4-6 Problem. Is a graph bipartite? How difficult? Any programmer could do it. Need to be a typical diligent SE222 student. Hire an expert. Intractable. No one knows. Impossible. 1 2 6 3 4 5 0-1 0-2 0-5 0-6 1-3 2-3 2-4 4-5 4-6 1 2 6 3 4 5 4/21/2019 Xiaojuan Cai

56 Challenge 1 Problem. Is a graph bipartite? How difficult?
0-1 0-2 0-5 0-6 1-3 2-3 2-4 4-5 4-6 Problem. Is a graph bipartite? How difficult? Any programmer could do it. Need to be a typical diligent SE222 student. Hire an expert. Intractable. No one knows. Impossible. 1 2 6 3 4 5 0-1 0-2 0-5 0-6 1-3 2-3 2-4 4-5 4-6 1 2 6 3 4 5 4/21/2019 Xiaojuan Cai

57 Challenge 2 Problem. Find a cycle. How difficult?
0-1 0-2 0-5 0-6 1-3 2-3 2-4 4-5 4-6 Problem. Find a cycle. How difficult? Any programmer could do it. Need to be a typical diligent SE222 student. Hire an expert. Intractable. No one knows. Impossible. 1 2 6 3 4 5 1 2 6 3 4 5 4/21/2019 Xiaojuan Cai

58 Challenge 3 Problem. Find a cycle that uses every edge exactly once. (Eulerian tour) How difficult? Any programmer could do it. Need to be a typical diligent SE222 student. Hire an expert. Intractable. No one knows. Impossible. 0-1 0-2 0-5 0-6 1-2 2-3 2-4 3-4 4-5 4-6 6 4 2 1 5 3 4/21/2019 Xiaojuan Cai

59 Challenge 4 Problem. Find a cycle that uses every vertex exactly once. (Hamiltonian tour) How difficult? Any programmer could do it. Need to be a typical diligent SE222 student. Hire an expert. Intractable. No one knows. Impossible. 0-1 0-2 0-5 0-6 1-2 2-6 3-4 3-5 4-5 4-6 1 2 6 3 4 5 4/21/2019 Xiaojuan Cai

60 Challenge 5 Problem. Are two graphs identical except for vertex names? (Graph isomorphism) How difficult? Any programmer could do it. Need to be a typical diligent SE222 student. Hire an expert. Intractable. No one knows. Impossible. 0-1 0-2 0-5 0-6 3-4 3-5 4-5 4-6 6 4 2 1 5 3 0↔4, 1↔3, 2↔2, 3↔6, 4↔5, 5↔0, 6↔1 0-4 1-4 1-5 2-4 5-6 4/21/2019 Xiaojuan Cai

61 Challenge 6 Problem. Lay out a graph in the plane without crossing edges? How difficult? Any programmer could do it. Need to be a typical diligent SE222 student. Hire an expert. Intractable. No one knows. Impossible. 1 0-1 0-2 0-5 0-6 3-4 3-5 4-5 4-6 2 6 3 4 5 1 2 6 3 4 5 4/21/2019 Xiaojuan Cai


Download ppt "Lecture 6 Graph Traversal"

Similar presentations


Ads by Google