×
Nguyen，Hiep（希普·阮）;克里斯蒂安·贝西尔;西蒙·德·吉夫里;托马斯·希克斯

成本函数网络的基于三角形的一致性。 （英语） Zbl 1390.90116号

约束条件 22，第2号，230-264（2017）.
概述：成本函数网络（又称加权CSP）允许对各种问题进行建模，例如优化确定性和随机图形模型，包括马尔可夫随机场和贝叶斯网络。因此，求解成本函数网络是确定性和概率推理的一个重要问题。本文重点讨论了局部一致性，它定义了简化成本函数网络的基本工具，并提供了其最优解成本的下界。为了加强弧一致性边界，我们遵循硬约束网络基于三角域一致性的思想（路径逆一致性、限制或最大限制路径一致性），描述了它们对成本函数网络的系统扩展，研究了它们的相对优势，定义了强制算法，并在一组大型基准测试问题上进行实验。对于其中一些问题，我们改进的下限似乎有必要解决它们。

引用于2文件

MSC公司：

90磅10英寸 运筹学中的确定性网络模型

关键词：

成本函数网络;加权CSP;约束优化问题;高阶一致性;受限路径一致性;路径逆一致性;最大限制路径一致性

软件：

图尔巴尔2
PDF格式BibTeX公司 XML格式引用
\textit{H.Nguyen}等人，《限制条件》22，第2期，230--264（2017；Zbl 1390.90116）
全文： 内政部 链接

参考文献：

[1] Allouche，D.，Bessiere，C.，Boizumault，P.，Givry，S.，Gutierrez，P.、Loudni，S.、Metivier，J.和Schiex，T.（2012）。分解全球成本函数。程序中。AAAI的·Zbl 1385.68040号
[2] Bensana，E.、Lemaêtre，M.和Verfaillie，G.（1999）。地球观测卫星管理。约束，4（3），293-299·Zbl 0963.90507号 ·doi:10.1023/A:1026488509554
[3] Berlandier，P.（1995）。使用受限路径一致性改进域过滤。IEEE人工智能与应用会议论文集（CAIA'95）。
[4] Cabon，B.、de Givry，S.、Lobjois，L.、Schiex，T.和Warners，J.（1999）。无线链路频率分配。约束，479-89·Zbl 1020.94500 ·doi:10.1023/A:1009812409930
[5] Cooper，M.、de Givry，S.、Sanchez，M.，Schiex，T.、Zytnicki，M.和Werner，T.（2010年）。再次检查软弧一致性。人工智能，174449-478·Zbl 1213.68580号 ·doi:10.1016/j.artint.2010.02.001
[6] Cooper，M.、de Givry，S.、Sanchez，M.、Schiex，T.和Zytnicki，M.（2008年）。加权CSP的虚拟电弧一致性。程序中。2008年AAAI。美国芝加哥·Zbl 1213.68580号
[7] 库珀，M.C.（2003）。模糊或有值约束满足中的约简操作。模糊集系统，134（3），311-342·Zbl 1031.90072号 ·doi:10.1016/S0165-0114（02）00134-3
[8] 库珀，M.C.（2005）。有值约束满足的高阶一致性。约束，10283-305·Zbl 1112.68118号 ·doi:10.1007/s10601-005-2240-3
[9] Cooper，M.C.、de Givry，S.和Schiex，T.（2007年）。最佳软弧一致性。程序中。IJCAI’2007，第68-73页。印度海得拉巴·Zbl 1112.68118号
[10] Cooper，M.C.和Schiex，T.（2004年）。软约束的圆弧一致性。人工智能，154（1-2），199-227·兹比尔1085.68672 ·doi:10.1016/j.artint.2003.09.002
[11] Debruyne，R.和Bessière，C.（1997年）。从受限路径一致性到最大限制路径一致性。程序中。CP’97，第1330号，LNCS，第312-326页。奥地利林茨Springer-Verlag。
[12] Dehani，D.、Lecoutre，C.和Roussel，O.（2013）。cohérences扩展wcsp-aux-tuples。程序中。JFPC-13。
[13] Favier，A.、de Givry，S.、Legarra，A.和Schiex，T.（2011年）。图形模型中组合优化的成对分解。程序中。IJCAI’11。西班牙巴塞罗那。
[14] 弗洛伊德·E.C.和埃尔夫·C.D.（1996）。邻域逆一致性预处理。程序中。1996年AAAI。俄勒冈州波特兰·兹比尔1085.68672
[15] Hurley，B.、O'Sullivan，B.、Allouche，D.、Katsirelos，G.、Schiex，T.、Zytnicki，M.和de Givry，S.（2016）。图形模型离散优化中精确解的多语言评估。程序中。2016年CP-AI-OR。加拿大班夫·Zbl 1368.90107号
[16] Larrosa，J.（2002）。加权CSP中的弧和节点一致性。程序中。AAAI’02，第48-53页。加利福尼亚州埃德蒙顿·Zbl 1031.90072号
[17] Larrosa，J.、de Givry，S.、Heras，F.和Zytnicki，M.（2005）。存在弧一致性：在加权CSP中接近全弧一致性。程序中。第19届国际期刊理事会，第84-89页。苏格兰爱丁堡·Zbl 1112.68118号
[18] Larrosa，J.、Heras，F.和de Givry，S.（2008）。高效max-sat求解的逻辑方法。人工智能，172（2-3），204-233·兹比尔1182.68253 ·doi:10.1016/j.artint.2007.05.006
[19] Larrosa，J.和Schiex，T.（2003）。为加权CSP寻求最佳形式的局部一致性。程序中。第18届国际学术大会，第239-244页。墨西哥阿卡普尔科。
[20] Larrosa，J.和Schiex，T.（2004）。通过保持电弧一致性解决加权CSP。人工智能，159（1-2），1-26·Zbl 1086.68592号 ·doi:10.1016/j.artint.2004.05.004
[21] Lee，J.和Leung，K.（2009年）。在加权约束满足中实现全局约束的高效一致性。程序中。第21届国际期刊理事会，第559-565页。美国帕萨迪纳（CA）·Zbl 1086.68592号
[22] Lee，J.和Leung，K.（2012年）。加权约束满足中基于流的项目安全全局成本函数的一致性技术。人工智能，43，257-292·Zbl 1237.68188号
[23] Sánchez，M.、de Givry，S.和Schiex，T.（2008）。使用加权约束满足技术检测复杂家系中的孟德尔错误。约束，13（1-2），130-154·Zbl 1144.92324号 ·doi:10.1007/s10601-007-9029-5
[24] Schiex，T.（2000）。软约束的圆弧一致性。《约束编程的原理与实践——CP 2000》，LNCS，第1894卷，第411-424页。新加坡·Zbl 1044.68797号
[25] Schiex，T.、Fargier，H.和Verfaillie，G.（1995年）。有价值约束满足问题：困难和容易的问题。程序中。第14卷《国际期刊汇编》，第631-637页。加拿大蒙特利尔。
[26] Simoncini，D.、Allouche，D.、de Givry，S.、Delmas，C.、Barbe，S.和Schiex，T.（2015）。大型蛋白质设计问题的保证离散能量优化。化学理论与计算杂志，11（12），5980-5989·doi:10.1021/acs.jctc.5b00594
[27] Traoré，S.、Allouche，D.、André，I.、de Givry，S.，Katsirelos，G.、Schiex，T.和Barbe，S.（2013）。通过成本函数网络优化实现计算蛋白质设计的新框架。生物信息学，29（17），2129-2136·doi:10.1093/bioinformatics/btt374
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。