×

关于全球变暖:基于流动的全球软约束。 (英语) Zbl 1100.68623号

总结:如果CSP受到过度约束,那么很自然会违反一些约束,即所谓的软约束。我们提出了一种通用方法来软化可由图中的流表示的全局约束。通过向图中添加冲突弧,然后在扩展图中计算最小权重流来度量冲突,可以软化此类约束。我们提出了有效的传播算法,基于不同的违反度量,实现了所有不同约束、全局基数约束、规则约束和同一约束的域一致性。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
90 C59 数学规划中的近似方法和启发式
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ahuja,R.K.、T.L.Magnanti和J.B.Orlin。(1993年)。网络流量。普伦蒂斯·霍尔·Zbl 1201.90001号
[2] Apt,K.R.(2003)。约束编程原理。剑桥大学出版社·Zbl 1187.68132号
[3] 巴普蒂斯特、P.、C.Le Pape和L.Péridy。(1998). ”部分CSP的全球约束:资源和到期日约束的案例研究。”M.J.Maher和J.-F.Puget(编辑),《第四届约束编程原理与实践国际会议论文集》(CP98),LNCS第1520卷,Springer,第87-101页。
[4] N.Beldiceanu、M.Carlsson和T.Petit。(2004年)。”从约束检查器派生筛选算法。”《第十届约束编程原理与实践国际会议论文集》(CP 2004),LNCS第3258卷,斯普林格出版社·Zbl 1152.68539号
[5] N.Beldiceanu、I.Katriel和S.Thiel。(2004). 相同约束的过滤算法。J.-C.Régin和M.Rueher主编,《关于组合优化问题约束编程中AI和OR技术集成的第一届国际会议论文集》(CPAIOR 2004),LNCS第3011卷,Springer,第65–79页·Zbl 1094.68637号
[6] 北卡罗来纳州贝尔迪塞努和T.佩蒂特。(2004). 全球软约束的成本评估。J.-C.Régin和M.Rueher主编,《第一届组合优化问题约束编程中人工智能与操作技术集成国际会议论文集》(CPAIOR 2004),LNCS第3011卷,Springer,第80–95页·Zbl 1094.68638号
[7] Beldiceanu,N.(2000年)。”全局约束作为相同类型基本约束的结构化网络上的图属性。”技术报告T2000/01,SICS·Zbl 1044.68737号
[8] Bistarelli,S.、U.Montanari和F.Rossi。(1997). ”基于半环的约束满足和优化。”美国医学会杂志44(2),201–236·Zbl 0890.68032号 ·doi:10.145/256303.256306
[9] Dechter,R.(1990)。”关于具有隐藏变量的网络的表达性。”《第八届全国人工智能会议(AAAI)论文集》,AAAI出版社/麻省理工学院出版社,第555-562页。
[10] Dechter,R.(2003)。约束处理。摩根·考夫曼·Zbl 1057.68114号
[11] Dubois,D.、H.Fargier和H.Prade。(1993). ”模糊约束演算作为柔性约束满足的基础。”第二届IEEE模糊系统国际会议论文集,第2卷,第1131-1136页。
[12] Fargier、H.、J.Lang和T.Schiex。(1993). ”选择模糊约束满足问题的优选解。”在第一届欧洲模糊和智能技术大会的会议记录中。
[13] Focacci,F.、A.Lodi和M.Milano。(2002). 面向优化的全局约束。约束7(3-4),351-365·Zbl 1028.68024号 ·doi:10.1023/A:1020589922418
[14] 弗洛伊德、E.C.和R.J.华莱士。(1992). ”部分约束满足。”人工智能58(1-3),21–70·Zbl 05472872号 ·doi:10.1016/0004-3702(92)90004-H
[15] van Hoeve,W.J.(2004)。”软Alldifferent约束的超圆弧一致性算法。”M.Wallace(编辑),《第十届约束编程原理与实践国际会议论文集》(CP 2004),LNCS第3258卷,Springer,第679-689页·Zbl 1152.68595号
[16] 霍普克罗夫特,J.E.和R.M.卡普。(1973). ”二部图中最大匹配的n5/2算法”SIAM计算机杂志2(4),225–231·Zbl 0266.05114号 ·doi:10.1137/02019年2月20日
[17] Larrosa,J.和T.Schiex。(2003). ”在为加权CSP寻求最佳形式的本地一致性的过程中。”《第十八届国际人工智能联合会议记录》,摩根·考夫曼,第239-244页。
[18] Larrosa,J.(2002)。”加权CSP中的节点和圆弧一致性。”《第十八届全国人工智能会议记录》,AAAI出版社,第48-53页。
[19] Mohr,R.和G.Masini。(1988). ”很好的老式离散放松。”在欧洲人工智能会议(ECAI)上,第651-656页。
[20] Pesant,G.(2004)。”有限变量序列的正则语言成员约束。”《第十届约束编程原理与实践国际会议论文集》(CP 2004),LNCS第3258卷,斯普林格出版社·Zbl 1152.68573号
[21] Petit,T.、J.-C.Régin和C.Bessière。(2001). ”过度约束问题的特定过滤算法。”在T.Walsh,编辑,《第七届约束编程原理与实践国际会议论文集》(CP 2001),LNCS第2239卷,施普林格,第451-463页·Zbl 1067.68663号
[22] Régin,J.-C.,T.Petit,C.Bessière和J.-F.Puget。(2000). ”一种基于约束的原始方法,用于解决约束问题。”R.Dechter(编辑),《第六届约束编程原理与实践国际会议论文集》(CP 2000),LNCS第1894卷,Springer,第543-548页·Zbl 1044.68793号
[23] Régin,J.-C.(1994)。”CSP中差异约束的过滤算法。”《第十二届全国人工智能大会论文集》,第1卷,美国人工智能出版社,第362-367页。
[24] Régin,J.-C.(1996)。”全局基数约束的广义弧一致性。”《AAAI/IAAI会议录》第1卷,AAAI出版社/麻省理工学院出版社,第209-215页。
[25] Régin,J.-C.(1999)。”具有成本的全局基数约束的弧一致性。”J.Jaffar(编辑),《第五届约束编程原理与实践国际会议论文集》(CP’99),LNCS第1713卷,Springer,第390-404页。
[26] Régin,J.-C.(2002)。”全局基数约束的基于成本的弧一致性。”约束7387–405·Zbl 1028.68157号 ·doi:10.1023/A:1020506526052
[27] Rossi,F.、C.Petrie和V.Dhar。(1990). ”关于约束满足问题的等价性。”《第九届欧洲人工智能会议论文集》,第550-556页。
[28] Ruttkay,Z.(1994年)。”模糊约束满足。”《IEEE进化计算第一届会议论文集》,第542-547页。
[29] Schiex,T.、H.Fargier和G.Verfaillie。(1995年)。”有价值约束满足问题:困难和容易的问题。”《第十四届国际人工智能联合会议记录》,摩根·考夫曼,第631-639页。
[30] Schiex,T.(1992)。可能约束满足问题或“如何处理软约束?”。《第八届人工智能不确定性年会论文集》,摩根·考夫曼,第268-275页。
[31] Schrijver,A.(2003)。组合优化-多面体和效率。斯普林格·Zbl 1041.90001号
[32] Sellmann,M.(2003)。”针对较短路径约束的基于成本的筛选。”F.Rossi(编辑),《第九届约束编程原理与实践国际会议论文集》(CP 2003),LNCS第2833卷,Springer,第694-708页·Zbl 1273.90231号
[33] Tarjan,R.(1972)。”深度优先搜索和线性图算法”。SIAM计算机杂志1,146–160·Zbl 0251.05107号 ·doi:10.1137/201010
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。