[论文解读] Isomorphism Testing for Graphs of Bounded Rank Width

Martin Grohe, Pascal Schweitzer|arXiv (Cornell University)|May 14, 2015

Advanced Graph Theory Research参考文献 23被引用 13

一句话总结

本文提出了一种在有界秩宽图上进行图同构测试的多项式时间算法，利用通过tangles的规范分解和群论动态规划。关键贡献是首次为有界秩宽图（因此也是有界 clique width 图）提供了多项式时间同构测试，解决了参数化算法领域长期存在的开放问题。

ABSTRACT

We give an algorithm that, for every fixed k, decides isomorphism of graphs of rank width at most k in polynomial time. As the clique width of a graph is bounded in terms of its rank width, we also obtain a polynomial time isomorphism test for graph classes of bounded clique width.

研究动机与目标

• 开发一种针对有界秩宽图的多项式时间同构测试算法，该类图包括稠密图，并推广了有界树宽的概念。
• 将已知的可 tractable 同构结果从稀疏图类扩展到具有有界 clique width 的稠密遗传图类。
• 解决同构测试是否对有界秩宽图是多项式时间可解的开放问题。
• 为连通性函数提供一个规范分解框架，特别关注 tangles 和三重覆盖，作为同构测试的基础。

提出的方法

• 该算法基于连通性函数和 tangles，使用规范的树状分解，确保同构不变的结构。
• 它引入了 tangles 的三重覆盖概念，以紧凑表示分解中的高度连通区域。
• 该方法在分解树上应用动态规划，使用群论工具追踪子结构之间的同构关系。
• 通过部分之间邻接矩阵的划分秩控制分解的宽度，确保复杂度有界。
• 一个规范分解定理（定理 7.2）确保分解在同构意义下唯一，从而支持同构测试。
• 最终的同构计算通过在每个节点上使用自同构群的陪集表示，并通过递归群运算组合它们。

实验结果

研究问题

• RQ1 尽管有界秩宽图可能存在稠密性且缺乏稀疏性，是否仍能以多项式时间解决同构测试问题？
• RQ2 是否存在一种规范分解方法用于连通性函数，以支持多项式时间的同构测试？
• RQ3 群论技术能否有效建模低秩分解中各部分之间的非平凡相互作用，其中顶点删除无法使组件解耦？
• RQ4 是否存在有界宽度的规范分解是否允许通过动态规划实现高效的同构计算？
• RQ5 该方法能否推广到切秩函数以外的其他连通性函数？

主要发现

• 本文建立了对任意固定 k，所有秩宽至多为 k 的图的多项式时间同构测试。
• 该算法的运行时间受 k 的非初等函数界，尽管作者希望获得 n^O(k) 的界。
• 将连通性函数规范分解为 tangles 及其三重覆盖，为处理高度连通区域提供了关键技术工具。
• 现在，对 clique width 至多为 k 的图的同构问题可在多项式时间内求解，扩展了以往仅限于 k ≤ 2 的结果。
• 群论框架允许通过追踪分解节点间自同构群的陪集，高效计算同构集合。
• 该方法可推广至任意连通性函数，表明其在秩宽之外具有更广泛的应用潜力。