We analyse the computational efficiency of tissue P systems, a biologically-inspired computing device modelling the communication between cells. In particular, we focus on tissue P systems with fission rules (cell division and/or cell separation), where the number of cells can increase exponentially during the computation. We prove that the complexity class characterised by these devices in polynomial time is exactly P#P, the class of problems solved by polynomial-time Turing machines with oracles for counting problems.
Leporati, A., Manzoni, L., Mauri, G., Porreca, A., Zandron, C. (2017). Characterising the complexity of tissue P systems with fission rules. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 90, 115-128 [10.1016/j.jcss.2017.06.008].
Characterising the complexity of tissue P systems with fission rules
LEPORATI, ALBERTO OTTAVIOPrimo
;MANZONI, LUCASecondo
;MAURI, GIANCARLO
;PORRECA, ANTONIO ENRICOPenultimo
;ZANDRON, CLAUDIOUltimo
2017
Abstract
We analyse the computational efficiency of tissue P systems, a biologically-inspired computing device modelling the communication between cells. In particular, we focus on tissue P systems with fission rules (cell division and/or cell separation), where the number of cells can increase exponentially during the computation. We prove that the complexity class characterised by these devices in polynomial time is exactly P#P, the class of problems solved by polynomial-time Turing machines with oracles for counting problems.File | Dimensione | Formato | |
---|---|---|---|
JCSSVers.pdf
Solo gestori archivio
Tipologia di allegato:
Publisher’s Version (Version of Record, VoR)
Dimensione
447.01 kB
Formato
Adobe PDF
|
447.01 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.