Abstract.
The maximum number of strands used is an important measure of a molecular algorithm's complexity. This measure is also called the volume used by the algorithm. Every problem that can be solved by an NP Turing machine with b(n) binary nondeterministic choices can be solved by molecular computation in a polynomial number of steps, with four test tubes, in volume 2 b(n) . We identify a large class of recursive algorithms that can be implemented using bounded nondeterminism. This yields improved molecular algorithms for important problems like 3-SAT, independent set, and 3-colorability.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received May 5, 1997; revised March 24, 1998.
Rights and permissions
About this article
Cite this article
Beigel, R., Fu, B. Molecular Computing, Bounded Nondeterminism, and Efficient Recursion. Algorithmica 25, 222–238 (1999). https://doi.org/10.1007/PL00008275
Issue Date:
DOI: https://doi.org/10.1007/PL00008275