×

兹马思-数学第一资源

一种用于对称性缩减的自适应前缀分配技术。(英语) 兹布1444.68129
摘要:本文提出了一种在约束系统中自适应分配变量前缀的对称化简方法,使生成的前缀分配在系统对称群的作用下成对非同构。该技术基于McKay的规范扩展框架(麦凯,1998年)。该技术的主要特点是:(i)适应性——前缀序列可以由用户指定并截断,以与对称组兼容(ii)并行性——前缀分配可以相互独立地并行处理(iii)通用性——只要对称群可以简洁地表示为顶点着色图的自同构群,该方法就适用;以及(iv)可实现性——该方法可以依赖顶点着色图的规范标记映射作为唯一的非平凡子程序来实现。为了证明我们的技术的实际适用性,我们准备了一个该技术的开放源码的实验实现,并进行了一系列实验来证明在硬实例上减少对称性的能力。此外,我们证明了该实现通过消息传递接口有效地并行化多个节点的计算集群。
理学硕士:
68R07型 可满足性的计算方面
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
68宽10 计算机科学中的并行算法
PDF格式 BibTeX公司 引用
全文: 内政部
参考文献:
[1] 亚历克西耶夫。B、 (5倍2)矩阵与2倍2矩阵相乘的双线性复杂性(物理与数学)。物理和数学,乌奇尼·扎皮斯基·卡赞斯科戈大学。Seriya Fiziko Matematicheskie Nauki,第156卷(2014年),喀山大学:喀山大学,第19-29页
[2] 亚历克西耶夫。B、 ,关于\(m \乘以2\)和\(2\乘以2\)矩阵相乘的双线性复杂性,ChebyshevskiĭSb.,16,4,11-27(2015)·兹布1441.68298
[3] 亚历克西耶夫。B、 。;斯米尔诺夫。五、 关于\(4乘以2\)和\(2 \乘以2\)矩阵相乘的精确和近似双线性复杂性,Proc。Steklov Inst.Math.,282,1123-139(2013年)
[4] 阿列克谢耶夫。B、 关于一些矩阵乘法算法的复杂性,J。算法,6,1,71-85(1985)·Zbl 0577.68059
[5] 阿罗尔,F。A、 。;萨卡拉,K。A、 。;马尔科夫,I。五十、 ,布尔可满足性的有效对称破缺,(Proc。IJCAI 2003(2003),摩根考夫曼,271-276
[6] 奥德马尔,G。;Simon,L.,SAT问题中的极端情况,(Proc。2016年星期六。程序。2016年SAT,《计算机科学课堂讲义》,第9710卷(2016年),Springer),87-103·Zbl 06623507
[7] Babai,L.,拟多项式时间中的图同构,(Wichs,D。;Mansour,Y.,第48届ACM SIGACT计算理论研讨会论文集。第48届ACM SIGACT计算理论研讨会论文集,STOC 2016(2016),ACM),684-697·Zbl 1376.68058
[8] 贝纳莫,B。;纳巴尼,T。;奥斯特罗夫斯基,R。;萨迪,M。R、 《可满足性问题中的动态对称性破坏》,《第16届国际程序设计、人工智能和推理会议论文集》。第16届编程逻辑、人工智能和推理国际会议论文集,LPAR-16(2010)
[九] 贝纳莫,B。;纳巴尼,T。;奥斯特罗夫斯基,R。;赛迪,M。R、 ,增强SAT解算器中的对称分句学习,(第22届IEEE人工智能工具国际会议论文集,第1卷。第22届IEEE人工智能工具国际会议论文集,第1卷,ICTAI 2010(2010)),329-335
[10] 贝纳莫,B。;《命题演算中对称性的可处理性》,J。自动驾驶。原因,12,1,89-102(1994年2月)
[11] 本森,A。R、 。;Ballard,G.,实用并行快速矩阵乘法的框架,(第20届ACM SIGPLAN并行编程原理与实践研讨会论文集)。第20届ACM SIGPLAN并行编程原理与实践研讨会论文集,PPoPP 2015(2015)),42-53
[12] Biere,A.,Splatz,lingeling,plingeling,treengeling,YalSAT进入2016年SAT竞赛(2016年SAT竞赛论文集:求解器和基准描述,第B-2016-1卷(2016年),赫尔辛基大学计算机科学系列出版物),44-45
[13] 《矩阵乘法的乘法复杂度的下界》,计算机。综合体,8,3,203-226(1999年)·Zbl 0966.68227
[14] 关于小格式矩阵乘法的复杂性,J。综合体,19,1,43-60(2003)·Zbl 1026.68062
[15] Butler,G.,排列群的基本算法,计算机科学课堂讲稿,第559卷(1991),斯普林格·Zbl 0785.20001
[16] 朱克。;德拉班达,M。G、 。;米尔斯,C。;斯塔基,P。J、 《对称性、几乎对称性和懒惰子句生成,约束》,19,4,434-462(2014)·Zbl 1316.90045
[17] 科迪什,M。;恒河,G。;伊扎科夫,A。;斯塔基,P。J、 ,打破图的对称性:恶心的方式,(Proc。CP 2016。程序。CP 2016,计算机科学课堂讲稿,第9892卷(2016),Springer),157-172
[18] 科托瓦,N。T、 。;赫姆,D。;Mourouzis,T.,《乘性复杂性与用SAT解算器求解广义布伦特方程》,《第三届计算逻辑、代数、程序设计、工具和基准管理国际会议论文集》。第三届计算逻辑、代数、程序设计、工具和基准管理国际会议论文集,计算工具2012(2012)),22-27
[19] 克劳福德,J。M、 。;金斯伯格,M。五十、 。;卢卡斯,E。M、 。;Roy,A.,《搜索问题的对称性破坏谓词》,(Proc。韩国程序。KR,1996(1996),摩根考夫曼,148-159
[20] 达尔加,P。T、 。;利菲顿,M。H、 。;萨卡拉,K。A、 。;马尔科夫,I。五十、 研究了结构在CNF对称性检测中的应用。DAC 2004(2004),ACM,530-534
[21] 德夫里恩特,J。;博格尔茨。;Bruynooghe,M.,对称解释学习:SAT的有效动态对称处理,(满意度测试的理论与应用)。满意度测试理论与应用,SAT 2017(2017),斯普林格国际出版社,83-100·Zbl 06807220
[22] 德夫里恩特,J。;博加茨,B。;布鲁努赫,M。;Denecker,M.,改进的SAT静态对称性破坏,(Proc。2016年星期六。程序。2016年SAT,《计算机科学课堂讲义》,第9710卷(2016年),Springer),104-122·Zbl 06623508
[23] 德夫里恩特,J。;博加茨,B。;猫,B。D、 。;Denecker,M。;Mears,C.,对称传播:SAT中改进的动态对称破坏,第1卷,(IEEE第24届人工智能工具国际会议)。IEEE第24届人工智能工具国际会议,ICTAI 2012(2012)),49-56
[24] 迪南,J。;拉金斯,D。B、 。;萨达亚潘,P。;克里希纳穆尔西,S。;Nieplocha,J.,可伸缩的工作窃取(高性能计算网络、存储和分析会议论文集(2009)),1-11
[25] 狄克逊,J。D、 。;Mortimer,B.,排列组,数学研究生教材,第163卷(1996),斯普林格·Zbl 0951.20001
[26] 法拉季耶夫,I。A、 《组合对象的构造性计数》,(Problèmes Combinatoires et Théorie des graphies。组合与图形学专题,国际学术讨论会。CNRS,第260卷(1978年),CNRS,131-135·Zbl 0412.05006
[27] 加布里埃尔E。;同性恋,G。E、 。;博西尔卡,G。;安斯基,T。;东加拉,J。J、 。;斯奎尔斯,J。M、 。;萨哈伊,V。;坎巴杜尔,P。;巴雷特,B。;卢姆斯丹,A。;卡斯坦,R。H、 。;丹尼尔,D。J、 。;格雷厄姆,R。五十、 。;伍德尔,T。S、 《开放式MPI:下一代MPI实施的目标、概念和设计》,《第11届欧洲PVM/MPI用户小组会议论文集》(2004年),97-104
[28] 绅士,我。P、 。;皮特里,K。E、 。;Puget,J.,《约束编程中的对称性》,《约束编程手册》。《人工智能基础》(2006)第2卷,爱思唯尔出版社,329-376
[29] 格雷厄姆,R。五十、 。;罗斯柴尔德,B。五十、 。;斯宾塞,J。H、 ,拉姆齐理论(1990),约翰威利父子公司·Zbl 0705.05061
[30] 格雷兰,A。;杰斐逊,C。;米格尔,我。;Roney Dougal,C。M、 一些变量对称族的最小序约束,Ann。数学。人工制品。国际,57,1,75-102(2009年)·Zbl 1205.68375
[31] 格罗赫,M。;诺恩,D。;施维泽,P。;Wiebking,D.,有界树宽度图的改进同构检验(2018),CoRR
[32] 格罗普,W。;卢斯克,E。;Skjellum,A.,使用MPI:带消息传递接口的可移植并行编程(2014),麻省理工学院出版社
[33] 霍尔,M。;克努特,D。E、 ,组合分析与计算机,Am。数学。星期一,72,2,第二部分,21-28页(1965年)·Zbl 0127.09003
[34] 张量秩是NP完全的,J。算法·Zbl 0716.65043
[35] 休姆。;库尔曼,O。;韦林加,S。;Biere,A.,《立方体与征服:通过lookaheads指导CDCL SAT解算器》(Proc。HVC 2011。程序。HVC 2011,计算机科学课堂讲稿,第7261卷(2011),Springer),50-65
[36] 赫尔,M。J、 图问题的完美和紧对称破缺的寻求,(Proc。SYNASC 2016(2016),IEEE计算机协会,149-156
[37] 霍普克罗夫特,J。E、 。;克尔,L。R、 在最小化矩阵乘法所需的乘法数时,SIAM J。申请。数学,20,1,30-36(1971)·Zbl 0215.55501
[38] 黄,J。;赖斯,L。;马修斯,D。A、 。;范德盖恩,R。A、 ,生成实用的快速矩阵乘法算法族,(2017 IEEE国际并行和分布式处理研讨会)。2017 IEEE国际并行和分布式处理研讨会,IPDPS 2017(2017)),656-667
[39] 汉弗莱斯,J。F、 《群论教程》(1996),牛津大学出版社:牛津大学出版社·Zbl 0843.20001
[40] 伊扎科夫,A。;Codish,M.,用规范集、约束打破图搜索中的对称性,21,3,357-374(2016)·Zbl 1368.90137
[41] 杰斐逊,C。;皮特里,K。E、 ,部分对称破坏的约束自动生成,(第17届国际约束编程原理与实践会议)。第17届约束编程原理与实践国际会议,CP 2011。第17届约束编程原则与实践国际会议。第17届约束编程原理与实践国际会议,CP 2011,计算机科学课堂讲稿,第6876卷(2011),斯普林格,729-743
[42] 朱蒂拉,T。;Kaski,P.,《为大型和稀疏图设计一个有效的规范标记工具》,(Proc。ALENEX 2007(2007),暹罗)·Zbl 1428.68222
[43] 卡帕,M.,减少。GitHub存储库(2018)
[44] 卡斯基,P。;厄斯特格路,P。R、 J.,代码和设计的分类算法,数学中的算法和计算,第15卷(2006),Springer Verlag·Zbl 1089.05001
[45] Kerber,A.,应用有限群作用,算法和组合学,第19卷(1999),Springer·Zbl 0951.05001
[46] 克伯,A。;群作用,双陪集和同态:离散结构构造理论的统一概念,应用学报。数学,52,1-3,63-90(1998)·Zbl 0907.05056
[47] 克努特,D。E、 计算机编程的艺术。第4A卷。组合算法。第1部分(2011),Addison Wesley·Zbl 1354.68001
[48] 拉德曼,J。D、 ,一个用23次乘法将(3\乘以3\)矩阵相乘的非对易算法,Bull。是。数学。第82126-128页(1976年)·Zbl 0322.65021
[49] 利昂,J。S、 ,基于划分的置换群算法,I:理论与算法,J。符号。计算机,12,4-5,533-583(1991)·Zbl 0807.20001
[50] 利昂,J。S、 ,划分,细化和置换群计算,II,(群与计算)。群体与计算,离散数学与理论计算机科学中的DIMACS系列,第28卷(1997年),美国数学学会,123-158·Zbl 0872.20002
[51] 洛克什塔诺夫。;Pilipczuk,M。;Pilipczuk,M。;苏拉布,S.,《有界树图的固定参数可处理正则化与同构检验》。计算机,46,161-189(2017年)·Zbl 1358.05284号
[52] Manthey,N.,生成集团着色问题公式,(2014年SAT竞赛论文集:求解器和基准描述,B-2014-2卷(2014),赫尔辛基大学计算机科学系系列出版物B),89
[53] 麦凯,B。D、 实用图同构,同构。编号,30,45-87(1981)
[54] 麦凯,B。D、 ,无同构穷举生成,J。算法(26,324-2)·Zbl 0894.68107
[55] 麦凯,B。D、 。;Piperno,A.,实用图同构,II,J。符号。计算机,6094-112(2014)·Zbl 1394.05079
[56] 消息传递接口论坛,2015.MPI:消息传递接口标准。版本3.1。标准规范。
[57] Pacheco,P.,MPI并行编程(1997),Morgan Kaufmann·Zbl 0877.68013
[58] 佩齐,G。P、 。;塞拉,M。C、 。;马蒂亚斯,E。;梅拉德,N。;纳沃,P。O、 A.基于分层工作窃取的MPI-2程序在线调度,(第19届计算机体系结构与高性能计算国际研讨会)。第19届计算机体系结构与高性能计算国际研讨会,SBAC-PAD 2007(2007)),247-254
[59] 读吧,R。C、 每个人都是赢家;或者,在组合构型编目时如何避免同构搜索,Ann。离散数学,2107-120(1978)·Zbl 0392.05001
[60] Sabharwal,A.,Symchaff:利用结构感知可满足性求解器中的对称性,约束,14,4,478-505(2009)·Zbl 1186.68442
[61] 萨卡拉,K。A、 对称性与可满足性(可满足性手册)。可满足性手册,人工智能与应用前沿,第185卷(2009年),IOS出版社,289-338
[62] 沙夫斯马B。;赫尔,M。J、 H。;范马伦,H.,模拟Zykov收缩的动态对称性破坏(满意度测试的理论与应用)。满意度测试理论与应用,SAT2009(2009),Springer,223-236·Zbl 1247.68260
[63] 《置换群算法》(2003),剑桥大学出版社:剑桥大学出版社·Zbl 1028.20002
[64] 斯米尔诺夫,A。五、 矩阵乘法的双线性复杂度和实用算法。数学。数学。Phys.,53,12,1781-1795(2013年12月)
〔65〕 Strassen,V.,高斯消去不是最优的。数学,13,4,354-356(1969)·Zbl 0185.40101
[66] 斯威夫特,J。D、 ,穷尽搜索技术中的同构拒绝,(组合分析(1960),美国数学学会),195-200·Zbl 0096.00505
[67] Wieringa,S.,iCNF文件格式(2011)
[68] 温诺格拉德,S.,《关于(2乘以2)矩阵的乘法,线性代数应用》,4,4,381-388(1971)·中银0225.68018
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。