Grafikler için en basit gösterimler bitişik matrisler / listeler kullanır, yani her düğüm ve kenar açıkça temsil edilir. Güçlü düzenlilik sergileyen grafikler için örtük temsillerin önemi uzun zamandır bilinmektedir. Örneğin, Galperin ve Wigderson (1983), Papadimitriou ve Yannakakis ( Grafiklerin Özlü Gösterimleri Üzerine Bir Not , 1986), bitişiklik matrisi bir kenar olup olmadığına cevap veren bir Boole formülü ile temsil edilen grafik sorununu araştırdı (i, j) i ve j düğüm numaralarının ikili temsili verildiğinde. Azaltımlarla ilgili bazı genel olarak tatmin edilen kısıtlamalar altında, açık grafikler için P-tamamlama problemleri bu gösterim için PSPACE-tamamlanmış, NP-tamamlanmış problemler NEXPTIME-tamamlanmış vb.
Bu tür düzenli grafiklere doğal bir yaklaşım, bir ROBDD kullanarak Boole formülünü temsil etmektir; zorluk, klasik algoritmaların düğümleri tek tek numaralandırma eğiliminde olmasıdır, bu da böyle bir temsilin üstel maliyetine neden olur ve bundan kaçınılmalıdır. Klasik problemler üzerine böyle bir temsil kullanılarak çözülen makaleler yayınlanmıştır, örneğin Gentilini ve ark. ( Güçlü bağlı bileşenleri doğrusal sayıda sembolik adımda hesaplama ) , Woelfel ( OBDD'lerle sembolik topolojik sıralama ).
Bu tür teknikler hakkında bir anket olup olmadığını merak ediyorum, çünkü literatürü en son teknolojide araştırmak uygun değildir ...