×

P系统中的子程序及其复杂性类的闭包性质。 (英语) Zbl 1436.68116号

摘要:有关膜计算的文献描述了复杂度类(mathbf{C})是“指数闭的”的P系统的几个变体,即它们满足包含(mathbf{P^C\substeq C}是由多项式时间图灵机为(mathbf{C})中的问题求解的一类问题。此闭包自动意味着许多其他操作下的闭包,例如继承自\(\mathbf{P}\)的常规操作(并集、并集、Kleene星)、交集、补集和多项式时间映射。这些结果通常通过显示P系统族的元素如何嵌入到模拟图灵机的P系统中来证明,图灵机利用了P系统族中的元素作为子程序。在这里,我们重点关注后一种构造,提供了一种描述,通过从依赖于P系统特定变体的技术细节中抽象出来,描述了在指数条件下证明闭包的一般策略。我们还提供了一个使用具有活性膜和最小协作的无偏振P系统的示例实现。

MSC公司:

2007年第68季度 受生物启发的计算模型(DNA计算、膜计算等)
2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 阿尔哈佐夫,阿蒂姆;阿尔贝托·勒波拉蒂;Giancarlo Mauri;安东尼奥·波雷卡(Antonio E.Porreca)。;Zandron,Claudio,《带有源膜的指数空间P系统的计算能力》,(Angel Martínez-del-Amor,Miguel;Pöun,Gheorghe;Pérez-Hurtado,Ignacio;Romero-Campero,Francisco José,第十届膜计算头脑风暴周,第一卷第十届薄膜计算头脑风暴。I,RGNC报告,第1/2012卷(2012),《法国编辑》,35-60
[2] 阿尔哈佐夫,阿蒂姆;阿尔贝托·勒波拉蒂;Giancarlo Mauri;安东尼奥·波雷卡(Antonio E.Porreca)。;Zandron,Claudio,具有主动膜和图灵机的P系统的空间复杂性等价,Theoret。计算。科学。,529, 69-81 (2014) ·兹比尔1358.68096
[3] 阿尔哈佐夫,阿蒂姆;Martín-Vide,卡洛斯;潘林强,通过识别具有受限活性膜的P系统解决PSPACE完整问题,基金会。通知。,58, 2, 67-77 (2003) ·Zbl 1085.68048号
[4] 阿尔哈佐夫,阿蒂姆;Pérez-Jiménez,Mario J.,使用无偏振活性膜的QSAT统一解决方案,(Durand-Lose,Jéróme;Margenstern,Maurice,《机器、计算和普遍性》,第五届国际会议,MCU 2007。机器、计算与普遍性,第五届国际会议,MCU 2007,计算机科学讲义,第4664卷(2007),Springer),122-133·Zbl 1211.68194号
[5] 丹尼尔·迪亚斯·佩尼尔(Daniel Díaz-Pernil);阿尔哈佐夫,阿蒂姆;弗伦德,鲁道夫;米格尔·A·古蒂雷兹·纳兰霍。;Leporati,Alberto,《反物质识别P系统》,Rom.J.Inf.Sci。技术。,18, 3, 201-217 (2015)
[6] 兹索尔特加兹达格;Kolonitis,Gábor,《关于具有活性膜的P系统的某些限制变体的计算能力的评论》,(Leporati,Alberto;Rozenberg,Grzegorz;Salomaa,Arto;Zandron,Claudio,《膜计算》,第17届国际会议,CMC 2016。膜计算,第17届国际会议,CMC 2016,计算机科学讲义,第10105卷(2017),Springer),209-232·Zbl 1483.68117号
[7] 兹索尔特加兹达格;戈博尔·科洛尼茨;Gutiérrez-Naranjo,Miguel A.,《使用有源膜的无偏振P系统模拟图灵机器》,(Gheorghe,Marian;Rozenberg,Grzegorz;Salomaa,Arto;Sosík,Petr;Zandron,Claudio,《膜计算》,第15届国际会议,CMC 2014。膜计算,第15届国际会议,CMC 2014,计算机科学讲义,第8961卷(2014)),229-240·Zbl 1457.68098号
[8] 米格尔·A·古蒂雷兹·纳兰霍。;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;Romero-Campero,Francisco J.,使用膜生成的SAT统一解决方案,Theoret。计算。科学。,371, 1-2, 54-61 (2007) ·Zbl 1108.68058号
[9] 约翰·霍普克罗夫特(John E.Hopcroft)。;拉杰夫·莫特瓦尼;杰弗里·乌尔曼(Jeffrey D.Ullman),《自动化理论、语言和计算导论》(2006),艾迪森·韦斯利·Zbl 0980.68066号
[10] 阿尔贝托·勒波拉蒂;卢卡·曼佐尼;Giancarlo Mauri;安东尼奥·波雷卡(Antonio E.Porreca)。;Zandron,Claudio,带活性膜的恒空间P系统,基金。通知。,134,1-2111-128(2014)·兹比尔1315.68128
[11] 阿尔贝托·莱波蒂;卢卡·曼佐尼;Giancarlo Mauri;安东尼奥·波雷卡(Antonio E.Porreca)。;Zandron,Claudio,《模拟基本活性膜及其在P猜想中的应用》,(Gheorghe,Marian;Rozenberg,Grzegorz;Sosík,Petr;Zandron.,Claudio.,《膜计算》,第15届国际会议,CMC 2014。膜计算,第15届国际会议,CMC 2014,计算机科学讲义,第8961卷(2014),Springer),284-299·Zbl 1457.68102号
[12] 阿尔贝托·勒波拉蒂;卢卡·曼佐尼;Giancarlo Mauri;安东尼奥·波雷卡(Antonio E.Porreca)。;Zandron、Claudio、膜部、神谕和计数层级、基金。通知。,138, 1-2, 97-111 (2015) ·Zbl 1357.68064号
[13] 阿尔贝托·莱波蒂;卢卡·曼佐尼;Giancarlo Mauri;安东尼奥·波雷卡(Antonio E.Porreca)。;Zandron,Claudio,《单向P系统》,国家计算。,15, 4, 551-564 (2016) ·Zbl 1415.68092号
[14] 阿尔贝托·勒波拉蒂;卢卡·曼佐尼;Giancarlo Mauri;安东尼奥·波雷卡(Antonio E.Porreca)。;Claudio Zandron,用裂变规则表征组织P系统的复杂性,J.Compute。系统科学。,90, 115-128 (2017) ·Zbl 1374.68218号
[15] 阿尔贝托·勒波拉蒂;卢卡·曼佐尼;Giancarlo Mauri;安东尼奥·波雷卡(Antonio E.Porreca)。;Zandron,Claudio,《反物质P系统的计数能力》,Theoret。计算。科学。,701, 161-173 (2017) ·Zbl 1382.68076号
[16] 阿尔贝托·莱波蒂;卢卡,曼佐尼;吉安卡洛·莫里;安东尼奥·波雷卡(Antonio E.Porreca)。;Zandron,Claudio,Shallow non-fluent P systems,(阿尔贝托·勒波拉蒂;格热戈兹·罗森伯格;阿尔托·萨洛马;Claudio·Zandron,膜计算,第17届国际会议,CMC 2016。膜计算,第17届国际会议,CMC 2016,计算机科学讲义,第10105卷(2017),Springer),307-316·Zbl 1483.68124号
[17] 阿尔贝托·勒波拉蒂;Giancarlo Mauri;安东尼奥·波雷卡(Antonio E.Porreca)。;Zandron,Claudio,《具有活性膜的P系统空间层次结构中的缺口》,J.Autom。语言梳。,19, 1-4, 173-184 (2014) ·Zbl 1355.68126号
[18] 尼尔·墨菲;Woods,Damien,《紧密均匀条件下膜系统的计算能力》,《自然计算》。,10, 1, 613-632 (2011) ·Zbl 1214.68159号
[19] Papadimitriou,Christos H.,计算复杂性(1993),Addison-Wesley·Zbl 0833.68049号
[20] Pöun,Gheorghe,《带活性膜的P系统:攻击NP-完全问题》,J.Autom。语言梳。,6, 1, 75-90 (2001) ·Zbl 0970.68066号
[21] Pérez-Jiménez,Mario J.,《从膜计算角度看P与NP问题》,《欧洲评论》,22,01,18-33(2014)
[22] 佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;罗梅罗-吉梅内斯,阿尔瓦罗;Sancho-Caparini,Fernando,膜细胞计算模型中的复杂性类,自然计算。,2, 3, 265-284 (2003) ·Zbl 1048.68043号
[23] 佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;Sosík,Petr,《组织P系统与细胞分离效率的最佳前沿》,基金会。通知。,138, 1-2, 45-60 (2015) ·Zbl 1357.68067号
[24] 安东尼奥·波雷卡(Antonio E.Porreca)。;阿尔贝托·勒波拉蒂;Giancarlo Mauri;Claudio Zandron,《模拟预言计算的P系统》,(Marian Gheorghe;P'un Gheoghe;Arto Salomaa;Grzegorz Rozenberg;Sergey Verlan,《膜计算》,第12届国际会议,CMC 2011。膜计算,第12届国际会议,CMC 2011,计算机科学讲义,第7184卷(2012),Springer),346-358·Zbl 1350.68113号
[25] 安东尼奥·波雷卡(Antonio E.Porreca)。;阿尔贝托·勒波拉蒂;Giancarlo Mauri;Zandron,Claudio,具有活性膜的次线性空间P系统,(Csuhaj Varjú,Erzsébet;Gheorghe,Marian;Rozenberg,Grzegorz;Salomaa,Arto;Vaszil,György,膜计算,第13届国际会议,CMC 2012。膜计算,第13届国际会议,CMC 2012,《计算机科学讲义》,第7762卷(2013年),施普林格出版社,342-357·兹比尔1388.68054
[26] 罗梅罗-吉梅内斯,阿尔瓦罗;Pérez-Jiméz,Mario J.,《利用具有外部输出的P系统模拟图灵机器》,基金会。通知。,49, 1-3, 273-287 (2002) ·Zbl 0997.68060号
[27] Sosík,Petr,P系统中细胞分裂的计算能力:击败并行计算机?,自然计算。,2, 3, 287-298 (2003) ·Zbl 1048.68044号
[28] Petr Sosík;罗德里格斯·帕顿(Rodríguez-Patón)、阿方索(Alfonso),《膜计算与复杂性理论:PSPACE的特征》,J.Compute。系统科学。,73, 1, 137-152 (2007) ·Zbl 1178.68260号
[29] Stockmeyer,Larry J.,多项式时间层次,理论。计算。科学。,3, 1, 1-22 (1976) ·Zbl 0353.02024号
[30] 路易斯·瓦伦西亚·卡布雷拉;奥雷拉纳·马丁·戴维(David Orellana-Martín);马丁内斯·德尔·阿莫尔(Miguel A.Martínez-del-Amor)。;阿古斯汀,Riscos-Nüñez;Pérez-Jiménez,Mario J.,《具有活性膜的无偏振P系统中最小合作和分布的计算效率》,基金会。通知。,153, 1-2, 147-172 (2017) ·Zbl 1377.68088号
[31] 路易斯·瓦伦西亚·卡布雷拉;奥雷拉纳·马丁·戴维(David Orellana-Martín);马丁内斯·德尔·阿莫尔(Miguel A.Martínez-del-Amor)。;阿古斯汀,Riscos-Nüñez;Pérez-Jiménez,Mario J.,《通过膜系统合作实现效率:溶解、极化与合作》,理论。计算。科学。,701, 226-234 (2017) ·Zbl 1382.68079号
[32] 安德烈亚·瓦尔塞奇(Andrea Valsecchi);安东尼奥·波雷卡(Antonio E.Porreca)。;阿尔贝托·勒波拉蒂;Giancarlo Mauri;Zandron,Claudio,《利用带活性膜的P系统对多项式空间图灵机进行有效模拟》,(Pun,Gheorghe;Pérez-Jiménez,Mario J.;Riscos-Nüñnez(AgustíN);Rozenberg,Grzegorz;Salomaa,Arto,Membrane Computing,第十届国际研讨会,WMC 2009。膜计算,第十届国际研讨会,WMC 2009,计算机科学讲义,第6501卷(2010),Springer),461-478·Zbl 1273.68138号
[33] Wagner,Klaus W.,具有简洁输入表示的组合问题的复杂性,信息学报。,23225-356(1986年)·兹比尔06216.8032
[34] 克劳迪奥·赞德隆;克劳迪奥·费雷蒂;Mauri,Giancarlo,使用带活性膜的P系统解决NP-完全问题,(Antoniou,Ioannis;Calude,Cristian S.;Dinneen,Michael J.,《非传统计算模型》,UMC'2K,《第二届国际会议论文集》(2001),Springer),289-301·Zbl 0967.68074号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。