Skip to main content

Divide and concur: A general approach to constraint satisfaction

Cornell Affiliated Author(s)

Author

S. Gravel
V. Elser

Abstract

Many difficult computational problems involve the simultaneous satisfaction of multiple constraints that are individually easy to satisfy. These constraints might be derived from measurements (as in tomography or diffractive imaging), interparticle interactions (as in spin glasses), or a combination of sources (as in protein folding). We present a simple geometric framework to express and solve such problems and apply it to two benchmarks. In the first application (3SAT, a Boolean satisfaction problem), the resulting method exhibits similar performance scaling as a leading context-specific algorithm (WALKSAT). In the second application (sphere packing), the method allowed us to find improved solutions to some old and well-studied optimization problems. Based upon its simplicity and observed efficiency, we argue that this framework provides a competitive alternative to stochastic methods such as simulated annealing. © 2008 The American Physical Society.

Date Published

Journal

Physical Review E - Statistical, Nonlinear, and Soft Matter Physics

Volume

78

Issue

3

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-54749141939&doi=10.1103%2fPhysRevE.78.036706&partnerID=40&md5=026fd0fc1465d9f6db0e2be7f3dca74e

DOI

10.1103/PhysRevE.78.036706

Group (Lab)

Veit Elser Group

Download citation