×

基于决策图的优化的理论见解和算法工具。 (英语) Zbl 1368.90105号

摘要:决策图的使用最近已成为解决离散优化问题的一种可行的通用解决方案。决策图数据结构用于精确或近似地表示给定问题的可行解集。基于决策图的技术已成功应用于从调度到组合优化的各种应用程序中,并且往往优于商业最先进的约束编程和整数编程技术。然而,缺乏对近似决策图质量的彻底理论研究,以及对近似决策图提供的用于收紧松弛界限的结构化技术的开发,类似于在整数规划中如何使用切割平面。本文对近似决策图的强度进行了分析,并描述了以下几个边界收紧过程线性目标函数的问题。

MSC公司:

90立方厘米 整数编程

软件:

紫苏
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Andersen,H.R.、Hadzic,T.、Hooker,J.N.和Tiedemann,P.(2007)。基于多值决策图的约束存储。在Bessière,C.(Ed.)《约束编程的原理和实践》(CP 2007)中。计算机科学课堂讲稿(第4741卷,第118-132页):施普林格。
[2] Becker,B.、Behle,M.、Eisenbrand,F.和Wimmer,R.(2005)。分支和切割框架中的BDDS。在Nikoletseas,S.(编辑)实验和高效算法,第四届高效和实验算法国际研讨会论文集(WEA 05)。计算机科学课堂讲稿(第3503卷,第452-463页):施普林格·Zbl 1121.90422号
[3] Behle,M.(2007)。关于阈值BDD和最优变量排序问题。COCOA'07:第一届组合优化与应用国际会议论文集(第124-135页)。柏林,海德堡:施普林格·Zbl 1175.90324号
[4] Bergman,D.、Cire,A.A.和van Hoeve,W.J.(2014)。序列约束的MDD传播。《人工智能研究杂志》,50697-722·Zbl 1366.68072号
[5] 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
[6] Bergman,D.、Cire,A.A.、van Hoeve,W.J.和Hooker,J.N.(2015)。带有决策图的离散优化。信息计算杂志。出现·Zbl 1338.90260号
[7] Bergman,D.、Cire,A.A.、van Hoeve,W.J.J.和Yunes,T.H.(2014)。基于BDD的二进制优化启发式。启发式杂志,20(2),211-234·doi:10.1007/s10732-014-9238-1
[8] Bergman,D.、Ciré,A.A.、Sabharwal,A.、Samulowitz,H.、Saraswat,V.A.和van Hoeve,W.J.(2014)。带决策图的并行组合优化。Simonis,H.(Ed.)《人工智能和操作规则技术在约束编程中的集成——第11届国际会议》,CPAIOR 2014,爱尔兰科克,2014年5月19日至23日。诉讼程序。计算机科学课堂讲稿。doi:10.1007/978-3-319-07046-9_25,(第8451卷,第351-367页)施普林格·Zbl 1407.68446号
[9] Bergman,D.、Cire,A.A.和van Hoeve,W.J.(2015)。决策图的拉格朗日界。约束,20(3),346-361·Zbl 1327.90116号 ·doi:10.1007/s10601-015-9193年
[10] Bergman,D.、van Hoeve,W.J.和Hooker,J.N.(2011年)。操纵MDD松弛以进行组合优化。在Achterberg,T.和Beck,J.C.(编辑)CPAIOR中。计算机科学课堂讲稿(第6697卷第20-35页):施普林格·Zbl 1302.90166号
[11] Bergman,D.(2013)。离散优化的新技术。卡内基梅隆大学博士论文。
[12] R.E.布莱恩特(1986)。布尔函数操作的基于图形的算法。IEEE计算机汇刊,C-35,677-691·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819
[13] Cheng,K.C.,&Yap,R.H.(2010年)。针对正负表约束和一些全局约束,提出了一种基于mdd的广义弧一致性算法。约束,15(2),265-304·Zbl 1204.68188号 ·doi:10.1007/s10601-009-9087-y
[14] Cire,A.A.和van Hoeve,W.J.(2012)。分离调度的MDD传播。第二十二届国际自动规划与调度会议(ICAPS)论文集(第1-1页):AAAI出版社。
[15] Cire,A.A.和van Hoeve,W.J.(2013)。排序问题的多值决策图。运筹学,61(6),1411-1428·Zbl 1291.90091号 ·doi:10.1287/opre.2013.121
[16] Eppstein,D.(1998)。求k条最短路径。SIAM J.计算。,28(2),652-673·Zbl 0912.05057号 ·doi:10.1137/S0097539795290477
[17] Gopalan,P.、Klivans,A.、Meka,R.、Stefankovic,D.、Vempala,S.和Vigoda,E.(2011)。#背包和相关计数问题的fpta。2011年IEEE第52届计算机科学基础年度研讨会(第817-826页)·兹比尔1292.68167
[18] Hadzic,T.和Hooker,J.N.(2007年)。0-1编程的有界二进制决策图。Loute,E.,&Wolsey,L.(Eds.)《组合优化问题约束规划中人工智能与运筹学技术集成国际研讨会论文集》(CPAIOR 2007)。计算机科学课堂讲稿(第4510卷,第84-98页):施普林格·Zbl 1214.90084号
[19] Hadzic,T.、Hooker,J.N.、O'Sullivan,B.和Tiedemann,P.(2008)。将约束近似编译为多值决策图。在Stuckey,P.J.(编辑)中,约束编程的原理和实践(CP 2008)。计算机科学课堂讲稿(第5202卷,第448-462页):Springer。
[20] Hadzic,T.、Hooker,J.N.和Tiedemann,P.(2008)。在MDD存储中传播可分离等式。Perron,L.,&Trick,M.A.(Eds.),人工智能与运筹学技术在组合优化问题约束规划中的集成国际研讨会论文集(CPAIOR 2008)。计算机科学课堂讲稿(第5015卷,第318-322页):施普林格·Zbl 1366.68072号
[21] Hoda,S.、Hoeve,W.J.V.和Hooker,J.N.(2010年)。基于MDD的约束编程的系统方法。第16届约束规划原则与实践国际会议论文集。计算机科学课堂讲稿(第6308卷,第266-280页):施普林格。
[22] 胡克,J.N.(2013)。决策图和动态规划。在Gomes,C.P.和Sellmann,M.(编辑)CPAIOR中。计算机科学课堂讲稿(第7874卷,第94-110页):施普林格·兹比尔1382.90113
[23] Hosaka,K.、Takenaga,Y.、Kaneda,T.和Yajima,S.(1997年)。表示阈值函数的有序二进制决策图的大小。理论计算机科学,180(1-2),47-60·Zbl 0898.94018号 ·doi:10.1016/S0304-3975(97)83807-8
[24] Lokshtanov,D.(2009)。参数化算法和复杂性的新方法。卑尔根大学博士论文。
[25] Rothvoß,T.(2011)。一些0/1多面体需要指数大小的扩展公式。arXiv:1105.0036·兹比尔1282.90245
[26] Rothvoß,T.(2014)。匹配多面体具有指数扩展复杂性。第46届ACM计算理论研讨会论文集(第263-272页)。美国纽约州纽约市:STOC’14,ACM·Zbl 1315.90038号
[27] Wegener,I.(2000)。分支程序和二进制决策图:理论和应用。SIAM关于离散数学和应用的专著。工业和应用数学学会·Zbl 0956.68068号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。