Results 1 
2 of
2
Testable Algorithms for SelfAvoiding Walks
, 1994
"... We present a polynomial time Monte Carlo algorithm for almost uniformly generating and approximately counting selfavoiding walks in rectangular lattices Z d . These are classical problems that arise, for example, in the study of long polymer chains. While there are a number of Monte Carlo algorit ..."
Abstract

Cited by 17 (3 self)
 Add to MetaCart
We present a polynomial time Monte Carlo algorithm for almost uniformly generating and approximately counting selfavoiding walks in rectangular lattices Z d . These are classical problems that arise, for example, in the study of long polymer chains. While there are a number of Monte Carlo algorithms used to solve these problems in practice, these are heuristic and their correctness relies on unproven conjectures. In contrast, our algorithm depends on a single, widelybelieved conjecture that is weaker than preceding assumptions, and, more importantly, is one which the algorithm itself can test. Thus our algorithm is reliable, in the sense that it either outputs answers that are guaranteed, with high probability, to be correct, or finds a counterexample to the conjecture. 1 Summary 1.1 Background A selfavoiding walk in a graph is a walk which starts at a fixed origin and passes through each vertex at most once. This paper is concerned with selfavoiding walks in lattices, in par...