Some properties 3→6-10 89 215 27 56 Property 1 If dfs is started at node u, then it will terminate precisely when all nodes reachable from u have been visited operty 2 The node that receives the highest post number in DFS must liel 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 ne highest post number in c 2/3/20Some 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′. 2/3/2021 Xiaojuan Cai 47