×

决策图的拉格朗日界。 (英语) Zbl 1327.90116号

摘要:松弛决策图最近被用于约束编程,以改进约束传播和优化推理。然而,在大多数应用中,决策图是根据单个组合结构编译的。我们建议通过拉格朗日松弛在决策图中加入额外的约束来扩展这种表示。使用这种通用方法,我们可以从相同的决策图中获得更强的界限,而相关的基于成本的过滤允许进一步细化松弛。对带时间窗的旅行商问题的实验结果表明,改进的拉格朗日界可以大大减少求解时间。

MSC公司:

90立方厘米 整数编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Akers,S.B.(1978年)。二进制决策图。IEEE计算机汇刊,C-27,509-516·兹伯利0377.94038 ·doi:10.1109/TC.1978.1675141
[2] Andersen,H.R.、Hadzic,T.、Hooker,J.N.和Tiedemann,P.(2007)。一种基于多值决策图的约束存储。第13届约束规划原则与实践国际会议论文集(第118-132页)。斯普林格·弗拉格,柏林,海德堡·Zbl 1291.90091号
[3] Becker,B.、Behle,M.、Eisenbrand,F.和Wimmer,R.(2005)。分支与切割框架中的BDD。收录于Nikoletseas,S.(Ed.),实验与高效算法,第四届高效与实验算法国际研讨会论文集(WEA 05)。计算机科学课堂讲稿(第3503卷,第452-463页)。斯普林格·Zbl 1121.90422号
[4] Behle,M.(2007)。二进制决策图和整数编程。马克斯·普朗克计算机科学研究所博士论文·Zbl 1175.90324号
[5] Benoist,T.、Laburthe,F.和Rottembourg,B.(2001年)。旅行竞赛问题的拉格朗日松弛和约束规划协作方案。在第三届国际研讨会论文集《组合优化问题约束规划中人工智能和操作规则技术的集成》(CPAIOR)。
[6] Bergman,D.(2013年)。离散优化的新技术。卡内基梅隆大学泰珀商学院博士论文·Zbl 1291.90091号
[7] Bergman,D.、Cire,A.A.和van Hoeve,W.J.(2014)。序列约束的Mdd传播。《人工智能研究杂志》(JAIR),50697-722·Zbl 1366.68072号
[8] Bergman,D.、Cire,A.A.、van Hoeve,W.J.和Hooker,J.N.(2012年)。bdds应用于最大独立集问题的变量排序。第九届国际会议论文集,关于组合优化问题约束编程中人工智能和OR技术的集成(第34-49页)。施普林格出版社,柏林,海德堡。
[9] Bergman,D.、Cire,A.A.、van Hoeve,W.J.和Hooker,J.N.(2014)。二元决策图的优化边界。信息计算杂志,26(2),253-268·Zbl 1356.90083号 ·doi:10.1287/ijoc.2013.0561
[10] Bergman,D.、Cire,A.、van Hoeve,W.J.和Yunes,T.(2014)。二进制优化的基于Bdd的启发式算法。启发式杂志,20(2),211-234·doi:10.1007/s10732-014-9238-1
[11] Bergman,D.、van Hoeve,W.J.和Hooker,J.(2011)。用于组合优化的MDD松弛操作。T.Achterberg和J.Beck(编辑),《组合优化问题约束编程中人工智能和OR技术的集成》,计算机科学讲义(第6697卷,第20-35页)。施普林格-柏林/海德堡·Zbl 1302.90166号
[12] R.E.布莱恩特(1986)。布尔函数操作的基于图形的算法。IEEE计算机汇刊,C-35,677-691·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819
[13] Cire,A.A.和van Hoeve,W.J.(2013)。排序问题的多值决策图。运筹学,61(6),1411-1428·Zbl 1291.90091号 ·doi:10.1287/opre.2013.121
[14] Fisher,M.L.(2004)。求解整数规划问题的拉格朗日松弛方法。管理科学,50(12),1861-1871。补充。 ·doi:10.1287/mnsc.1040.0263
[15] Fontaine,D.、Michel,L.和Van Hentenryck,P.(2014)。基于约束的拉格朗日松弛。在B.O'Sullivan(Ed.),约束编程的原理和实践,计算机科学课堂讲稿(第8656卷,第324-339页)。施普林格国际出版公司·Zbl 0593.94022号
[16] Hadzic,T.和Hooker,J.(2006年)。使用二进制决策图进行整数规划的后优化分析。卡内基梅隆大学技术代表。
[17] Hadzic,T.、Hooker,J.N.、O'Sullivan,B.和Tiedemann,P.(2008)。将约束近似编译为多值决策图。第14届约束规划原理与实践国际会议论文集(第448-462页)。柏林斯普林格·弗拉格。
[18] Hoda,S.、van Hoeve,W.J.和Hooker,J.N.(2010年)。一种基于MDD的约束编程的系统方法。《约束规划学报》(第6308卷,第266-280页)。LNCS,施普林格。
[19] 胡克,J.N.(2012)。优化综合方法(运筹学与管理科学国际系列),第2版。纽约斯普林格·弗拉格Secaucus有限公司。
[20] Khemmoudj,M.、Bennaceur,H.和Nagih,A.(2005年)。结合弧一致性和对偶拉格朗日松弛滤波csp。R.Barták&M.Milano(编辑),《组合优化问题约束编程中人工智能和OR技术的集成》,计算机科学讲义(第3524卷,第258-272页)。施普林格-柏林-海德堡·Zbl 1133.90405号
[21] Lee,C.Y.(1959年)。用二进制决策程序表示开关电路。贝尔系统技术期刊,38,985-999·doi:10.1002/j.1538-7305.1959.tb01585.x
[22] Lemaréchal,C.(2001年)。拉格朗日松弛。M.Jünger和D.Naddef(编辑),计算组合优化,计算机科学讲义(第2241卷,第112-156页)。施普林格-柏林-海德堡·Zbl 1052.90065号
[23] Papadimitriou,C.H.和Steiglitz,K.(1982年)。组合优化:算法和复杂性。Prentice-Hall公司,Upper Saddle River·Zbl 0503.90060号
[24] Rossi,F.、van Beek,P.和Walsh,T.(编辑)(2006年)。约束编程手册。爱思唯尔·Zbl 1175.90011号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。