[论文解读] On the parsimonious property of relaxations of the Symmetric Traveling Salesman Polytope

Dirk Oliver Theis|arXiv (Cornell University)|Dec 8, 2007

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

一句话总结

本文揭示了对对称旅行商多面体（STSP）松弛的简约性性质与图旅行商多面体（GTSP）的脊图连通性之间一种出人意料的几何联系。利用关于极多面体边界复形扁平化的最新成果，证明了当且仅当GTSP(n)的脊图连通时，该松弛才具有简约性性质，从而为TSP松弛中的这一关键性质提供了新颖的拓扑表征。

ABSTRACT

We relate the parsimonious property of relaxations of the Symmetric Traveling Salesman Polytope to a connectivity property of the ridge graph of the Graphical Traveling Salesman Polyhedron. This relationship is quite surprising. The proof is elegant and geometric: it makes use of recent results on “flattening” parts of the boundary complex of the polar of the Graphical Traveling Salesman Polyhedron. The Symmetric Traveling Salesman Polytope STSP(n) is the convex hull of all cycles (connected 2-regular graphs) on a fixed vertex set V of cardinality n. The Graphical Traveling Salesman Polyhedron GTSP(n) is the convex hull of all connected Eulerian multi-graphs a fixed vertex set on V . It contains STSP(n) as a face, defined by a certain system of linear equations. A relaxation is a system of linear inequalities which are facet-defining for STSP(n) and GTSP(n). It has the parsimonious property if, for a certain set of linear objective functions, the following holds: the minimum of this function over the relaxation does not increase when the above mentioned equations are added to the relaxation.

研究动机与目标

• 理解STSP松弛在何种条件下表现出简约性性质。
• 研究STSP松弛与图旅行商多面体（GTSP）之间的结构性关系，特别是通过其面结构与脊结构。
• 确定GTSP多面体的拓扑性质（如脊图连通性）是否决定STSP松弛中诸如简约性等基本算法性质。
• 利用关于GTSP多面体极的边界复形扁平化的最新成果，建立基于几何的证明框架。

提出的方法

• 作者分析图旅行商多面体（GTSP）的极，并应用关于其边界复形部分扁平化的最新成果。
• 他们建立了STSP松弛的简约性性质与GTSP(n)的脊图连通性之间的对应关系。
• 该证明依赖于多面锥的面结构与对偶性的几何推理，尤其聚焦于定义面的不等式。
• 该方法利用STSP(n)是GTSP(n)的一个面（由一组线性方程定义）的事实，并研究松弛不等式在该面约束下的行为。
• 通过分析脊图（即脊复形的1-骨架），作者将拓扑连通性与在面约束下最优目标值的不变性联系起来。

实验结果

研究问题

• RQ1 STSP松弛的简约性性质是否依赖于GTSP多面体脊图的拓扑特征？
• RQ2 GTSP(n)的脊图连通性是否可作为STSP松弛中简约性性质的充分必要条件？
• RQ3 关于GTSP多面体极的边界复形扁平化的最新成果，如何促进对STSP松弛结构的理解？
• RQ4 STSP与GTSP的定义面不等式之间存在何种几何关系？其在面约束下目标函数的行为如何？

主要发现

• STSP(n)的松弛具有简约性性质，当且仅当图旅行商多面体GTSP(n)的脊图是连通的。
• 该等价关系通过GTSP(n)极的边界复形扁平化过程的几何论证得以确立。
• 该结果揭示了组合优化性质（简约性）与拓扑特征（脊图连通性）之间深刻而意外的联系。
• 该证明表明，当且仅当脊图连通时，某些线性目标函数在松弛上的最小值在加入STSP面定义方程后保持不变。