Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Analysis of Random Noise and Random Walk Algorithms for Satisfiability Testing

Bhaskar KrishnamachariContact Information, Xi XieContact Information, Bart SelmanContact Information and Stephen WickerContact Information

(5)  School of Electrical Engineering, Cornell University, Ithaca, NY, 14853
(6)  Department of Computer Science, Cornell University, Ithaca, NY, 14853
Abstract
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis of the performance of these algorithms. The performance measures we consider are the probability of finding a satisfying assignment and the distribution of the best solution observed on a given SAT instance. The analysis provides exact statistics, but is restricted to small problems as it requires the storage and use of knowledge about the entire search space. We examine the effect of p, the probability of making non-greedy moves, on these algorithms and provide a justification for the practice of choosing this value empirically.

Contact Information Bhaskar Krishnamachari
Email: bhaskar@ee.cornell.edu

Contact Information Xi Xie
Email: xie@ee.cornell.edu

Contact Information Bart Selman
Email: selman@cs.cornell.edu

Contact Information Stephen Wicker
Email: wicker@ee.cornell.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.109 • Server: mpweb18
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)