摘要
The concept of aqueous computing is presented here, first in full generality,and afterward, using an implementation in a specific enzymatic technology. Aqueous computing arosein the context of biomolecular (DNA) computing, but the concept is independent of the specifics ofits biochemical origin. Alternate technologies for realizing aqueous computing are being consideredfor future implementation. A solution of an instance of the Boolean satisfiability problem, (SAT),is reported here that provides a new example of an aqueous computation that has been carried outsuccessfully. This small instance of the SAT problem is sufficiently complex to allow our currentenzymatic technology to be illustrated in detail. The reader is invited to participate in the richinterdisciplinary activity required by wet lab computing. A project is suggested to the reader fordetermining the three-colorings of a graph. The basic operations required for this project areexhibited in the solution of the SAT example reported here.
The concept of aqueous computing is presented here, first in full generality,and afterward, using an implementation in a specific enzymatic technology. Aqueous computing arosein the context of biomolecular (DNA) computing, but the concept is independent of the specifics ofits biochemical origin. Alternate technologies for realizing aqueous computing are being consideredfor future implementation. A solution of an instance of the Boolean satisfiability problem, (SAT),is reported here that provides a new example of an aqueous computation that has been carried outsuccessfully. This small instance of the SAT problem is sufficiently complex to allow our currentenzymatic technology to be illustrated in detail. The reader is invited to participate in the richinterdisciplinary activity required by wet lab computing. A project is suggested to the reader fordetermining the three-colorings of a graph. The basic operations required for this project areexhibited in the solution of the SAT example reported here.
基金
国家自然科学基金，the Leiden Center for Natural Computing, and the Leiden Institute for Advanced Computer Science
