图的最简单表示形式是使用邻接矩阵/列表，这意味着每个节点和边都得到了明确表示。长期以来，人们已经认识到隐式表示对于显示强规律性的图形的重要性。例如，Galperin＆Wigderson（1983），Papadimitriou＆Yannakakis（关于图的简洁表示的注解，1986）探讨了图的问题，其邻接矩阵由布尔公式表示，回答（i，j）是否为边给定节点号i和j的二进制表示。在一些通常满足的约简约束下，对于该表示，显式图的P-完全问题变为PSPACE-完全，NP-完全问题变为NEXPTIME-完全等。
这种规则图的自然方法是使用ROBDD表示布尔公式；困难在于经典算法趋向于逐一枚举节点，这在这种表示上产生了指数成本，因此必须避免。已经有关于使用这种表示法解决经典问题的论文，例如Gentilini等。（以线性符号步数计算强连接的组件），Woelfel（使用 OBDD进行符号拓扑排序）。
我想知道是否对这种技术进行了一些调查，因为在这种情况下疏通文献是不方便的...