×
马赫·赫拉奥伊;Wady Naanaa

基于模块的有值CSP分解。 （英语） Zbl 1267.90121号

安。数学。Artif公司。智力。 67，第2期，165-187（2013）.
摘要：本文讨论可表示为值约束满足问题（VCSP）的组合问题。在VCSP框架中，约束由估值函数定义，以反映多个约束违反级别。尽管VCSP具有NP特性，但可以通过强制允许的估值函数具有特定的数学特性来获得易于处理的版本。这是仅具有子模块估值功能的VCSP的情况。在本文中，我们提出了一种二进制VCSP的问题分解方案，该方案利用了模块化估值函数，即使所研究的问题不限于这些函数。模块化函数比子模块化函数频率低，但在补偿方面，它们更容易处理。提出的方案在基于回溯的搜索中工作，包括将原始问题分解为一组模块化的、然后是可处理的子问题。我们的分解方案的区别在于，可以通过给变量赋值子集而不是单个值来实例化变量。

MSC公司：

90C27型 组合优化
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

组合问题;二进制值CSP;模块化估值函数;问题分解方案;可处理子问题

软件：

图尔巴尔2
PDF格式BibTeX公司 XML格式引用
\textit{M.Helaoui}和\textit{W.Naanaa}，安.数学。Artif公司。智力。67，No.2，165--187（2013；Zbl 1267.90121）
全文： 内政部

参考文献：

[1] Allouche，D.，de Givry，S.，Schiex，T.：Toulbar2，开源精确成本函数网络求解器。技术报告，INRA（2010）·Zbl 1213.68580号
[2] Allouche，D.，de Givry，S.，Sanchez，M.，Schiex，T.：使用加权CSP和带有树分解的俄罗斯玩偶搜索进行标记选择1。摘自：WCB09会议记录，第1-8页。葡萄牙里斯本（2009）·Zbl 1254.90309号
[3] Allouche，D:TagSNP基准。https://mulceb.toulouse.inra.fr/scm/viewvc.php/tagsnp/？root=costfunctionlib&pathrev=222 (2012). 访问时间：12月·Zbl 1254.90309号
[4] Boussemart，F.、Hemery，F.，Lecoutre，C.、Sais，L.：通过加权约束推进系统搜索。摘自：ECAI'04会议记录，第146-150页（2004）·Zbl 1213.68580号
[5] Boros，E.，Hammer，P.L.：伪布尔优化。离散应用程序。数学。123(1-3), 155-225 (2002) ·Zbl 1076.90032号 ·doi:10.1016/S0166-218X（01）00341-9
[6] Cabon，B.，De Givry，S.，Lobjois，L.，Schiex，T.，Warners，J.P.：无线链路频率分配。限制4（1），79-89（1999）·Zbl 1020.94500 ·doi:10.1023/A:1009812409930
[7] Cohen，D.A.，Cooper，M.C.，Jeavons，P.G.，Krokhin，A.A.：软约束满足的最大可控制类。J.阿蒂夫。智力。第22号决议，1-22（2004）·Zbl 1080.68658号 ·doi:10.1023/B:AIRE.000044479.89075.02
[8] Cohen，D.A.，Cooper，M.C.，Jeavons，P.G.：推广子模和horn子句：由竞赛对多态定义的可处理优化问题。西奥。计算。科学。401, 36-51 (2008) ·兹比尔1154.90011 ·doi:10.1016/j.tcs.2008.03.015
[9] Cohen，D.A.，Jeavons，P.G.，Gyssens，M.：约束满足问题的结构顺从性统一理论。J.计算。系统。科学。74(5), 721-743 (2008) ·Zbl 1151.68640号 ·doi:10.1016/j.jcss.2007.08.001
[10] Cooper，M.C.：模糊或有值约束满足中的约简运算。模糊集系统。134311-342（2003年）·Zbl 1031.90072号 ·doi:10.1016/S0165-0114（02）00134-3
[11] Cooper，M.C.，Schiex，T.：软约束的弧一致性。Artif公司。智力。154, 199-227 (2004) ·Zbl 1085.68672号 ·doi:10.1016/j.artint.2003.09.002
[12] Cooper，M.C.：有值约束满足的高阶一致性，约束10，283-305（2005）·Zbl 1112.68118号 ·doi:10.1007/s10601-005-2240-3
[13] Cooper，M.C.，de Givry，S.，Schiex，T.：最佳软电弧一致性。In：程序。IJCAI’2007，第68-73页。印度海得拉巴（2007）·Zbl 1085.68672号
[14] Cooper，M.C.，de Givry，S.，Sanchez，M.，Schiex，T.，Zytnicki，M.：加权csp的虚拟弧一致性。在：AAAI-08会议记录，伊利诺伊州芝加哥（2008）·Zbl 1213.68580号
[15] Cooper，M.C.，de Givry S.，Sanchez M.，Schiex T.，Zytnicki M.，Werner，T.：重新审视软弧一致性。Artif公司。智力。174, 449-478 (2010) ·Zbl 1213.68580号 ·doi:10.1016/j.artint.2010.02.001
[16] Cooper，M.C.，Z̆ivnȾ，S.：离散优化中的可牵引三角形和无交叉凸性。J.阿蒂夫。智力。第44号决议，第455-490号决议（2012年）·Zbl 1254.90309号
[17] Creignou，N.，Khanna，S.，Sudan，M.：布尔约束满足问题的复杂性分类。参见：SIAM离散数学与应用专著，第7卷。SIAM（2001）·Zbl 0981.68058号
[18] Fargier，H.，Lang，J.：约束满足问题中的不确定性：概率方法。摘自：ECSQARU会议记录，第97-104页（1993年）·Zbl 0341.68061号
[19] De Givry，S.、Schiex，T.、Verfaillie，G.：利用加权CSP中的树分解和软局部一致性。摘自：AAAI会议记录，第22-27页（2006年）
[20] Greco，G.，Scarcello，F.：约束优化的结构可处理性。摘自：CP会议记录，第340-355页（2011年）
[21] Green，M.J.，Jefferson，C.：传播约束的结构可控制性。摘自：CP会议记录，第372-386页（2008年）·Zbl 1154.90011号
[22] Gregory，P.，Lindsay，A.：驾驶员日志的尺寸。收录于：英国计划SIG会议记录（2007年）·Zbl 1085.68672号
[23] Helaoui，M.，Naanaa，W.：有值CSP的域置换约简，《第十一届偏好与软约束研讨会论文集》（Soft'11），第76-90页。意大利佩鲁贾（2011）
[24] Houghton，C.，Cohen，D.A.，Green，M.J.：约束表示对结构可牵引性的影响。载于：《加拿大律师协会议事录》，第726-730页（2006年）·Zbl 1160.68550号
[25] Jensen，T.，Toft，B.：图形着色问题。威利（1995）·Zbl 0855.05054号
[26] Khatib，L.、Morris，P.、Morries，R.、Rossi，F.：带有偏好的时间约束推理。摘自：第17届国际人工智能联合会议记录。IJCAI-01，第322-327页。美国西雅图（2001）
[27] Larrosa，J.：关于加权CSP中弧和节点的一致性。In：程序。AAAI/AAI'02，第48-53页（2002年）
[28] Larrosa，J.，Schiex，T.：为加权CSP寻求最佳形式的局部一致性。收录于：IJCAI-03会议记录，第239-244页。墨西哥阿卡普尔科（2003年）
[29] Larrosa，J.，de Givry，S.，Heras，F.，Zytnicki，M.：存在弧一致性：在加权CSP中越来越接近全弧一致性。摘自：《第19届国际JCAI-05会议录》，第84-89页（2005年）
[30] Lecoutre，C.：走向基准2.1。CSP实例的XML表示。http://www.cril.univ-artois.fr/lecoutre/research/bench-marks/benchmarks.html（2012）。访问时间：12月
[31] Mackworth，A.K.：关系网络的一致性。Artif公司。智力。8(1), 99-118 (1977) ·Zbl 0341.68061号 ·doi:10.1016/0004-3702（77）90007-8
[32] Mohr，R.，Henderson，T.C.：重新审视弧线和路径一致性。Artif公司。智力。28, 225-233 (1986) ·doi:10.1016/0004-3702（86）90083-4
[33] Naanaa，W.：约束满足的分解算法。ACM实验算法杂志。13, 1.13-1.23 (2009) ·Zbl 1284.68721号
[34] Naanaa，W.，Helaoui，M.，Ayeb，B.：有值CSP的分解方法。参见：第十届偏好和软约束研讨会论文集（Soft’10），第143-158页。苏格兰圣安德鲁斯（2010）
[35] Schiex，T.、Fargier，H.、Verfaillie，G.：有值约束满足问题：困难和容易的问题。摘自：《第十四届国际JCAI会议记录》，第631-637页。加拿大蒙特利尔（1995年）
[36] Smith，B.：约束满足中的相变和糊状区域。载：第11届ECAI会议记录，第100-104页（1994年）
[37] ToulBar2项目http://mulcetber.toulouse.inra.fr/projects/toulbar2 (2013). 4月访问
[38] Trick，M.：图着色及其推广。http://mat.gsia.cmu.edu/COLORING03 (2003). 12月访问
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。