×
宋博生;孔和元

使用具有无时间限制的活性膜的P系统解决PSPACE完整问题。 （英语） Zbl 1435.68098号

数学。问题。工程师。 2019年，文章ID 5793234，第8页（2019年）.
摘要：具有活性膜的P系统是强大的并行自然计算模型，其灵感来自细胞结构和行为。受生物信息并行处理的启发，以及每个规则都在一个时间单位内完成的理想假设，具有活性膜的P系统能够在可行的时间内解决计算难题。然而，活细胞中一个重要的生物学事实是，生化反应的执行时间不能被精确地平均划分并在一个时间单位内完成。在这项工作中，我们将时间视为具有活性膜的P系统中计算的一个重要因素，并研究了此类P系统的计算效率。具体地说，我们在带活动膜的P系统框架下给出了量化布尔可满足性问题（简称QSAT问题）的无时间半一致解，其中该问题的解是正确的，不依赖于所用规则的执行时间。

引用于14文件

MSC公司：

2007年第68季度 受生物启发的计算模型（DNA计算、膜计算等）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
68兰特 可满足性的计算方面
PDF格式BibTeX公司 XML格式引用
\textit{B.Song}和\textit{Y.Kong}，数学。问题。Eng.2019，文章ID 5793234，8 p.（2019；Zbl 1435.68098）
全文： DOI程序

参考文献：

[1] Péun，G.，《膜计算》，《计算机与系统科学杂志》，61，1，108-143（2000）·Zbl 0956.68055号 ·doi:10.1006/jcss.1999.1693
[2] 普昂，G。；Rozenberg，G。；Salomaa，A.，DNA计算，新计算范式（1998），德国柏林：施普林格，德国柏林·Zbl 0940.68053号 ·doi:10.1007/978-3-662-03563-4
[3] 波托尼，P。；Labela，A。；Rozenberg，G.，《影响？环境，《膜计算杂志》，1,3-19（2019）·Zbl 1431.68025号
[4] 科罗默，M.al。；Margalida，A。；萨努伊，D。；Pérez-Jiménez，M.J.，作为生态系统建模新工具的生物灵感计算模型：鸟类清道夫案例研究，生态建模，222，1，33-47（2011）·doi:10.1016/j.ecolmodel.2010.09.012
[5] Román，G.，用多态P系统推断有界L系统，膜计算杂志，152-57（2019）·Zbl 1431.68055号 ·数字对象标识代码：10.1007/s41965-019-00007-0
[6] García-Quismondo，M。；莱文，M。；Lobo，D.，用膜计算模拟再生过程，信息科学，381229-249（2017）·doi:10.1016/j.ins.2016.11.017
[7] Wu，T。；Paun，A。；张，Z。；Pan，L.，带极化的峰值神经P系统，IEEE神经网络和学习系统汇刊，29，8，3349-3360（2018）·doi:10.1109/TNNLS.2017.2726119
[8] Ionescu，M。；鲍恩，G。；Yokomori，T.，Spiking neural P systems，Fundamental Informaticae，71，2-3，279-308（2006）·Zbl 1110.68043号
[9] Wu，T。；体重，F.-D。；Póun，A。；潘，L。；Neri，F.，《具有请求通信功能的简化但尚未图灵通用脉冲神经P系统》，《国际神经系统杂志》，28，8（2018）
[10] 马丁·维德，C。；普昂，G。；Pazos，J。；Rodríguez-Patón，A.，组织P系统，理论计算机科学，296295-326（2003）·Zbl 1045.68063号 ·doi:10.1016/S0304-3975（02）00659-X
[11] 潘·L。；Song，B。；瓦伦西亚-卡布雷拉。；Pérez-Jiménez，M.J.，《组织P系统的计算复杂性与进化同向/反方向规则》，复杂性，2018（2018）·Zbl 1407.68177号
[12] Orellana-Martín，D。；瓦伦西亚-卡布雷拉。；Riscos-Nüñez，A。；Pérez-Jiménez，M.J.，《蛋白质的P系统：膜分裂消失时的新前沿》，《膜计算杂志》，1，1，29-39（2019）·Zbl 1431.68033号 ·doi:10.1007/s41965-018-00003-w
[13] 乔巴努，G。；佩雷斯·希门尼斯，M.J。；Paun，G.，《膜计算的应用》。膜计算的应用，自然计算系列（2006），德国柏林：施普林格，德国柏林
[14] Díaz-Pernil，D。；Gutiérrez-Naranjo，文学硕士。；Peng，H.，《膜计算和图像处理：一项简短调查》，《膜计算机杂志》，1，1，58-73（2019）·数字对象标识代码：10.1007/s41965-018-00002-x
[15] 弗里斯科，P。；盖奥尔吉，M。；Pérez-Jiménez，M.J.，《膜计算在系统和合成生物学中的应用》（2013），瑞士：施普林格，瑞士
[16] 梅恩，R。；菲利普斯，N。；Adamatzky，A.，《使用多泡脂质体实现实验性P系统》，《膜计算杂志》，第1期，第20-28页（2019年）·doi:10.1007/s41965-018-00006-7
[17] 宾夕法尼亚州。；Rozenberg，G。；Salomaa，A.，《牛津膜计算手册》（2010），美国纽约州纽约市：牛津大学出版社，美国纽约市·Zbl 1237.68001号
[18] Sánchez-Karhunen，E。；Valencia-Cabrera，L.，《使用PDP系统模拟复杂市场互动》，《膜计算杂志》，第1期，第40-51页（2019年）·doi:10.1007/s41965-019-00008-z
[19] Paun，A.，《关于具有活性膜的P系统》，《第二届非传统计算模型国际会议论文集》，Springer·Zbl 0971.68055号
[20] Péun，G.，《具有主动膜的P系统攻击NP-完全问题》，《自动机杂志，语言与组合数学》，6，1，75-90（2001）·Zbl 0970.68066号
[21] 阿尔哈佐夫，A。；潘·L。；Péun，G.，带活性膜的P系统中标签的交易极化，信息学报，41，2-3，111-144（2004）·Zbl 1101.68028号 ·doi:10.1007/s00236-004-0153-z
[22] 乔巴努，G。；潘·L。；普昂，G。；Pérez-Jiménez，M.J.，最小并行的P系统，理论计算机科学，378，1，117-129（2007）·Zbl 1118.68066号 ·doi:10.1016/j.tcs.2007.03.044
[23] 潘·L。；Daniel，D.P。；Pérez-Jiménez，M.J.，《利用带活性膜的P系统计算拉姆齐数》，《国际计算机科学基础杂志》，22，1，29-38（2011）·Zbl 1214.68161号 ·doi:10.1142/S0129054111007800
[24] 潘，L。；Martín-Vide，C.，用带输入和有源膜的P系统求解多维0-1背包问题，并行与分布式计算杂志，65，12，1578-1584（2005）·Zbl 1139.68341号 ·doi:10.1016/j.jpdc.2005.05.018
[25] 潘·L。；Martín-Vide，C.，关于具有活性膜和两个极化的P系统的进一步评论，并行和分布式计算杂志，66，6，867-872（2006）·Zbl 1101.68590号 ·doi:10.1016/j.jpdc.2006.01.003
[26] Sosík，P.，P系统中细胞分裂的计算能力：击败并行计算机？，自然计算，2，3，287-298（2003）·Zbl 1048.68044号 ·doi:10.1023/A:1025401325428
[27] 索西克，P。；罗德里格斯-帕顿，A。；Ciencialová，L.，带活性膜的P系统的PSPACE-完整性的标准化证明，第八届膜计算头脑风暴周会议录
[28] Alhazov，A。；马丁·维德，C。；Pan，L.，通过识别具有受限活性膜的P系统来解决PSPACE完整问题，《信息基础》，58，2，67-77（2003）·Zbl 1085.68048号
[29] Alhazov，A。；Pérez-Jiménez，M.J.，使用无偏振活性膜的QSAT均匀溶液，计算机科学讲义，4664122-133（2007）·Zbl 1211.68194号
[30] 卡瓦利埃，M。；Sburlan，D.，时间相关P系统，计算机科学讲义，3365239-258（2005）·Zbl 1117.68355号
[31] Gheorghe，M。；佩恩，G。；Pérez-Jiménez，M.J。；Rozenberg，G.，《膜计算的研究前沿：开放问题和研究主题》，《国际计算机科学基础杂志》，24，5，547-623（2013）·Zbl 1292.68065号 ·doi:10.1142/s0129054113500202
[32] 牛Y.Y。；Wang，Z.G.，使用定时组织P系统的QSAT无时间解决方案，应用力学和材料，568-570，812-816（2014）·doi:10.4028/www.scientific.net/AMM.568-570.812
[33] Song，B。；Pan，L.，《带有活性膜的定时P系统的计算效率和通用性》，《理论计算机科学》，567，74-86（2015）·Zbl 1314.68130号 ·doi:10.1016/j.tcs.2014.10.051
[34] Song，B。；Pérez-Jiménez，M.J。；Pan，L.，带膜生成的定时P系统的计算效率和通用性，软计算，19，11，3043-3053（2015）·Zbl 1359.68076号 ·doi:10.1007/s00500-015-1732-3
[35] Song，B。；佩雷斯·希门尼斯，M.J。；Pan，L.，膜上蛋白质的P系统对SAT问题的有效无时间解决方案，《计算机与系统科学杂志》，82，6，1090-1099（2016）·Zbl 1342.68133号 ·doi:10.1016/j.jcss.2016.03.008
[36] Song，B。；Pérez-Jiménez，M.J。；Pan，L.，使用膜上蛋白质的P系统的QSAT问题的高效无时间解决方案，信息与计算，256287-299（2017）·Zbl 1376.68041号 ·doi:10.1016/j.ic.2017.06.005
[37] Song，B。；宋，T。；Pan，L.，具有细胞分裂的组织P系统子集和问题的无时间一致解，计算机科学中的数学结构，27，1，17-32（2017）·Zbl 1364.68207号 ·doi:10.1017/s0960129515000018
[38] Paun，G.，《膜计算：导论》（2002），德国柏林：施普林格出版社，德国柏林·Zbl 1034.68037号 ·doi:10.1007/978-3-642-56196-2
[39] Song，B。；宋，T。；Pan，L.，《利用具有活性膜和标准细胞分裂规则的P系统对SAT问题的无时间解决方案》，自然计算，14，4，673-681（2015）·Zbl 1415.68098号 ·doi:10.1007/s11047-014-9471-4
[40] Papadimitriou，C.H.，《计算复杂性》（1994年），美国马萨诸塞州：Addison-Wesley，Massachusetts，USA·Zbl 0833.68049号
[41] Cashmore，M。；福克斯，M。；Giunchiglia，E.，《作为量化布尔公式的规划》，《人工智能和应用的前沿》，24227-222（2012）·Zbl 1327.68211号
[42] 顾，X。；Ma，W.，关于一类双势耦合哈密顿算子及其可积层次，应用科学中的数学方法，41，10，3779-3789（2018）·Zbl 1397.35004号 ·doi:10.1002毫米/毫米.4864
[43] 李，Y。；孙，Y。；孟，F。；Tian，Y.，带时滞和扰动的切换时变系统的指数镇定，应用数学与计算，324131-140（2018）·Zbl 1426.34101号 ·doi:10.1016/j.amc.2017.12.011
[44] Mangassarian，H。；Veneris，A。；Benedetti，M.，《用于验证、调试和测试的时序电路的稳健QBF编码》，IEEE计算机事务，59，7，981-994（2010）·Zbl 1366.94786号 ·doi:10.1109/TC.2010.74
[45] 马林·P。；Narizzano，M。；Pulina，L。；塔切拉，A。；Giunchiglia，E。；比斯塔雷利，S。；福米萨诺，A。；Maratea，M。；Torroni，P.，十二年的QBF评估：QSAT是PSPACE的难点，它表明，Fundamental Informaticae，149，1-2133-158（2016）·Zbl 1373.68380号 ·doi:10.3233/FI-2016-1445
[46] 胡，B。；夏，T。；Ma，W.，Riemann-Hilbert方法用于半线上二元修正Korteweg-de Vries方程的初边值问题，应用数学与计算，332148-159（2018）·Zbl 1427.35232号 ·doi:10.1016/j.amc.2018.03.049
[47] 哈·J。；张，H。；Zhao，Q.，具有N倍Darboux变换的Dirac型方程的精确解，应用分析与计算杂志，9，1200-210（2019）·Zbl 1464.35284号
[48] 刘，L。；邓，F。；Hou，T.，带扩展多项式增长条件的随机泛函微分方程隐式数值解的几乎必然指数稳定性，应用数学与计算，330201-212（2018）·Zbl 1427.60108号 ·doi:10.1016/j.amc.2018.02.031
[49] Riener，H。；Fey，G.，使用布尔可满足性进行精确诊断，EEE/ACM计算机辅助设计国际会议论文集·doi:10.1145/2966986.2967036
[50] 涂，Z。；Zeng，X.，两类具有Niho指数的置换三项式，有限域及其应用，53，99-112（2018）·Zbl 1392.05005号 ·doi:10.1016/j.ffa.2018.05.007
[51] Wu，H。；Song，J.，降维广义Jimbo-Miwa方程的混合集总成熟孤子解，《应用数学快报》，90，181-187（2019）·Zbl 1407.35059号 ·doi:10.1016/j.aml.2018.11.004
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。