Logic-based Benders decomposition for planning and scheduling: a computational analysis
| Autor: | John N. Hooker, Elvin Coban, Andre A. Cire |
|---|---|
| Přispěvatelé: | Özyeğin University, Çoban Göktürk, Elvin |
| Rok vydání: | 2016 |
| Předmět: |
Mathematical optimization
021103 operations research Job shop scheduling Scheduling Computer science 0211 other engineering and technologies Stochastic programming Integer programming 02 engineering and technology Benders' decomposition Computer programming Scheduling (computing) Artificial Intelligence Computational methods 0202 electrical engineering electronic engineering information engineering Constraint programming 020201 artificial intelligence & image processing Computational analysis Implementation Constraint theory Software |
| Zdroj: | The Knowledge Engineering Review. 31:440-451 |
| ISSN: | 1469-8005 0269-8889 |
| DOI: | 10.1017/s0269888916000254 |
| Popis: | Logic-based Benders decomposition (LBBD) has improved the state of the art for solving a variety of planning and scheduling problems, in part by combining the complementary strengths of constraint programming and mixed integer programming (MIP). We undertake a computational analysis of specific factors that contribute to the success of LBBD, to provide guidance for future implementations. We study a problem class that assign tasks to multiple resources and poses a cumulative scheduling problem on each resource. We find that LBBD is at least 1000 times faster than state-of-the-art MIP on larger instances, despite recent advances in the latter. Further, we conclude that LBBD is most effective when the planning and scheduling aspects of the problem are roughly balanced in difficulty. The most effective device for improving LBBD is the inclusion of a subproblem relaxation in the master problem. The strengthening of Benders cuts also plays an important role when the master and subproblem complexity are properly balanced. These findings suggest future research directions. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|