Alg_20180125_1

void dfs_visita(Grafo GT, Grafo G2, int s)
{
    s.color = Color.Gray;

    foreach (var v in GT.Adj[s])
        if (v.color == Color.White)
        {
            G2.Add_Edge(v, s); //lo creo già nel senso giusto come stava in G
            dfs_visita(GT, G2, v);
        }

    s.color = Color.White; //così puoi gestire i percorsi paralleli e le biforcazioni esempio grafo "G2 E_DAG2"
}

Grafo Alg_20180125_1(Grafo G, int[] B, int s)
{
    var G2 = new Grafo();
    var GT = G.Trasposto();

    foreach (var b in B)
        GT.V[b].color = Color.Black;

    dfs_visita(GT, G2, s);

    return G2;
}