arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2201.03846math.OCmath.CO
收藏

通过整数线性规划寻找4-正则多重图的第二个Hamilton分解

Finding a second Hamiltonian decomposition of a 4-regular multigraph by integer linear programming

Andrei V. Nikolaev, Egor V. Klimov

AI总结:

针对4-正则多重图的第二个Hamilton分解问题,提出基于DFJ与MTZ公式的整数线性规划模型,并结合变邻域下降和链式边固定,实验表明二者分别在有向与无向情形表现突出。

摘要:

正则图的Hamilton分解是将其边集划分为若干个Hamilton圈。我们考虑第二个Hamilton分解问题:对于一个4-正则多重图,寻找2个与给定圈不同的边不交Hamilton圈。该问题产生于多面体组合学,是旅行商多面体1-骨架中不相邻的充分条件。我们基于旅行商问题的经典Dantzig–Fulkerson–Johnson和Miller–Tucker–Zemlin公式,为该问题引入两个整数线性规划模型。为提升在可行问题上的性能,我们用关于两种邻域结构的变邻域下降启发式算法以及链式边固定过程来补充该算法。计算实验表明,Dantzig–Fulkerson–Johnson公式在有向多重图上表现最佳,而在无向多重图上,变邻域下降启发式算法尤其有效。

英文摘要:

A Hamiltonian decomposition of a regular graph is a partition of its edge set into Hamiltonian cycles. We consider the second Hamiltonian decomposition problem: for a 4-regular multigraph find 2 edge-disjoint Hamiltonian cycles different from the given ones. This problem arises in polyhedral combinatorics as a sufficient condition for non-adjacency in the 1-skeleton of the travelling salesperson polytope. We introduce two integer linear programming models for the problem based on the classical Dantzig-Fulkerson-Johnson and Miller-Tucker-Zemlin formulations for the travelling salesperson problem. To enhance the performance on feasible problems, we supplement the algorithm with a variable neighbourhood descent heuristic w.r.t. two neighbourhood structures, and a chain edge fixing procedure. Based on the computational experiments, the Dantzig-Fulkerson-Johnson formulation showed the best results on directed multigraphs, while on undirected multigraphs, the variable neighbourhood descent heuristic was especially effective.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑