当前位置: X-MOL 学术Phys. Rev. E › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Cutting-plane algorithms and solution whitening for the vertex-cover problem
Physical Review E ( IF 2.2 ) Pub Date : 2022-09-19 , DOI: 10.1103/physreve.106.035305
G Claussen 1 , A K Hartmann 1
Affiliation  

The phase-transition behavior of the NP-hard vertex-cover (VC) combinatorial optimization problem is studied numerically by linear programming (LP) on ensembles of random graphs. As the basic Simplex (SX) algorithm suitable for such LPs may produce incomplete solutions for sufficiently complex graphs, the application of cutting-plane (CP) methods is sought. We consider Gomory and {0,12} cuts. We measure the probability of obtaining complete solutions with these approaches as a function of the average node degree c and observe transition between typically complete and incomplete phase regions. While not generally complete solutions are obtained for graphs of arbitrarily high complexity, the CP approaches still advance the boundary in comparison to the pure SX algorithm, beyond the known replica-symmetry breaking (RSB) transition at c=e2.718. In fact, our results provide evidence for another algorithmic transition at c2.90(2). Besides this, we quantify the transition between easy and hard solvability of the VC problem also in terms of numerical effort. Further we study the so-called whitening of the solution, which is a measure for the degree of freedom that single vertices experience with respect to degenerate solutions. Inspection of the quantities related to clusters of white vertices reveals that whitening is affected, only slightly but measurably, by the RSB transition.

中文翻译:

顶点覆盖问题的切割平面算法和解决方案白化

NP-hard vertex-cover (VC) 组合优化问题的相变行为通过对随机图集合的线性规划 (LP) 进行数值研究。由于适用于此类 LP 的基本 Simplex (SX) 算法可能会为足够复杂的图产生不完整的解决方案,因此寻求切割平面 (CP) 方法的应用。我们考虑 Gomory 和{0,12}削减。我们测量使用这些方法获得完整解决方案的概率作为平均节点度的函数C并观察典型的完整和不完整相位区域之间的过渡。虽然对于任意高复杂度的图通常不会获得完整的解决方案,但与纯 SX 算法相比,CP 方法仍然推进了边界,超出了已知的复制对称破坏 (RSB) 转换C=e2.718. 事实上,我们的结果为另一种算法转换提供了证据C2.90(2). 除此之外,我们还根据数值努力量化了 VC 问题的易解性和难解性之间的转换。我们进一步研究了所谓的解决方案白化,这是单个顶点相对于退化解决方案所经历的自由度的度量。检查与白色顶点簇相关的数量表明,白化受 RSB 转换的影响很小,但可测量。
更新日期:2022-09-19
down
wechat
bug