ALGO(G,A)
ListaB=NIL
ListaC=NIL
INIT(G)
GT=TRASPOSTA(G)
	for each a in A do
		if (c[a]=bianco) then
			DFS_VISIT(G,s,c)
		else if(c1[a]=b)then
			DFS_VISIT(GT,s,c1)

	for each a in A do
		ListaB=ListaB U {a}
		ListaC=ListaC U {a}

	for each v in V do
		if (c[v]=nero && c1[v]=nero)then
			return false
	return true

-----------------------------
INIT(G)
for each v in V do
	c[v]=bianco
	c1[v]=bianco
-----------------------------

DFS_VISIT(G,s,c,ListaB,ListaC)
c[s]=grigio
for each u in adj[s] do
	if (c[u]=bianco) then
		DFS_VISIT(G,u,c)
	c[s]=nero

-----------------------------