×
穹顶，费伦茨;阿诺德·诺伊梅尔

二次约束上的约束传播。 （英语） Zbl 1208.68200号

约束条件 15，第3号，404-429（2010）.
摘要：本文研究由线性和二次约束组成的连续约束满足问题的约束传播方法。所有方法都可以在对任意代数约束进行适当的预处理后应用。基本的新技术包括从二次约束中消除双线性项，并通过一系列单变量二次问题求解由此产生的可分离二次约束。注意确保所有方法都正确考虑了计算中的舍入误差。各种测试和示例说明了该方法的优点。

引用于18文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
90C20个 二次规划

关键词：

约束传播;约束编程;连续约束;二次约束满足问题;舍入误差控制;验证计算;二次规划;约束优化

软件：

全球实验室;椰子;国际博协;RealPaver公司;BARON公司;COPRIN公司;GLOPT公司;PSICO公司;Numerica公司;牛顿
PDF格式BibTeX公司 XML格式引用
\textit{F.Domes}和\textit{A.Neumaier}，约束15，No.3，404--429（2010；Zbl 1208.68200）
全文： 内政部

参考文献：

[1] 安德森·E·D和安德森·K·D（1995）。线性规划中的预高尔夫球。数学编程，71，221–245。
[2] Apt，K.R.（1999）。约束传播的本质。理论计算机科学，221（1），179-210·Zbl 0930.68164号 ·doi:10.1016/S0304-3975（99）00032-8
[3] Babichev，A.B.、Kadyrova，O.B.、Kashevarova，T.P.、Leshchenko，A.S.和Semenov，A.L.（1993）。UniCalc，一种求解代数方程组的新方法。间隔计算，3，29–47·Zbl 0829.65067号
[4] Benhamou，F.（1996）。异构约束解决。M.Hanus和M.Rodríguez-Artalejo（编辑），《1996年ALP会议录》，第五届代数和逻辑编程国际会议。计算机科学课堂讲稿（第1139卷，第62-76页）。亚琛：斯普林格·Zbl 1355.68030号
[5] Benhamou，F.、Goualard，F.，Granvilliers，L.和Puget，J.F.（1999）。修改外壳和盒子的一致性。在逻辑编程国际会议上（第230–244页）。citeseer.ist.psu.edu/benhamou99revising.html。
[6] Benhamou，F.、Granvilliers，L.和Goualard，F.（1999）。间隔约束：结果和透视。在约束的新趋势中（第1-16页）。citeseer.ist.psu.edu/benhamou99interval.html。
[7] Benhamou，F.、McAllister，D.和Van Hentenryck，P.（1994）。重新审查CLP（间隔）。程序中。逻辑程序设计国际研讨会（pp.124-138）。剑桥：麻省理工学院。
[8] Benhamou，F.和Older，W.J.（1997）。将区间算术应用于实数、整数和布尔约束。逻辑编程杂志，32，1-24·Zbl 0882.68032号 ·doi:10.1016/S0743-1066（96）00142-2
[9] Bliek，C.，Spelucci，P.，Vicente，L.N.，Neumaier，A.，Granvilliers，L.，Monfro，E.等人（2000年）。解决非线性约束和优化问题的算法：最新进展。http://www.mat.univie.ac.网址：/\（\sim\）neum/ms/StArt.pdf。
[10] Ceberio，M.和Granvilliers，L.（2000）。利用约束反演和区间算法求解非线性系统。在AISC中（第127-141页）。http://link.springer.de/link/service/series/0558/bibs/1930/19300127.htm . ·Zbl 1042.68127号
[11] Chen，H.M.和van Emden，M.H.（1995）。向Moore–Skelboe全局优化算法添加区间约束。V.Kreinovich（Ed.），区间计算应用国际研讨会APIC’95的扩展摘要（第54–57页）。
[12] Cleary，J.G.（1987）。逻辑算术。未来计算系统，2125-149。
[13] Cruz，J.和Barahona，P.（2005）。深层生物医学模型中的约束推理。医学人工智能杂志，34，77–88。网址：http://ssdi.di.fct.unl.pt/\（\sim\）pb/papers/ludi_constraints.pdf。 ·doi:10.1016/j.artmed.2004.07.013
[14] Dallwig，S.、Neumaier，A.和Schichl，H.（1997）。GLOPT–约束全局优化程序（第19-36页）。多德雷赫特：克鲁沃·Zbl 0886.90119号
[15] Dallwig，S.、Neumaier，A.和Schichl，H.（1997年）。GLOPT–用于约束全局优化的程序。在I.Bomze等人（编辑）《全局优化的发展》（第19-36页）中。多德雷赫特：克鲁沃·兹伯利0886.90119
[16] Daney，D.、Grandon，C.和Papegay，Y.（2006年）。结合CP和区间法求解不确定条件下并联机器人的直接运动学。在IntCP 06研讨会上。ftp://ftp-sop.inria.fr/coprin/daney/articles/intcp06.pdf .
[17] Dimitrova，N.S.和Markov，S.M.（1981年）。U.ber die intervall-arithmetische Berechnung des Wertebereichs einer Funktion mit Anwendungen，Freiburger intervall-Berichte。弗莱堡大学，81，1-22。
[18] Domes，F.（2009年）。GloptLab–一个可配置的框架，用于二次约束满足问题的严格全局解决方案。优化方法和软件，24（4&5），727–747。http://www.mat.univie.ac.网址：/\（\sim\）dferi/publ/Gloptlab.pdf·Zbl 1180.90217号 ·doi:10.1080/10556780902917701
[19] Domes，F.和Neumaier，A.（2009年）。定向Cholesky因子分解及其应用。http://www.mat.univie.ac.网址：/\（\sim\）dferi/publ/Cholesky.pdf·Zbl 1242.90152号
[20] Domes，F.和Neumaier，A.（2009年）。二次约束满足问题的线性方法。http://www.mat.univie.ac.网址：/\（\sim\）dferi/publ/·Zbl 1151.90549号
[21] Granvilliers，L.和Benhamou，F.（2006）。Realpaver：使用约束满足技术的区间解算器。ACM数学软件汇刊，32，38–156。http://www.sciences.univ-nantes.fr/info/perso/permanents/granvil/realpaver/ . ·Zbl 1346.65020号 ·doi:10.1145/1132973.1132980
[22] Hager，G.D.（1993年）。解决大型非线性约束系统并应用于数据建模。间隔计算，3169-200·Zbl 0829.65007号
[23] Hansen，R.E.和Walster，W.G.（2002年）。区间多项式根的尖锐界限。可靠计算，8115-122·Zbl 0994.65053号 ·doi:10.1023/A:1014797921296
[24] Hyvönen，E.和De Pascale，S.（1996）。电子表格上的间隔计算。R.B.Kearfott和V.Kreinovich（编辑），区间计算的应用（第169-209页）。多德雷赫特：克鲁沃·Zbl 0841.65032号
[25] Jaulin，L.（2000年）。区间约束传播及其在有界误差估计中的应用。自动化，36，1547–1552。https://www.ensieta.fr/e3i2/Jaulin/hull.pdf . ·Zbl 0959.93501号 ·doi:10.1016/S0005-1098（00）00068-6
[26] Jaulin，L.（2006）。水下机器人同时定位和地图构建的区间约束传播技术。http://www.mat.univie.ac.网址：/\（\sim\）neum/glopt/giolag/talks/jaulin.pdf。
[27] Jaulin，L.、Kieffer，M.、Braems，I.和Walter，E.（1999）。使用集合上的约束传播保证非线性估计。国际控制杂志，741772-1782。https://www.ensieta.fr/e3i2/Jaulin/observer.pdf . ·Zbl 1023.93020号 ·doi:10.1080/00207170110090642
[28] Jermann，C.、Lebbah，Y.和Sam-Haroud，D.（2007年）。区间分析、约束传播和应用。F.Benhamou、N.Jussien和B.O'Sullivan（编辑），《约束规划趋势》（第4章，第223-259页）。ISTE公司。
[29] Kearfott，R.B.（1991）。分解算术表达式以改善非线性系统的区间迭代行为。计算，47，169–191·Zbl 0739.65049号 ·doi:10.1007/BF02253433
[30] Krippahl，L.和Barahona，P.（2002）。PSICO：用约束编程和优化求解蛋白质结构。约束，7317–331。网址：http://ssdi.di.fct.unl.pt/\（\sim\）pb/papers/ludi_constraints.pdf·Zbl 1028.68026号 ·doi:10.1023/A:1020577603762
[31] Lebbah，Y.（2003）。iCOs–间隔约束解算器。http://ylebbah.googlepages.com/icos .
[32] Lebbah，Y.、Michel，C.和Rueher，M.（2005）。一种适用于二次约束的严格全局滤波算法。约束，10，47–65。http://ylebbah.googlepages.com/research . ·Zbl 1066.90090号 ·doi:10.1007/s10601-004-5307-7
[33] Lodwick，A.W.（1989年）。人工智能系统和数学程序中的约束传播、关系运算。运营研究年鉴，21143-148·Zbl 0705.90056号 ·doi:10.1007/BF02022097
[34] Merlet，J-P.（2004）。用区间分析法求解Gough型并联机器人的正向运动学。国际机器人研究杂志，23，221-235。http://www-sop.inria.fr/coprin/equipe/merlet/Papers/IJRR2004.pdf . ·doi:10.1177/0278364904039806
[35] Neumaier，A.（1990年）。方程组的区间方法。数学百科全书及其应用（第37卷）。剑桥：剑桥大学出版社·Zbl 0715.65030号
[36] Neumaier，A.（2003）。封闭多项式的零点簇。计算与应用数学杂志，156389-401·Zbl 1029.6500号 ·doi:10.1016/S0377-0427（03）00380-7
[37] Neumaier，A.（2004）。在连续全局优化和约束满足中完成搜索。《数字学报》，1004，271–369·Zbl 1113.90124号
[38] Older，W.和Vellino，A.（1993）。实数区间上的约束算法。在F.Benhameou和A.Colmerauer（编辑），约束逻辑编程：选择研究。剑桥：麻省理工学院。
[39] Sahinidis，N.和Tawarmalani，M.（2003）。连续和混合整数非线性规划中的凸化和全局优化：理论、算法、软件和应用。多德雷赫特：克鲁沃·Zbl 1031.90022号
[40] Sahinidis，V.N.和Tawarmalani，M.（2005）。BARON 7.2.5：混合整数非线性程序的全局优化。用户手册。http://www.gams.com/dd/docs/solvers/baron.pdf .
[41] Schichl，H.（2003）。数学建模与全局优化，能力验证论文。http://www.mat.univie.ac.网址：/\（\sim\）赫尔曼/论文/habil.pdf。
[42] Schichl，H.和Neumaier，A.（2005年）。用于全局优化的有向无环图的区间分析。《全球优化杂志》，33（4），541–562·兹比尔1094.65061 ·doi:10.1007/s10898-005-0937-x
[43] Schichl，H.等人（2000年至2008年）。COCONUT环境。软件。http://www.mat.univie.ac.at/coconut-environment网站 .
[44] van Emden，H.M.（2001）。通过原子约束系统中的结构化传播计算函数盒和关系盒的一致性。CoRR公司。PL/0106008。
[45] Van Hentenryck，P.（1998年）。数字入门。人工智能，103、209–235·Zbl 0910.68095号 ·doi:10.1016/S0004-3702（98）00053-8
[46] Van Hentenryck，P.、Michel，L.和Benhamou，F.（1997年）。牛顿：非线性约束上的约束编程。科学规划，30，83–118·Zbl 0891.68015号
[47] Van Hentenryck，P.、Michel，L.和Deville，Y.（1997年）。数字。用于全局优化的建模语言。剑桥：麻省理工学院。
[48] Vu，X.-H.，Schichl，H.和Sam-Haroud，D.（2004）。使用有向无环图来协调传播和搜索数值约束满足问题。第16届IEEE人工智能工具国际会议论文集（ICTAI 2004）（第72-81页）。http://www.mat.univie.ac.网址：/\（\sim\）herman/papers/ICTAI2004.pdf。
[49] Vu，X.-H.，Schichl，H.和Sam-Haroud，D.（2007年）。数值约束求解中有向非循环图的区间传播和搜索。全球优化杂志，39。http://www.mat.univie.ac.网址：/\（\sim\）herman/papers/FBPD-Hermann.pdf·Zbl 1179.90267号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。