ALGO(G,B)
V1=NIL
V2=NIL
GT=TRASPOSTA(G)
for each v in V\B do //controllo, se si può fare, gli insiemi V\B
	if(c1[v]=bianco)then //se il colore è bianco
		dfs_visit(G,v,c1) //effettuo dfs_visit da G che parte da v con colore c1
for each b in B do //itero l'insieme B e vedo
	if(c1[b]=nero)then //se è nero dalla prima dfs_visit ci sono passato
		V1 = V1 U {v} //aggiundo a V1
for each b in B do //per ogni b in B vedo
	if(c2[b]=bianco)then //se il colore è bianco
		dfs_visit(GT,b,c2) //richiamo dfs_visit partente da b con colore c2
for each v in V\B do //verifico, sempre se si può fare, gli insiemi V\B e controllo
	if(c2[v]=nero)then //se è il colore di v è nero allora ci so passato
		V2=V2 U {v} //aggiungo a V2