×
尼古拉斯·贝尔迪塞努;卡尔森，Mats;德布鲁因，罗穆阿尔;蒂埃里·佩蒂特

基于约束检查器重新设置全局约束。 （英语） Zbl 1103.68804号

约束条件 10，第4期，339-362（2005）.
摘要：本文讨论的是全局约束，其解集可以由一个扩展的有限自动机识别，该自动机的大小由\（n\）中的多项式限定，其中\（n\）是相应全局约束的变量数。通过将自动机简化为签名和转换约束的结合，我们展示了如何系统地获得自动机重新构造。在对签名和转换约束的一些限制下，此重新格式化保持了弧一致性。基于一些约束以及SICStus Prolog的元编程工具的实现是可用的。对于受限制的自动机类，我们为宽松情况提供了一个自动机重新定义，其中违规成本是为了返回到解决方案而取消分配的最小变量数。

引用于7文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
65年第68季度 形式语言和自动机

关键词：

全局约束;自动机;重新制定

软件：

木槿;SICStus公司;CPLEX公司;CSPLib数据库
PDF格式BibTeX公司 XML格式引用
\textit｛N.Beldiceanu｝等人，约束条件10，第4号，339-362（2005年；Zbl 1103.68804）
全文： 内政部

参考文献：

[1] Carlsson，M.和Beldiceanu，N.（2004）。从约束到有限自动机再到过滤算法。Schmidt，D.编辑，Proc。ESOP2004，LNCS第2986卷，第94–108页。斯普林格·弗拉格·兹比尔1126.68338
[2] Vempaty，N.R.（1992年）。使用有限状态自动机求解约束满足问题。在全国人工智能会议（AAAI-92）上，第453-458页。AAAI出版社。
[3] Amilhastre，J.（1999）。再现了禁忌满意度问题的自动化集成解决方案。博士论文。
[4] Amilhastre，J.、Fargier，H.和Marquis P.（2002年）。动态CSP中的一致性恢复和解释–应用程序到配置。Artif公司。智力。135: 199–234. ·Zbl 0983.68182号 ·doi:10.1016/S0004-3702（01）00162-X
[5] Boigelot，B.和Wolper，P.（2002年）。用有限自动机表示算术约束：概述。在Stuckey，Peter J.主编，ICLP’2002，逻辑编程国际会议，LNCS第2401卷，第1-19页。斯普林格·弗拉格·Zbl 1045.03038号
[6] Pesant，G.（2003）。变量序列的正则语言成员约束。在《建模和改造约束满足问题研讨会》中，第110–119页。
[7] Petit，T.、Régin，J.-C.和Bessière，C.（2001）。过约束问题的特定过滤算法。Walsh，T.编辑，《约束编程的原理与实践》（CP’2001），LNCS第2239卷，第451-463页。斯普林格·弗拉格·Zbl 1067.68663号
[8] Milano，M.（2004）。约束和整数编程。Kluwer学术出版社，ISBN 1-4020-7583-9·Zbl 1078.90055号
[9] Van Hentenryck，P.和Carillon，J.-P.（1988年）。一般性与特殊性：AI和OR技术的经验。在全国人工智能会议（AAAI-88）上。
[10] Beldiceanu，N.（2001年）。修剪最小约束族和不同值约束族的数量。Walsh，T.，ed.，CP’2001，《约束编程原理与实践国际会议》，LNCS第2239卷，第211-224页。斯普林格·弗拉格·兹比尔1067.68611
[11] Bourdais，S.、Galinier，P.和Pesant，G.（2003年）。HIBISCUS：一个用于卫生保健人员调度的约束编程应用程序。在Rossi，F.编，CP’2003，约束编程的原理和实践，LNCS第2833卷，第153-167页。斯普林格·弗拉格。
[12] Maher，M.（2002）。全局邻接约束的分析。在CP-2002举办的基于规则的约束推理和编程研讨会上。
[13] Frisch，A.、Hnich，B.、Kiziltan，Z.、Miguel，I.和Walsh，T.（2002）。词典排序的全局约束。在Van Hentenryck，Pascal编辑的《约束编程的原理与实践》（CP’2002）中，LNCS第2470卷，第93-108页。斯普林格·弗拉格。
[14] Beldiceanu，N.和Contejean，E.（1994年）。在CHIP中引入全局约束。数学。计算。模型。20(12): 97–123. ·Zbl 0816.68048号 ·doi:10.1016/0895-7177（94）90127-9
[15] Beldiceanu，N.（2000年）。全局约束作为相同类型基本约束的结构化网络上的图属性。Dechter，R.，ed.，CP’2000，约束编程的原理和实践，LNCS第1894卷，第52-66页。斯普林格·弗拉格·Zbl 1044.68737号
[16] Carlsson，M.等人（2004）《SICStus Prolog用户手册》。瑞典计算机科学研究所，3.11版（1月），http://www.sics.se/sicstus/。
[17] Le Provost，T.和Wallace，M.（1992年）。域相关传播。程序中。第五代计算机系统国际会议，第1004-1011页。http://www.icparc.ic.ac.uk/eclipse/。 ·Zbl 0862.68023号
[18] ILOG。ILOG解算器参考手册，6.0版。http://www.ilog.com。
[19] Dechter，R.和Pearl，J.（1989）。约束网络的树聚类。Artif公司。智力。38: 353–366. ·Zbl 0665.68084号 ·doi:10.1016/0004-3702（89）90037-4
[20] Maier，D.（1983年）。关系数据库理论。医学博士Rockville：计算机科学主任·Zbl 0519.68082号
[21] Berge，C.（1970）图和超图。巴黎：Dunod·Zbl 0334.05117号
[22] Janssen，P.和Vilarem，M.-C.（1988年）。禁忌物满意度问题：肽合成的解决方法和应用技术。研究报告C.R.I.M.，54。
[23] Jègou，P.（1991年）。禁忌满意度问题的贡献：传播算法和解决方案。禁忌的传播是动态的。博士论文。
[24] Beldiceanu，N.、Carlsson，M.和Petit，T.（2004）。从约束检查器派生过滤算法。技术报告T2004-08，瑞典计算机科学研究所·Zbl 1152.68539号
[25] Beeri，C.、Fagin，R.、Maier，D.和Yannakakakis，M.（1983年）。关于非循环数据库方案的可取性。杰克姆，30:479–513·Zbl 0624.68087号 ·doi:10.1145/2402.322389
[26] 费金，R.（1983）。超图和关系数据库方案的非循环度。JACM 30:514-550（7月）·Zbl 0624.68088号 ·doi:10.1145/2402.322390
[27] Beldiceanu，N.和Carlsson，M.（2001年）。扫描作为应用于非重叠矩形约束的通用修剪技术。Walsh，T.编辑，《约束编程的原理与实践》（CP’2001），LNCS第2239卷，第377-391页。斯普林格·弗拉格·Zbl 1067.68612号
[28] Bessière，C.，Freuder，E.C.和Régin，J.-C（1999年）。使用约束元知识减少弧一致性计算。Artif公司。智力。107: 125–148. ·Zbl 0911.68192号 ·doi:10.1016/S0004-3702（98）00105-2
[29] Bessière，C.、Régin，J.-C.、Yap，R.H.C.和Zhang，Y.（2005）。一种优化的粗粒度圆弧一致性算法。Artif公司。智力。出现·Zbl 1132.68691号
[30] Gent，I.P.和Walsh，T.（1999）。CSPLib：约束的基准库。技术报告，APES-09-1999，APES。http://www.csplib.org。
[31] Carlsson，M.、Ottosson，G.和Carlson，B.（1997年）。开放式有限域约束求解器。Glaser，H.、Hartel，P.和Kuchen，H.编辑，《编程语言：实现、逻辑和编程》，LNCS第1292卷，第191-206页。斯普林格·弗拉格。
[32] COSYTEC（2003）。CHIP参考手册，第5版。
[33] Refalo，P.（2000）。约束规划模型和混合求解器的线性公式。在Dechter，R.编辑的《约束编程原理与实践》（CP’2000）中，LNCS第1894卷，第369-383页。斯普林格·弗拉格·Zbl 1044.68792号
[34] Beldiceanu，N.和Carlsson，M.（2001年）。重新访问基数运算符并引入基数路径约束族。在Codognet，P.，ed.，ICLP’2001，国际逻辑编程会议，LNCS第2237卷，第59–73页。斯普林格·弗拉格·Zbl 1053.68521号
[35] Ottosson，G.、Thorsteinsson，E.和Hooker，J.N.（1999）。混合IP-CLP求解器中的混合全局约束和推理。在CP’99关于大规模组合优化和约束的会后研讨会上，第57-78页·Zbl 1026.90062号
[36] Beldiceanu，N.、Guo，Q.和Thiel，S.（2001）。凸多面体之间的非重叠约束。Walsh，T.编辑，《约束编程的原理与实践》（CP’2001），LNCS第2239卷，第392-407页。斯普林格·弗拉格·Zbl 1067.68613号
[37] Beldiceanu，N.和Poder，E.（2004）。最小和最大资源利用率的累计情况。第九届国际项目管理与进度会议，第96-99页。
[38] Cohen，J.（1979年）。非确定性算法。ACM计算。Surv公司。11(2): 79–94. ·Zbl 0414.68011号 ·数字对象标识代码：10.1145/356770.356773
[39] Woeginger，G.J.（2003）。NP-hard问题的精确算法：综述。在Juenger，M.、Reinellt，G.和Rinaldi，G.编辑的《组合优化——尤里卡！你退缩了！，LNCS第2570卷，第185-207页。斯普林格·弗拉格·Zbl 1024.68529号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。