×
Gilles Trombettoni;吉尔·查伯特

构造区间析取。 （英文） Zbl 1145.68530号

Bessière，Christian（编辑），约束编程的原则和实践–CP 2007。2007年9月23日至27日，第13届国际会议，CP 2007，美国罗得岛州普罗维登斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74969-1/pbk）。《计算机科学讲义》4741635-650（2007）。
摘要：本文提出了两种新的基于构造析取的数值CSP滤波算子，以及一种新的分裂启发式算法。第一个操作符（CID）是一种通用算法，用于实现带区间的构造析取。第二种算法（3BCID）是一种混合了构造析取和剃须的混合算法，另一种技术已经通过算法3B用于数值CSP。最后，分割策略从CID过滤步骤中学习下一个要分割的变量，而没有开销。
已经用20个基准进行了实验。在几个基准上，CID和3BCID比标准策略的性能提高了几个数量级。CID与3B操作员相比具有优势，同时实现更简单。实验建议修复3BCID中与CID相关的参数，从而为用户提供一个有希望的3B变体。
关于整个系列，请参见[Zbl 1142.68007号].

引用于1审查
引用于17文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
PDF格式BibTeX公司 XML格式引用
\textit{G.Trombettoni}和\textit{G.Chabert}，莱克特。注释计算。科学。4741、635--650（2007年；Zbl 1145.68530）
全文： 内政部 哈尔

参考文献：

[1] Barták，R.，Erben，R.：一种新的单点弧一致性算法。In：程序。FLAIRS（2004）
[2] Bessière，C.，Debruyne，R.：最优和次优单点弧一致性算法。In：程序。IJCAI，第54-59页（2005年）
[3] Debruyne，R.，Bessière，C.：约束满足问题的一些实用滤波技术。In：程序。IJCAI，第412-417页（1997年）
[4] Geelen，P.A.：二元约束满足问题的双视角启发式。In：程序。ECAI 1992，第31-35页（1992）
[5] Granvilliers，L。；Benhamou，F.，RealPaver:使用约束满足技术的区间解算器，ACM Trans。数学软件，32，1，138-156（2006）·Zbl 1346.65020号 ·doi:10.145/1132973.1132980
[6] Y.Lebbah。；米歇尔，C。；Rueher，M.，二次约束的严格全局滤波算法，约束杂志，10，1，47-65（2005）·Zbl 1066.90090号 ·doi:10.1007/s10601-004-5307-7
[7] Lhomme，O.：数值CSP的一致性技术。收录于：IJCAI，第232-238页（1993年）
[8] 奥朗玛：快速剃须。In：程序。AAAI，第411-415页（2005年）
[9] Min Li，C.，Anbulagan：基于单位传播的可满足性问题启发式。In：程序。IJCAI，第366-371页（1997年）
[10] Neumaier，A.，方程组的区间方法（1990），剑桥：剑桥大学出版社，剑桥·Zbl 0715.65030号
[11] Neveu，B。；查伯特，G。；Trombettoni，G。；Benhamou，F.，When Interval Analysis helps Interblock Backtracking，Principles and Practice of Constraint Programming-CP 2006，390-405（2006），海德堡：斯普林格·兹比尔1160.68557 ·doi:10.1007/11889205_29
[12] COPRIN的网页：www-sop.inria.fr/COPRIN/logiciels/ALIAS/Benches/Benches.html COCONUT benchs：www.mat.univie.ac.at/neum/glopt/comcoff/Benchmark/Bechmark.html
[13] 雷法洛，P。；Wallace，M.，《基于影响的约束编程搜索策略，约束编程的原理与实践——CP 2004，557-571（2004）》，海德堡：斯普林格·Zbl 1152.68577号
[14] Régin，J.C.：CSP中差异约束的过滤算法。In：程序。AAAI，第362-367页（1994年）
[15] Simonis，H.：数独作为一个约束问题。摘自：CP约束满足问题建模与重构研讨会，第13-27页（2005年）
[16] Van Hentenryck，P。；米歇尔，L。；Deville，Y.，《数值：全局优化的建模语言》（Numerica:A Modeling Language for Global Optimization）（1997），剑桥：麻省理工学院出版社，剑桥
[17] Van Hentenryck，P。；萨拉斯瓦特，V。；Deville，Y.，《约束语言CC（FD）的设计、实现和评估》，J.Logic Programming，37，1-3，139-164（1994）·Zbl 0920.68026号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。