×
索菲·德马西;吉尔斯·佩森特;卢梭，路易斯·马汀

A类成本固定的基于混合列的生成方法。 （英语） Zbl 1117.90066号

约束条件 第4期，第11期，第315-333页（2006年）.
概述：约束编程（CP）提供了一种丰富的约束建模语言，其中嵌入了高效的算法来处理复杂和异构的组合问题。为了使用单独的CP或混合的CP-ILP分解方法解决困难的组合优化问题，传播过程中还必须考虑成本。优化约束及其基于成本的过滤算法旨在应用基于优化而非可行性的推理。本文引入了一个新的优化约束，成本固定的其过滤算法基于分层有向图中最短和最长路径的计算。支持信息还用于指导解决方案的搜索。我们相信，这种约束在建模和解决列生成子问题以及通过基于CP的灵活列生成方法评估其在复杂员工时间表问题上的行为时特别有用。给出了在生成的基准集和复杂的实际实例上的计算结果。

引用于35文件

MSC公司：

90立方厘米 非线性规划
90C57型 多面体组合学，分支与绑定，分支与切割

关键词：

优化约束;OR/CP混合方法;基于CP的列生成;分支和价格;员工时间表
PDF格式BibTeX公司 XML格式引用
\textit{S.Demassey}等人，约束11，No.4，315--333（2006；Zbl 1117.90066）
全文： 内政部

参考文献：

[1] Baptiste，P.、Le Pape C.和Peridy L.（1998年）。部分CSP的全局约束：资源和到期日约束的案例研究。约束，87–102。
[2] Barnhart，C.、Johnson，L.、Nemhauser，G.、Savelsbergh，M.和Vance，P.（1998年）。分支与价格：用于解决大型整数程序的列生成。运营研究，46316-329·Zbl 0979.90092号 ·doi:10.1287/opre.46.3.316
[3] Beldiceanu，N.、Carlsson，M.和Thiel，S.（2002年）。成本滤波算法针对两侧权重之和的不同值约束。技术报告SICS T2002:14。
[4] Caseau，Y.和Laburthe，F.（1997年）。解决各种带约束的加权匹配问题。在第三届约束编程原理与实践国际会议论文集-CP’97 LNCS 1330（第17-31页）中。柏林-海德堡纽约：施普林格·Zbl 0949.90058号
[5] Chvátal，V.（1983年）。线性规划。纽约：弗里曼·Zbl 0537.90067号
[6] Dantzig，G.（1954年）。关于伊迪在收费站交通延误的评论。运筹学，2339–341·doi:10.1287/opre.2.339
[7] Demassey，S.、Pesant，G.和Rousseau，L.-M.（2005）。用于员工时间表的基于约束编程的列生成。第二届组合优化问题约束程序设计中人工智能与或技术集成国际会议论文集——CPAIOR’05 LNCS 3524（第140–154页）。柏林-海德堡纽约：施普林格·Zbl 1133.90359号
[8] Desrosiers，J.、Dumas，Y.、Solomon，M.M.和Soumis，F.（1995）。时间受限的路由和调度。M.O.Ball、T.L.Magnanti、C.L.Monna和G.I.Nemhauser（编辑），《网络路由，运筹学和管理科学手册》（第35-139页）·Zbl 0861.90052号
[9] Ernst，A.T.、Jiang，H.、Krishnamoorthy，M.、Owens，B.和Sier，D.（2004）。人员安排和排班的注释书目。《运筹学年鉴》，127，21–144·Zbl 1090.90078号 ·doi:10.1023/B:ANOR.000019087.46656.e2
[10] Ernst，A.T.、Jiang，H.、Krishnamoorthy，M.和Sier，D.（2004）。员工排班和排班：应用程序、方法和模型综述。欧洲运筹学杂志，153，3–27·Zbl 1053.90034号 ·doi:10.1016/S0377-2217（03）00095-X
[11] Fahle，T.、Junker，U.、Karisch，S.E.、Kohl，N.、Vaaben，B.和Sellmann，M.（2002）。基于约束编程的乘员分配列生成。启发式杂志，8，59-81·Zbl 1073.90542号 ·doi:10.1023/A:1013613701606
[12] Fahle，T.和Sellmann，M.（2002年）。约束背包问题的基于成本的滤波。《运筹学年鉴》，115，73–93·Zbl 1013.90105号 ·doi:10.1023/A:1021193019522
[13] Focacci，F.、Lodi，A.和Milano，M.（1999）。基于成本的域过滤。第五届约束编程原理与实践国际会议论文集——CP’99 LNCS 1713，（第189-203页）。柏林-海德堡纽约：施普林格。
[14] Focacci，F.、Lodi，A.和Milano，M.（2002年）。面向优化的全局约束。约束，7351–365·Zbl 1028.68024号 ·doi:10.1023/A:1020589922418
[15] Gendron，B.、Lebbah，H.和Pesant，G.（2005年）。改进基于约束规划的列生成中主问题和子问题之间的合作。第二届组合优化问题约束编程AI和OR技术集成国际会议论文集——CPAIOR’05 LNCS 3524（第217-227页）。柏林-海德堡纽约：施普林格·Zbl 1133.68429号
[16] Junker，U.、Karish，S.E.、Kohl，N.、Vaaben，N.，Fahle，T.和Sellmann，M.（1999）。基于约束编程的列生成框架。第五届约束编程原理与实践国际会议论文集——CP’99 LNCS 1713（第261-274页）。柏林-海德堡纽约：施普林格·Zbl 0983.90059号
[17] Ottoson，G.和Thorsteinsson，E.S.（2000年）。连续变量下标的线性松弛和基于降低成本的传播。《AI和OR技术在组合优化问题约束编程中的集成国际研讨会论文集——CPAIOR’00》（第129–138页）。Paderborn并行计算中心，技术报告tr-001-2000。
[18] Pesant G.（2004）。有限变量序列的正则语言成员约束。第十届约束编程原理与实践国际会议论文集——CP’04 LNCS 3258（第482-495页）。柏林-海德堡纽约：施普林格·Zbl 1152.68573号
[19] Petit，T.、Régin，J.-C.和Bessière，C.（2001）。过约束问题的特定过滤算法。第七届约束编程原理与实践国际会议论文集——CP’01 LNCS（第451-463页）。柏林-海德堡纽约：施普林格·Zbl 1067.68663号
[20] Régin J.-C.（1996）。全局基数约束的广义弧一致性。AAAI'96年会议记录（第209-215页）。马萨诸塞州剑桥：麻省理工学院。
[21] Régin J.-C.（2002）。全局基数约束的基于成本的弧一致性。限制条件，7387–405·Zbl 1028.68157号 ·doi:10.1023/A:1020506526052
[22] 卢梭，L.-M.、根德劳，M.、佩森特，G.和福卡奇，F.（2004）。使用基于列生成的约束编程求解VRPTW。运筹学年鉴，130，199–216·兹比尔1062.90007 ·doi:10.1023/B:ANOR.0000032576.73681.29
[23] Sellmann，M.、Zervoudakis，K.、Stamatopoulos，P.和Fahle，T.（2002）。通过约束规划进行乘员分配：集成列生成和启发式树搜索。运筹学年鉴，115，207–225·Zbl 1013.90091号 ·doi:10.1023/A:1021105422248
[24] Sellmann，M.（2002）。所有不同约束的最小权重的弧一致性算法。第八届约束编程原理与实践国际会议论文集——CP’02 LNCS 2470（第744-749页）。柏林-海德堡-纽约：施普林格。
[25] Sellmann，M.（2003）。针对较短路径约束的基于成本的过滤。第九届约束编程原理与实践国际会议论文集——CP’03 LNCS 2833，（第694-708页）。柏林-海德堡纽约：施普林格·Zbl 1273.90231号
[26] Sellmann，M.（2004）。基于CP的拉格朗日松弛的理论基础。第十届约束编程原理与实践国际会议论文集——CP’04 LNCS 3258，（第634-647页）。柏林-海德堡纽约：施普林格·Zbl 1152.68584号
[27] van Hoeve，W.-J.、Pesant，G.和Rousseau，L.-M.（2006年）。关于全球变暖：基于流量的软约束。启发式杂志12（4-5），347-373·Zbl 1100.68623号 ·数字对象标识代码：10.1007/s10732-006-6550-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。