This paper presents a numerical method to compute all possible conformations of distance-constrained molecular loops, i.e., loops where some interatomic distances are held fixed, while others can vary. The method is general (it can be applied to single or multiple intermingled loops of arbitrary topology) and complete (it isolates all solutions, even if they form positive-dimensional sets). Generality is achieved by reducing the problem to finding all embeddings of a set of points constrained by pairwise distances, which can be formulated as computing the roots of a system of Cayley-Menger determinants. Completeness is achieved by expressing these determinants in Bernstein form and using a numerical algorithm that exploits such form to bound all root locations at any desired precision. The method is readily parallelizable, and the current implementation can be run on single- or multiprocessor machines. Experiments are included that show the method's performance on rigid loops, mobile loops, and multiloop molecules. In all cases, complete maps including all possible conformations are obtained, thus allowing an exhaustive analysis and visualization of all pseudo-rotation paths between different conformations satisfying loop closure.
(c) 2007 Wiley Periodicals, Inc.