The computational power of timed P systems with active membranes using promoters

作者: YUEGUO LUO , HAIJUN TAN , YING ZHANG , YUN JIANG

DOI: 10.1017/S0960129518000282

关键词:

摘要: P systems with active membranes are a class of bioinspired computing models, where the rules used in non-deterministic maximally parallel manner. In this paper, first, new variant timed is proposed, application can be regulated by promoters only two polarizations. Next, we prove that any Turing computable set numbers generated such system time-free way. Moreover, construct uniform solution to problem framework recognizer polynomial time, and feasibility effectiveness proposed demonstrated an instance. Compared existing methods, constructed our work require fewer necessary resources RS-steps, which show effective NP-complete problem.

参考文章(39)
Matteo Cavaliere, Dragoş Sburlan, Time–Independent P Systems Membrane Computing. pp. 239- 258 ,(2005) , 10.1007/978-3-540-31837-8_14
Andrei Pâun, Gheorghe Pâun, The power of communication: P systems with symport/antiport New Generation Computing. ,vol. 20, pp. 295- 305 ,(2002) , 10.1007/BF03037362
Gheorghe Păun, P systems with active membranes: attacking NP-complete problems Journal of Automata, Languages and Combinatorics. ,vol. 6, pp. 75- 90 ,(2001)
Mario J. Pérez-Jiménez, Petr Sosík, An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation Fundamenta Informaticae. ,vol. 138, pp. 45- 60 ,(2015) , 10.3233/FI-2015-1197
Bosheng Song, Linqiang Pan, Computational efficiency and universality of timed P systems with active membranes Theoretical Computer Science. ,vol. 567, pp. 74- 86 ,(2015) , 10.1016/J.TCS.2014.10.051
Xingyi Zhang, Yanjun Liu, Bin Luo, Linqiang Pan, Computational power of tissue P systems for generating control languages Information Sciences. ,vol. 278, pp. 285- 297 ,(2014) , 10.1016/J.INS.2014.03.053
Artiom Alhazov, Linqiang Pan, Gheorghe Păun, Trading polarizations for labels in P systems with active membranes Acta Informatica. ,vol. 41, pp. 111- 144 ,(2004) , 10.1007/S00236-004-0153-Z
Tao Song, Luis F. Macías-Ramos, Linqiang Pan, Mario J. Pérez-Jiménez, Time-free solution to SAT problem using P systems with active membranes Theoretical Computer Science. ,vol. 529, pp. 61- 68 ,(2014) , 10.1016/J.TCS.2013.11.014
Gheorghe Păun, Takashi Yokomori, Mihai Ionescu, Spiking Neural P Systems Fundamenta Informaticae. ,vol. 71, pp. 279- 308 ,(2006)
Gheorghe Păun, Yasuhiro Suzuki, Hiroshi Tanaka, Takashi Yokomori, On the power of membrane division in P systems Theoretical Computer Science. ,vol. 324, pp. 61- 85 ,(2004) , 10.1016/J.TCS.2004.03.053