Найпростіші подання для графіків використовують матриці / списки суміжності, тобто кожен вузол і край явно представлені. Важливість неявних уявлень для графіків, що демонструють чіткі закономірності, давно визнана. Наприклад, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( Примітка про кращі представлення графіків , 1986) досліджували питання про графіки, матриця суміжності яких представлена булевою формулою, що відповідає чи ні (i, j) є ребром задано двійкове представлення номерів вузлів i і j. За деякими загальноприйнятими обмеженнями щодо скорочень проблеми P-завершення для явних графіків стають повними PSPACE для цього подання, NP-повне завдання стає NEXPTIME-повним тощо.
Природним підходом до таких регулярних графіків є представлення булевої формули за допомогою ROBDD; Складність полягає в тому, що класичні алгоритми мають тенденцію перераховувати вузли по одному, що несе експоненційні витрати на таке подання, і таким чином слід уникати. Були опубліковані статті про класичні проблеми, що вирішуються за допомогою такого представлення, наприклад, Gentilini et al. ( Обчислення сильно пов'язаних компонентів у лінійній кількості символічних кроків ), Woelfel ( Символічне топологічне сортування з OBDD ).
Мені цікаво, чи є якесь обстеження подібних прийомів, бо драматизувати літературу в таких сучасних умовах незручно ...