Abstract
An idea of a randomized Gandy–Păun–Rozenberg machine providing a certain abstract implementation of concurrent (parallel) randomized algorithms is introduced. A randomized Gandy–Păun–Rozenberg machine for solving 3-SAT problem in a polynomial time with the low error probability and with subexponential number of indecomposable processors is shown. This machine assembles a distributed system which then realizes a massively parallel computation.
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
Chi, H., Jones, E.L.: Generating parallel quasirandom sequences via randomization. J. Parallel Distrib. Comput. 67, 876–881 (2007)
Gandy, R.: Church’s thesis and principles for mechanisms. In: Barwise, J., et al. (eds.) The Kleene Symposium, pp. 123–148. North-Holland, Amsterdam (1980)
Rozenberg, G.: Handbook of graph grammars and computing by graph transformation, vol. 1. World Scientific, River Edge (1997); Ehrig, H. et al., Applications, languages and tools, vol. 2. World Scientific, River Edge (1999); Ehrig, H., et al., Concurrency, parallelism, and distribution, vol. 3. World Scientific, River Edge (1999)
Koblitz, N.: Algebraic Aspects of Cryptography, Berlin (1998)
Obtułowicz, A.: Gandy–Păun–Rozenberg machines. Romanian J. of Information Science and Technology 13, 181–196 (2010)
Papadimitriou, G.: Computational Complexity. Addison–Wesley, Reading (1994)
Păun, G.: P systems with active membranes: Attacking NP complete problems. Journal of Automata, Languages and Combinatorics 6, 75–90 (2000)
Păun, G.: Membrane Computing. An Introduction, Berlin (2002)
Sieg, W., Byrnes, J.: An abstract model for parallel computations: Gandy’s Thesis. The Monist 82(1), 150–164 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Obtułowicz, A. (2010). Randomized Gandy-Păun-Rozenberg Machines. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. CMC 2010. Lecture Notes in Computer Science, vol 6501. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18123-8_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-18123-8_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-18122-1
Online ISBN: 978-3-642-18123-8
eBook Packages: Computer ScienceComputer Science (R0)