ALGO(G,B)
INIT(G)
V1=V2=empty
for each b in B do
	if c1[b]=b then
		dfs_visit(GT,b,c1)
for each v in V do
	if c1[v]=nero && c2[v]=bianco then
		v1 = v1 u {v}
for each b in B do
	if c2[b]=bianco
		dfs_visit(G,b,c2)
for each v in V do
	if c2[v]=nero && c1[v]=bianco then
		v2 = v2 u {v}

return V1,V2