Demo3 ottobre

ALGO(G1,G2,s,v)
INIT(G1,G2)
L_NoArchi = vuoto
grado_uscente(G1,ge)
grado_entrante(G2,ge)

for each v in V do
	if ge[v]=0 then
		L_NoArchi = L_NoArchi u {v}
	c1[v]=nero
	for each i in L_NoArchi do
		if c1[i]=bianco then
			dfs_visit(GT,i,c1)
		if c1[s]=nero then
			dfs_visit(G,s,c2) //fine primo punto

dfs_visit(G2,s,c3)
if c3[v]=nero then
	if(dfs_visit_ciclo(G2,v,c4))then
		if(ge[v] > 1)then
			return false		//se il vertice v dove si diparte il ciclo prima tiene un grado entrante > 1 allora ci sono
								altri archi che passano per