Testable Algorithms for Self-Avoiding Walks

TitleTestable Algorithms for Self-Avoiding Walks
Publication TypeTechnical Report
Year of Publication1993
AuthorsRandall, D., & Sinclair A.
Other Numbers843

We present a polynomial time Monte Carlo algorithm for almost uniformly generating and approximately counting self-avoiding walks in rectangular lattices. 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 relies on a single, widely-believed conjecture that is simpler 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.

Bibliographic Notes

ICSI Technical Report TR-93-055

Abbreviated Authors

D. Randall and A. Sinclair

ICSI Publication Type

Technical Report