Skip to main content
Erschienen in: Journal of Scheduling 1/2016

01.02.2016

MP or not MP: that is the question

verfasst von: Federico Della Croce

Erschienen in: Journal of Scheduling | Ausgabe 1/2016

Einloggen

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

search-config
loading …

Abstract

It is well known that in the twentieth century, mathematical programming (MP) modeling and particularly linear programming (LP) modeling, even though strongly applied to combinatorial optimization, were not too successful when directed to scheduling problems. The purpose of this paper is to show that the field of successful applications of LP/MP modeling is still growing and includes also scheduling topics. We first focus on single machine scheduling. We consider a single machine scheduling model where a quadratic programming (QP) formulation handled by means of a QP solver is shown to be competitive with the state of the art approaches. Also, we discuss a single machine bicriterion scheduling problem and show that a standard LP formulation based on positional completion times performs reasonably well when handled by means of a LP solver. Then, we show how LP can be used to tighten bounds for approximation results in sequencing problems. Finally, we show how to enhance the complexity bounds of branch-and-reduce exact exponential algorithms by means of the so-called measure-and-conquer paradigm requiring always the solution of a specific MP model.

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 "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!

Literatur
Zurück zum Zitat Azizoglu, M., Koksalan, M., & Koksalan, S. K. (2003). Scheduling to minimize maximum earliness and number of tardy jobs where machine idle time is allowed. Journal of the Operational Research Society, 54, 661–664.CrossRef Azizoglu, M., Koksalan, M., & Koksalan, S. K. (2003). Scheduling to minimize maximum earliness and number of tardy jobs where machine idle time is allowed. Journal of the Operational Research Society, 54, 661–664.CrossRef
Zurück zum Zitat Baker, K. R., & Keller, B. (2010). Solving the single-machine sequencing problem using integer programming. Computers and Industrial Engineering, 59, 730–735.CrossRef Baker, K. R., & Keller, B. (2010). Solving the single-machine sequencing problem using integer programming. Computers and Industrial Engineering, 59, 730–735.CrossRef
Zurück zum Zitat Baptiste, Ph, Della Croce, F., Grosso, A., & Tkindt, V. (2010). Sequencing a single machine with due dates and deadlines: An ILP-based approach to solve very large instances. Journal of Scheduling, 13, 39–47.CrossRef Baptiste, Ph, Della Croce, F., Grosso, A., & Tkindt, V. (2010). Sequencing a single machine with due dates and deadlines: An ILP-based approach to solve very large instances. Journal of Scheduling, 13, 39–47.CrossRef
Zurück zum Zitat Blazewicz, J., Dror, M., & Weglarz, J. (1991). Mathematical programming formulations for machine scheduling: A survey. European Journal of Operational Research, 51, 283–300.CrossRef Blazewicz, J., Dror, M., & Weglarz, J. (1991). Mathematical programming formulations for machine scheduling: A survey. European Journal of Operational Research, 51, 283–300.CrossRef
Zurück zum Zitat Boria, N., & Della Croce, F. (2014). Re-optimization in machine scheduling. Theoretical Computer Science, 540–541, 13–26.CrossRef Boria, N., & Della Croce, F. (2014). Re-optimization in machine scheduling. Theoretical Computer Science, 540–541, 13–26.CrossRef
Zurück zum Zitat Bourgeois, N., Escoffier, B., Paschos, V Th, & van Rooij, J. M. M. (2012). Fast algorithms for max independent set. Algorithmica, 62, 382–415.CrossRef Bourgeois, N., Escoffier, B., Paschos, V Th, & van Rooij, J. M. M. (2012). Fast algorithms for max independent set. Algorithmica, 62, 382–415.CrossRef
Zurück zum Zitat Christofides, N. (1976). Worst-case analysis of a new heuristic for the traveling salesman problem, Technical report, GSIA, Carnegie-Mellon University, Pittsburgh. Christofides, N. (1976). Worst-case analysis of a new heuristic for the traveling salesman problem, Technical report, GSIA, Carnegie-Mellon University, Pittsburgh.
Zurück zum Zitat Della Croce, F., Salassa, F., & T’kindt, V. (2014). A hybrid heuristic approach for single machine scheduling with release times. Computers and Operations Research, 45, 7–11.CrossRef Della Croce, F., Salassa, F., & T’kindt, V. (2014). A hybrid heuristic approach for single machine scheduling with release times. Computers and Operations Research, 45, 7–11.CrossRef
Zurück zum Zitat Della Croce, F., & T’kindt, V. (2003). Improving the preemptive bound for the one-machine dynamic total completion time scheduling problem. Operations Research Letters, 31, 142–148.CrossRef Della Croce, F., & T’kindt, V. (2003). Improving the preemptive bound for the one-machine dynamic total completion time scheduling problem. Operations Research Letters, 31, 142–148.CrossRef
Zurück zum Zitat Engels, D. W., Karger, D. R., Kolliopoulos, S. G., Sengupta, S., Uma, R. N., & Wein, J. (2003). Techniques for scheduling with rejection. Journal of Algorithms, 49, 175–191.CrossRef Engels, D. W., Karger, D. R., Kolliopoulos, S. G., Sengupta, S., Uma, R. N., & Wein, J. (2003). Techniques for scheduling with rejection. Journal of Algorithms, 49, 175–191.CrossRef
Zurück zum Zitat Eppstein, D. (2001). Improved algorithms for 3-coloring, 3-edge-coloring, and constraint satisfaction, In Proceedings of Symposium on Discrete Algorithms, SODA01 (pp. 329–337). Eppstein, D. (2001). Improved algorithms for 3-coloring, 3-edge-coloring, and constraint satisfaction, In Proceedings of Symposium on Discrete Algorithms, SODA01 (pp. 329–337).
Zurück zum Zitat Ergun, O., & Orlin, J. B. (2006). Fast neighborhood search for the single machine total weighted tardiness problem. Operations Research Letters, 34, 41–45.CrossRef Ergun, O., & Orlin, J. B. (2006). Fast neighborhood search for the single machine total weighted tardiness problem. Operations Research Letters, 34, 41–45.CrossRef
Zurück zum Zitat Fomin, F. V., Grandoni, F., & Kratsch, D. (2009). A measure and conquer approach for the analysis of exact algorithms. Journal of the ACM, 56, 1–32. Fomin, F. V., Grandoni, F., & Kratsch, D. (2009). A measure and conquer approach for the analysis of exact algorithms. Journal of the ACM, 56, 1–32.
Zurück zum Zitat Lasserre, J. B., & Queyranne, M. (1992). Generic scheduling polyhedral and a new mixed integer formulation for single machine scheduling. In Proceedings of the IPCO Conference (pp. 136–149). Lasserre, J. B., & Queyranne, M. (1992). Generic scheduling polyhedral and a new mixed integer formulation for single machine scheduling. In Proceedings of the IPCO Conference (pp. 136–149).
Zurück zum Zitat Lawler, E. L., Lenstra, J. K., Rinnooy Kan, A. H. G., & Shmoys, D. B. (1985). The traveling salesman problem: A guided tour of combinatorial optimization. New York: Wiley. (Ed.). Lawler, E. L., Lenstra, J. K., Rinnooy Kan, A. H. G., & Shmoys, D. B. (1985). The traveling salesman problem: A guided tour of combinatorial optimization. New York: Wiley. (Ed.).
Zurück zum Zitat Lawler, E. L., Lenstra, J. K., Rinnooy Kan, A. H. G., & Shmoys, D. B. (1993). Sequencing and scheduling: Algorithms and complexity. In S. C. Graves, A. H. G. Rinnooy Kan, & P. H. Zipkin (Eds.), Logistics of Production and Inventory (pp. 445–522). Amsterdam: North Holland.CrossRef Lawler, E. L., Lenstra, J. K., Rinnooy Kan, A. H. G., & Shmoys, D. B. (1993). Sequencing and scheduling: Algorithms and complexity. In S. C. Graves, A. H. G. Rinnooy Kan, & P. H. Zipkin (Eds.), Logistics of Production and Inventory (pp. 445–522). Amsterdam: North Holland.CrossRef
Zurück zum Zitat Lee, C. Y., & Vairaktarakis, G. L. (1993). Complexity of single machine hierarchical scheduling: A survey. In P. M. Pardalos (Ed.), Complexity in numerical optimization (pp. 269–298). Singapore: World Scientific.CrossRef Lee, C. Y., & Vairaktarakis, G. L. (1993). Complexity of single machine hierarchical scheduling: A survey. In P. M. Pardalos (Ed.), Complexity in numerical optimization (pp. 269–298). Singapore: World Scientific.CrossRef
Zurück zum Zitat MHallah, R., & Bulfin, R. L. (2003). Minimizing the weighted number of tardy jobs on a single machine. European Journal of Operational Research, 145, 45–56.CrossRef MHallah, R., & Bulfin, R. L. (2003). Minimizing the weighted number of tardy jobs on a single machine. European Journal of Operational Research, 145, 45–56.CrossRef
Zurück zum Zitat Moghaddam, A., Amodeo, L., Yalaoui, F., & Karimi, B. (2012). Single machine scheduling with rejection: Minimizing total weighted completion time and rejection cost. International Journal of Applied Evolutionary Computation, 3, 42–61.CrossRef Moghaddam, A., Amodeo, L., Yalaoui, F., & Karimi, B. (2012). Single machine scheduling with rejection: Minimizing total weighted completion time and rejection cost. International Journal of Applied Evolutionary Computation, 3, 42–61.CrossRef
Zurück zum Zitat Molaee, E., Moslehi, G., & Reisi, M. (2010). Minimizing maximum earliness and number of tardy jobs in the single machine scheduling problem. Computers and Mathematics with Applications, 60, 2909–2919.CrossRef Molaee, E., Moslehi, G., & Reisi, M. (2010). Minimizing maximum earliness and number of tardy jobs in the single machine scheduling problem. Computers and Mathematics with Applications, 60, 2909–2919.CrossRef
Zurück zum Zitat Papadimitriou, C. H., & Yannakakis, M. (1993). The traveling salesman problem with distances one and two. Mathematics of Operations Research, 18, 1–11.CrossRef Papadimitriou, C. H., & Yannakakis, M. (1993). The traveling salesman problem with distances one and two. Mathematics of Operations Research, 18, 1–11.CrossRef
Zurück zum Zitat Plastria, F. (2002). Formulating logical implications in combinatorial optimisation. European Journal of Operational Research, 140, 338–353.CrossRef Plastria, F. (2002). Formulating logical implications in combinatorial optimisation. European Journal of Operational Research, 140, 338–353.CrossRef
Zurück zum Zitat Potts, C. N. P., & Van de Velde, S. L. (1995). Dynasearch: Iterative local improvement by dynamic programming: Part i, the traveling salesman problem, faculty of mathematical studies. Southampton: University of Southampton. Potts, C. N. P., & Van de Velde, S. L. (1995). Dynasearch: Iterative local improvement by dynamic programming: Part i, the traveling salesman problem, faculty of mathematical studies. Southampton: University of Southampton.
Zurück zum Zitat Smith, S. S. (1994). Reactive scheduling systems. In D. E. Brown & W. T. Scherer (Eds.), Intelligent scheduling systems (pp. 155–192). Boston: Kluwer Academic Publishers. Smith, S. S. (1994). Reactive scheduling systems. In D. E. Brown & W. T. Scherer (Eds.), Intelligent scheduling systems (pp. 155–192). Boston: Kluwer Academic Publishers.
Zurück zum Zitat T’Kindt, V., & Billaut, J.-C. (2002). Multicriteria scheduling: Theory, models and algorithms. Heidelberg: Springer.CrossRef T’Kindt, V., & Billaut, J.-C. (2002). Multicriteria scheduling: Theory, models and algorithms. Heidelberg: Springer.CrossRef
Zurück zum Zitat Williams, H. P. (1990). Model building in mathematical programming. New York: Wiley. Williams, H. P. (1990). Model building in mathematical programming. New York: Wiley.
Zurück zum Zitat Woeginger, G. J. (2003). Exact algorithms for NP-hard problems: A survey. In M. Juenger, G. Reinelt, & G. Rinaldi (Eds.), Combinatorial Optimization: Eureka! You shrink!, volume 2570 of Lecture Notes in Computer Science (pp. 185–207). New York: Springer. Woeginger, G. J. (2003). Exact algorithms for NP-hard problems: A survey. In M. Juenger, G. Reinelt, & G. Rinaldi (Eds.), Combinatorial Optimization: Eureka! You shrink!, volume 2570 of Lecture Notes in Computer Science (pp. 185–207). New York: Springer.
Metadaten
Titel
MP or not MP: that is the question
verfasst von
Federico Della Croce
Publikationsdatum
01.02.2016
Verlag
Springer US
Erschienen in
Journal of Scheduling / Ausgabe 1/2016
Print ISSN: 1094-6136
Elektronische ISSN: 1099-1425
DOI
https://doi.org/10.1007/s10951-015-0459-4

Weitere Artikel der Ausgabe 1/2016

Journal of Scheduling 1/2016 Zur Ausgabe

Premium Partner