詹姆斯·库珀;拉杜·尼科尔斯库 图着色问题的P系统解决方案的替代表示。 （英语） Zbl 1431.68027号 J.成员。计算。 第1、2号，112-126（2019）. 摘要：本文首先模拟了前一篇论文中提出的图3-着色问题的简单核P系统解决方案M.Gheorghe先生等【国际计算数学杂志90，第4期，816–830（2013；Zbl 1274.68125号)]，以名为Concurrent ML的编程风格实现，该风格基于逻辑处理元素之间的同步通信概念。然后，本文提出并非正式地分析了使用具有复合对象的P系统（cP系统）解决同一问题的另一种紧凑的单单元解决方案，其优点是可以自然适应使用任何大于零的颜色数，只需更改指定的颜色符号。文中还介绍了后一种解决方案的成功和失败示例。 引用于3文件 MSC公司： 2007年第68季度 受生物启发的计算模型（DNA计算、膜计算等） 05C15号 图和超图的着色 关键词：cP系统;简单内核P系统;图形着色问题;并发ML 引文：兹比尔1274.68125 软件：gCol（色谱柱）;MeCoSim公司;P-语言;jSpin（jSpin）;自旋蛋白 PDF格式BibTeX公司 XML格式引用 \textit{J.Cooper}和\textit{R.Nicolescu}，J.Membr。计算。1，第2号，112-126（2019年；Zbl 1431.68027） 全文： 内政部 参考文献： [1] Beigel，R.和Eppstein，D.（2005）。3-在\[O（1.3289^n）O\]（1.3288n）时间内着色。《算法杂志》，54（2），168-204。https://doi.org/10.1016/j.jalgor.2004.06.008。 ·Zbl 1101.68716号 ·doi:10.1016/j.jalgor.2004.06.008 [2] Ben-Ari，M.（2008）。自旋模型检查器的原理。伦敦：斯普林格。https://doi.org/10.1007/978-1-84628-770-1。 ·Zbl 1142.68044号 ·数字对象标识代码：10.1007/978-1-84628-770-1 [3] Cooper，J.和Nicolescu，R.（2019年）。cP系统中的哈密顿循环和旅行商问题。《信息基础》，164（2-3），157-180。https://doi.org/10.3233/FI-2019-1760。 ·Zbl 1414.68028号 ·doi:10.3233/FI-2019-1760 [4] Csuhaj-Varjü，E.和Verlan，S.（2011年）。关于具有最小交互规则的广义通信P系统。理论计算机科学，412（1-2），124-135。https://doi.org/10.1016/j.tcs.2010.08.020。 ·Zbl 1207.68138号 ·doi:10.1016/j.tcs.2010.08.020 [5] Díaz-Pernil，D.，Gutiérrez-Naranjo，M.A.，Pérez-Jiménez，M.J.，&Riscos-Nüñez，A.（2008）。细胞分裂在线性时间内求解3-COL的组织P系统的统一族。理论计算机科学，404（1-2），76-87。https://doi.org/10.1016/j.tcs.2008.04.005。 ·Zbl 1151.68016号 ·doi:10.1016/j.tcs.2008.04.005 [6] Gheorghe，M.、Ipate，F.、Lefticaru，R.、Pérez-Jiménez，M.J.、urcanu，A.、Valencia Cabrera，L.等人（2013年）。使用简单核P系统的3-Col问题建模。国际计算机数学杂志，90（4），816-830。https://doi.org/10.1080/00207160.2012.743712。 ·兹比尔1274.68125 ·doi:10.1080/00207160.2012.743712 [7] Hoare，C.A.R.（1985）。传达顺序过程。Prentice-Hall国际计算机科学系列。恩格尔伍德悬崖：普伦蒂斯/霍尔国际·Zbl 0637.68007号 [8] Ionescu，M.、Pun，G.和Yokomori，T.（2006）。尖峰神经P系统。《信息基础》，71（2/3），279-308·Zbl 1110.68043号 [9] Lefticaru，R.、Tudose，C.和Ipate，F.（2011年）。使用自旋实现P系统的自动验证。国际自然计算研究杂志，2（3），1-12。https://doi.org/10.4018/jncr.2011070101。 ·Zbl 1213.68273号 ·doi:10.4018/jncr.2011070101 [10] Lewis，R.（2016）。图形着色指南。查姆：施普林格国际出版公司。https://doi.org/10.1007/978-3-319-25730-3。 ·Zbl 1330.05002号 ·数字对象标识代码：10.1007/978-3-319-25730-3 [11] 尼科尔斯库，R。；亨德森。；Graciani，C.（编辑）；Riscos-Núñez，A.（编辑）；普昂（Páun，G.）（编辑）；Rozenberg，G.（编辑）；Salomaa，A.（编辑），《cP系统简介》，第11270、204-227号（2018年），Cham·Zbl 1519.68093号 ·doi:10.1007/978-3-030-00265-7_17 [12] Panangaden，P.和Reppy，J.（1997）。并发ML的本质（第5-29页）。纽约：斯普林格。https://doi.org/10.1007/978-1-4612-2274-3_2。 ·doi:10.1007/978-1-4612-2274-32 [13] Pérez-Hurtado，I.、Orellana-Martín，D.、Zhang，G.和Pére z-Jiménez，M.J.（2018）。P-lingua编译器：在膜计算中生成特殊模拟器的工具。M.J.Dinneen，&R.Nicolescu（编辑），膜计算国际会议亚洲分会预编（第149-163页）。奥克兰：离散数学和理论计算机科学中心。https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/publication-list-bydate.php？选中-日期=2018年。2019年1月10日访问。 [14] 佩雷兹·赫塔多，I。；瓦伦西亚-卡布雷拉。；Pérez-Jiménez，MJ；Colomer，马萨诸塞州；Riscos-Nüñez，A。；Li，K.（编辑）；Tang，Z.（编辑）；Li，R.（编辑）；阿拉斯加州纳加（编辑）；Thamburaj，R.（ed.），《MeCoSim:通过P系统模拟生物现象的通用软件工具》，637-643（2010），长沙·doi:10.1109/BICTA.2010.5645199 [15] Péun，G.、Pérez-Jiménez，M.J.和Riscos-Nüñez，A.（2008）。具有细胞分裂的组织P系统。国际计算机通信与控制杂志，3（3），295。https://doi.org/10.15837/ijccc.2008.3.2397。 ·doi:10.115837/ijccc.2008.3.2397 [16] Reppy，J.H.（1991）。CML公司。ACM SIGPLAN通知，26（6），293-305。https://doi.org/10.1145/113446.113470。 ·数字对象标识代码：10.1145/113446.113470 [17] Reppy，J.H.（2007）。《ML并行编程》，纽约：剑桥大学出版社·兹比尔1137.68409 [18] Song，B.、Pérez-Jiménez，M.J.、Pun，G.和Pan，L.（2016）。通道状态以平坦的最大并行方式工作的组织P系统。IEEE纳米生物科学汇刊，15（7），645-656。https://doi.org/10.109/TNB.2016.2594380。 ·doi:10.1109/TNB.2016.2594380 [19] Verlan，S。；Calude，CS（编辑）；Calude，E.（编辑）；Dinneen，MJ（编辑），《具有最小同向/反向运动的组织P系统》，第3340号，第418-429页（2005年），柏林·Zbl 1117.68375号 ·doi:10.1007/978-3-540-30550-7_35 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。