Sökning: onr:"swepub:oai:DiVA.org:kth-8493" >
Circumspect descent...
Circumspect descent prevails in solving random constraint satisfaction problems
-
Alava, Mikko (författare)
-
- Ardelius, John (författare)
- KTH,Beräkningsbiologi, CB
-
- Aurell, Erik (författare)
- KTH,Beräkningsbiologi, CB
-
visa fler...
-
Kaski, P. (författare)
-
Krishnamurthy, S. (författare)
-
Orponen, P. (författare)
-
Seitz, S (författare)
-
visa färre...
-
(creator_code:org_t)
- 2008-10-07
- 2008
- Engelska.
-
Ingår i: Proceedings of the National Academy of Sciences of the United States of America. - : Proceedings of the National Academy of Sciences. - 0027-8424 .- 1091-6490. ; 105:40, s. 15253-15257
- Relaterad länk:
-
http://www.pnas.org/...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We study the performance of stochastic local search algorithms for random instances of the K-satisfiability (K-SAT) problem. We present a stochastic local search algorithm, ChainSAT, which moves in the energy landscape of a problem instance by never going upwards in energy. ChainSAT is a focused algorithm in the sense that it focuses on variables occurring in unsatisfied clauses. We show by extensive numerical investigations that ChainSAT and other focused algorithms solve large K-SAT instances almost surely in linear time, up to high clause-to-variable ratios a; for example, for K = 4 we observe linear-time performance well beyond the recently postulated clustering and condensation transitions in the solution space. The performance of ChainSAT is a surprise given that by design the algorithm gets trapped into the first local energy minimum it encounters, yet no such minima are encountered. We also study the geometry of the solution space as accessed by stochastic local search algorithms.
Ämnesord
- NATURVETENSKAP -- Biologi -- Annan biologi (hsv//swe)
- NATURAL SCIENCES -- Biological Sciences -- Other Biological Topics (hsv//eng)
Nyckelord
- geometry of solutions local search
- performance
- random K-SAT
- Other biology
- Övrig biologi
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas