Algo (G,a,b,c,d)
Init(G) //inizializzare grafo
c[c]= nero
c[d]= nero
DFS(G,a,c) // inizializzo la DFS partendo da a assumento colore c che in init sarà bianco
for each v in V do
	if [c[d]=b] then // qui verifico se il vertice di arrivo d è bianco vuol dire che ci sarà stato qualche
						nodo nero che ha intralciato il grafo e quindi che è uno che abbia c,d
		return true
	else
		return false


DFS(G,s,c)
c[s] = grigio
for each v in adj[v] do
	if [c[v] = bianco] then
		DFS(G,s,c)
c[s]= nero

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