×

cP系统中的次线性数独解及其形式验证。 (英语) Zbl 1469.68047号

摘要:数独被称为NP-完全组合数字放置难题。在这项研究中,我们提出了第一个cP-系统解决方案,用于将(m次)个细胞分组为(m)个区块的广义数独游戏。通过使用固定数量的规则,我们的cP系统可以以次线性步骤解决所有数独难题。我们评估了cP系统并讨论了其形式验证。

MSC公司:

2007年第68季度 受生物启发的计算模型(DNA计算、膜计算等)
05B15号 正交数组、拉丁方块、房间方块
第68季度25 算法和问题复杂性分析
第68季度第60季度 规范和验证(程序逻辑、模型检查等)

软件:

P-语言;拍打
PDF格式BibTeX公司 XML格式引用
全文: 链接

参考文献:

[1] Berend,D.,《关于数独方块的数量》,《离散数学》,341,11,3241-3248(2018)·Zbl 1395.05010号
[2] Knuth,D.E。,舞蹈链接(2000)
[3] Lewis,R.,元启发式可以解决{数独}难题,《启发式杂志》,13,4,387-401(2007)
[4] 莫拉格里奥,A。;Togelius,J。;Lucas,S.,《{数独}难题的产品几何交叉》,2006年IEEE进化计算国际会议,470-476(2006),IEEE
[5] Moraglio,A。;Togelius,J.,《{数独}难题的几何粒子群优化》,GECCO,118-125(2007)
[6] Mantere,T。;Koljonen,J.,用GA解决、评级和生成数独难题,2007年IEEE进化计算大会,1382-1389(2007),IEEE
[7] Geem,Z.W。,解数独的和声搜索算法,基于知识和智能信息与工程系统国际会议,371-378(2007),施普林格
[8] 林奇,I。;Ouaknine,J.,数独作为SAT问题,ISAIM(2006)
[9] Simonis,H.,数独作为一个约束问题,CP约束满足问题建模和重构研讨会,13-27(2005)
[10] Moon,T.K。;Gunther,J.H。;库平,J.J。,Sinkhorn解数独,IEEE信息理论汇刊,55,4,1741-1746(2009)·Zbl 1367.94439号
[11] Santos-Garcia,G。;Palomino,M.,用改写规则解决数独难题Sinkhorn解决数独,理论计算机科学电子笔记,176,4,79-93(2007)·Zbl 1279.68119号
[12] Paun,G.,《膜计算》,《计算机与系统科学杂志》,61,1,108-143(2000)·Zbl 0956.68055号
[13] Paun,A.,《关于具有活性膜的P系统》,非传统计算模型,UMC’2K,187-201(2001),Springer·Zbl 0971.68055号
[14] Martin-Vide,C。;Paun,G。;Pazos,J。;Rodriguez-Paton,A.,《组织P系统》,理论计算机科学,296295-326(2003)·Zbl 1045.68063号
[15] Ionescu,M。;Paun,G。;Yokomori,T.,Spiking neural P systems,Fundamenta informaticae,71,2-3,279-308(2006)·Zbl 1110.68043号
[16] Gheorgue,M。;伊帕特,F。;Dragomir,C。;米尔拉,L。;Cabrera,L.Valencia;M.Garcia,Quismondo;Perez Jimenez,M.d.J.,Kernel P systems-第1版,第十一届膜计算头脑风暴周会议记录。ETS de Ingenieria Informatica,97-124(2013),Fénix Editora
[17] 尼科尔斯库,R。;伊帕特,F。;Wu,H.,用复杂对象编程{P}系统,膜计算国际会议,280-300(2013),Springer·Zbl 1407.68102号
[18] 尼科尔斯库,R。;Henderson,A.,《cP系统简介》,《享受自然计算》,204-227(2018),斯普林格出版社·Zbl 1519.68093号
[19] Diaz-Pernil,D。;费尔南德斯·米尔克斯,C.M。;Garcia-Quismondo,M。;Gutierrez-Naranjo,文学硕士。;Martinez-del Amor,M.A.,用膜计算解决数独问题,2010年IEEE第五届生物灵感计算国际会议:理论与应用(BIC-TA),610-615(2010),IEEE
[20] Deodhare,D。;Sonone,S。;Gupta,A.,基于膜计算的通用数独求解器,2014年智能计算技术问题与挑战国际会议(ICICT),89-99(2014),IEEE
[21] 辛格,G。;Deep,K.,一种新的膜算法,使用粒子群优化规则,结合类细胞P系统的框架来解决数独问题,应用软计算,45,27-39(2016)
[22] 刘,Y。;Sun,J。;Dong,J.S.,Pat 3:构建多域模型检查器的可扩展架构,2011年IEEE第22届软件可靠性工程国际研讨会,190-199(2011),IEEE
[23] 刘,Y。;尼科尔斯库,R。;Sun,J.,使用PAT3和ProB对cP系统进行形式验证,膜计算杂志,280-94(2020)·Zbl 1469.68046号
[24] 库珀,J。;Nicolescu,R.,《cP系统中的哈密顿循环和旅行商问题》,《信息基础》,164,2-3,157-180(2019)·Zbl 1414.68028号
[25] 亨德森。;尼科尔斯库,R。;Dinneen,M.J.,用cP系统解决PSPACE完整问题,膜计算杂志,2311-322(2020)·Zbl 1469.68036号
[26] Perez-Hurtado,I。;Orellana-Martin,D。;张,G。;Perez-Jimenez,M.J.,《两个步骤中的P-lingua:灵活性和效率》,《膜计算杂志》,第1期,第2期,第93-102页(2019年)
[27] 辛格,G。;Deep,K.,Cell-like公司{P} -系统使用确定性更新规则求解数独,国际系统保证工程与管理杂志,8,2,857-866(2017)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。