ALGO(G1,G2,s,v)
INIT(G1,G2)
dfs_visit(G1,s,c1)
if(c1[v]=nero)then
	if(dfs_visit_ciclo(G1,v,c2))then
		return false  // prima condizione se non soddisfatta
dfs_visit(G2,s,c1)
	if(c1[v]=nero)then
		if(dfs_visit_ciclo(G2,v,c2))then
			c3[v]=nero
			if(dfs_visit_ciclo(G2,s,c3)then
				return false  //seconda condizione se non soddisfatta
	return true