[论文解读] A Log-space Algorithm for Canonization of Planar Graphs

Samir Datta, Nutan Limaye+3 more|ArXiv.org|Sep 15, 2008

Advanced Graph Theory Research参考文献 27被引用 4

一句话总结

本文提出了一种对平面图进行规范化的对数空间算法，通过递归地将图分解为双连通和三连通分量，修改林德尔的树规范化算法以适用于对数空间，并利用群论引理来限制自同构的数量，从而实现了平面图同构问题的 L-完全性。关键结果是：平面图规范化（因此也包括同构问题）属于对数空间，解决了该类图的复杂性差距。

ABSTRACT

Graph Isomorphism is the prime example of a computational problem with a wide difference between the best known lower and upper bounds on its complexity. We bridge this gap for a natural and important special case, planar graph isomorphism, by presenting an upper bound that matches the known logspace hardness [Lindell'92]. In fact, we show the formally stronger result that planar graph canonization is in logspace. This improves the previously known upper bound of AC1 [MillerReif'91]. Our algorithm first constructs the biconnected component tree of a connected planar graph and then refines each biconnected component into a triconnected component tree. The next step is to logspace reduce the biconnected planar graph isomorphism and canonization problems to those for 3-connected planar graphs, which are known to be in logspace by [DattaLimayeNimbhorkar'08]. This is achieved by using the above decomposition, and by making significant modifications to Lindell's algorithm for tree canonization, along with changes in the space complexity analysis. The reduction from the connected case to the biconnected case requires further new ideas, including a non-trivial case analysis and a group theoretic lemma to bound the number of automorphisms of a colored 3-connected planar graph. This lemma is crucial for the reduction to work in logspace.

研究动机与目标

• 解决已知的平面图同构问题下界与上界之间的复杂性差距。
• 确立平面图规范化属于对数空间，从而证明该问题的 L-完全性。
• 通过结构分解将先前关于三连通平面图的结果推广至一般平面图。
• 开发一种对数空间算法，以最小的空间使用量处理递归树规范化。

提出的方法

• 在对数空间内将平面图分解为其双连通分量，并构建双连通分量树。
• 进一步将每个双连通分量分解为三连通分量，以形成三连通分量树，并使用对数空间实现。
• 通过结构分解将双连通平面图的同构与规范化问题约化为三连通平面图的问题。
• 修改林德尔的对数空间树规范化算法，以处理分量树的层次结构，同时保持空间效率。
• 使用群论引理来限制着色三连通平面图的自同构数量，从而实现对数空间约化。
• 通过利用短而可重构的图性质进行状态恢复，实现深度递归中的空间管理。

实验结果

研究问题

• RQ1 平面图同构问题的复杂性能否从 AC¹ 降低到对数空间？
• RQ2 是否可以通过分量分解在对数空间内对平面图进行规范化？
• RQ3 林德尔的树规范化算法如何适应对数空间使用，以处理分层图结构？
• RQ4 哪些结构特性使得从双连通分量到三连通分量的对数空间约化成为可能？
• RQ5 着色三连通平面图中的自同构数量界限是否可用于确保对数空间复杂性？

主要发现

• 平面图规范化属于对数空间，从而确立了该问题的 L-完全性。
• 该算法通过递归地将图分解为双连通和三连通分量，并利用可对数空间构造的分量树实现。
• 使用了林德尔树规范化算法的改进版本，其空间复杂度通过递归分解被限制在 O(log N)。
• 提出了一项新颖的群论引理，用于限制着色三连通平面图的自同构数量，这对对数空间约化至关重要。
• 该算法仅使用 O(log N) 空间，通过仅存储中间状态的简短描述并在需要时重新计算。
• 最终的规范表示通过遍历所有割点作为根节点，并选择字典序最小的表示来构建，所有操作均在对数空间内完成。