×
武宣哈;赫尔曼·施奇尔;贾米拉·萨姆·哈罗德

数值约束求解中有向非循环图的区间传播和搜索。 （英文） Zbl 1179.90267号

J.全球。最佳方案。 45，第4499-531号（2009年）.
摘要：最近，有向无环图（DAG）区间分析的基本原理被提出用于全局优化和约束传播H.Schichl公司和A.纽梅尔[J.Glob.Optim.33，第4期，541-562（2005年；Zbl 1094.65061号)]. 为了表示数值问题，作者使用DAG，DAG的节点是子表达式，其有向边是计算流。与基于树的表示法相比[F.本哈莫等，Proc。《逻辑编程国际会议》（ICLP’99），230–244（1999）]，DAG提供了基本优势，可以更准确地处理传播过程中由多个约束共享的子表达式对整个系统的影响。
在本文中，我们展示了如何通过以下方式使DAG上的区间约束传播和搜索变得实用高效：（1）灵活选择传播必须在其上执行的节点；（2）处理初始DAG的部分子图，而不是整个图。我们提出了一种新的区间约束传播技术，该技术利用子表达式对所有约束的影响，而不是对单个约束的影响。然后，我们展示了如何将新的传播技术集成到分支和剪枝搜索中，以解决数值约束满足问题。实验表明，该算法的性能优于其明显的竞争者。

引用于12文件

MSC公司：

90C26型 非凸规划，全局优化
90立方厘米 涉及图形或网络的编程

关键词：

区间约束传播;分枝和修剪

引文：

Zbl 1094.65061号

软件：

RealPaver公司;国际博协
PDF格式BibTeX公司 XML格式引用
\textit{X.-H.Vu}等人，J.Glob。最佳方案。45，第4号，499--531（2009；Zbl 1179.90267）
全文： 内政部 链接

参考文献：

[1] Alefeld G.，Herzberger J.：区间计算简介。纽约学术出版社（1983）·Zbl 0552.65041号
[2] Benhamou，F.，Older，W.J.：将区间算术应用于实数、整数和布尔约束。J.日志。《纲领》，第32-81页，1997年。加拿大贝尔北方研究公司技术报告的扩展（1992年）
[3] Benhamou，F.，Older，W.J.：将区间算术应用于实数、整数和布尔约束。技术报告BNR，技术报告，Bell Northern Research，ON，Canada（1992）·Zbl 0882.68032号
[4] Benhamou，F.，McAllester，D.，Van Hentenryck，P.：重新审视CLP（区间）。摘自：《国际逻辑程序设计研讨会论文集》，第109-123页（1994年）
[5] Benhamou，F.、Goualard，F.，Granvilliers，L.、Puget，J.-F.：修改船体和箱体的一致性。摘自：《逻辑程序设计国际会议论文集》（ICLP’99），第230–244页。美国拉斯克鲁塞斯（1999年）
[6] Granvilliers L.，Benhamou F.：算法852:RealPaver：使用约束满足技术的区间解算器。ACM事务处理。数学。柔和。（TOMS）32（1），138–156（2006）·Zbl 1346.65020号 ·doi:10.1145/1132973.1132980
[7] Hansen，E.R.，Walster，G.W.：使用区间分析的全局优化，第2版。马塞尔·德克尔（2004）·Zbl 1103.90092号
[8] Hickey T.J.、Ju Q.、Van Emden M.H.：区间算法：从原理到实现。J.ACM（JACM）48（5），1038–1068（2001）·Zbl 1323.65047号 ·数字对象标识代码：10.1145/502102.502106
[9] Jaulin，L.，Kieffer，M.，Didrit，O.，Walter，E.：应用区间分析，第1版。斯普林格（2001）·兹比尔1023.65037
[10] Lebbah，Y.：ICOS（区间约束求解器）。WWW文档（2003）
[11] O.Lhomme：数字CSP的一致性技术。摘自：《第十三届国际人工智能联合会议记录》（IJCAI-93），第232-238页（1993年）
[12] Lottaz，C.：使用解决方案空间的协作设计。瑞士洛桑联邦理工学院（EPFL）博士论文，瑞士（2000年）
[13] Mackworth A.K.：关系网络的一致性。Artif公司。智力。8, 99–118 (1977) ·Zbl 0341.68061号 ·doi:10.1016/0004-3702（77）90007-8
[14] Montanari U.：约束网络：图像处理的基本性质和应用。信息科学。7, 95–132 (1974) ·Zbl 0284.68074号 ·doi:10.1016/0020-0255（74）90008-5
[15] Moore R.E.：区间分析。新泽西州恩格尔伍德悬崖普伦蒂斯·霍尔（1966）·Zbl 0176.13301号
[16] Moore R.E.：区间分析的方法和应用。费城SIAM应用数学研究（1979）·Zbl 0417.65022号
[17] Neumaier A.：方程组的区间方法。剑桥大学出版社，剑桥（1990）·Zbl 0715.65030号
[18] Pryce J.D.，Corliss G.F.：包含集的区间算术。计算78（3），251–276（2006）·Zbl 1108.65043号 ·文件编号：10.1007/s00607-006-0180-4
[19] Sam-Haroud，D.：连续域的约束一致性技术。瑞士洛桑联邦理工学院（EPFL）博士论文（1995年）
[20] Schichl，H.：数学建模和全局优化。习惯化论文，维也纳大学数学系，Autralia，2003年11月
[21] Schichl H.，Neumaier A.：用于全局优化的有向无环图的区间分析。J.全球优化。33541–562（2005年）·Zbl 1094.65061号 ·doi:10.1007/s10898-005-0937-x
[22] Silaghi，M.-C.，Sam-Haroud，D.，Faltings，B.：带不等式的非线性CSP搜索技术。收录：第14届加拿大人工智能会议记录（2001年）·Zbl 0984.68671号
[23] Singh S.、Watson B.、Srivastava P.：不动点理论和最佳逼近：KKM映射原理。Kluwer学术出版社，Dordrecht（1997）·Zbl 0901.47039号
[24] Van Hentenryck，P.：Numerica：一种用于全局优化的建模语言。附：第十五届国际人工智能联合会议记录（IJCAI-97）（1997）·Zbl 0905.65070号
[25] Vu，X.-H.，Sam-Haroud，D.，Silaghi，M.-C.：非孤立解的数值约束满足问题。收录于：《全局优化和约束满足：第一届全局约束优化与约束满足国际研讨会》，COCOS 2002，LNCS第2861卷，第194-210页。2003年10月，法国瓦尔邦·索菲亚·安蒂波利斯。Springer-Verlag公司·Zbl 1255.65115号
[26] Vu，X.-H.，Sam-Haroud，D.，Faltings，B.：在数值约束传播中组合多个包含表示。摘自：第16届IEEE人工智能工具国际会议论文集（ICTAI 2004），第458-467页。美国佛罗里达州，2004年11月。IEEE计算机学会出版社
[27] Vu，X.-H.，Schichl，H.，Sam-Haroud，D.：使用有向非循环图来协调传播和搜索数值约束满足问题。在：第16届IEEE人工智能工具国际会议论文集（ICTAI 2004），美国佛罗里达州，2004年11月。IEEE计算机学会出版社
[28] Waltz，D.L.：从阴影场景的绘图中生成语义描述。美国麻省理工学院技术报告（1972年）
[29] Waltz D.L.：《计算机视觉心理学》，《理解阴影场景的线条图》一章，第19-91页。纽约麦格劳希尔出版社（1975年）
[30] William Walster，G.，Hansen，E.R.，Pryce，J.D.：扩展实数区间和扩展实数关系的拓扑闭包。《技术报告》，Sun Microsystems，2000年2月。http://wwws.sun.com/software/sundev/whitepapers/extended-real.pdf
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。