Summary
To reduce the computing cost (i.e., the molecular number and time) of molecular computers by using DNA, RNA, and other biomolecules is an important task for enhancing their computing performance with parallelism obtained by biological implementation. For this purpose, we propose a new molecular computing method, namely, computing with Rho family GTPases, which differs from the Adleman-Lipton paradigm of DNA computing [1,9] and surfaced-based techniques [2]. This method employs the signaling pathways (the pathways of Rho family GTPases) of in situ cells that are formalized as a special kind of hypergraph rewriting, thus forming “conceptualized pathway objects” that systematically guarantee the rigorousness of massive parallel computing processes.
The 3-SAT problem is used as a benchmark for testing the algorithm of our method. The initial values, the given clauses of the 3-SAT problem, are encoded as signaling molecules and treated as cell input by means of inter-cell communication. Then, after being transmitted by the sender molecules of the cells’ skeleton, these molecules are accepted by the receptor molecules within the cells. Consequently, the pathways of the cells are activated to generate candidate solutions in the reactant molecules’ form in parallel. The process of making these molecules interact in a stepwise manner is carried out recursively based on the implicit constraints within the problem solving itself. Depending on the complexity of the biological mechanism of the molecules for biochemical reactions in the cells, a high degree of autonomy, both in computation theory and in biological faithfulness, is obtained by the entire computing process. By applying our method to solve 3-SAT problems, we have obtained a space complexity of O(m x n)and a time complexity of O(m), where m is the number of clauses and n is the number of variables.
The experimental results obtained from a corresponding software simulator (impleme ntation) of our method show that the algorithm that we have obtained is efficient from the viewpoint of computing costs and that it also has reasonable biological faithfulness with a strong potential for further biological implementation by cells in situ.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Adleman, L.M. (1994) Molecular computation of solutions to combinatorial problems. Science, 266: 1021–1024.
Liu, Q., Wang, L., Frutos, A.Q., Condon, A.E., Corn, R.M., and Smith, L.M. (2000) DNA computing on surfaces. Nature, 403:175–179.
Ogihara, M. and Ray, A. (2000) DNA computing on a chip. Nature, 403:143–144.
Sakamoto, K., Gouzu, H., Komiya, K., Kiga, D., Yokoyama, S., Yokomori, T., and Hagiya, M. (2000) Molecular computation by DNA hairpin formation. Science, 288:1223–1226.
Braich, R.S., Johnson, C., Rothemund, P.W.K., Hwang, D., Chelyapov, N. and Adleman, L.M. (2000) Solution of a satisfiability problem on a gel-based DNA computer. In Pre-proc. of DNA 6:31–42.
Condon, A., and Rozenberg, G., editors, (2000) Proc. of DNA6.
Schöning, U. (1999) A probabilistic algorithm for k-SAT and constraint satisfaction problems. In Proceedings of the 40th Symposium on Foundations of Computer Science, IEEE Computer Society, Los Alamitos, CA 410–414.
Díaz, S., Esteban, J.L., and Ogihara, M. (2000) A DNA-based random walk method for solving k-SAT. In Pre-proc. of DNA 6:181–191.
Lipton, R. (1995) DNA solutions of hard computational problems. Science, 268:542–545.
Garey, M.R., Johnson, D.S. (1979) Computers and intractability — a guide to the theory of NP-completeness. Freeman.
Rozenberg, G., Salomaa, A., eds. (1997) Handbook of formal languages. Springer-Verlag, Heidelberg.
Liu, J.-Q., and Shimohara, K. (2001) Pathway graph models for molecular computing in situ. RIMS, Kokyuroku 1222, RIMS, Kyoto University 128–137.
Liu, J.-Q., and Shimohara, K. (2001) On arithmetic units and logic operators of kinase-based molecular computers. IPSJ SIG Notes, Vol. 2001,No. 93 25–32.
Scott, J.D., and Pawson, T. (2000) Cell communication: the inside story. Scientific American 54–61.
Kaibuchi, K., Kuroda, S., and Amano, M. (1999) Regulation of the cytoskeleton and cell adhesion by the Rho family GTPases in mammalian cells. Annu. Rev. Biochem. 68:459–486.
Liu, J.-Q., and Shimohara, K. (2001) Kinase computing in GTPases: analysis and simulation. IPSJ SIG Notes, Vol. 2001,No. 91:29–32.
Liu, J.-Q., and Shimohara, K. (2003) On the computational complexity of molecular computing by pathways. ATR-HIS Technical Report.
Courcelle, B. (1997) The expression of graph properties and graph transformations in monadic second-order logic. Chapter 5 of the “Handbook of graph grammars and computing by graph transformations, Vol. 1: Foundations”, Rozenberg, R., (ed.), World Scientific (New-Jersey, London), 313–400.
Liu, J.-Q., and Shimohara, K. (2001) Graph rewriting in topology I: operators and the grammar. SIG-FAI-A101-4 (9/21):21–26.
Milner, R. (2001) Bigraphical reactive systems: basic theory. (http://www.cl.cam.ac.uk/users/rm135/bigraphs.ps.gz).
Liu, J.-Q., and Shimohara, K. (2001) Graph rewriting in topology II: computability. Proc. of the 5th Symposium on Algebra, Language and Computation, Edited by Imaoka, T., and Shoji, K., (Shimane, Japan), 63–68.
Inagaki, N., Chihara, K., Arimura, N., et al., (2001) CRMP-2 induces axons in cultured hippocampal neurons. Nature Neuroscience, 4(8):781–782.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag London Limited
About this chapter
Cite this chapter
Liu, JQ., Shimohara, K. (2005). Molecular Computing by Signaling Pathways. In: Wu, X., Jain, L., Graña, M., Duro, R.J., d’Anjou, A., Wang, P.P. (eds) Information Processing with Evolutionary Algorithms. Advanced Information and Knowledge Processing. Springer, London. https://doi.org/10.1007/1-84628-117-2_18
Download citation
DOI: https://doi.org/10.1007/1-84628-117-2_18
Publisher Name: Springer, London
Print ISBN: 978-1-85233-866-4
Online ISBN: 978-1-84628-117-4
eBook Packages: Computer ScienceComputer Science (R0)