×

兹马思-数学第一资源

一种检测约束模型对称性的方法及其推广。(英语) Zbl 1316.90029
摘要:许多约束问题中出现的对称性可以用来显著加快这些问题的解决方案的搜索速度。虽然精确地检测给定约束问题实例中的对称性是可能的,但是当前的方法对于实际大小的实例往往是不切实际的。另一方面,能够检测一个问题模型的属性的方法-以及它的所有实例-是有效的,但不够精确。提出了一种新的约束满足模型对称性推断方法,将实例方法的高精度与基于模型的方法的有效性相结合;关键的见解是,对于模型的小实例检测到的对称性可以推广到模型本身。实验结果表明,该方法能够在几乎所有的基准问题中找到所有的对称性。我们的方法的一般性,然后说明如何应用它来推断其他属性。
理学硕士:
90摄氏度 整数规划
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 阿普特,M.(编辑)(2011年)。基于逻辑的程序综合与转换——第20届国际研讨会,Lopstr2010,奥地利哈根伯格,2010年7月23日至25日,修订论文集,计算机科学课堂讲稿(第6564卷)。斯普林格·Zbl 1083.68019号
[2] Benhamou,B.(1994年)。约束满足问题的对称性研究。PPCP'94:第二届约束编程原理与实践国际研讨会(第246-254页)·Zbl 1241.90170号
[3] 查恩利,J.,科尔顿,S,。米格尔,I.(2006年)。自动生成隐含约束。G.Brewka、S.Coradeschi、A.Perini和P.Traverso(编辑),ECAI,人工智能及其应用的前沿(第141卷,第73-77页)。IOS出版社·Zbl 1181.68177
[4] 朱,G.,加西亚·德拉班达,M.,斯塔基。P、 J.(2010年)。自动利用约束规划中的子问题等价性。Mila,Toth,计算机科学课堂讲稿(第141卷,第71-86页)。斯普林格·Zbl 1285.68153
[5] 科恩,达州;杰文斯,P;杰斐逊,C;佩特里,克;Smith,BM,约束满足问题的对称定义,约束,1115-137,(2006)·Zbl 1103.68809
[6] Colton,S和Sorge,V.(2008年)。有限代数的自动参数化。数学经验成功自动推理研讨会. ·Zbl 1103.68809
[7] 库索,P.和库索,R.(1977年)。抽象解释:通过不动点的构造或逼近对程序进行静态分析的统一格模型。R.M.Graham,M.A.Harrison,R.Sethi(编辑),波普,(第238-252页。
[8] 克劳福德,J.M.,金斯伯格,M.L.,卢卡斯,E.M.,罗伊,A.(1996)。L.C.Aiello,J.Doyle,S.C.Shapiro(编辑),克朗(第148-159页)。摩根考夫曼。
[9] Darga,P.T.,Liffiton,M.H.,Sakallah,K.A.,Markov,I.L.(2004年)。在CNF对称性检测中的结构开发。S.Malik,L.Fix,A.B.Kahng(编辑),数模转换器(第530-534页)。ACM公司。
[10] Fahle,T.,Schamberger,S.,Sellmann,M.(2001年)。对称性破坏。在T.沃尔什(编辑)中,人物配对关系,计算机科学讲义(第2239卷,第93-107页)。斯普林格·Zbl 1067.68631
[11] 弗洛伊德,E.C.(1991年)。消除约束满足问题中的可互换值。T.L.Dean和K.McKeown(编辑),AAAI公司(第227-233页)。AAAI出版社/麻省理工学院出版社。
[12] 加西亚·德拉班达,M;Stuckey,PJ,《动态规划以最小化开放堆栈的最大数量》,INFORMS Journal on Computing,19607-617,(2007)·Zbl 1241.90170号
[13] 加西亚·德拉班达,乔丹州;哈维,W;K万豪酒店;斯塔基,PJ;Demoen,B,HAL程序的检查模式,TPLP,5623-668,(2005)·Zbl 1083.68019号
[14] Gent,I.P.和Smith,B.M.(2000年)。约束规划中的对称破缺。在W.霍恩(编辑)中,ECAI(第599-603页)。IOS出版社·Zbl 1238.90102
[15] Gent,I.P.和Walsh,T.(1999年)。CSPLib:约束的基准库. 技术报告,技术报告APES-09-1999-1999。可从http://www.csplib.org/。
[16] 刘,KF;Dill,KA,蛋白质构象和序列空间的晶格统计力学模型,大分子,223986-3997,(1989)
[17] Law,Y.C.,Lee,J.H.M.,Walsh,T.,Yip,J.Y.K.(2007年)。打破可互换变量和值的对称性。约束编程原理与实践-cp2007. ·Zbl 1145.68521
[18] Mancini,T.和Cadoli,M.(2005年)。通过对问题规范的推理来检测和破坏对称性。在J.-D.Zucker L.Saitta(编辑)中,抽象,重新表述和近似,第六届国际研讨会,2005年萨拉,英国苏格兰艾尔思城堡,2005年7月26日至29日,会议记录,计算机科学讲义(第3607卷,第165-181页)。斯普林格。
[19] (斯图克,J.,(1993)。优化约束逻辑程序的3r:细化、删除和重排序。在M.S.Van Deusen和B.Lang(编辑)中,波普,(第334-344页)。ACM出版社。
[20] Mears,C.,Garcia de la Banda,M.,Demoen,B.,Wallace,M.(2008年)。轻量化动态对称破坏。第八届约束满足问题对称性国际研讨会,SymCon'08. ·Zbl 1338.90269号
[21] 米尔斯,C;加西亚·德拉班达,M;Wallace,M.关于实现对称检测,约束,14443-477,(2009)·Zbl 1181.68177
[22] Mears,C.,Garcia de la Banda,M.,Wallace,M.(2011年)。提出CP模型的子问题等价候选。技术报告2011/266,莫纳什大学考尔菲尔德信息技术学院。
[23] Mears,C.,Garcia de la Banda,M.,Wallace,M.,Demoen,B.(2008年)。一种检测CSP模型对称性的新方法。在L.Perron和M.A.Trick(编辑)中,CPAIOR公司,计算机科学讲义(第5015卷,第158-172页)。斯普林格·Zbl 1142.68520
[24] Mears,C.,Niven,T.,Jackson,M.,Wallace,M.(2011年)。用模型变换证明对称性。在李浩文(J.Ho Man Lee)中,人物配对关系,计算机科学讲义(第6876卷,第591-605页)。斯普林格。
[25] Nethercote,N.,Stuckey,P.J.,Becket,R.,Brand,S.,Duck,G.J.,Tack,G.(2007年)。MiniZinc:一种标准的CP建模语言。在贝西埃(编辑)中,人物配对关系,计算机科学讲义(第4741卷,第529-543页)。斯普林格。
[26] 普吉,J.-F.,(2002年)。对称性破坏。在P Van Hentenryck(编辑)中,人物配对关系,计算机科学讲义(第2470卷,第446-461页)。斯普林格。
[27] 普吉,J.-F.(2005年)。自动检测变量和值对称性。在P.van Beek(编辑)中,约束程序设计的原则和实践——CP 2005,第11届国际会议,CP 2005,西班牙西茨,2005年10月1日至5日,会议记录,计算机科学讲义(第3709卷,第475-489页)。斯普林格·Zbl 1153.68477
[28] Ramachandran,V.,Van Hentenryck,P.,Cortesi,A.(2000年)。用于重新排序CLP(R{lin})程序的抽象域。逻辑程序设计杂志,42(3) 公元217-256年·Zbl 0952.68031
[29] Ramani,A.和Markov,I.L.(2004年)。自动利用约束编程中的对称性。B.Faltings,A.Petcu,F.Fages,F.Rossi(编辑),CSCLP公司,计算机科学讲义(第3419卷,第98-112页)。斯普林格·Zbl 1078.68760
[30] Roy,P.和Pachet,F.(1998年)。利用全局约束的对称性来加速约束满足问题的求解。ECAI98非二进制约束研讨会(第27-33页)。
[31] 史密斯,B.M.(2005年)。在排列问题中缓存搜索状态。在P van Beek(编辑)中,约束程序设计的原则和实践——CP 2005,第11届国际会议,CP 2005,西班牙西茨,2005年10月1日至5日,会议记录,计算机科学讲义(第3709卷,第637-651页)。斯普林格·Zbl 1153.68489
[32] Smith Miles,K.算法选择的元学习跨学科观点,ACM计算调查,41,6:1-6:25,(2008)
[33] GAP小组(2006年)。间隙-组、算法和编程,版本4.4.9.
[34] Van Hentenryck,P,《OPL中的约束和整数规划》,《计算学报》,14345-372,(2002)·Zbl 1238.90102
[35] Van Hentenryck,P.,Flener,P.,Pearson,J.,峈gren,M.(2005)约束满足对称性的组合推导。在J.-D.Zucker和L.Saita(编辑)中,2005年7月29日,苏格兰第6届国际近似法研讨会,第6届苏格兰近似法,计算机科学讲义(第3607卷,第234-247页)。斯普林格·Zbl 1181.68177
[36] Yahav,E.(编辑)(2011年)。静态分析-第18届国际研讨会,SAS 2011,威尼斯,意大利,2011年9月14-16日。诉讼,计算机科学讲义(第6887卷)。斯普林格·Zbl 1222.68025
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。