[论文解读] Extended Formulations in Combinatorial Optimization

Volker Kaibel|arXiv (Cornell University)|Apr 6, 2011

Advanced Graph Theory Research参考文献 21被引用 29

一句话总结

本文探讨了组合优化中的扩展形式，表明某些多面体（如排列多面体和受限匹配多面体）可通过线性投影以更小的高维多面体表示。关键贡献在于证明了非对称扩展形式可为小匹配等问题实现多项式规模，而对称形式则面临指数级下界，揭示了对称性约束会严重限制表示规模的效率。

ABSTRACT

The concept of representing a polytope that is associated with some combinatorial optimization problem as a linear projection of a higher-dimensional polyhedron has recently received increasing attention. In this paper (written for the newsletter Optima of the Mathematical Optimization Society), we provide a brief introduction to this topic and sketch some of the recent developments with respect to both tools for constructing such extended formulations as well as lower bounds on their sizes.

研究动机与目标

• 介绍扩展形式的概念，作为通过高维投影表示组合优化多面体的工具。
• 探讨对称与非对称扩展形式在规模与表示效率之间的权衡。
• 利用多面体组合学与通信复杂性工具，研究扩展形式的极限。
• 阐明对称性在决定基本组合多面体扩展形式最小规模中的作用。
• 解决关于多项式可解问题是否具有多项式规模扩展形式的开放问题。

提出的方法

• 通过高维多面体的投影来表示原始多面体，其中投影保持线性目标函数的最优值。
• 应用混合整数规划技术，通过取多个较小多面体的凸包来构建扩展形式。
• 采用着色编码方法识别具有特定结构特性的匹配，从而实现受限匹配多面体的紧凑表示。
• 利用极值组合学中的结果——特别是 Alon、Yuster 和 Zwick 关于子集中具有不同颜色的定理——以确保覆盖所有相关匹配。
• 利用 Yannakakis 的框架，通过非负矩阵分解与通信复杂性推导对称扩展形式的下界。
• 将 Birkhoff 多面体作为排列多面体小规模扩展形式的典型例子进行分析，证明其在对称形式中为最优。

实验结果

研究问题

• RQ1 完全图中任意匹配的匹配多面体能否通过多项式规模的扩展形式表示？
• RQ2 排列多面体的对称扩展形式的最小规模是多少？Birkhoff 多面体在此类中是否最优？
• RQ3 在扩展形式中引入非对称性是否能显著减少受限匹配多面体等组合多面体的表示规模？
• RQ4 当限制为对数长度的环时，旅行商多面体是否存在多项式规模的扩展形式？
• RQ5 在对称性约束下，扩展形式的规模存在哪些基本限制？

主要发现

• 通过 Birkhoff 多面体，排列多面体可实现多项式规模的扩展形式，且在对称形式中为最优。
• 存在匹配大小为 ⌊log n⌋ 的匹配多面体的多项式规模非对称扩展形式，而所有对称形式均需规模 n^Ω(log n)。
• 对称形式下排列多面体的扩展复杂度至少为 Ω(n²)，证明 Birkhoff 多面体在此类中渐近最优。
• 对于大小为 ⌊log n⌋ 的匹配多面体，通过每种着色使用 O(2^k + n²) 个不等式、共 O(2^k log n) 种着色，总规模为 2^O(k)n² log n，当 k = ⌊log n⌋ 时为多项式规模。
• 旅行商多面体或长度为 ⌊log n⌋ 的环多面体均不存在多项式规模的对称扩展形式，尽管其扩展复杂度为多项式。
• 扩展形式的概念表明，对称性可显著增加所需形式的规模，凸显了对称性与效率之间的根本权衡。