Algo 20171016 3

dfs_visita(G, v)
    v.color = Color.Gray

    for (x in G.Adj[v])
        if (x.color == Color.White)
            dfs_visita(G, x)

    v.color = Color.Black


Alg_20171016(G, B[])
    // inizializzazione ------------------------------------
    V1 = new List()
    V2 = new List()
    VU = new List()

    for (x in G.V)
        x.color = Color.White
        VU.Add(x)

    Gt = Trasposto()
    // inizializzazione ------------------------------------

    // G ---------------------------------------------------
    for (x in B)
        dfs_visita(G, x)

    for (x in B)
        x.color = Color.White

    for (x in G.V)
        if (x.color == Color.Black)
            V2.Add(x)
            if (!VU.Remove(x))
                Console.WriteLine("Gli insiemi non esistono!")
                return false

    for (x in G.V)
        x.color = Color.White
    // G ---------------------------------------------------

    // GT --------------------------------------------------
    for (x in B)
        x.color = Color.Black

    for (x in B)
        dfs_visita(Gt, x)

    for (x in B)
        x.color = Color.White

    for (x in Gt.V)
        if (x.color == Color.Black)
            V1.Add(x)
            if (!VU.Remove(x))
                Console.WriteLine("Gli insiemi non esistono!")
                return false
    // GT --------------------------------------------------

    Console.WriteLine('V1:')
    for (x in V1)
        Console.Write(x)

    Console.WriteLine('V2:')
    for (x in V2)
        Console.Write(x)

    return true