Demo2

ALGO(G,A,u,v)
A'=EMPTY
INIT(G)
dfs_visit(G,u,c1)
if c1[v]=nero then
	dfs_visit(GT,v,c2)
for each a in A do
	if c1[a]=nero && c2[a]=nero then
		A'= A' u {a}
return A'