FACCIAMO IL TRASPOSTO DI G, POI LANCIAMO UNA DFS SOLO SUI VERTICI DI FG SUL TRASPOSTO.
COSÌ MI TROVERÒ COLORATI DI NERO TUTTI I VERTICI CHE RAGGIUNGONO VERTICI DI FG.
ALLA FINE CICLO SUI VERTICI DI I E SE TROVO UN VERTICE BIANCO RESTITUISCO FALSE.

ALGO(G,I,FG){
	INIT(G);
	GT=TRASPOSTO(G);
	FOR EACH v in FG DO
		IF (c[v]=bianco) THEN
			DFS_VISIT(GT,v);
	FOR EACH v in I DO
		IF (c[v]=bianco) THEN
			return FALSE;
	return TRUE;
}

INIT(G){
	FOR EACH v in V DO
		c[v]=bianco;
}