论文部分内容阅读
The concept of aqueous computing is presented here, first in full generality,and afterward, using an implementation in a specific enzymatic technology. Aqueous computingarose in the context of biomolecular (DNA) computing, but the concept is independent ofthe specifics of its biochemical origin. Altate technologies for realizing aqueous computingare being considered for future implementation. A solution of an instance of the Booleansatisfiability problem, (SAT), is reported here that provides a new example of an aqueouscomputation that has been carried out successfully. This small instance of the SAT problemis sufficiently complex to allow our current enzymatic technology to be illustrated in detail.The reader is invited to participate in the rich interdisciplinary activity required by wet labcomputing. A project is suggested to the reader for determining the three-colorings of a graph.The basic operations required for this project are exhibited in the solution of the SAT examplereported here.