[论文解读] Efficient c-planarity testing algebraically

Radoslav Fulek, Jan Kynčl+2 more|arXiv (Cornell University)|May 20, 2013

Computational Geometry and Mesh Generation被引用 4

一句话总结

本文将强哈纳尼-图特定理推广至具有两个不相交簇的簇图，并证明该推广至三个不相交簇的情况是不可能的。此外，本文还利用拟阵交理论，为具有小面的嵌入平面簇图提供了c-平面性测试的新型简洁证明。

ABSTRACT

Abstract. We generalize the strong Hanani-Tutte theorem to clustered graphs with two disjoint clusters, and show that an extension of our result to flat clustered graphs with three disjoint clusters is not possible. We also give a new and short proof for a result by Di Battista and Frati about efficient c-planarity testing of an embedded flat clustered graph with small faces based on the matroid intersection algorithm.

研究动机与目标

• 将强哈纳尼-图特定理推广至具有两个不相交簇的簇图。
• 证明该结果无法推广至具有三个不相交簇的平面簇图。
• 为具有小面的嵌入平面簇图中的c-平面性测试提供一种新型简洁证明，以实现高效测试。
• 建立c-平面性与拟阵交集之间的联系，以提升算法效率。

提出的方法

• 使用代数技术将强哈纳尼-图特定理推广至具有两个不相交簇的簇图。
• 采用拓扑论证表明该结果无法推广至三个不相交簇。
• 应用拟阵交算法，高效测试具有小面的嵌入平面簇图中的c-平面性。
• 采用新颖的代数表述，将c-平面性测试问题转化为拟阵交集问题。
• 基于嵌入簇图中较小面的结构，提供一种简短证明。
• 利用拟阵理论中的已知结果，确保算法具有多项式时间复杂度。

实验结果

研究问题

• RQ1 强哈纳尼-图特定理能否推广至具有两个不相交簇的簇图？
• RQ2 能否将强哈纳尼-图特定理的结果推广至具有三个不相交簇的平面簇图？
• RQ3 能否利用拟阵交集高效求解具有小面的嵌入平面簇图中的c-平面性测试？
• RQ4 强哈纳尼-图特方法在具有超过两个簇的簇图中应用的理论极限是什么？

主要发现

• 强哈纳尼-图特定理可成功推广至具有两个不相交簇的簇图。
• 该结果无法推广至具有三个不相交簇的平面簇图。
• 为具有小面的嵌入平面簇图中的c-平面性测试提供了新型简洁证明，以确保高效性。
• 该证明依赖于拟阵交算法，从而建立了多项式时间解法。
• 结果确认了在特定结构约束下，c-平面性测试具有理论可行性。
• 本文明确了强哈纳尼-图特方法在簇图设置中适用性的清晰边界。