es2

ALGO(G,B)
init(G)
for each v in V do
	if c1[v]=b then
		dfs_visit(G,v,c1)
for each b in B do
	if c1[b]=n then
		if dfs_visitciclo(G,b,c3) then
			return true
return false