埃琳娜·凯拉雷娃；凯文·蒂尔尼；菲利普·基尔比 具有时间相关任务成本的调度和路由的CP方法。 （英语） Zbl 1305.90064号 EURO J.计算。最佳方案。 2014年第2期第3期第147-194页. 摘要：一类特别困难的调度和路由问题涉及一个目标，即时变行动成本的总和，这增加了此类问题的规模和复杂性。求解和改进方法（即为简化模型找到初始解并使用成本函数对其进行改进）和混合整数规划（MIP）经常用于解决此类问题。然而，对于一些具有时变动作成本的调度问题，约束编程（CP），尤其是使用惰性子句生成（LCG）的约束编程（CP:constraint programming）要比MIP快。在本文中，我们将CP和LCG与一种解决和改进的方法进行了比较，以解决海事物流领域中最近引入的两个具有时变行动成本的问题：班轮船队重新定位问题（LSFRP）和散货港货物吞吐量优化问题（BPCTOP）。我们提出了一种新的LSFRP的CP模型，该模型比以前的所有方法都快，并且优于没有时变成本的简化自动规划模型。我们表明，LCG求解器求解BPCTOP的速度比具有简化模型的标准有限域CP求解器更快。我们发现，CP和LCG是解决与时间相关的任务成本问题的有效方法，对于目前正在使用MIP或求解和改进方法解决的其他调度和路由问题，值得研究，即使定制的全局约束不可用。我们还研究了一种解决BPCTOP的新方法——将问题转化为车辆路径问题（VRP），并使用现有的VRP求解器进行求解。 MSC公司： 90B06型 运输、物流和供应链管理 关键词：约束编程；行程安排；路由；海上物流 软件：科幻小说；UCPOP公司；迷你锌；LINERLIB公司；PDDL公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Kelareva}等人，《欧洲计算机杂志》。最佳方案。2，第3号，147--194（2014；Zbl 1305.90064） 全文： DOI程序 OA许可证 参考文献： [1] Achterberg T（2009）SCIP：求解约束整数程序。数学程序计算1（1）：1-41·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1 [2] Agnetis A、de Pascale G、Detti P、Vicino A（2013）《家庭能耗优化负荷调度》。IEEE Trans智能电网4（4）：2364-2373。doi:10.1109/TSG.2013.2254506http://ieeexplore.iee.org/lpdocs/epic03/wrapper.htm？arnumber=6509468 ·Zbl 1231.90286号 [3] Bausch D、Brown G、Ronen D（1998）《散装产品短期海运计划》。马里特政策管理25（4）：335-348·doi:10.1080/03088839800000057 [4] BektašT，Laporte G（2011）《污染治理问题》。Transp Res第B部分方法45（8）：1232-1250·doi:10.1016/j.trb.2011.02.004 [5] Brouer B、Alvarez J、Plum C、Pisinger D、Sigurd M（2014）班轮运输网络设计的基本整数规划模型和基准套件。运输科学48（2）：281-312·Zbl 1171.90476号 [6] Brown G、Graves G、Ronen D（1987）《原油海上运输计划》。管理科学33（3）：335-346·doi:10.1287/mnsc.33.335 [7] Christiansen M，Fagerholt K（2002）《具有多个时间窗口的稳健船舶调度》。海军后勤研究49（6）：611-625·Zbl 1007.90504号 ·doi:10.1002/nav.10033 [8] Christiansen M、Fagerholt K、Nygreen B、Ronen D（2007）第4章：海上运输。收录：Barnhart C，Laporte G（eds）Transportation，运营研究和管理科学手册，Elsevier，第14卷，第189-284页·Zbl 1142.91300号 [9] Christiansen M、Fagerholt K、Nygreen B、Ronen D（2013）《新千年的船舶定线与调度》。欧洲运营研究杂志228（3）：467-483·兹比尔1317.90112 ·doi:10.1016/j.ejor.2012.12.002 [10] Christiansen M、Fagerholt K、Ronen D（2004）《船舶定线与调度：现状与展望》。交通科学38（1）：1-18·数字对象标识代码：10.1287/trsc.1030.0036 [11] Chu G，de la Banda M，Mears C，Stuckey P（2010）《对称与惰性子句生成》。摘自：第16届约束编程原理与实践国际会议论文集（CP'10）博士课程，第43-48页（2010）·Zbl 1316.90045号 [12] Coles AJ、Coles AI、Fox M、Long D（2010年），《远期交易部分订单规划》。附：第二十届国际自动规划和调度会议记录（ICAPS-10）·Zbl 1280.68236号 [13] Fagerholt K（2000）在船舶调度问题中评估客户服务水平和运输成本之间的权衡。马里特政策管理27（2）：145-153·网址：10.1080/030888300286563 [14] Fagerholt K（2001）《软时间窗船舶调度：基于优化的方法》。欧洲运营研究杂志131（3）：559-571·Zbl 0994.90069号 ·doi:10.1016/S0377-2217（00）00098-9 [15] Fagerholt K（2004）船队调度的基于计算机的决策支持系统：经验和未来研究。Decis支持系统37（1）：35-47·doi:10.1016/S0167-9236（02）00193-8 [16] Fagerholt K、Laporte G、Norstad I（2010）通过优化航线速度减少燃油排放。《操作研究汇编》61:523-529·Zbl 1196.91044号 ·doi:10.1057/jors.2009.77 [17] Fagerholt K，Laporte G，Norstad I（2010）通过优化航线速度来减少燃料排放。《运营研究杂志》61:523-529·Zbl 1196.91044号 ·doi:10.1057/jors.2009.77 [18] Feydy T，Stuckey P（2009）《懒惰条款生成再造》。摘自：第15届约束规划原理与实践国际会议（CP’09），LNCS，第5732卷，第352-366页 [19] Figliozzi M（2010）具有软时间窗的车辆路径问题的迭代路径构造和改进算法。运输研究C部分应急技术18（5）：668-679·doi:10.1016/j.trc.2009.08.005 [20] Figliozzi M（2012）带时间窗的时间相关车辆路径问题：基准问题、有效的求解算法和解的特征。运输研究E部分物流运输版本48（3）：616-636·doi:10.1016/j.tre.2011.11.006 [21] Fikes R，Nilsson N（1971）STRIPS：应用定理证明解决问题的新方法。Artif Intell 2（3-4）：189-208·兹伯利0234.68036 ·doi:10.1016/0004-3702（71）90010-5 [22] Fox M，Long D（2003）PDDL2.1：PDDL的扩展，用于表示时间规划域。Artif Intell Res杂志20（1）：61-124·Zbl 1036.68093号 [23] Franceschetti A、Van Woensel T、Honhon D、BektašT、Laporte G（2012）《时间相关污染路径问题》。埃因霍温科技大学工业工程与创新科学，埃因霍芬，技术报告 [24] Grinold R（1972）付款计划问题。海军后勤研究Q 19（1）：123-136·Zbl 0252.90034号 ·doi:10.1002/nav.3800190110 [25] Kadioglu S、Malitsky Y、Sellmann M、Tierney K（2010）ISAC：特定实例算法配置。收录：Coelho H、Studer R、Wooldridge M（eds）《第19届欧洲人工智能会议论文集》（ECAI-10），《智能与应用前沿》，第215卷，第751-756页 [26] Kautz H，Walser J（1999）《基于整数优化的状态空间规划》。摘自：《全国人工智能会议记录》，第526-533页 [27] Kelareva E、Brand S、Kilby P、Thiébaux S、Wallace M（2012）《时变吃水深度船舶调度的CP和MIP方法》。摘自：第22届国际自动规划和调度会议（ICAPS’12）会议记录，第110-118页 [28] Kelareva E、Kilby P、Thiébaux S、Wallace M（2012）《吃水深度随时间变化的船舶调度》。参加：第五届货运和物流国际研讨会（奥德赛’12） [29] Kelareva E、Kilby P、Thiébaux S、Wallace M（2012）《吃水深度随时间变化的船舶调度：约束规划和弯曲分解》。运输科学（已提交）·Zbl 0234.68036号 [30] Kelareva E，Tierney K，Kilby P（2013）具有时间相关任务成本的调度和路由的CP方法。收录于：Gomes C，Sellmann M（eds）《组合优化问题约束编程中人工智能和OR技术的集成》，计算机科学讲义，第7874卷。柏林施普林格，第111-127页·兹比尔1382.90036 [31] Kilby P，Verden A（2011），结合约束编程、大邻域搜索和基于特征的插入的灵活路由。收件人：Schill K、Scholz-Reiter B、Frommberger L（eds）第二届人工智能与物流研讨会论文集（AILOG’11），第43-49页 [32] Lemaêtre M，Verfaillie G，Jouhaud F，Lachiver JM，Bataille N（2002）选择和安排敏捷卫星的观测。Aerosp科技公司6:367-381·doi:10.1016/S1270-9638（02）01173-2 [33] 林伟，廖德，刘C，李Y（2005）对地观测卫星的每日成像调度。Syst Man Cybern第A部分Syst Hum IEEE Trans 35（2）：213-223·doi:10.1109/TSMCA.2005.843380 [34] Lougee-Heimer R（2003）运筹学的通用优化界面：在运筹学界推广开源软件。IBM J Res开发47（1）：57-66·数字对象标识代码：10.1147/rd.471.0057 [35] Malandraki C，Daskin MS（1992），时间相关车辆路径问题：公式、属性和启发式算法。交通科学26（3）：185·Zbl 0758.90029号 ·doi:10.1287/trsc.26.3185 [36] Nau D、Ghallab M、Traverso P（2004）《自动化规划：理论与实践》。Morgan Kaufmann Publishers Inc.加利福尼亚州旧金山·Zbl 1074.68613号 [37] Nethercote N、Marriott K、Rafeh R、Wallace M、de la Banda M（2010）《锌和锌规范》。http://www.g12.cs.mu.oz.au/minizinc/downloads/doc-1.2/zinc-spec.pdf ·Zbl 1146.68352号 [38] Nethercote N、Stuckey P、Becket R、Brand S、Duck G、Tack G（2007）《MiniZin:迈向标准CP建模语言》。收录于：Bessière C（ed）约束编程原理与实践（CP’07），LNCS，第4741卷。施普林格，第529-543页 [39] Norstad I、Fagerholt K、Laporte G（2011）《速度优化的拖船路线和调度》。运输研究19:853-865 [40] O'Brien T（2002）使用动态龙骨下净空系统的经验。摘自：PIANC第30届国际航海大会会议记录，第1793-1804页 [41] Ohrimenko O，Stuckey P，Codish M（2009）《通过惰性子句生成进行传播》。限制条件14（3）：357-391·Zbl 1192.68654号 ·数字对象标识代码：10.1007/s10601-008-9064-x [42] OMC国际：DUKC帮助黑德兰港创造了装船记录（2009年）。http://www.omc-international.com/images/stories/press/omc-20090810-news-in-wa.pdf ·Zbl 1192.68654号 [43] Opturion Pty Ltd：Opturion CPX用户指南，1.0版（2013） [44] Penberthy J，Weld D（1992）UCPOP：ADL的健全、完整、部分订单计划员。摘自：第三届知识表示与推理国际会议论文集 [45] 黑德兰港港务局：2009/10年货物统计和港口信息（2011年）。http://www.phpa.com.au/docs/货物统计报告.pdf [46] Qureshi A、Taniguchi E、Yamada T（2009）具有软时间窗的车辆路径和调度问题的精确解决方法。运输研究E部分物流运输版本45（6）：960-977·文件编号：10.1016/j.tre.2009.04.007 [47] Rakke J、Christiansen M、Fagerholt K、Laporte G（2011）《旅行推销员的草案限制问题》。计算Oper Res 39:2161-2167·Zbl 1251.90333号 ·doi:10.1016/j.cor.2011.10.025 [48] Rao L、Liu X、Xie L和Liu W（2010）《最小化电力成本：在多电力市场环境中优化分布式互联网数据中心》。收录：《信息通信学报》，IEEE，第1145-1153页 [49] Rossi F，Van Beek P，Walsh T（2006）约束规划手册。Elsevier Science，阿姆斯特丹·Zbl 1175.90011号 [50] Russell A（1970）网络现金流。管理科学16（5）：357-373·Zbl 0187.18201号 ·doi:10.1287/mnsc.16.5357 [51] Schutt A、Chu G、Stuckey P、Wallace M（2012）《资源约束项目进度净现值最大化》。载于：《CPIOR会议录2006》，LNCS，第7298卷。施普林格，第362-378页 [52] Sexton T，Choi Y（1985），带软时间窗的部分荷载的提取和交付。美国数学管理科学杂志6:369-398·Zbl 0633.90029号 [53] Shaw P（1997）一种新的局部搜索算法，为车辆路径问题提供高质量的解决方案。苏格兰格拉斯哥斯特拉斯克莱德大学工作文件·Zbl 1231.90286号 [54] Smith S（2005）计划是一个已解决的问题吗？摘自：《多学科调度学报：理论与应用》，第3-17页·Zbl 1078.90536号 [55] Song JH，Furman K（2010）《海上库存路径问题：实用方法》。计算运算结果40（3）：657-665·Zbl 1349.90596号 [56] Tierney K（2013）优化班轮运输船队重新定位计划。哥本哈根IT大学博士论文·Zbl 1333.90005号 [57] Tierney K、Al skelsdóttir B、Jensen R、Pisinger D（2014）《解决班轮运输船队重新定位与货流问题》。出现在交通科学领域 [58] Tierney K、Coles A、Coles B、Jensen R（2012）班轮运输船队重新定位问题的PDDL领域。哥本哈根IT大学技术报告TR-2012-152·兹比尔1196.91044 [59] Tierney K、Coles A、Coles B、Kroer C、Britt A、Jensen R（2012）《班轮运输船队重新定位的自动化规划》。摘自：第22届国际自动规划和调度会议（ICAPS’12）会议记录，第279-287页 [60] Tierney K，Jensen R（2011）班轮运输船队重新定位。In:计算物流国际会议论文集（ICCL'11），摘要·Zbl 1333.90005号 [61] Tierney K，Jensen R（2012）班轮船队重新定位货流问题。收录人：Hu H，Shi X，Stahlbock R，VoßS（eds）计算物流，LNCS，第7555卷。施普林格，第1-16页·Zbl 1171.90476号 [62] Tierney K，Jensen RMJ（2013），非弹性探视班轮船队重新定位问题的节点流模型。收录：Pacino D，VoßS，Jensen RM（编辑）计算物流，计算机科学讲稿，第8197卷。施普林格，第18-34页·Zbl 1007.90504号 [63] Tierney K，VoßS，Stahlbock R（2014）《终端间运输的数学模型》。欧洲运营研究杂志235（2）：448-460。doi:10.1016/j.ejor.2013.07.007http://www.sciencedirect.com/science/article/pii/S0377221713005778（海运物流）·Zbl 1305.90076号 [64] 墨尔本大学：MiniZin挑战赛（2011）。http://www.g12.cs.mu.oz.au/minizinc/challenge2011/challenge.html [65] Van Den Briel M，Vossen T，Kambhampati S（2005）《复兴人工智能规划的整数规划方法：一个分支与切割框架》。摘自：第15届国际自动规划与调度会议论文集（ICAPS-05），第310-319页 [66] Vanhoucke M、Demeulemester E、Herroelen W（1999）《资源约束下项目净现值最大化》。收件人：比利时鲁汶卡托利克大学应用经济学系9915研究报告汇编·Zbl 1232.90215号 [67] Vanhoucke M，Demeulemeter E，Herroelen W（2001）《可再生资源约束下项目净现值最大化》。管理科学47:1113-1121·Zbl 1232.90215号 ·doi:10.1287/mnsc.47.8.113.10226 [68] 华莱士M（2009）G12：走向问题建模和问题解决的分离。参见：《2009年CPAIOR会议录》，LNCS，第5547卷。施普林格，第8-10页 [69] 王杰，静恩，李杰，陈H（2007）对地观测卫星多目标成像调度方法。摘自：第九届遗传和进化计算年会论文集（GECCO’07），第2211-2218页·Zbl 1232.90215号 [70] Wolfe W，Sorensen S（2000）三种调度算法应用于地球观测系统领域。管理科学46（1）：148-168·兹比尔1231.90286 ·doi:10.1287/mnsc.46.1148.15134 [71] 姚F，李J，白B，何R（2010）基于分解优化算法的地球观测卫星调度。Int J图像Gr信号处理1:10-18·doi:10.5815/ijigsp.2010.01.02 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。