# On the Power of DNA-Computing

@article{Roo1996OnTP, title={On the Power of DNA-Computing}, author={Diana Roo{\ss} and Klaus W. Wagner}, journal={Inf. Comput.}, year={1996}, volume={131}, pages={95-109} }

Adleman used biological manipulations with DNA strings to solve some instances of the Directed Hamiltonian Path Problem. Lipton showed how to extend this idea to solve any NP problem. We prove that exactly the problems in PNP=?p2can be solved in polynomial time using Lipton's model. Various modifications of Lipton's model, based on other DNA manipulations, are investigated systematically, and it is proved that their computational power in polynomial time can be characterized by one of the…

## 30 Citations

### Recent developments in DNA-computing

- Physics, Computer ScienceProceedings 1997 27th International Symposium on Multiple- Valued Logic
- 1997

A flood of further research on computing with molecular means in theoretical computer science was introduced and examined, concerning their computational power, their efficiency and their error resistance, in this survey.

### DNA-Based Modelling of Parallel Algorithms

- Computer ScienceWOB
- 2002

This work proposes a formal model to represent the DNA structure and the operations performed in laboratory with it, which can be used to analyze DNA-based algorithms, as well as for simulating such algorithms in a computer.

### The Minimum DNA Computation Model andIts Computational Power ?

- Computer Science
- 1997

Tight upper bounds are shown on the power of this computational model in terms of circuits using polynomially many DNA molecules resides between NC k and SAC k+1.

### Molecular Computing, Bounded Nondeterminism, and Efficient Recursion

- Computer ScienceAlgorithmica
- 1999

This work identifies a large class of recursive algorithms that can be implemented using bounded nondeterminism, and yields improved molecular algorithms for important problems like 3-SAT, independent set, and 3-colorability.

### DNA algorithms for computing shortest paths

- Computer Science
- 1998

The aim of this paper is to extend the basic DNA algorithmic techniques of Adleman and Lipton by proposing a method for representing simple arc information — in this case, distances between cities in a simple map.

### Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms

- Computer ScienceTheor. Comput. Sci.
- 2002

### Strategies for the development of a peptide computer

- Computer ScienceBioinform.
- 2001

A computational model using protein-protein interactions and peptide-antibody interactions to solve examples of the satisfiability problem and shows for example how a sequence of operations can be used to compare the number of occurrences of an element in two sets.

### Volume bounded molecular computation

- Computer Science
- 1997

It is shown that every NP problem that can be solved with b(n) bits of nondeterminism can be solve by molecular computation with four test tubes, in volume 2b(n).

### DNA-EC: A model of DNA-computing based on equality checking

- Computer ScienceDNA Based Computers
- 1997

This paper proposes new models for DNA computation based on a simple principle called equality checking that may include the universal computability of the general models, the clarity and simplicity of molecular biological operations employed, and the high feasibility in molecular biological implementation of the models.

### Representing arc labels in DNA algorithmsAjit

- Computer Science
- 1997

The aim of this paper is to extend the basic DNA algorithmic techniques of Adleman and Lipton by demonstrating a method for representing simple arc information, in this case, distances between cities in a simple map.

## References

SHOWING 1-8 OF 8 REFERENCES

### Using DNA to Solve NP-Complete ProblemsRichard

- Computer Science
- 1995

We show how to use DNA experiments to solve the famous \SAT" problem of Computer Science. This is a special case of a more general method that can solve NP-complete problems, rst introduced in 3].…

### Molecular computation of solutions to combinatorial problems.

- PhysicsScience
- 1994

This experiment demonstrates the feasibility of carrying out computations at the molecular level by solving an instance of the directed Hamiltonian path problem with standard protocols and enzymes.

### Complexity theory and genetics

- Computer ScienceProceedings of IEEE 9th Annual Conference on Structure in Complexity Theory
- 1994

A population genetics model in which the operators are effectively computable-computable in polynomial time on probabilistic Turing machines is introduced, and it is shown that a population can encode easily large amount of information from environment into genetic code and process the information as a parallel computer.

### Algorithms for quantum computation: discrete logarithms and factoring

- Computer ScienceProceedings 35th Annual Symposium on Foundations of Computer Science
- 1994

Las Vegas algorithms for finding discrete logarithms and factoring integers on a quantum computer that take a number of steps which is polynomial in the input size, e.g., the number of digits of the integer to be factored are given.

### Introduction to the theory of complexity

- Computer SciencePrentice Hall international series in computer science
- 1994

1. Mathematical Preliminaries, Elements of Computability Theory, and Space-Complexity Classes: Algorithms and Complexity Classes.

### Quantum complexity theory

- Computer ScienceSTOC
- 1993

This paper gives the first formal evidence that quantum Turing machines violate the modern (complexity theoretic) formulation of the Church--Turing thesis, and proves that bits of precision suffice to support a step computation.

### Speeding up computations via molecular biology

- Computer ScienceDNA Based Computers
- 1995

We show how to extend the recent result of Adleman 1] to use biological experiments to directly solve any NP problem. We, then, show how to use this method to speedup a large class of important…

### Quantum theory, the Church–Turing principle and the universal quantum computer

- Physics, PhilosophyProceedings of the Royal Society of London. A. Mathematical and Physical Sciences
- 1985

It is argued that underlying the Church–Turing hypothesis there is an implicit physical assertion. Here, this assertion is presented explicitly as a physical principle: ‘every finitely realizible…