Le rappresentazioni più semplici per i grafici utilizzano matrici / elenchi di adiacenza, il che significa che ogni nodo e bordo sono rappresentati esplicitamente. L'importanza delle rappresentazioni implicite per i grafici che mostrano forti regolarità è stata a lungo riconosciuta. Ad esempio, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( A Note on Succinct Representations of Graphs , 1986) hanno esplorato la questione dei grafici la cui matrice di adiacenza è rappresentata da una formula booleana che risponde se (i, j) è un vantaggio o meno data la rappresentazione binaria dei numeri di nodo i e j. Sotto alcuni vincoli comunemente soddisfatti delle riduzioni, i problemi P-complete per i grafici espliciti diventano PSPACE completi per questa rappresentazione, i problemi NP-completi diventano NEXPTIME-complete, ecc.
Un approccio naturale a tali grafici regolari è quello di rappresentare la formula booleana usando un ROBDD; la difficoltà è che gli algoritmi classici tendono a enumerare i nodi uno per uno, il che comporta costi esponenziali su una tale rappresentazione e quindi deve essere evitato. Sono stati pubblicati articoli su problemi classici risolti utilizzando una tale rappresentazione, ad esempio Gentilini et al. ( Calcolo di componenti fortemente connessi in un numero lineare di passaggi simbolici ), Woelfel ( ordinamento topologico simbolico con OBDD ).
Mi chiedo se ci sia qualche indagine su tali tecniche, perché è scomodo dragare la letteratura in tale stato dell'arte ...