×
开尔文·布诺;亨利·阿多纳

求解带字符串对象的分布式P系统中的3-SAT。 （英语） Zbl 1512.68093号

西奥。计算。科学。 964，文章ID 113976，27 p.（2023）.
摘要：在本研究中，通过请求通信的字符串重写P系统被用于解决可满足性问题（SAT）。根据输入布尔公式的子句数和变量数，使用这类重写P系统的解族被证明是一致的。然后，这个重写P系统被用作构建解决SAT的分布式P系统的组件。这项工作表明，对通信步骤的真值分配进行编码只需要实现多项式数量的规则，但需要一组指数大小的组件间通信规则才能实现低通信成本。

MSC公司：

2007年第68季度 受生物启发的计算模型（DNA计算、膜计算等）
2012年第68季度 语法和重写系统
68兰特 可满足性的计算方面

关键词：

坐;膜计算;分布式P系统
PDF格式BibTeX公司 XML格式引用
\textit{K.Buño}和\textit{H.Adorna}，Theor。计算。科学。964，文章ID 113976，27 p.（2023；Zbl 1512.68093）
全文： 内政部

参考文献：

[1] 阿多诺，H。；普昂，G。；Pérez-Jiménez，M.，《进化通信P系统中的通信复杂性》，Rom.J.Inf.Sci。技术。，13, 2, 113-130 (2010)
[2] 阿多尔纳，H。；潘·L。；Song，B.，《关于通过膜计算实现SAT的分布式解决方案》，国际计算机杂志。Commun公司。控制，13，303-320（2018年5月）
[3] 阿曼，B。；Ciobanu，G.，用活性膜和预先计算的初始配置解决SAT，（第十二届膜计算头脑风暴周（2014）），63-72
[4] 波托尼，P。；马丁·维德，C。；普昂，G。；Rozenberg，G.，带启动子/抑制剂的膜系统，《信息学报》。，38, 695-720 (09 2002) ·Zbl 1034.68038号
[5] 布尼奥，K。；Adorna，H.，使用子句补全法对SAT中带有活性膜的k P系统进行分布式计算，J.Membr。计算。，2 (06 2020) ·Zbl 1469.68026号
[6] 布尼奥，K。；Adorna，H.，用字符串对象求解分布式p系统中的3-sat，（第十一届亚洲膜计算会议论文集。第十一届亚太膜计算会议文献集，菲律宾奎松市（2022）），105-132
[7] 布尼奥，K.C。；Cabarle，F.G.C。；医学博士卡拉比亚。；Adorna，H.N.，使用带有活性膜的dP系统解决N皇后问题，Theor。计算。科学。(2017)
[8] Csuhaj-Varjú，E。；Vaszil，G.，P具有字符串对象和请求通信的系统，（（2007年6月），228-239·Zbl 1137.68381号
[9] Gazdag，Z.，在变量数量的线性时间内通过具有活性膜的P系统求解SAT，（Alhazov，A.；Cojocaru，S.；Gheorghe，M.；Rogozhin，Y.；Rozenberg，G.；Salomaa，A.，膜计算（2014），施普林格-柏林-海德堡：施普林格-柏林-海德堡-柏林，海德堡），189-205·Zbl 1407.68169号
[10] 加兹达格，Z。；Kolonitis，G.，《利用具有活性膜的P系统解决SAT的新方法》，（Csuhaj-Varjü，E.；Gheorghe，M.；Rozenberg，G.；Salomaa，A.；Vaszil，G.《膜计算》（2013），斯普林格·柏林-海德堡：斯普林格尔·柏林-海德堡-柏林，海德堡），195-207年·Zbl 1388.68115号
[11] Gutiérrez-Naranjo，M。；Pérez-Jiménez，M。；Romero-Campero，F.，使用膜生成的SAT统一解决方案，Theor。计算。科学。，371, 54-61 (02 2007) ·Zbl 1108.68058号
[12] Gutiérrez Naranjo，硕士。；Martínez-del-Amor，医学硕士。；佩雷兹·赫塔多，I。；Pérez-Jiménez，M.J.，《用P系统解决N皇后区难题》（Gutiérrez-Escudero，Rosa；Gutierrez-Naranjo，Miguel Angel；Pérun，Gheorghe；Pé》Hurtado，Ignacio；Riscos-Nüñez，Agust N，第七届膜计算头脑风暴周（2009），《Fénix Editora:Féni x Editora Sevilla，España），199-210
[13] Ionescu，M。；Sburlan，D.，带启动子/抑制剂的On p系统，J.UCS，10581-599（2004年1月）
[14] Juayong，R.A。；Adorna，H.，《能量进化-通讯p系统结果调查》，J.Membr。计算。，2 (02 2020) ·Zbl 1469.68041号
[15] Leporati，A。；Mauri，G。；赞德隆，C。；普恩，Gh。；Pérez-Jiménez，M.J.，通过尖峰神经P系统实现SAT和子集和的统一解，自然计算。，8, 4, 681-702 (2008) ·Zbl 1185.68340号
[16] 潘·L。；Alhazov，A.，《利用具有活性膜和分离规则的P系统解决HPP和SAT》，《信息学报》。，43, 2, 131-145 (2006) ·Zbl 1097.68045号
[17] 潘·L。；Ishdorj，T.O.，《具有活性膜和分离规则的P系统》，J.Univers。计算。科学。，10, 630-649 (01 2004)
[18] 普恩，Gh。，《膜计算》，J.Compute。系统。科学。，61, 1, 108-143 (2000) ·Zbl 0956.68055号
[19] 普恩，Gh。；Pérez-Jiménez，M.J.，《在膜计算中以分布式方式解决问题：dP系统》，国际计算机杂志。Commun公司。控制，5238-250（2010）
[20] （Păun，Gh.；Rozenberg，G.；Salomaa，A.，《牛津膜计算手册》（2010年），牛津大学出版社：牛津大学出版社，美国纽约州纽约市）·Zbl 1237.68001号
[21] Pérez-Jiménez，M.，膜计算中的计算复杂性理论，（2009年8月），125-148·Zbl 1273.68185号
[22] Pérez-Jiménez，M。；安大略省吉梅内斯。；Caparrini，F.，《膜细胞计算中的复杂性类》，《自然计算》。，2 (09 2003)
[23] Song，B。；Kong，Y.，使用带有无时间活性膜的p系统解决pspace-complete问题，数学。问题。工程，2019年，1-8（2019年6月）·兹比尔1435.68098
[24] Song，B。；Pérez-Jiménez，M.J。；Pan，L.，膜上蛋白质的p系统对sat问题的一种有效的无时间解决方案，J.Compute。系统。科学。，82, 6, 1090-1099 (2016) ·Zbl 1342.68133号
[25] Song，B。；张，C。；Pan，L.，具有进化同向/反向运动规则的组织样P系统，《信息科学》。，378, 177-193 (2017) ·Zbl 1429.68074号
[26] 宋，T。；马西亚斯·拉莫斯，L.F。；潘·L。；Pérez-Jiménez，M.J.，使用带活性膜的P系统解决SAT问题的无时间解决方案，Theor。计算。科学。，529, 61-68 (2014) ·Zbl 1358.68103号
[27] 赞德隆，C。；费雷蒂，C。；Mauri，G.，使用具有活性膜的P系统解决NP完全问题，（Antoniou，I.；Calude，C.S.；Dinneen，M.J.，《第二届非常规计算模型国际会议论文集》（UMC’2K）（2001），斯普林格伦敦：斯普林格伦敦），289-301·Zbl 0967.68074号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。