2000
DOI: 10.1126/science.288.5469.1223
|View full text |Cite
|
Sign up to set email alerts
|

Molecular Computation by DNA Hairpin Formation

Abstract: Hairpin formation by single-stranded DNA molecules was exploited in a DNA-based computation in order to explore the feasibility of autonomous molecular computing. An instance of the satisfiability problem, a famous hard combinatorial problem, was solved by using molecular biology techniques. The satisfiability of a given Boolean formula was examined autonomously, on the basis of hairpin formation by the molecules that represent the formula. This computation algorithm can test several clauses in the given formu… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
127
0
1

Year Published

2003
2003
2016
2016

Publication Types

Select...
5
4

Relationship

0
9

Authors

Journals

citations
Cited by 355 publications
(136 citation statements)
references
References 20 publications
0
127
0
1
Order By: Relevance
“…In a similar way, constraints may be used to define the parameter space where computation under each method would be possible. For instance, the Whiplash PCR method for DNA computing recently proposed by Hagiya et al [86] may be constrained to single-stranded molecules of a certain optimal length, in a maximum concentration, and where the different variables are encoded with a minimum base-pairing disagreement for each pair of variables. This systems biology approach provides a basis for understanding of the structure and function of biological organisms through an incremental process that takes into consideration the expected lack of complete kinetic information.…”
Section: Discussionmentioning
confidence: 99%
“…In a similar way, constraints may be used to define the parameter space where computation under each method would be possible. For instance, the Whiplash PCR method for DNA computing recently proposed by Hagiya et al [86] may be constrained to single-stranded molecules of a certain optimal length, in a maximum concentration, and where the different variables are encoded with a minimum base-pairing disagreement for each pair of variables. This systems biology approach provides a basis for understanding of the structure and function of biological organisms through an incremental process that takes into consideration the expected lack of complete kinetic information.…”
Section: Discussionmentioning
confidence: 99%
“…Otherwise, 0-1 programming problem and the satisfiability problem are both closely related, and 0-1 programming problem is a generalization of the satisfiability problem. Up to now, there have been many results for solving the satisfiability problem (Yoshida, 1999;Skamoto, 2000;Cukras et al, 1999;Braich et al, 2002). However, the model of 0-1 programming problem based on DNA computing has never been studied.…”
Section: The 0-1 Programming Problemmentioning
confidence: 99%
“…From the practical point of view, the randomized algorithm is similar to the nondeterministic algorithm I present here. Sakamoto et al attempted to improve the efficiency of 3-SAT-solving, DNA computing systems by considering DNA encodings of clauses, rather than variables (Sakamoto et al 2000). However, implementing DNA computation presents significant challenges (Braich et al 2002), such as high error rates (Winfree and Bekbolatov 2003).…”
Section: Self-assembly and Tilesmentioning
confidence: 99%
“…Further, selfassembly systems allow for implementations that require a small, constant number of laboratory steps to execute, whereas DNA computing requires a larger number of steps. While some approaches have attempted to minimize this number of steps (Sakamoto et al 2000), it still typically depends on the size of the input (Winfree et al 1998). …”
Section: Self-assembly and Tilesmentioning
confidence: 99%