Skip to main content

Molecular Computing by Signaling Pathways

  • Chapter
  • 554 Accesses

Part of the book series: Advanced Information and Knowledge Processing ((AI&KP))

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adleman, L.M. (1994) Molecular computation of solutions to combinatorial problems. Science, 266: 1021–1024.

    ISI  Google Scholar 

  2. 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.

    Article  ISI  Google Scholar 

  3. Ogihara, M. and Ray, A. (2000) DNA computing on a chip. Nature, 403:143–144.

    Article  ISI  Google Scholar 

  4. 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.

    Article  ISI  Google Scholar 

  5. 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.

    Google Scholar 

  6. Condon, A., and Rozenberg, G., editors, (2000) Proc. of DNA6.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. Lipton, R. (1995) DNA solutions of hard computational problems. Science, 268:542–545.

    ISI  Google Scholar 

  10. Garey, M.R., Johnson, D.S. (1979) Computers and intractability — a guide to the theory of NP-completeness. Freeman.

    Google Scholar 

  11. Rozenberg, G., Salomaa, A., eds. (1997) Handbook of formal languages. Springer-Verlag, Heidelberg.

    Google Scholar 

  12. Liu, J.-Q., and Shimohara, K. (2001) Pathway graph models for molecular computing in situ. RIMS, Kokyuroku 1222, RIMS, Kyoto University 128–137.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. Scott, J.D., and Pawson, T. (2000) Cell communication: the inside story. Scientific American 54–61.

    Google Scholar 

  15. 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.

    Article  Google Scholar 

  16. Liu, J.-Q., and Shimohara, K. (2001) Kinase computing in GTPases: analysis and simulation. IPSJ SIG Notes, Vol. 2001,No. 91:29–32.

    Google Scholar 

  17. Liu, J.-Q., and Shimohara, K. (2003) On the computational complexity of molecular computing by pathways. ATR-HIS Technical Report.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. Liu, J.-Q., and Shimohara, K. (2001) Graph rewriting in topology I: operators and the grammar. SIG-FAI-A101-4 (9/21):21–26.

    Google Scholar 

  20. Milner, R. (2001) Bigraphical reactive systems: basic theory. (http://www.cl.cam.ac.uk/users/rm135/bigraphs.ps.gz).

    Google Scholar 

  21. 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.

    Google Scholar 

  22. Inagaki, N., Chihara, K., Arimura, N., et al., (2001) CRMP-2 induces axons in cultured hippocampal neurons. Nature Neuroscience, 4(8):781–782.

    Article  ISI  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics