[论文解读] Unifying duality theorems for width parameters in graphs and matroids. I. Weak and strong duality

Reinhard Diestel, Sang‐il Oum|arXiv (Cornell University)|Jun 15, 2014

Advanced Graph Theory Research参考文献 17被引用 10

一句话总结

本文提出了一种图与拟阵中宽度参数的统一对偶定理，推广了路径宽、树宽、分支宽和秩宽的经典结果。通过使用分离的一致定向来建立统一框架，以表征高度连通的子结构，实现了在多种宽度参数之间的弱对偶与强对偶。

ABSTRACT

We prove a general duality theorem for width parameters in combinatorial structures such as graphs and matroids. It implies the classical such theorems for path-width, tree-width, branch-width and rank-width, and gives rise to new width parameters with associated duality theorems. The highly connected substructures witnessing large width are presented in a unified way akin to tangles, as orientations of low-order separations satisfying certain consistency axioms.

研究动机与目标

• 将图与拟阵中现有宽度参数的对偶定理统一到一个通用框架中。
• 通过引入具有可证明对偶定理的新参数，扩展宽度参数的理论。
• 通过低阶分离的一致定向，表征大宽度背后的高度连通子结构。
• 将tangle的概念推广为组合结构中高度连通部分的统一表示形式。

提出的方法

• 通过满足一致性公理的分离定向来形式化宽度参数，类似于tangle的构造方式。
• 根据有界阶分离的一致定向的存在性，定义弱对偶与强对偶。
• 建立一个通用对偶定理，涵盖路径宽、树宽、分支宽和秩宽的已知结果。
• 利用图与拟阵的结构组合学，证明大宽度蕴含分离的一致定向存在性。
• 证明若不存在此类定向，则宽度有界，从而完成对偶性证明。
• 将该框架应用于推导出具有关联对偶定理的新宽度参数。

实验结果

研究问题

• RQ1 是否存在一个单一框架，能够统一图与拟阵中各种宽度参数的对偶定理？
• RQ2 如何系统化地表示高度连通子结构，以表征大宽度？
• RQ3 分离定向的何种一致性条件能产生宽度与连通性之间的对偶关系？
• RQ4 已知的宽度参数（如树宽和秩宽）在多大程度上可作为该通用框架的特例？
• RQ5 从该统一方法中可推导出哪些具有对偶定理的新宽度参数？

主要发现

• 本文建立了一个通用对偶定理，将路径宽、树宽、分支宽和秩宽的经典结果作为特例涵盖其中。
• 通过低阶分离的一致定向，引入了高度连通子结构的统一表征方式，推广了tangle的概念。
• 该框架在单一、抽象的设定下，证明了图与拟阵中宽度参数的弱对偶与强对偶。
• 从通用框架中推导出具有可证明对偶定理的新宽度参数，扩展了结构图论中对偶性的适用范围。
• 分离定向的一致性公理为检测组合结构中的大宽度提供了一种稳健且通用的机制。