グラフの最も単純な表現は、隣接行列/リストを使用します。つまり、各ノードとエッジが明示的に表現されます。強い規則性を示すグラフの暗黙的な表現の重要性は、長い間認識されてきました。たとえば、Galperin＆Wigderson（1983）、Papadimitriou＆Yannakakis（A Note on Succinct Representations of Graphs、1986）は、隣接行列が（i、j）がエッジかどうかを答えるブール式で表されるグラフの問題を調査しましたノード番号iとjのバイナリ表現が与えられます。縮小に関して一般的に満たされた制約の下では、明示的なグラフのP完全問題はこの表現ではPSPACE完全になり、NP完全問題はNEXPTIME完全になる、などです。
このような通常のグラフへの自然なアプローチは、ROBDDを使用してブール式を表すことです。難しさは、古典的なアルゴリズムはノードを1つずつ列挙する傾向があるため、そのような表現に指数関数的なコストがかかるため、回避する必要があります。そのような表現を使用して解決されている古典的な問題について発表された論文があります、例えば、Gentilini等。（線形に結合したコンポーネントを線形ステップのシンボリックステップで計算）、Woelfel（OBDDを使用したシンボリックトポロジカルソート）。
そのような最新技術の文献を浚うのは不便なので、そのような技法の調査があるかどうか疑問に思っています...