[论文解读] Toward the Hanani-Tutte Theorem for Clustered Graphs

Radoslav Fulek|arXiv (Cornell University)|Oct 11, 2014

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

一句话总结

本文为条带聚类图（strip clustered graphs）建立了一个弱汉尼奇-图特定理的变体——即顶点被划分为垂直有序的聚类，且边仅连接相同或相邻聚类中的顶点。通过引入嵌入条带平面图的禁止子结构表征，并结合匹配理论与平面性判别技术，作者证明：若一个绘图对所有边对均满足偶数交叉条件，则存在保持顶点顺序的平面嵌入，从而推广了经典的弱汉尼奇-图特定理以及针对层次图的单调变体。

ABSTRACT

The weak variant of Hanani-Tutte theorem says that a graph is planar, if it can be drawn in the plane so that every pair of edges cross an even number of times. Moreover, we can turn such a drawing into an embedding without changing the order in which edges leave the vertices. We prove a generalization of the weak Hanani-Tutte theorem that also easily implies the monotone variant of the weak Hanani-Tutte theorem by Pach and Tóth. Thus, our result can be thought of as a common generalization of these two neat results. In other words, we prove the weak Hanani-Tutte theorem for strip clustered graphs, whose clusters are linearly ordered vertical strips in the plane and edges join only vertices in the same cluster or in neighboring clusters with respect to this order. In order to prove our main result we first obtain a forbidden substructure characterization of embedded strip clustered planar graphs. The Hanani-Tutte theorem says that a graph is planar, if it can be drawn in the plane so that every pair of edges not sharing a vertex cross an even number of times. We prove the variant of Hanani-Tutte theorem for strip clustered graphs if the underlying abstract graph is three connected or a tree. In the case of trees our result implies that c-planarity for flat clustered graphs with three clusters is solvable in a polynomial time if the underlying abstract graph is a tree. The proof of the latter result combines our forbidden substructure characterization of embedded strip clustered planar graphs with Tucker's characterization of 0-1 matrices with consecutive ones property.

研究动机与目标

• 将弱汉尼奇-图特定理推广至线性垂直条带排列的聚类图（条带聚类图）的设定中。
• 建立嵌入条带平面聚类图的禁止子结构表征，以支持算法与结构分析。
• 统一并推广两个已知结果：经典弱汉尼奇-图特定理与层次图的单调变体。
• 证明当基础图为树时，具有三个聚类的平坦聚类图的 c-平面性问题可在多项式时间内求解。
• 探索通过拟阵技术将结果推广至串联-并联图及其他图类的可行性。

提出的方法

• 将条带聚类图引入为层次图的推广形式，其中聚类按垂直方向有序排列，且边仅连接相同或相邻聚类中的顶点。
• 将‘偶数绘图’定义为所有独立边对交叉次数均为偶数的绘图，并证明此类绘图可实现保持顶点旋转系统的平面嵌入。
• 通过约化为受限匹配问题，建立嵌入条带平面图的禁止子结构表征。
• 应用霍尔婚姻定理，确保对偶结构中存在可行匹配，该匹配对应于有效嵌入。
• 通过将原图转换为带权边的多重图，以建模路径交叉，并应用最小权生成树技术。
• 将辅助图的构造（如 $G'$）推广至处理非双连通图，并整合对被囚禁顶点与不可行路径交错的约束。

实验结果

研究问题

• RQ1 弱汉尼奇-图特定理能否推广至条带聚类图，其中聚类线性排列，且边被限制在相邻或相同聚类之间？
• RQ2 嵌入条带平面聚类图的结构性条件是什么？能否通过禁止子结构来刻画？
• RQ3 若条带聚类图的绘图对所有独立边对均满足偶数交叉条件，是否意味着存在保持顶点旋转系统的平面嵌入？
• RQ4 当基础抽象图为树时，具有三个聚类的平坦聚类图的 c-平面性问题是否可在多项式时间内求解？
• RQ5 该方法在多大程度上可推广至更一般的图类，如串联-并联图或具有无环分量的仙人掌图？

主要发现

• 当基础抽象图为三连通图、树或连接一对顶点的一组内部不相交路径时，弱汉尼奇-图特定理在条带聚类图中成立。
• 对于树，该结果意味着具有三个聚类的平坦聚类图的 c-平面性测试可在多项式时间内求解。
• 基于路径交错与顶点顺序导出的约束，建立了嵌入条带平面图的禁止子结构表征。
• 证明技术依赖于约化为受限匹配问题，其中霍尔条件确保了可行嵌入的存在性。
• 通过构造带权边的辅助图并应用最小生成树技术，实现了从交叉次数相等的绘图到平面嵌入的转换。
• 该方法同时推广了经典弱汉尼奇-图特定理与层次图的单调变体，表明偶数交叉条件在聚类设定中具有更广泛的应用潜力。