Phase transition for cutting-plane approach to vertex-cover problem

被引:11
作者
Dewenter, Timo [1 ]
Hartmann, Alexander K. [1 ]
机构
[1] Carl von Ossietzky Univ Oldenburg, Inst Phys, D-26111 Oldenburg, Germany
来源
PHYSICAL REVIEW E | 2012年 / 86卷 / 04期
关键词
SATISFIABILITY;
D O I
10.1103/PhysRevE.86.041128
中图分类号
O35 [流体力学]; O53 [等离子体物理学];
学科分类号
070204 ; 080103 ; 080704 ;
摘要
We study the vertex-cover problem, which is a nondeterministic polynomial-time hard optimization problem and a prototypical model exhibiting phase transitions on random graphs, such as Erdos-Renyi (ER) random graphs. These phase transitions coincide with changes of the solution space structure, e.g., for the ER ensemble at connectivity c = e approximate to 2.7183 from replica symmetric to replica-symmetry broken. For the vertex-cover problem, the typical complexity of exact branch-and-bound algorithms, which proceed by exploring the landscape of feasible configurations, also changes close to this phase transition from "easy" to "hard." In this work, we consider an algorithm which has a completely different strategy: The problem is mapped onto a linear programming problem augmented by a cutting-plane approach; hence the algorithm operates in a space outside the space of feasible configurations until the final step, where a solution is found. Here we show that this type of algorithm also exhibits an easy-hard transition around c = e, which strongly indicates that the typical hardness of a problem is fundamental to the problem and not due to a specific representation of the problem.
引用
收藏
页数:4
相关论文
共 29 条
[1]   Stochastic Matching Problem [J].
Altarelli, F. ;
Braunstein, A. ;
Ramezanpour, A. ;
Zecchina, R. .
PHYSICAL REVIEW LETTERS, 2011, 106 (19)
[2]  
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[3]  
[Anonymous], 1998, COMBINATORIAL OPTIMI
[4]   Behavior of heuristics on large and hard satisfiability problems [J].
Ardelius, John ;
Aurell, Erik .
PHYSICAL REVIEW E, 2006, 74 (03)
[5]  
Barthel W, 2004, PHYS REV E, V70, DOI 10.1103/PhysRevE.70.066120
[6]   Core percolation in random graphs: a critical phenomena analysis [J].
Bauer, M ;
Golinelli, O .
EUROPEAN PHYSICAL JOURNAL B, 2001, 24 (03) :339-352
[7]  
Berkelaar M., 2010, COMPUTER CODE LP SOL
[8]  
Bland R. G., 1977, Mathematics of Operations Research, V2, P103, DOI 10.1287/moor.2.2.103
[9]   Trajectories in phase diagrams, growth processes, and computational complexity: How search algorithms solve the 3-satisfiability problem [J].
Cocco, S ;
Monasson, R .
PHYSICAL REVIEW LETTERS, 2001, 86 (08) :1654-1657
[10]  
Cook W., 1998, COMBINATORIAL OPTIMI