[论文解读] A characterization of Linearizable instances of the Quadratic Traveling Salesman Problem

Abraham P. Punnen, Walter, Matthias+1 more|arXiv (Cornell University)|Aug 23, 2017

Vehicle Routing Optimization Methods参考文献 28被引用 8

一句话总结

本文对完全有向图上的二次旅行商问题（QTSP）的可线性化实例提供了完整表征，建立了二次代价矩阵 $ Q $ 与线性代价矩阵 $ C $ 等价的必要与充分条件。主要贡献是一项 $ \mathcal{O}(n^5) $ 时间复杂度的算法，用于验证可线性化性并构造线性化矩阵，若存在线性化解；该结果可推广至无向图。

ABSTRACT

We consider the linearization problem associated with the quadratic traveling salesman problem (QTSP). Necessary and sufficient conditions are given for a cost matrix $Q$ of QTSP to be linearizable. It is shown that these conditions can be verified in $O(n^5)$ time. Some simpler sufficient conditions for linearization are also given along with related open problems.

研究动机与目标

• 确定二次代价矩阵 $ Q $ 在二次 TSP（QTSP）背景下可线性化的必要与充分条件。
• 设计一种高效算法，用于验证可线性化性并构造 $ Q $ 的线性化矩阵 $ C $（若存在）。
• 将表征结果扩展至完全无向图，并识别出更简单的可验证充分条件。
• 解决 QTSP 中可线性化性缺乏多项式时间证书的问题，该问题的判定与优化版本均为 NP-难。
• 探索可线性化矩阵的结构性质及其在二次 0-1 整数规划强重构中的应用。

提出的方法

• 将线性化问题定义为：判断是否存在一个线性代价矩阵 $ C $，使得对所有哈密顿回路 $ \tau $，均有 $ Q[\tau] = C(\tau) $。
• 引入矩阵的 $ (i,j) $-CVP（常数值性质）概念，即所有包含边 $ (i,j) $ 的回路具有相同代价；证明当且仅当对所有 $ (i,j) $，矩阵 $ R^{ij} $ 均满足 $ (i,j) $-CVP 时，$ Q $ 可线性化。
• 通过计算每条边 $ (i,j) $ 的 $ (i,j) $-CVP 值来构造线性化矩阵 $ C $，使用公式 $ c_{ij} = q_{ij} + \sum_{k \in N_i} a_k + \sum_{k \in N_j} b_k $，该公式由 CVP 性质推导得出。
• 通过将 $ q_{ijkl} $ 分解为四项之和 $ a_{ijk} + b_{ijl} + d_{ikl} + h_{jkl} $，推导出可线性化的充分条件，进而通过索引求和实现线性化。
• 设计一项 $ \mathcal{O}(n^5) $ 时间复杂度的算法，用于验证所有 $ (i,j) $ 对的 CVP 条件，利用矩阵与索引操作。
• 通过将 CVP 和分解条件适配至对称边对，将结果推广至无向图。

实验结果

研究问题

• RQ1 二次代价矩阵 $ Q $ 在 QTSP 中可线性化的必要与充分条件是什么？
• RQ2 能否在多项式时间内验证 $ Q $ 的可线性化性？若可，此类验证的时间复杂度是多少？
• RQ3 是否存在更简单、易于验证的充分条件，可在实际中应用？
• RQ4 QTSP 中可线性化矩阵的结构性质，与 QAP 或二次生成树等其他二次组合优化问题中的结构性质相比如何？
• RQ5 该表征能否推广至特殊图类（如轮图或 Halin 图）？哪些结构性特征可促成或阻碍可线性化性？

主要发现

• 当且仅当对每条边 $ (i,j) $，由 $ Q $ 导出的矩阵 $ R^{ij} $ 均满足 $ (i,j) $-常数值性质（CVP）时，二次代价矩阵 $ Q $ 可线性化。
• 可线性化性可在 $ \mathcal{O}(n^5) $ 时间内验证，该时间复杂度接近一般 QTSP 实例输入规模 $ \mathcal{O}(n^4) $ 的线性时间。
• 可在相同 $ \mathcal{O}(n^5) $ 时间内显式构造出 $ Q $ 的线性化矩阵 $ C $，方法为利用每条边的 CVP 值。
• 可线性化的充分条件包括 $ Q $ 为弱和矩阵，即 $ q_{ijkl} = a_{ijk} + b_{ijl} + d_{ikl} + h_{jkl} $，该条件可通过索引求和保证可线性化。
• 通过将 CVP 和分解条件适配至对称边对，该表征可直接推广至完全无向图。
• 对于轮图等特殊图，每条二次代价矩阵 $ Q $ 均可线性化，因为线性化方程组由于回路数量少而始终一致。