Skip to main content

2019 | OriginalPaper | Buchkapitel

6. Algorithmic Analysis Based on the Problem Decomposability

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Based on the considerations about the large-scale model structure and its solvability in the previous chapter, a solution method for the core model is developed, formally described and numerically studied. The aim is to reduce the model size in order to enable an analysis of interaction effects of container handling problems in single yard block operations. By this approach, the solution of lager instances is promoted providing an improved basis for the theoretical examination and numerical evaluation. For this purpose, a Benders decomposition approach is developed where the Master and the Sub-problem are solved as linear programs to reduce computational time. Integrality of the Master is obtained by randomised rounding based on a Fix-and-Relax procedure which enables the algorithm to escape local optima. In this process, feasibility is constructed by calling stacking rules which underlie the specific problem structure. Based on the obtained integer input to the Sub-problem from the Master, integrability of the Sub-problem is supported by a polynomial number of facet-defining valid inequalities. Within the specified runtime limit, CPLEX finds only feasible solutions for the 30% smallest test instances while the proposed algorithm generates feasibility in close to 90% of the cases including the largest ones. Moreover, the benefits of the hybrid algorithmic framework are illustrated by a numerical comparison with the original Benders decomposition and a random draw from the solution space with the help of the heuristic stacking rules. Hence, the research questions about the theoretical foundations are addressed within this chapter.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
Subsequently, it is referred to ‘Master’ if the conceptual meaning of the problem is addressed (including the heuristic rules for generating an integer feasible solution). If the specific (linear or integer) program is considered, (the pre-fix) ‘MASTER’ is used.
 
2
Subsequently, it is referred to ‘Sub-problem’ if the conceptual meaning of the problem is addressed. If the specific (linear) programming model is considered, the term ‘SUB’ is used. However, these two can be considered synonymous as the LP-relaxation (SUB) directly gives the solution to the Sub-problem.
 
3
Note that an artificially large upper bound is still calculated based on the penalisation of the violation in order to ensure that the procedure of the RRB can continue as intended.
 
4
As the bounds are central to the convergence of the Benders decomposition and their calculation follows the math-heuristic rationale, the bound synchronisation in lines 6–11 is described afterwards when the relevant algorithmic mechanisms are clarified.
 
5
The Tabu-list created during the execution of the RRB encompasses all identified infeasible and, as a result, tabooed assignments of containers to slots. Thus, it is unrelated to the meta-heuristic Tabu Search developed by Glover (1989).
 
6
It can be expected that the assignment based on R5 Randomised Rounding rarely provides a completely feasible solution without violating stacking restrictions or duplicate assignments to one slot.
 
7
Note that some instances being at the interval limit may be either categorised as dense (moderate) or moderate (sparse). The appropriate categorisation depends on the block occupancy of the base case. Therefore, some instances with O max = 75% may be classified as dense, if it is the base case, while another one may be classified as moderate if there is a base instance with higher block occupancy. Thus, all stated intervals are inclusive and, thus, potentially overlapping.
 
Literatur
Zurück zum Zitat Benders JF (1962) Partitioning procedures for solving mixed-variables programming problems. Numer Math 4:238–252CrossRef Benders JF (1962) Partitioning procedures for solving mixed-variables programming problems. Numer Math 4:238–252CrossRef
Zurück zum Zitat Benjamini Y, Hochberg Y (1995) Controlling the false discovery rate: a practical and powerful approach to multiple testing. J R Stat Soc B 57(1):289–300 Benjamini Y, Hochberg Y (1995) Controlling the false discovery rate: a practical and powerful approach to multiple testing. J R Stat Soc B 57(1):289–300
Zurück zum Zitat Borgman B, van Asperen E, Dekker R (2010) Online rules for container stacking. OR Spectr 32(3):687–716CrossRef Borgman B, van Asperen E, Dekker R (2010) Online rules for container stacking. OR Spectr 32(3):687–716CrossRef
Zurück zum Zitat Boschetti M, Maniezzo V, Roffilli M (2009) Decomposition techniques as metaheuristic frameworks. In: Maniezzo V, Stützle T, Voß S (eds) Matheuristics: hybridizing metaheuristics and mathematical programming. Annals of information systems, vol 10. Springer, Boston, pp 135–158CrossRef Boschetti M, Maniezzo V, Roffilli M (2009) Decomposition techniques as metaheuristic frameworks. In: Maniezzo V, Stützle T, Voß S (eds) Matheuristics: hybridizing metaheuristics and mathematical programming. Annals of information systems, vol 10. Springer, Boston, pp 135–158CrossRef
Zurück zum Zitat Caserta M, Voß S (2009) Metaheuristics: intelligent problem solving. In: Maniezzo V, Stützle T, Voß S (eds) Matheuristics: hybridizing metaheuristics and mathematical programming. Annals of information systems, vol 10. Springer, Boston, pp 1–38CrossRef Caserta M, Voß S (2009) Metaheuristics: intelligent problem solving. In: Maniezzo V, Stützle T, Voß S (eds) Matheuristics: hybridizing metaheuristics and mathematical programming. Annals of information systems, vol 10. Springer, Boston, pp 1–38CrossRef
Zurück zum Zitat Caserta M, Voß S, Sniedovich M (2011) Applying the corridor method to a blocks relocation problem. OR Spectr 33(4):915–929CrossRef Caserta M, Voß S, Sniedovich M (2011) Applying the corridor method to a blocks relocation problem. OR Spectr 33(4):915–929CrossRef
Zurück zum Zitat Conjeo AJ, Castillo E, Mínguez R, García-Bertrand R (2006) Decomposition techniques in mathematical programming, 1st edn. Springer, Berlin/Heidelberg Conjeo AJ, Castillo E, Mínguez R, García-Bertrand R (2006) Decomposition techniques in mathematical programming, 1st edn. Springer, Berlin/Heidelberg
Zurück zum Zitat Dillenberger C, Escudero LF, Wollensak A, Wu Z (1994) On practical resource allocation for production planning and scheduling with period overlapping setups. Eur J Oper Res 75(2):275–286CrossRef Dillenberger C, Escudero LF, Wollensak A, Wu Z (1994) On practical resource allocation for production planning and scheduling with period overlapping setups. Eur J Oper Res 75(2):275–286CrossRef
Zurück zum Zitat Geoffrion AM (1972) Generalized benders decomposition. J Optim Theory Appl 10(4):237–260CrossRef Geoffrion AM (1972) Generalized benders decomposition. J Optim Theory Appl 10(4):237–260CrossRef
Zurück zum Zitat Magnanti TL, Wong RT (1981) Accelerating benders decomposition: algorithmic enhancement and model selection criteria. Oper Res 29(3):464–484CrossRef Magnanti TL, Wong RT (1981) Accelerating benders decomposition: algorithmic enhancement and model selection criteria. Oper Res 29(3):464–484CrossRef
Zurück zum Zitat Montgomery DC (2005) Design and analysis of experiments, 6th edn. Wiley, Hoboken Montgomery DC (2005) Design and analysis of experiments, 6th edn. Wiley, Hoboken
Zurück zum Zitat Motwani R, Raghavan P (1995) Randomized algorithms, 1st edn. Cambridge University Press, CambridgeCrossRef Motwani R, Raghavan P (1995) Randomized algorithms, 1st edn. Cambridge University Press, CambridgeCrossRef
Zurück zum Zitat Padberg M (1988) Total unimodularity and the Euler-subgraph problem. Oper Res Lett 7(4):173–179CrossRef Padberg M (1988) Total unimodularity and the Euler-subgraph problem. Oper Res Lett 7(4):173–179CrossRef
Zurück zum Zitat Raghavan P, Tompson CD (1987) Randomized rounding: a technique for provably good algorithms and algorithmic proofs. Combinatorica 7(4):365–374CrossRef Raghavan P, Tompson CD (1987) Randomized rounding: a technique for provably good algorithms and algorithmic proofs. Combinatorica 7(4):365–374CrossRef
Zurück zum Zitat Rahmaniani R, Crainic TG, Gendreau M, Rei W (2017) The benders decomposition algorithm: a literature review. Eur J Oper Res 259(3):801–817CrossRef Rahmaniani R, Crainic TG, Gendreau M, Rei W (2017) The benders decomposition algorithm: a literature review. Eur J Oper Res 259(3):801–817CrossRef
Zurück zum Zitat Tukey JW (1949) Comparing individual means in the analysis of variance. Biometrics 5(2):99–114CrossRef Tukey JW (1949) Comparing individual means in the analysis of variance. Biometrics 5(2):99–114CrossRef
Metadaten
Titel
Algorithmic Analysis Based on the Problem Decomposability
verfasst von
Filip Covic
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-030-05291-1_6