×

通过解决方案工程丰富组合问题的解决方案。 (英语) Zbl 1528.90226号

总结:现有的识别组合问题多个解决方案的方法在实践中最多只能局限于将生成的解决方案之间的多样性和问题特定的需求同时结合起来的能力,而这些需求可能只有在进一步分析解算器输出后才能被用户发现或表达出来。我们为具有组合性质的问题提出了一个通用框架,该框架可以生成一组多个(近似)最优的、多样化的解决方案,这些解决方案进一步融入了所需的特征。我们称我们的方法为解决方案工程。一个关键的新颖之处是,所需的解决方案属性不需要事先显式建模。我们将该框架定制为数学编程和约束编程技术,然后通过实现并对文献中的现有测试实例进行计算实验来证明其实用性。我们的计算结果证实了生成一组解决方案的可能性,这些解决方案包含了其他可能尚未发现的特征。
在线补充可在以下网址获得:https://doi.org/10.1287/ijoc.2018.0855.

MSC公司:

90C27型 组合优化

软件:

CPLEX公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参考文献:

[1] Adomavicius G,Kwon Y(2014)基于优化的方法,用于最大化总推荐多样性。信息J.计算。26(2):351-369.谷歌学者链接·兹比尔1357.68235
[2] Amilhastre J、Fargier H、Marquis P(2002)《动态csp应用程序到配置的一致性恢复和解释》。人工智能135(1-2):199-234.Crossref,谷歌学者·Zbl 0983.68182号 ·doi:10.1016/S0004-3702(01)00162-X
[3] Armenakis AA,Bedeian AG(1999)《组织变革:20世纪90年代理论与研究综述》。J.管理25(3):293-315.Crossref,谷歌学者·doi:10.1177/014920639902500303
[4] Balas E,Jeroslow R(1972)单位超立方体上的规范割。SIAM J.应用。数学。23(1):61-69.Crossref,谷歌学者·Zbl 0237.52004号 ·数字对象标识代码:10.1137/0123007
[5] Barbieri G,Pachet F,Roy P,Esposti MD(2012),生成风格歌词的马尔可夫约束。De Raedt L、Bessiere C、Dubois D、Doherty P、Frasconi P编辑。ECAI 2012-20欧洲人工智能会议(阿姆斯特丹IOS出版社),115-120.谷歌学者
[6] Beldiceanu N,Simonis H(2011)一个约束寻求者:从例子中寻找和排序全局约束。Lee JH编辑。原则实践约束编程CP 2011,计算机科学讲座笔记,第6876卷(柏林斯普林格),12-26.Crossref,谷歌学者·doi:10.1007/978-3-642-23786-74
[7] Beldiceanu N、Carlsson M、Demassey S、Petit T(2007)《全球约束目录:过去、现在和未来》。限制条件12(1):21-62.Crossref,谷歌学者·Zbl 1128.68092号 ·doi:10.1007/s10601-006-9010-8
[8] Bertsimas D、Farias VF、Trichakis N(2012)《效率与公平权衡》。管理科学。58(12):2234-2250.链接,谷歌学者
[9] Bertsimas D,Natarajan K,Teo C-P(2006),数据不确定性下离散优化的持久性。数学。编程108(2-3):251-274.谷歌学者交叉引用·Zbl 1130.90365号 ·doi:10.1007/s10107-006-0710-z
[10] Bessiere C、Koriche F、Lazaar N、O'Sullivan B(2017)Constraint收购。人工智能244(3月):315-342 Crossref,谷歌学者·Zbl 1404.68139号 ·doi:10.1016/j.artint.2015.08.001
[11] Bessiere C、Hebrard E、Hnich B、Kiziltan Z、Walsh T(2005)《常见和不相交约束》。Hnich B、Carlsson M、Fages F、Rossi F编辑。最近的高级限制(CSCLP 2005),计算机科学讲座笔记,第3978卷(柏林斯普林格),29-43。谷歌学者·Zbl 1180.68244号
[12] Bessiere C、Hebrard E、Katsirelos G、Kiziltan Z、Picard-Cantiné、Quimper C、Walsh T(2014)平衡约束家族。O'Sullivan B编辑。原则实践约束编程(CP 2014),《计算机科学讲稿》,第8656卷(柏林斯普林格出版社),174-189。Crossref,谷歌学者·doi:10.1007/978-3-319-10428-7_15
[13] Box GE、Hunter WG和Hunter JS(2005)实验者统计:设计、创新和发现,第二版(John Wiley&Sons,新泽西州霍博肯)。谷歌学者·兹比尔1082.62063
[14] Brown GG、Dell RF、Wood RK(1997)《优化和持久性》。接口27(5):15-37.Link,谷歌学者
[15] Cambazard H,Fages J(2015)大气值及其加权变量的新滤波:拉格朗日方法。限制条件20(3):362-380.Crossref,谷歌学者·Zbl 1327.90130号 ·doi:10.1007/s10601-015-9191-0
[16] Camm JD(2014)次优化的(非常)短期课程。接口44(4):428-431.Link,谷歌学者
[17] Carvajal R,Constantino M,Goycoolea M,Vielma JP,Weintraub A(2013)在森林规划模型中施加连通性约束。操作。物件。61(4):824-836.链接,谷歌学者·Zbl 1291.90341号
[18] Chabert G,Jaulin L,Lorca X(2009)不同向量数量的约束及其在定位中的应用。Gent IP编辑。原则实践约束编程-CP 2009,《计算机科学讲稿》,第5732卷(柏林斯普林格出版社),196-210年·doi:10.1007/978-3642-04244-718
[19] Chu PC,Beasley JE(1997)广义指派问题的遗传算法。计算。操作。物件。24(1):17-23.Crossref,谷歌学者·Zbl 0881.90070号 ·doi:10.1016/S0305-0548(96)00032-9
[20] Danna E,Woodruff DL(2009)如何选择一组不同的解决方案来解决混合整数规划问题。操作。Res.Lett公司。37(4):255-260.Crossref,谷歌学者·Zbl 1167.90603号 ·doi:10.1016/j.orl.2009.03.004
[21] Danna E,Fenelon M,Gu Z,Wunderling R(2007)为混合整数规划问题生成多个解决方案。Fischetti M,Williamson D编辑。整数规划组合优化。(IPCO 2007),《计算机科学讲稿》,第4513卷(柏林施普林格出版社),280-294.Crossref,谷歌学者·Zbl 1136.90416号 ·doi:10.1007/978-3-540-72792-7_22
[22] Dinkelbach W(1967)关于非线性分式规划。管理科学。13(7):492-498链接,谷歌学者·Zbl 0152.18402号
[23] Efremov R,Insua DR,Lotov A(2009)使用帕累托前沿可视化、目标识别和仲裁的参与式决策支持框架。欧洲药典。物件。199(2):459-467.Crossref,谷歌学者·Zbl 1176.90285号 ·doi:10.1016/j.ejor.2008.10.034
[24] Ehrgott M,Gandibleux X(2000)多目标组合优化的调查和注释书目。OR-Spektrum公司22(4):425-460.Crossref,谷歌学者·Zbl 1017.90096号 ·数字标识代码:10.1007/s002910000046
[25] Eiter T,Erdem E,Erdogan H,Fink M(2013)在答案集编程中寻找相似/不同的解决方案。理论实践逻辑程序设计13(3):303-359.Crossref,谷歌学者·Zbl 1266.68081号 ·doi:10.1017/S1471068411000548
[26] Fisher ML,Jaikumar R,Van Wassenhove LN(1986)广义分配问题的一种乘数调整方法。管理科学。32(9):1095-1103.Link,谷歌学者·Zbl 0626.90036号
[27] Glover F,Kuo CC,Dhir KS(1998)最大分集问题的启发式算法。J.通知。最佳方案。科学。19(1):109-132.Crossref,谷歌学者·Zbl 0903.90121号 ·网址:10.1080/02522667.1998.10699366
[28] Glover F,Lökketangen A,Woodruff DL(2000)分散搜索,以生成不同的MIP解决方案。Laguna M,González-Velarde JL,编辑。用于建模、优化和仿真的OR计算工具《运筹学/计算机科学接口系列》,第12卷(Springer,Boston),299-317.Crossref,谷歌学者·doi:10.1007/978-1-4615-4567-5_17
[29] Greistorer P,Lökketangen A,VoßS,Woodruff DL(2008)关于目标函数和距离的连续与同时最大化的实验。J.启发式14(6):613-625.Crossref,谷歌学者·Zbl 1173.90542号 ·数字对象标识代码:10.1007/s10732-007-9053-z
[30] Hadzic T、Holland A、O'Sullivan B(2009)推理最佳解决方案集合。Gent IP编辑。原则实践约束编程-CP 2009,计算机科学讲座笔记,第5732卷(柏林斯普林格),409-423.谷歌学者
[31] Hebrard E,O'Sullivan B,Walsh T(2007)约束满足中的距离约束。Veloso MM编辑。IJCAI 2007程序。第20届国际。人工智能联合会议(Morgan Kaufmann,旧金山),106-111.谷歌学者
[32] Hebrard E,Hnich B,O'Sullivan B,Walsh T(2005)在约束规划中寻找多样且相似的解决方案。科恩A编辑。程序。第20届国家。Conf.人工智能,第1卷(AAAI Press,Menlo Park,CA),372-377.谷歌学者
[33] Hebrard E,Marx D,O'Sullivan B,Razgon I(2011)差异和平等的软约束。J.人工智能研究。41(2):97-130.谷歌学者(Google Scholar)交叉引用·Zbl 1218.90173号 ·doi:10.1613/jair.3197
[34] Hentenryck PV,Coffrin C,Gutkovich B(2009)基于约束的本地搜索,用于自动生成架构测试。Gent IP编辑。原则实践约束编程-CP 2009,《计算机科学讲义》,第5732卷(施普林格,柏林),787-801.Crossref,谷歌学者·doi:10.1007/978-3-642-04244-7_61
[35] IBM(2017)IBM ILOG CPLEX 12.7用户手册(IBM ILOG CPLEX Division,Incline Village,NV)。谷歌学者
[36] Karasakal E,Köksalan M(2009)在多标准决策中生成非支配边界的代表子集。操作。物件。57(1):187-199.Link,谷歌学者·Zbl 1181.90150号
[37] Katsirelos G、Narodytska N、Walsh T(2012)《重新审视SeqBin约束》。Milano M编辑。原则实践约束编程-CP 2012,计算机科学讲义(,)卷(7514(,)斯普林格(,)柏林(),332-347)。Crossref,谷歌学者·doi:10.1007/978-3-642-33558-7_26
[38] Kiziltan Z,Lippi M,Torroni P(2016)自然语言问题描述中的约束检测。Kambhampati S编辑。程序。第25届国际。人工智能联合会议(IJCAI 2016),(加州门罗公园AAAI出版社),744-750.谷歌学者
[39] Kuo CC,Glover F,Dhir KS(1993)通过零规划分析和建模最大分集问题。决策科学。24(6):1171-1185.谷歌学者交叉引用·doi:10.1111/j.1540-5915.1993.tb00509.x
[40] Lecoutre C,Likitvivatanavong C,Yap RHC(2015)STR3:表约束的路径最优过滤算法。人工智能220(3月):1-27.Crossref,谷歌学者·Zbl 1328.68199号 ·doi:10.1016/j.artint.2014.12.002
[41] Lökketangen A,Woodruff DL(2005)支持优化选择决策的距离函数。决策支持系统39(3):345-354.Crossref,谷歌学者·doi:10.1016/j.dss.2004.01.01
[42] Morrison T(2010)稳健组合优化的新范式:使用持久性作为证据理论。丹佛科罗拉多大学博士论文。谷歌学者
[43] Nadel A(2011),在SAT Sakallah KA,Simon L,eds。理论应用。满意度测试——2011年SAT,计算机科学讲义第6695卷(柏林施普林格出版社),287-301.Crossref,谷歌学者·Zbl 1330.68275号 ·doi:10.1007/978-3642-21581-023
[44] Narodytska N、Petit T、Siala M、Walsh T(2016)《聚焦约束的三种推广》。限制条件21(4):495-532.Crossref,谷歌学者·兹比尔1368.90110 ·doi:10.1007/s10601-015-9233-7
[45] Ouis S,Jussien N,Boizumault P(2003)k-约束编程的相关解释。Russell I,Haller SM编辑。程序。第16届国际米兰。佛罗里达州人工智能研究会。(加州门罗公园AAAI出版社),192-196年。谷歌学者
[46] Pesant G,Régin J-C(2005)《扩散:基于统计的平衡约束》。van Beek P编辑。原则实践约束编程-CP 2005《计算机科学讲稿》,第3709卷(柏林斯普林格出版社),460-474.Crosref,谷歌学者·Zbl 1153.68475号 ·doi:10.1007/11564751-35
[47] Petit T,Petit L(2016)优化多质粒的分子克隆。Kambhampati S编辑。程序。第25届国际。人工智能联合会议(IJCAI 2016)(AAAI Press,Menlo Park,CA),773-779,谷歌学者
[48] Petit T,Trapp AC(2015)寻找各种高质量的解决方案来解决约束优化问题。Yang Q,Wooldridge M,编辑。程序。第24届国际。人工智能联合会议(IJCAI 2015)(AAAI出版社,加利福尼亚州门罗公园,(),260-267。谷歌学者
[49] Prud’homme C,Fages J-G,Lorca X(2015)Choco3文件。软件文档,TASC,INRIA Rennes,LINA CNRS UMR 6241,COSLING S.A.S.,法国南特。2016年12月1日访问,http://www.choco-solver.org.谷歌学者
[50] Quimper C-G,López-Ortiz A,Pesant G(2006)间距约束的二次传播算子。Gil Y、Mooney RJ编辑。第21届国家。Conf.人工智能/第18次创新应用。人工智能会议。(AAAI-06)(AAAI Press,Menlo Park,CA),123-128谷歌学者
[51] Schaible S(1976)分数编程。二、 关于丁克尔巴赫算法。管理科学。22(8):868-873.链接,谷歌学者·Zbl 0346.90052号
[52] Schaus P,Deville Y,Dupont P(2007a)有界一致偏差约束。Bessiere C编辑。原理与实践约束编程CP2007,《计算机科学讲义》,第4741卷(施普林格,柏林),620-634.Crossref,谷歌学者·doi:10.1007/978-3-540-74970-7_44
[53] Schaus P、Deville Y、Dupont P、Régin J-C(2007b)《偏差约束》。Hentenryck PV,Wolsey LA编辑。集成人工智能或技术约束编程组合优化。问题(CPAIOR 2007),计算机科学讲义,第4510卷(柏林斯普林格),260-274.Crossref,谷歌学者·Zbl 1214.90104号 ·doi:10.1007/978-3-540-72397-4_19
[54] Schaus P、Hentenryck PV、Régin J(2009)《护士与患者分配问题中的可扩展负载平衡》。van Hoeve WJ,Hooker JN编辑。集成人工智能或技术约束编程组合优化。问题(CPAIOR 2009),计算机科学讲义,第5547卷(柏林斯普林格),248-262.Crossref,谷歌学者·doi:10.1007/978-3-642-01929-6_19
[55] Schell D(2002)《音乐旋律和和声进行的最佳性:旅行音乐家》。欧洲药典。物件。140(2):354-372.Crossref,谷歌学者·Zbl 1024.00510号 ·doi:10.1016/S0377-2217(02)00074-7
[56] Schittekat P,Sörensen K(2009)通过为大规模选址问题生成不同的解决方案,支持汽车行业的第三方物流决策。操作。物件。57(5):1058-1067.谷歌学者链接
[57] Sebbah S、Bagley C、Colena M、Kadioglu S(2016)基于云的内存数据网格中的服务可用性优化。Rueher M编辑。原则实践约束计划-CP 2016,计算机科学讲义,第9892卷(瑞士查姆斯普林格),666-679。谷歌学者
[58] Shim JP、Warkentin M、Courtney JF、Power DJ、Sharda R、Carlsson C(2002)《决策支持技术的过去、现在和未来》。决策支持系统。33(2):111-126.Crossref,谷歌学者·doi:10.1016/S0167-9236(01)00139-7
[59] Simonin G,Artigues C,Hebrard E,Lopez P(2015)《彗星探索科学实验计划》。限制条件20(1):77-99。Crossref,谷歌学者·Zbl 1314.90041号 ·doi:10.1007/s10601-014-9169-3
[60] Tamiz M,Jones D,Romero C(1998)《决策目标规划:当前最先进技术概述》。欧洲药典。物件。111(3):569-581.Crossref,谷歌学者·Zbl 0937.90048号 ·doi:10.1016/S0377-2217(97)00317-2
[61] Trapp AC(2019)解决方案工程的源代码。2019年1月15日访问,http://users.wpi.du/~atrapp/tools-and-software.htm。谷歌学者
[62] Trapp AC,Konrad RA(2015)发现二进制整数程序的不同优化和近优化。IIE事务处理。47(11):1300-1312.Crossref,谷歌学者·doi:10.1080/0740817X.2015.1019161
[63] Tsai JF,Lin MH,Hu YC(2008)《寻找一般整数线性规划的多解》。欧洲药典。物件。184(2):802-809.交叉引用,谷歌学者·Zbl 1168.90562号 ·doi:10.1016/j.ejor.2006.11.024
[64] 第P卷·doi:10.1016/j.energy.2015.01.055
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。