Abstract
Tom Head, [1] has given a simple and elegant method of aqueous computing to solve 3SAT. The procedure makes use of Divide-Delete-Drop operations performed on plasmids. In [4], a different set of operations, Cut-Expand-Ligate, are used to solve several NP-Complete problems. In this paper, we combine the features in the two procedures and define Cut-Delete-Expand-Ligate which is powerful enough to solve #3SAT, which is a counting version of 3SAT known to be in IP. The solution obtained is advantageous to break the propositional logic based cryptosystem introduced by J. Kari [5].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Head, T.: Circular Suggestions for DNA Computing. In: Carbone, A., Gromov, M., Prusinkeiwicz, P. (eds.) Pattern Formation in Biology, Vision and Dynamics, pp. 325–335. World Scientific, Singapore (2000)
Head, T.: Splicing Systems, Aqueous Computing, and Beyond. In: Antoniou, I., Calude, C.S., Dinneen, M.J. (eds.) Unconventional Models of Computation, UMC 2000, pp. 68–84. Springer, Berlin (2001)
Head, T., Rozenberg, G., Bladergreen, R.S., Breek, C.K.D., Lommerse, P.H.M., Spaink, H.P.S.: Computing with DNA by Operating on Plasmids. BioSystems 57, 87–93 (2000)
Head, T., Yamamura, M., Gal, S.: Aqueous Computing: Writing on Molecules. In: Proc. Congress on Evolutionary Computation 1999, pp. 1006–1010. IEEE Service Center, Piscataway (1999)
Kari, J.: A Cryptosystem based on Propositional Logic. In: Dassow, J., Kelemen, J. (eds.) IMYCS 1988. 5th International Meeting of Young Computer Scientists, vol. 381, pp. 210–219. Springer, Heidelberg (1989)
Siromoney, R., Bireswar, D.: DNA Algorithm for Breaking a Propositional Logic Based Cryptosystem. Bulletin of the EATCS 79, 170–176 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Siromoney, R., Das, B. (2003). Plasmids to Solve #3SAT. In: Jonoska, N., Păun, G., Rozenberg, G. (eds) Aspects of Molecular Computing. Lecture Notes in Computer Science, vol 2950. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24635-0_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-24635-0_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20781-8
Online ISBN: 978-3-540-24635-0
eBook Packages: Springer Book Archive