ALGO(G,B)
INIT(G)
GT=TRASPOSTA(G)
for each v in B do
	if(c1[v]=bianco)then
		dfs_visit(GT,v,c1) //da b in B va a vedere al contrario quelli che raggiungerebbe b
for each v in B do
	if(c2[v]=bianco)then
		dfs_visit(G,v,c2)
for each v in V do
	if(c1[v]=nero && c2[v]=nero)then
		ret=false //non mi servono quei vertici per cui vale la mutua raggiungibilità
	else
		if(c1[v]=nero)then
			V1 = V1 U {v}
		else
			V2 = V2 U {v}