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.
|
 |
Analysis of Random Noise and Random Walk Algorithms for Satisfiability Testing
| |
|
Analysis of Random Noise and Random Walk Algorithms for Satisfiability Testing
Bhaskar Krishnamachari5 , Xi Xie5 , Bart Selman6 and Stephen Wicker5 
| (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.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|