彼得·索西克 P系统攻击NP以外的难题：一项调查。 （英语） Zbl 1431.68035号 J.成员。计算。 198-208年（2019年）第3期第1期. 摘要：在膜计算领域，传统上非常关注通过P系统的各种模型在多项式时间内解决NP完全问题的理论可能性的结果。另一个不太常见的事实是，几乎所有具有这种能力的P系统模型实际上都更强：其中一些模型能够在多项式时间内解决PSPACE完备问题，而另一些模型最近被证明能够刻画类（\mathbf{P^{#\mathbf{P}}}）（推测严格包括在PSPACE公司). 这些结果的很大一部分是最近才出现的。在这项调查中，我们将重点放在膜系统的强大模型上，这些模型有可能解决属于含有NP类的难题。这些模型包括具有活性膜的P系统、具有膜上蛋白质的P系统和组织P系统，以及具有同配/反配和膜分裂的P系统，最后，尖峰神经P系统。我们对这些膜模型的计算复杂性结果进行了综述，指出了为它们提供计算强度的一些特征。我们还提到了与这些主题相关的一系列未决问题。 引用于20文件 MSC公司： 2007年第68季度 受生物启发的计算模型（DNA计算、膜计算等） 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：P系统;膜计算;计算复杂性;NP公司;聚丙烯;PSPACE公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Sosík}，J.Membr。计算。1，第3号，198--208（2019；Zbl 1431.68035） 全文： 内政部 参考文献： [1] Alhazov，A.、Freund，R.、Oswald，M.（2005）。组织P系统具有反移植规则和少量符号和细胞。摘自：C.De Felice，A.Restivo（编辑）《语言理论的发展》，DLT 2005，《计算机科学讲义》（第3572卷，第54-78页）。柏林：施普林格·Zbl 1132.68386号 [2] Alhazov，A.、Leporati，A.、Mauri，G.、Porreca，A.E.和Zandron，C.（2014）。具有活性膜和图灵机器的P系统的空间复杂性等价。理论计算机科学，529，69-81·Zbl 1358.68096号 ·doi:10.1016/j.tcs.2013.11.015 [3] Alhazov，A.、Martín-Vide，C.和Pan，L.（2003）。通过具有受限活性膜的P系统解决PSPACE完整问题。《信息基础》，58（2），67-77·Zbl 1085.68048号 [4] Alhazov，A.和Pérez-Giménez，M.（2007）。使用无偏振活性膜的QSAT均匀溶液。在：J.Durand Lose，M.Margenstern（编辑）《机器、计算和普遍性》，第五届国际会议，MCU 2007，《计算机科学讲义》（第4664卷，第122-133页）。斯普林格·Zbl 1211.68194号 [5] Bernardini，F.和Gheorghe，M.（2005）。组织P系统中的细胞通讯和群体P系统中细胞分裂。软计算，9（9），640-649·Zbl 1101.68574号 ·doi:10.1007/s00500-004-0393-4 [6] Cavaliere，M.（2013）。硬计算问题的无时间限制解决方案。收录于：M.Gheorghe，G.Péun，M.J·Pérez-Jiménez，G.Rozenberg（编辑）《膜计算研究前沿：开放问题和研究主题》，《国际计算机科学基础杂志》（第24卷（5），第579-582页）。《世界科学》（2013）。第11节 [7] Cavaliere，M.和Sburlan，D.（2005年）。时间相关的P系统。收录于：G.Mauri、G.Paun、M.J.Pérez-Jiménez、G.Rozenberg、A.Salomaa（编辑）《膜计算》，第五届国际研讨会，WMC 2004，《计算机科学讲义》（第3365卷，第239-258页）。施普林格·Zbl 1117.68355号 [8] Chandra，A.K.和Stockmeyer，L.J.（1976年）。交替。摘自：第17届计算机科学基础年度研讨会，美国德克萨斯州休斯顿，1976年10月25日至27日，第98-108页。IEEE计算机学会。https://doi.org/10.1109/SFCS.1976.4 ·Zbl 0473.68043号 [9] Csuhaj-Varjü，E.、Gheorghe，M.、Rozenberg，G.、Salomaa，A.和Vaszil，G.（编辑）。(2013). 膜计算——第13届国际会议，CMC13，计算机科学讲稿（第7762卷）。施普林格·Zbl 1258.68007号 [10] Díaz Pernil，D.、Pérez Jiménez，M.J.和Romero Jiménez，Á。(2009). 通过过渡细胞样P系统有效模拟组织样P系统。自然计算，8（4），797-806·Zbl 1185.68335号 ·doi:10.1007/s11047-008-9102-z [11] Eleftherakis，G，Kefalas，P，Paun，G，Rozenberg，G和Salomaa，A（编辑）（2007年）。膜计算，第八届国际研讨会，WMC 2007，计算机科学讲稿（第4860卷）。施普林格·Zbl 1132.68008号 [12] Freund，R.、Péun，G.和Pérez-Jiménez，M.（2005）。具有通道状态的组织P系统。理论计算机科学，330101-116·Zbl 1078.68061号 ·doi:10.1016/j.tcs.2004.09.013 [13] Gutiérrez-Escudero，R.、Pérez-Jiménez，M.和Rius-Font，M.通过组织样P系统表征可驾驭性。收录于：Péun等人[53]，第289-300页·Zbl 1273.68124号 [14] Ionescu，M.、Pun，G.和Yokomori，T.（2006）。尖峰神经P系统。《信息基础》，71（2--3），279-308·Zbl 1110.68043号 [15] Ishdorj，T.O.、Leporati，A.、Pan，L.、Zeng，X.和Zhang，X.（2010年）。通过使用预先计算的资源对神经P系统进行峰值处理，获得QSAT和Q3SAT的确定性解。理论计算机科学，411（25），2345-2358·Zbl 1208.68172号 ·doi:10.1016/j.tcs.2010.01.019 [16] Krishna，S.、Lakshmanan，K.和Rama，R.（2003）。具有上下文和重写规则的组织P系统。收录于：Paun，G.，Rozenberg，G，Salomaa，A.，Zandron C.（编辑）《膜计算》，《计算机科学讲义》（第2597卷，第339-351页）。柏林施普林格·Zbl 1023.68049号 [17] Krishna，S.N.（2007）。关于膜上触发器蛋白质的计算能力。收录于：S.B.Cooper、B.Löwe、A.Sorbi（编辑）《现实世界中的计算与逻辑》，《计算机科学讲义》（第4497卷，第695-704页）。施普林格·Zbl 1151.68417号 [18] 拉克希曼南，K。；拉玛（Rama，R.）。；Subramanian，K.（编辑）；Rangarajan，K.（编辑）；Mukund，M.（编辑），《插入-删除组织P系统的计算效率》，235-245（2006），纽约·doi:10.1142/9789812773036_0016 [19] van Leeuwen，J.（编辑）。(1990). 理论计算机科学手册，A卷：算法和复杂性。阿姆斯特丹：爱思唯尔·Zbl 0712.68054号 [20] Leporati，A.（2014）。具有活性膜的P系统的计算复杂性。摘自：A.Alhazov、S.Cojocaru、M.Gheorghe、Y.Rogozhin、G.Rozenberg、A.Salomaa（编辑）第十四届膜计算国际会议，CMC14，计算机科学讲稿（第8340卷）。柏林：施普林格·Zbl 1407.68173号 [21] Leporati，A.、Ferretti，C.、Mauri，G.、Pérez-Jiménez，M.和Zandron，C.（2009）。无偏振膜系统的复杂性。自然计算，8（4），703-717·Zbl 1185.68339号 ·doi:10.1007/s11047-008-9100-1 [22] Leporati，A.、Manzoni，L.、Mauri，G.、Porreca，A.E.和Zandron，C.（2014）。模拟基本活性膜，并应用于P猜想。摘自：M.Gheorghe，G.Rozenberg，A.Salomaa，P.Sosík，C.Zandron（编辑）《膜计算——第十五届国际会议》，CMC15，《计算机科学讲义》（第8961卷，第284-299页）。斯普林格·Zbl 1457.68102号 [23] Leporati，A.、Manzoni，L.、Mauri，G.、Porreca，A.E.和Zandron，C.（2015）。膜分割、神谕和计数层次。基本信息，138（1-2），97-111·Zbl 1357.68064号 [24] Leporati，A.、Manzoni，L.、Mauri，G.、Porreca，A.E.和Zandron，C.（2017年）。用裂变规则表征组织P系统的复杂性。计算机与系统科学杂志，90115-128·Zbl 1374.68218号 ·doi:10.1016/j.jcss.2017.06.008 [25] Leporati，A.、Manzoni，L.、Mauri，G.、Porreca，A.E.和Zandron，C.（2017年）。浅层非流动P系统。摘自：A.Leporati、G.Rozenberg、A.Salomaa、C.Zandron（编辑）《膜计算：第17届国际会议》，CMC 2016，《计算机科学讲义》（第10105卷，第307-316页）。查姆：斯普林格·Zbl 1483.68124号 [26] Leporati，A.、Manzoni，L.、Mauri，G.、Porreca，A.E.和Zandron，C.（2018）求解次线性深度的qsat。摘自：T.Hinze，J.Behre（编辑）《第十九届膜计算国际会议论文集》（CMC19）（第149-162页）。柏林：支持商业·Zbl 1522.68215号 [27] Leporati，A.、Manzoni，L.、Mauri，G.、Porreca，A.E.和Zandron，C.（2018年）。P系统中的子程序及其复杂性类的闭包性质。理论计算机科学。https://doi.org/10.1016/j.tcs.2018.06.012。 ·Zbl 1497.68195号 ·doi:10.1016/j.tcs.2018.06.012 [28] Leporati，A.、Manzoni，L.、Mauri，G.、Porreca，A.E.和Zandron，C.（2018年）。活性膜P体系空间复杂性研究综述。国际工程科学与应用数学进展杂志，10（3），221-229·doi:10.1007/s12572-018-0227-8 [29] Leporati，A.、Zandron，C.、Ferretti，C.和Mauri，G.（2007年）。关于脉冲神经P系统的计算能力。在M.Gutiérrez-Naranjo、G.Pun、A.Romero-Jiménez和A.Riscos-Nünez（编辑）的《第五届膜计算头脑风暴周》（第227-245页）中。塞维利亚：菲尼克斯编辑·Zbl 1137.68396号 [30] Liu，X.、Suo，J.、Leung，S.、Liu，J.和Zeng，X.（2015）。无时间组织P系统的威力：解决NP完全问题。神经计算，159（1），151-156·doi:10.1016/j.neucom.2015.01.072 [31] Macías-Ramos，L.F.、Pérez-Jiménez，M.J.、Riscos-Nüñez，A.、Rius-Font，M.和Valencia-Cabrera，L.细胞分离组织磷系统的效率取决于环境。参见：Csuhaj-Varjú等人[9]（第243-256页）·兹比尔1388.68050 [32] 马丁·维德（Martín Vide，C.）、帕佐斯（Pazos，J.）、佩恩（Pun，G.）和罗德里格斯·帕顿（Rodríguez Patón，A.）（2002年）。一类新的符号抽象神经网络：组织P系统。收录于：O.Ibarra，L.Zhang（编辑）《计算与组合数学》，《计算机科学讲义》（第2387卷，第573-679页）。柏林：斯普林格·Zbl 1077.68645号 [33] 马丁·维德（Martín Vide，C.）、帕佐斯（Pazos，J.）、佩恩（Pun，G.）和罗德里格斯·帕顿（Rodríguez Patón，A.）（2003年）。组织P系统。理论计算机科学，296295-326·Zbl 1045.68063号 ·doi:10.1016/S0304-3975（02）00659-X [34] Mauri，G.、Leporati，A.、Manzoni，L.、Porreca，A.E.和Zandron，C.（2015）。膜系统的复杂性等级：一项调查。收录于：A.H.Dediu，E.Formenti，C.Martín-Vide，B.Truthe（编辑）《语言与自动机理论与应用：第九届国际会议》，LATA 2015，《计算机科学讲义》（第8977卷，第56-69页）。斯普林格·兹比尔1451.68115 [35] Murphy，N.，&Woods，D.不带电荷且仅使用对称基本除法的活性膜系统特征P.In:Eleftherakis等人[11]（第367-384页）·Zbl 1137.68400号 [36] Murphy，N.和Woods，D.（2011年）。膜系统在紧密均匀条件下的计算能力。自然计算，10（1），613-632·Zbl 1214.68159号 ·doi:10.1007/s11047-010-9244-7 [37] Murphy，N.和Woods，D.（2014年）。对于某些膜系统，均匀性弱于半均匀性。信息学基础，134（1-2），129-152·Zbl 1315.68129号 [38] Orellana-Martín，D.，Martínez-del-Amor，M.A。，Pérez-Hurtado，I.、Riscos-Nüñez，A.、Valencia-Cabrera，L.和Pére z-Jiménez，M.J.（2018年）。当对象生产调整膜系统的效率时。理论计算机科学。https://doi.org/10.1016/j.tcs.2018.04.013。 ·Zbl 1395.68128号 ·doi:10.1016/j.tcs.2018.04.013 [39] Pan，L.和Ishdorj，T.O.（2004）。具有活性膜和分离规则的P系统。《通用计算机科学杂志》，10（5），630-649。 [40] Pan，L.、Péun，G.和Pérez-Jiménez，M.J.（2011年）。具有神经元分裂和出芽的Spiking神经P系统。科学中国信息科学，54（8），1596·Zbl 1267.68158号 ·doi:10.1007/s11432-011-4303-y [41] Pan，L.、Song，B.、Valencia-Cabrera，L.和Pérez-Jiménez，M.J.（2018年）。具有进化同/反运动规则的组织P系统的计算复杂性。复杂性。https://doi.org/10.1155/2018/3745210。 ·Zbl 1407.68177号 ·doi:10.1155/2018/3745210 [42] Péun，A.和Rodríguez-Patón，A.关于蛋白质的触发器膜系统。参见：Eleftherakis等人[11]。（第414-427页）·Zbl 1137.68402号 [43] Pérez-Jiménez，M.膜计算中的计算复杂性理论。收录于：Péun等人[53]（第125-148页）·兹比尔1273.68185 [44] Pérez-Giménez，M.、Romero-Jiménes，A.和Sancho-Caparini，F.（2003）。膜细胞计算模型中的复杂性类。自然计算，2265-285·Zbl 1048.68043号 ·doi:10.1023/A:1025449224520 [45] Pérez-Jiménez，M.J.和Sosík，P.（2015）。组织磷系统与细胞分离效率的最佳前沿。基本信息，138（1-2），45-60·Zbl 1357.68067号 [46] Porreca，A.、Leporati，A.、Mauri，G.和Zandron，C.（2011年）。具有基本活性膜的P系统：超越NP和coNP。收录于：M.Gheorghe，T.Hinze，G.Pun，G.Rozenberg，A.Salomaa（编辑）《膜计算——第11届国际会议》，CMC11，《计算机科学讲稿》（第6501卷，第383-392页）。斯普林格·Zbl 1259.68064号 [47] Porreca，A.E.、Leporati，A.、Mauri，G.和Zandron，C.（2012）。模拟oracle计算的P系统。收录于：M.Gheorghe，G.Péun，G.Rozenberg，A.Salomaa，S.Verlan（编辑）《膜计算——第十二届国际会议》，CMC12，《计算机科学讲稿》（第7184卷，第346-358页）。斯普林格·Zbl 1350.68113号 [48] Porreca，A.E.、Mauri，G.和Zandron，C.（2010年）。具有活性膜的无分裂P系统中的非融合。理论计算机科学，411（6），878-887·兹比尔1191.68325 ·doi:10.1016/j.tcs.2009.07.032 [49] A.E.Porreca、N.Murphy和M.J.Pérez-Jiménez（2012年）。具有细胞分裂的组织磷系统效率的最佳前沿。收录于：García-Quismondo，M.等人（编辑）《第十届膜计算头脑风暴周会议录》（第二卷，第141-166页）。塞维利亚Fénix Editora。 [50] Paun，A.和Popa，B.（2006年）。膜上有蛋白质的P系统。《信息基础》，72（4），467-483·Zbl 1099.68031号 [51] Péun，A.和Popa，B.（2006）膜上蛋白质和膜分裂的P系统。收录于：O.Ibarra，Z.Dang（编辑）《语言理论的发展》，DLT 2006，《计算机科学讲义》（第4036卷，第292-303页）。柏林：斯普林格·Zbl 1227.68027号 [52] 普恩，A.和普恩，G.（2002年）。通信的力量：P系统与同端口/反端口。新一代计算机，20（3），295-306·Zbl 1024.68037号 ·doi:10.1007/BF03037362 [53] Péun，G.、Pérez-Jiménez，M.、Riscos-Nünez、A.、Rozenberg，G.和Salomaa，A.（编辑）（2010年）。膜计算，第十届国际研讨会，WMC 2009，计算机科学讲稿（第5957卷）。柏林：斯普林格·Zbl 1179.68004号 [54] Páun，G.、Rozenberg，G..和Salomaa，A.（编辑）。(2010). 牛津膜计算手册。牛津：牛津大学出版社·Zbl 1237.68001号 [55] Péun，G.（2001）。带有活性膜的P系统：解决NP完全问题。《自动机、语言与组合数学杂志》，6（1），75-90·Zbl 0970.68066号 [56] Song，B.、Pérez-Jiménez，M.J.和Pan，L.（2015）。具有同/反端口规则和膜分割的P系统对硬计算问题的有效解决方案。生物系统，130，51-58·doi:10.1016/j.biosystems.2015.03.002 [57] Song，B.、Pérez-Jiménez，M.J.和Pan，L.（2017）。使用膜上蛋白质的P系统，可以有效地解决QSAT问题。信息与计算，256287-299·兹比尔1376.68041 ·doi:10.1016/j.ic.2017.06.005 [58] Song，B.、Song，T.和Pan，L.（2017）。具有细胞分裂的组织P系统子集和问题的无时间统一解。计算机科学中的数学结构，27（1），17-32·Zbl 1364.68207号 ·doi:10.1017/S0960129515000018 [59] Song，T.、Macas-Ramos，L.F.、Pan，L.和Pérez-Jiménez，M.J.（2014）。使用带有活性膜的P系统，无时间限制地解决SAT问题。理论计算机科学，529，61-68·Zbl 1358.68103号 ·doi:10.1016/j.tcs.2013.11.014 [60] Sosík，P.具有细胞分裂的组织P系统的功率极限。参见：Csuhaj-Varjú等人[9]（第390-403页）·Zbl 1388.68057号 [61] Sosík，P.和Cienciala，L.（2012年）。具有细胞分离的组织P系统：PSPACE的上限。摘自：A.H.Dediu、C.Martín-Vide、B.Truthe（编辑）《自然计算理论与实践》，TPNC 2012，《计算机科学讲义》（第7505卷，第201-215页）。斯普林格·Zbl 1374.68222号 [62] Sosík，P.和Rodríguez-Patón，A.（2007年）。膜计算和复杂性理论：PSPACE的特征。计算机与系统科学杂志，73（1），137-152·Zbl 1178.68260号 ·doi:10.1016/j.jcss.2006.10.001 [63] Sosík，P.（2011年）。膜系统计算复杂性的选定主题。收录于：J.Kelemen，A.Kelemenová（编辑）《计算、合作与生活》，《计算机科学讲义》（第6610卷，第125-137页）。斯普林格·Zbl 1330.68081号 [64] Sosík，P.、Péun，A.和Rodríguez-Patón，A.（2013）。膜上有蛋白质的P系统是pspace的特征。理论计算机科学，48878-95·Zbl 1293.68175号 ·doi:10.1016/j.tcs.2013.03.009 [65] Sosík，P.、Rodríguez-Patón，A.和Ciencialová，L.（2013）。脉冲神经P系统中的多项式时限计算。《神经网络世界》，23（1），31-48。如果=0412·Zbl 1259.68074号 ·doi:10.14311/NNW.2013.23.003 [66] Valsecchi，A.、Porreca，A.、Leporati，A.、Mauri，G.和Zandron，C.通过带活性膜的P系统对多项式空间图灵机进行有效模拟。收录于：Páun等人[53]（第461-478页）·Zbl 1273.68138号 [67] Zandron，C.、Leporati，A.、Ferretti，C.、Mauri，G.和Pérez-Giménez，M.（2008）。关于强除法和溶解的无偏振识别器P系统的计算效率。信息学基础，87（1），79-91·Zbl 1154.68053号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。