IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishRecognizer P systems with active membranes have proven to be very efficient computing devices, being able to solve NP-complete decision problems in a polynomial time. However such solutions usually exploit many powerful features, such as electrical charges (polarizations) associated to membranes, evolution rules, communication rules, and strong or weak forms of division rules. In this paper we contribute to the study of the computational power of polarizationless recognizer P systems with active membranes. Precisely, we show that such systems are able to solve in polynomial time the NP-complete decision problem 3-SAT by using only dissolution rules and a form of strong division for non–elementary membranes, working in the maximallly parallel way.
Zandron, C., Leporati, A.O., Ferretti, C., Mauri, G., & Pérez-Jiménez, M.J. (2008). On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution. FUNDAMENTA INFORMATICAE, 87(1), 79-91.
| Citazione: | Zandron, C., Leporati, A.O., Ferretti, C., Mauri, G., & Pérez-Jiménez, M.J. (2008). On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution. FUNDAMENTA INFORMATICAE, 87(1), 79-91. |
| Tipo: | Articolo in rivista - Articolo scientifico |
| Carattere della pubblicazione: | Scientifica |
| Presenza di un coautore afferente ad Istituzioni straniere: | Si |
| Titolo: | On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution |
| Autori: | Zandron, C; Leporati, AO; Ferretti, C; Mauri, G; Pérez-Jiménez, MJ |
| Autori: | |
| Data di pubblicazione: | 2008 |
| Lingua: | English |
| Rivista: | FUNDAMENTA INFORMATICAE |
| Appare nelle tipologie: | 01 - Articolo su rivista |
File in questo prodotto:
Copyright © 2020