×
亚历山大·戈德斯特恩;克里斯托夫·杰曼;维森特·鲁伊斯·德·安古洛;卡梅·托拉斯

数值约束问题中的变量对称破缺。 （英语） Zbl 1343.65068号

Artif公司。智力。 229, 105-125 (2015)。
摘要：对称性破缺是过去几年的一个研究热点，导致了许多理论发展以及处理硬应用的强大缩放策略。然而，大多数研究都集中在离散的组合问题上，很少考虑连续的数值问题。虽然这一理论的一部分适用于这两种情况，但数值问题的特殊性使得大多数技术发展都不充分。在本文中，我们介绍了莱克斯约束，部分对称破缺不等式，对应于著名的法律在离散情况下广泛研究的约束。它们允许（部分）打破任何变量对称，并且可以在多项式时间内生成。与相反法律一般来说不切实际的约束（由于其数量过多）和在持续上下文中不合适的约束（因为其形式），莱克斯数值约束求解器可以有效地处理约束。此外，我们证明了它们对连续域的剪枝能力几乎与法律约束，它们包含了之前关于打破连续问题的特定对称类的一些工作。根据一组标准数值问题评估了它们的实验行为，并研究了影响它们影响的因素。结果证实了莱克斯约束是法律数值问题的约束。

引用于2文件

MSC公司：

65千5 数值数学规划方法
90立方 非线性规划

关键词：

约束编程;对称;数值约束;可变对称

软件：

踪迹;RealPaver公司;鹦鹉螺
PDF格式BibTeX公司 XML格式引用
\textit{A.Goldsztejn}等人，Artif。智力。229105-125（2015；Zbl 1343.65068）
全文： 内政部

参考文献：

[1] Goldsztejn，A。；Jermann，C。；鲁伊斯·德·安古洛（Ruiz de Angulo），V。；Torras，C.，《数值约束问题中的对称破缺》（CP 2011）。CP 2011，LNCS，第6876卷（2011），施普林格），317-324
[2] Vu、X.-H。；Schichl，H。；Sam-Haroud，D.，数值约束求解中有向非循环图的区间传播和搜索，J.Glob。最佳。，45, 4, 499-531 (2009) ·Zbl 1179.90267号
[3] Merlet，J.-P.，机器人问题认证数值解的区间分析，应用。数学。计算。科学。，19, 3, 399-412 (2009) ·Zbl 1300.93120号
[4] Goldsztejn，A。；Lebbah，纽约州。；米歇尔，C。；Rueher，M.，安全全局优化中的约束规划能力，（国际非线性理论及其应用研讨会（2008）），601-604
[5] Gent，I。；Petrie，K。；Puget，J.-F.，约束编程中的对称性，（约束编程手册（2006），Elsevier），329-376
[6] Walsh，T.，打破值对称，（第二十三届AAAI人工智能会议论文集（2008）），1585-1588
[7] Walsh，T.，参数化复杂度导致对称破缺，（参数化和精确计算，第五届国际研讨会论文集IPEC.参数化和准确计算，第5届国际研讨会文献集IPEC论文集，LNCS，第6478卷（2010），Springer），4-14·Zbl 1309.68104号
[8] 梅塞盖尔，P。；Torras，C.，利用约束满足搜索中的对称性，Artif。智力。，129，1-2133-163（2001年）·Zbl 0971.68144号
[9] Gent，I.，《组和约束：搜索过程中的对称破缺》（CP 2002）。CP 2002，LNCS，第2470卷（2002），施普林格），415-430
[10] 弗莱纳，P。；弗里希，A。；Hnich，B。；克孜尔坦，Z。；Miguel，I.，打破矩阵模型中的行和列对称，（CP'02:第八届约束编程原理与实践国际会议论文集（2002），Springer），462-476
[11] Puget，J.-F.，《重新审视对称破缺》，《约束》，10，1，23-46（2005）·Zbl 1071.68094号
[12] 鲁伊斯·德·安古洛（Ruiz de Angulo），V。；Torras，C.，利用连续约束问题中的单圈对称性，J.Artif。智力。决议，34499-520（2009年）·Zbl 1182.68233号
[13] Liberti，L.，《数学编程中的改革：自动对称检测和利用》，《数学》。程序。，131, 1-2, 273-304 (2012) ·Zbl 1235.90103号
[14] 自由，L。；Ostrowski，J.，《数学程序中基于稳定器的对称破缺约束》，J.Glob。最佳。，60, 2, 183-194 (2014) ·Zbl 1312.90077号
[15] 加斯卡，R。；瓦莱，C.D。；Cejudo，V。；Barba，I.，提高对称数值约束满足问题的计算效率，（西班牙人工智能协会第11届会议，西班牙人工智能学会第11届大会，CAEPIA（2005）），269-279
[16] 纪，X。；马，F。；张杰，用对称破缺法求解全局无约束优化问题，（第八届IEEE/ACIS国际计算机与信息科学会议（2009）），107-111
[17] 科斯塔，A。；利伯蒂。；Hansen，P.，《圆形包装中的配方对称性》，电子。注意离散数学。，36, 1303-1310 (2010) ·Zbl 1274.90500号
[18] 克劳福德，J。；Ginsberg，M。；Luks，E。；Roy，A.，《搜索问题的对称破缺谓词》（KR（1996）），148-159
[19] 科恩，D。；杰文斯，P。；杰斐逊，C。；Petrie，K。；Smith，B.，约束满足问题的对称定义，约束，11，2-3，115-137（2006）·Zbl 1103.68809号
[20] 北卡罗来纳州纳罗迪茨卡。；Walsh，T.，用不同的顺序打破对称，（约束编程的原理和实践。约束编程的原则和实践，LNCS，第8124卷（2013）），545-561
[21] 弗里希，A。；Hnich，B。；克孜尔坦，Z。；米格尔，I。；Walsh，T.，字典排序约束的传播算法，Artif。智力。，170, 803-834 (2006) ·Zbl 1131.68521号
[22] 杰斐逊，C。；Petrie，K.，《局部对称破缺约束的自动生成》（CP 2011）。CP 2011，LNCS，第6876卷（2011），Springer），729-743
[23] 阿霍，A.V。；Garey，M.R。；Ullman，J.D.，有向图的传递约简，SIAM J.Compute。，1, 2, 131-137 (1972) ·Zbl 0247.05128号
[24] Puget，J.-F.，《打破所有不同问题中的对称性》（第19届国际人工智能联合会议，第19届人工智能国际联合会议，IJCAI（2005）），272-277
[25] Sims，C.，置换群研究中的计算方法，（抽象代数中的计算问题（1970），佩加蒙出版社），169-183·Zbl 0215.0002号
[26] 麦凯，B.D。；Piperno，A.，实用图同构，II，J.Symb。计算。，60, 94-112 (2014) ·Zbl 1394.05079号
[27] Friedman，E.J.，《对称整数规划的基本域》，（第一届组合优化与应用国际会议，第一届组合最优化与应用国际大会，LNCS，第4616卷（2007），Springer），146-153·Zbl 1175.90296号
[28] 迪亚兹·y·迪亚兹，F。；Friedman，E.，《全实数域的符号基本域》，Proc。伦敦。数学。Soc.，108，4965-988（2014）·Zbl 1325.11117号
[29] 弗里希，A.M。；Hnich，B。；克孜尔坦，Z。；米格尔，I。；Walsh，T.，字典排序约束的传播算法，Artif。智力。，170, 10, 803-834 (2006) ·Zbl 1131.68521号
[30] Elgabou，H.A。；Frisch，A.M.，《sat模理论中的字典排序约束编码》，（第十三届约束建模和改革国际研讨会。第十三届约束建模和改革国际研讨会，ModRef 2014（2014）），85-96
[31] Granvilliers，L。；Benhamou，F.，《算法852:Realpaver:使用约束满足技术的区间解算器》，ACM Trans。数学。软质。，32, 138-156 (2006) ·Zbl 1346.65020号
[32] COPRIN，COPRIN示例页（2011年）
[33] COCONUT欧洲项目，COCONUT-基准（2003年）
[34] PHCPack，多项式系统数据库（2003）
[35] Goldsztejn，A。；Granvilliers，L。；Jermann，C.，混沌动力系统周期轨道的基于约束的计算，（第19届约束编程原理与实践国际会议，第19届限制编程原理与实务国际会议，CP'13。第19届约束编程原理与实践国际会议。第19届约束编程原理与实践国际会议，CP’13，LNCS，第8124卷（2013），774-789
[36] Margot，F.，整数线性规划中的对称性，（1958-2008（2010），整数规划50年，Springer），647-686·Zbl 1187.90200号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。