×
克里斯蒂安·贝西尔;埃马纽埃尔·赫伯拉德;赫尼奇，卜拉欣;托比·沃尔什

具有全局约束的推理的复杂性。 （英语） Zbl 1124.68103号

约束条件 12，第2期，239-259（2007）.
摘要：约束传播是约束编程成功的核心技术之一。为了减少搜索，与每个约束关联的快速算法会修剪变量域。对于全局（或非二进制）约束，这种传播的成本可能远大于二进制约束的二次成本。因此，我们研究了具有全局约束的推理的计算复杂性。我们首先描述了与约束传播相关的一些重要问题。我们表明，这些问题通常是难以解决的，并确定了不同问题的可处理性和难处理性之间的依赖性。然后，我们演示了如何在特定全局约束的设计和分析中使用计算复杂性工具。特别地，我们说明了如何使用计算复杂性来确定何时应该强制执行较低级别的局部一致性，何时可以安全地推广约束，何时分解约束将减少修剪量，以及何时可以控制组合约束。

引用于7文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

全局约束;计算复杂性;约束传播;广义弧一致性

软件：

立方厘米（FD）
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessiere}等人，约束12，No.2，239--259（2007；Zbl 1124.68103）
全文： 内政部 arXiv公司

参考文献：

[1] Beldiceanu，N.（2000年）。作为相同类型基本约束的结构化网络上的图属性的全局约束。瑞典计算机科学研究所技术报告。SICS技术报告T2000/01·Zbl 1044.68737号
[2] Beldiceanu，N.，作为同类型基本约束的结构化网络上的图属性的全局约束，第六届约束规划原理与实践国际会议论文集（CP'00），LNCS 1894，新加坡，52-66（2000），柏林-海德堡-纽约：施普林格，柏林-海德堡-纽约·Zbl 1044.68737号
[3] Beldiceanu，N.，最小约束族和不同值约束族数量的修剪，第七届约束编程原理与实践国际会议论文集（CP'01），LNCS 2239，新加坡，211-224（2001），柏林-海德堡纽约：施普林格，柏林-海德堡纽约·Zbl 1067.68611号
[4] 北卡罗来纳州贝尔迪塞努。；Carlsson，M.，《重新审视基数运算符并引入基数路径约束族》，《ICLP’01，59-73（2001）论文集》，柏林-海德堡纽约：施普林格，柏林-海德堡纽约·Zbl 1053.68521号
[5] 北卡罗来纳州贝尔迪塞努。；Contegean，E.，《CHIP，数学中引入全局约束》。计算。型号。，20, 12, 97-123 (1994) ·Zbl 0816.68048号 ·doi:10.1016/0895-7177（94）90127-9
[6] Bessiere，C.（2005）。CardpathConstraint的复杂性。技术报告TR-05036，LIRMM（CNRS/蒙彼利埃大学），法国蒙彼利耶，（1月）。
[7] Bessiere，C.、Hebrard，E.、Hnich，B.、Kiziltan，Z.和Walsh，T.（2005）。NValue约束的过滤算法。2005年CPAIOR会议记录，捷克共和国布拉格·Zbl 1133.68427号
[8] Bessiere，C.和Régin，J.C.（1997）。一般约束网络的弧一致性：初步结果。第十五届国际人工智能联合会议（IJCAI'97）会议记录，日本名古屋，第398-404页。
[9] Bessiere，C。；范·亨特利克，P.，生存还是毁灭。。。全球约束，《第九届约束编程原理与实践国际会议论文集》（CP’03），LNCS 2833。爱尔兰金赛尔，789-794（2003），柏林-海德堡纽约：施普林格，柏林-海德堡纽约·Zbl 1273.68334号
[10] Carlsson，M.和Beldiceanu，N.（2002年）。词典排序约束链的弧一致性。技术报告T2002-18，瑞典计算机科学研究所，瑞典。ftp://ftp.sics.se/pub/sics-reports/reports/sics-T-2002-18-se.ps.Z。
[11] Caseau，Y。；Laburthe，F.，《解决各种带约束的加权匹配问题》，《第三届约束编程原理与实践国际会议论文集》（CP’97），LNCS 1330。奥地利林茨，17-31（1997），柏林-海德堡纽约：施普林格，柏林-海德堡纽约
[12] 科恩，D.A。；杰文斯，P。；Koubarakis，M.，可牵引析取约束，第三届约束编程原理与实践国际会议论文集（CP’97），LNCS 1330。奥地利林茨，478-490（1997），柏林-海德堡纽约：施普林格，柏林-海德堡纽约
[13] Dechter，R。；Pearl，J.，基于网络的约束满足问题启发式，Artif。整数。，34, 1-38 (1988) ·Zbl 0643.68156号 ·doi:10.1016/0004-3702（87）90002-6
[14] Dechter，R。；Pearl，J.，约束网络的树聚类，Artif。整数。，38, 353-366 (1989) ·Zbl 0665.68084号 ·doi:10.1016/0004-3702（89）90037-4
[15] Deville，Y.、Barette，O.和Van Hentenryck，P.（1997年）。连通行凸约束上的约束满足。1997年国际商会会议记录。日本名古屋，第405-410页·Zbl 0916.68061号
[16] Focacci，F。；Lodi，A。；Milano，M.，面向优化的全局约束，约束，7351-365（2002）·Zbl 1028.68024号 ·doi:10.1023/A:1020589922418
[17] 弗洛伊德，E.C.，《无回溯搜索的充分条件》，J.ACM，29，1，24-32（1982）·Zbl 0477.68063号 ·数字对象标识代码：10.1145/322290.322292
[18] 弗里希，A。；Hnich，B。；克孜尔坦，Z。；米格尔，I。；Walsh，T.，《词典排序的全球约束》，《约束编程原理与实践第八届国际会议论文集》（CP’02），LNCS 2470。纽约州伊萨卡，93-108（2002），柏林-海德堡纽约：施普林格，柏林-海德堡纽约
[19] Garey，M.R。；Johnson，D.S.，《计算机与难处理性：NP完备性指南》（1979），加利福尼亚州旧金山：加利福尼亚州旧金山弗里曼·Zbl 0411.68039号
[20] Gottlob，G.、Leone，N.和Scarcello，F.（1999）。结构CSP分解方法的比较。《1999年国际商会会刊》。瑞典斯德哥尔摩，第394-399页·Zbl 0952.68044号
[21] Hnich，B.、Kiziltan，Z.和Walsh，T.（2004）。将对称破缺与其他约束结合起来：用和进行字典排序。第八届人工智能与数学国际研讨会论文集。美国佛罗里达州劳德代尔堡。
[22] 克努思，D.E。；Raghunathan，A.，相容代表问题，SIAM J.离散数学。，5, 3, 422-427 (1992) ·Zbl 0825.68494号 ·数字对象标识代码：10.1137/0405033
[23] O.Lhomme（2004）。约束逻辑组合的弧一致性过滤算法。在2004年CPAIOR诉讼中。法国尼斯，第209-224页·Zbl 1094.68648号
[24] Mohr，R.和Masini，G.（1988年）。很好的旧的离散放松。《88年ECAI会议记录》，德国慕尼黑，第651-656页。
[25] Pachet，F。；Roy，P.，《音乐程序的自动生成》，《第五届约束编程原理与实践国际会议论文集》（CP’99），LNCS 1713。弗吉尼亚州亚历山大市，331-345（1999），柏林-海德堡纽约：施普林格，柏林-海德堡纽约
[26] Papadimitriou，C.H。；Yannakakis，M.，面的复杂性（以及复杂性的某些方面），J.Comput。系统。科学。，28, 244-259 (1984) ·Zbl 0571.68028号 ·doi:10.1016/0022-0000（84）90068-0
[27] Quimper，C.（2003）。在扩展的全局基数约束上实施域一致性是NP-hard。技术报告CS-2003-39，加拿大安大略省滑铁卢大学计算机科学学院。
[28] 雷金，J.C.（1994）。CSP中差异约束的过滤算法。AAAI'94会议记录。华盛顿州西雅图，第362-367页。AAAI出版社
[29] Régin，J.C.（1996年）。全局基数约束的广义弧一致性。1996年AAAI会议记录。俄勒冈州波特兰，第209-215页。麻省理工学院。
[30] Régin，J.C.，全球基数约束的基于成本的弧一致性，约束，7387-405（2002）·Zbl 1028.68157号 ·doi:10.1023/A:1020506526052
[31] 雷金，J.C。；Rueher，M.，《将和约束和差约束结合起来的全局约束》，《第六届约束编程原理与实践国际会议论文集》（CP'00），LNCS 1894。新加坡，384-395（2000），柏林-海德堡-纽约：施普林格，柏林-海德堡-纽约·Zbl 1044.68794号
[32] Sadler，A.和Gervet，C.（2001年）。集合上的全局推理。在CP-01旁边举行的建模和问题制定研讨会（FORMUL'01）会议记录中。塞浦路斯帕福斯。
[33] Sellmann，M.，《背包约束的近似一致性》，《第九届约束编程原理与实践国际会议论文集》（CP’03），LNCS 2833。爱尔兰金赛尔，679-693（2003），柏林-海德堡纽约：施普林格，柏林-海德堡纽约·Zbl 1273.90179号
[34] Sellmann，M.，《基于成本的较短路径约束过滤》，《第九届约束编程原理与实践国际会议论文集》（CP’03），LNCS 2833。爱尔兰金赛尔，694-708（2003），柏林-海德堡纽约：施普林格，柏林-海德堡纽约·兹比尔1273.90231
[35] van Beek，P。；Dechter，R.，关于行凸约束网络的极小性和全局一致性，J.ACM，42，3，543-561（1995）·Zbl 0885.68087号 ·数字对象标识代码：10.1145/210346.210347
[36] Van Hentenryck，P.和Deville，Y.（1991年）。基数运算符：约束逻辑编程的一种新的逻辑连接词。在ICLP’91诉讼中。法国巴黎，第745-759页。
[37] Van Hentenryck，P。；萨拉斯瓦特，V。；Deville，Y.，约束语言cc（fd）的设计、实现和评估，J.Log。程序。，37, 1-3, 139-164 (1998) ·Zbl 0920.68026号 ·doi:10.1016/S0743-1066（98）10006-7
[38] Wallace，M.，约束编程的实际应用，约束，113-168（1996）·doi:10.1007/BF00143881
[39] Walsh，T.，《具有多集约束的一致性和传播：一个正式观点》，《第九届约束编程原理与实践国际会议论文集》（CP'03），LNCS 2833。爱尔兰金赛尔，724-738（2003），柏林-海德堡纽约：施普林格，柏林-海德堡纽约·Zbl 1273.68364号
[40] Walsh，T.，约束模式，第九届约束编程原理与实践国际会议论文集（CP'03），LNCS 2833，Kinsale，Ireland（2003），Berlin Heidelberg New York:Springer，Berlin-Heidelbrg New Yor
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。