GRAFI_ListeAdiacenza 3/3

Qui hai due grafi A1 e A2

//scrivi lo pseudocodice della funzione VERIFICA- UNIONE(A1,A2) che verifica che tra ogni possibile coppia di nodi ci sia un arco in A1 o in A2 (o in entrambi)
• puoisupporrecheA1eA2abbianolostessonumerodinodi (A1.length=A2.length)


for i=0 to A1.lenght-1
    for j=0 to A2.lenght-1
        if(!(VERIFICA-ARCO(A1, i,j) || VERIFICA-ARCO(A1, j,i) || VERIFICA-ARCO(A2, i, j) || VERIFICA-ARCO(A2, j,i))
            return FALSE
return TRUE;





//scrivi lo pseudocodice della funzione VERIFICA-POZZI- E-SORGENTI(A1,A2) che restituisce true se tutti i pozzi di A1 sono sorgenti di A2 e tutte le sorgenti di A1 sono pozzi di A2 e restituisce false altrimenti
• puoi suppore che A1 e A2 abbiano lo stesso numero di nodi
• puoiutilizzarelefunzioniVERIFICA-POZZO(A,u)eVERIFICA-
SORGENTE(A,u)

VERIFICA-POZZI-E-SORGENTI(A1,A2)
//B1 e B2 sono due array lunghi quanto A1.lenght
for i=0 to A1.lenght-1{
    if(VERIFICA-POZZO(A1, A1[i])
        B1[k] = A[i]
        k++;
    if(VERIFICA-SORGENTE(A2, A2[i])
        B2[z] = A2[i]
        z++;
}
//Controlla che gli elementi presenti in B1 sono anche in A2
return (VERIFICA-ELEMENTI-UGUALI(A, B))