Abstract
We present in this paper a neural-like membrane system solving the SAT problem in linear time. These neural Psystems are nets of cells working with multisets. Each cell has a finite state memory, processes multisets of symbol-impulses, and can send impulses (“excitations”) to the neighboring cells. The maximal mode of rules application and the replicative mode of communication between cells are at the core of the eficiency of these systems.
Work partially supported by the Spanish Ministry of Science and Technology under Project TIC2002-04220-C03-03.
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
B. Alberts et al., Essential Cell Biology. An Introduction to the Molecular Biology of the Cell, Garland Publ. Inc., New York, London, 1998.
M.A. Arbib, Brains, Machines, and Mathematics, second ed., Springer-Verlag, Berlin, 1987.
J.P. Banatre, P. Fradet, D. LeMetayer, Gamma and the chemical abstract reaction model: fifteen years after, in vol. Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View (C.S. Calude, Gh. Păun, G. Rozenberg, A. Salomaa, eds.), Lecture Notes in Computer Science, 2235, Springer-Verlag, 2001, 17–44.
D.S. Blank et al (24 co-authors), Connectionist symbol processing: Dead or alive?, Neural Computing Surveys, 2 (1999), 1–40.
C. Choffrut, ed., Automata Networks, Lecture Notes in Computer Science, 316, Springer-Verlag, Berlin, 1988.
E. Csuhaj-Varju, C. Martin-Vide, V. Mitrana, Multiset automata, in vol. Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View (C.S. Calude, Gh. Păun, G. Rozenberg, A. Salomaa, eds), Lecture Notes in Computer Science, 2235, Springer-Verlag, 2001, 67–82.
F. Gecseg, Products of Automata, Springer-Verlag, Berlin, 1986.
S.C. Kleene, Representation of events in nerve nets and finite automata, Automata Studies, Princeton Univ. Press, Princeton, N.J., 1956, 2–42.
R. J. Lipton, Using DNA to solve NP-complete problems, Science, 268 (April 1995), 542–545.
W.R. Loewenstein, The Touchstone of Life. Molecular Information, Cell Communication, and the Foundations of Life, Oxford Univ. Press, New York, Oxford, 1999.
Carlos Martín-Vide, Gheorghe Păun, Juan Pazos and Alfonso Rodríguez-Patón, Tissue Psystems, Theoretical Computer Science, vol. 296, issue 2, (2003), 295–326.
A. Mateescu, V. Mitrana, Parallel finite automata systems communicating by states, Intern. J. Found. Computer Sci., to appear.
W.S. McCulloch, W.H. Pitts, A logical calculus of the ideas immanent in nervous activity, Bull. Math. Biophys., 5 (1943), 115–133.
Gh. Păun, Computing with membranes, Journal of Computer and System Sciences, 61, 1 (2000), 108–143 (see also Turku Center for Computer Science-TUCS Report No 208, 1998, http://www.tucs.fi).
Gh. Păun, Membrane Computing. Springer-Verlag, 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pazos, J., Rodríguez-Patón, A., Silva, A. (2003). Solving SAT in Linear Time with a Neural-like Membrane System. In: Mira, J., Álvarez, J.R. (eds) Computational Methods in Neural Modeling. IWANN 2003. Lecture Notes in Computer Science, vol 2686. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44868-3_84
Download citation
DOI: https://doi.org/10.1007/3-540-44868-3_84
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40210-7
Online ISBN: 978-3-540-44868-6
eBook Packages: Springer Book Archive