Performances of pure random walk algorithms on constraint satisfaction problems with growing domains

被引:6
作者
Xu, Wei [1 ]
Gong, Fuzhou [2 ]
机构
[1] Beihang Univ, Sch Math & Syst Sci, Beijing 100191, Peoples R China
[2] Chinese Acad Sci, Acad Math & Syst Sci, Inst Appl Math, Beijing 100190, Peoples R China
基金
中国国家自然科学基金;
关键词
Constraint satisfaction problems; Model RB; Random walk; Local search algorithms; PHASE-TRANSITION; BOUNDS;
D O I
10.1007/s10878-015-9891-9
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
The performances of two types of pure random walk (PRW) algorithms for a model of constraint satisfaction problem with growing domains (called Model RB) are investigated. Threshold phenomenons appear for both algorithms. In particular, when the constraint density is smaller than a threshold value , PRW algorithms can solve instances of Model RB efficiently, but when is bigger than the , they fail. Using a physical method, we find out the threshold values for both algorithms. When the number of variables is large, the threshold values tend to zero, so generally speaking PRW does not work on Model RB. By performing experiments, we show that PRW strategy cannot do better than other fundamental strategies.
引用
收藏
页码:51 / 66
页数:16
相关论文
共 35 条
  • [1] Achlioptas D, 1997, LECT NOTES COMPUT SC, V1330, P107, DOI 10.1007/BFb0017433
  • [2] Linear upper bounds for random walk on small density random 3-CNFs
    Alekhnovich, Mikhail
    Ben-Sasson, Eli
    [J]. SIAM JOURNAL ON COMPUTING, 2006, 36 (05) : 1248 - 1263
  • [3] Alphonse E, 2008, LECT NOTES ARTIF INT, V5194, P6, DOI 10.1007/978-3-540-85928-4_6
  • [4] Solving satisfiability problems by fluctuations: The dynamics of stochastic local search algorithms
    Barthel, W
    Hartmann, AK
    Weigt, M
    [J]. PHYSICAL REVIEW E, 2003, 67 (06): : 15
  • [5] BRODER AZ, 1993, PROCEEDINGS OF THE FOURTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P322
  • [6] PROBABILISTIC ANALYSIS OF 2 HEURISTICS FOR THE 3-SATISFIABILITY PROBLEM
    CHAO, MT
    FRANCO, J
    [J]. SIAM JOURNAL ON COMPUTING, 1986, 15 (04) : 1106 - 1118
  • [7] Coja-Oghlan A., 2012, P ANALCO, P48
  • [8] Coja-Oghlan A, 2009, PROCEEDINGS OF THE TWENTIETH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P451
  • [9] A general model and thresholds for random constraint satisfaction problems
    Fan, Yun
    Shen, Jing
    Xu, Ke
    [J]. ARTIFICIAL INTELLIGENCE, 2012, 193 : 1 - 17
  • [10] On the phase transitions of random k-constraint satisfaction problems
    Fan, Yun
    Shen, Jing
    [J]. ARTIFICIAL INTELLIGENCE, 2011, 175 (3-4) : 914 - 927