ALGO(G,X,u,v)
INIT(G) //inizializzo grafo
DFS_VISIT(G,u,v,c1) // dfs_visit che parte da u e va verso v con colore c1
GT=TRASPOSTA(G)		// effettuo trasposta perché se partisse la dfs_visit già da v andrebbe a vuoto e cambio gli archi
DFS_VISIT(GT,v,u,c2) // dfs_visit che parte da v e va verso u con colore c2
for each x in X do // controllo nell'insieme X la seguente condizione
	if(c1[x]!=nero && c2[x]!=nero)then //escludiamo quelli che sono diversi da nero ritornando false perché non ci interessa
		return false //ritorna false perché non ci sono
return true //altrimenti, trovati e adios