思路:重开一个新图,按着邻接列表的顺序从上到下遍历,每遍历一行链表前,清空visited数组,如果没有访问过这个元素,则加入新图,如果已经访问过了(重边),则不动。
伪代码:
复杂度:O(V+E)
for each u 属于 Vertex
visited[u] = false;
for u 属于 Vertex
visited[u] = true;
for v 属于 Adj[u]
if(!visited[v])
Adj1[u].insert(v);
visited[v] = true;
for v 属于 Adj[u]
visited[v]=false;
visited[u] = false;
证明算法正确性:
命题:给定一条边(u,v),此边为有向边,visited[v]=false 当且仅当 (u,v)需加入E'.
=>已知起点为u,visited[v]=false,则说明v曾经并没有被u访问到,因为如果访问到,则visited[v]被置为true,则如果当访问边(u,v)时,