Abstract
We study the problems of non-preemptively scheduling and packing malleable and parallel tasks with precedence constraints to minimize the makespan. In the scheduling variant, we allow the free choice of processors; in packing, each task must be assigned to a contiguous subset. Malleable tasks can be processed on different numbers of processors with varying processing times, while parallel tasks require a fixed number of processors.
For precedence constraints of bounded width, we resolve the complexity status of the problem with any number of processors and any width bound. We present an FPTAS based on Dilworth’s decomposition theorem for the NP-hard problem variants, and exact efficient algorithms for all remaining special cases. For our positive results, we do not require the otherwise common monotonous penalty assumption on the processing times of malleable tasks, whereas our hardness results hold even when assuming this restriction. We complement our results by showing that these problems are all strongly NP-hard under precedence constraints which form a tree.
Similar content being viewed by others
References
Augustine J, Banerjee S, Irani S (2009) Strip packing with precedence constraints and strip packing with release times. Theor Comput Sci 410(38–40):3792–3803
Belkhale KP, Banerjee P (1990) An approximate algorithm for the partitionable independent task scheduling problem. In: Proceedings of the 1990 international conference on parallel processing (ICPP’90), vol 1. Pennsylvania State University Press, University Park, pp 72–75
Błażewicz J, Liu Z (1996) Scheduling multiprocessor tasks with chain constraints. Eur J Oper Res 94(2):231–241
Dilworth RP (1950) A decomposition theorem for partially ordered sets. Ann Math 51(1):161–166
Drozdowski M (1996) Scheduling multiprocessor tasks: an overview. Eur J Oper Res 94(2):215–230
Du J, Leung JYT (1989) Complexity of scheduling parallel task systems. SIAM J Discrete Math 2(4):473–487
Duin CW, Sluis EV (2006) On the complexity of adjacent resource scheduling. J Sched 9(1):49–62
Fekete SP, Köhler E, Teich J (2006) Higher-dimensional packing with order constraints. SIAM J Discrete Math 20(4):1056–1078
Fulkerson DR (1956) Note on Dilworth’s decomposition theorem for partially ordered sets. Proc Am Math Soc 7(4):701–702
Garey MR, Graham RL (1975) Bounds for multiprocessor scheduling with resource constraints. SIAM J Comput 4(2):187–200
Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of NP-completeness. Freeman, New York
Grigoriev A, Woeginger GJ (2004) Project scheduling with irregular costs: complexity, approximability, and algorithms. Acta Inform 41(2–3):83–97
Günther E (2008) Bin Scheduling: Partitionieren verformbarer Jobs mit Nebenbedingungen. Master’s thesis, Technische Universität Berlin (in German)
Günther E, König FG, Megow N (2010) Scheduling and packing malleable tasks with precedence constraints of bounded width. In: Proceedings of the 7th international workshop on approximation and online algorithms (WAOA’09). Lecture notes in computer science, vol 5893. Springer, Berlin, pp 170–181
Jansen K (2004) Scheduling malleable parallel tasks: an asymptotic fully polynomial time approximation scheme. Algorithmica 39(1):59–81
Jansen K, Porkolab L (2002) Linear-time approximation schemes for scheduling malleable parallel tasks. Algorithmica 32(3):507–520
Jansen K, Thöle R (2008) Approximation algorithms for scheduling parallel jobs: breaking the approximation ratio of 2. In: Proceedings of ICALP. Springer, Berlin, pp 234–245
Jansen K, Zhang H (2006) An approximation algorithm for scheduling malleable tasks under general precedence constraints. ACM Trans Algorithms 2(3):416–434
Lepère R, Mounié G, Trystram D (2002a) An approximation algorithm for scheduling trees of malleable tasks. Eur J Oper Res 142(2):242–249
Lepère R, Trystram D, Woeginger GJ (2002b) Approximation algorithms for scheduling malleable tasks under precedence constraints. Int J Found Comput Sci 13(4):613–627
Leung JT (ed) (2004) Handbook of scheduling: algorithms, models, and performance analysis. Chapman and Hall/CRC, London
Lodi A, Martello S, Monaci M (2002) Two-dimensional packing problems: a survey. Eur J Oper Res 141(2):241–252
Ludwig W, Tiwari P (1994) Scheduling malleable and nonmalleable parallel tasks. In: Proceedings of SODA. Society for Industrial and Applied Mathematics, Philadelphia, pp 167–176
Möhring RH (1989) Computationally tractable classes of ordered sets. In: Rival I (ed) Algorithms and order. Kluwer Academic, Norwell, pp 105–194
Mounie G, Rapine C, Trystram D (1999) Efficient approximation algorithms for scheduling malleable tasks. In: Proceedings of SPAA. ACM, New York, pp 23–32
Mounie G, Rapine C, Trystram D (2008) A 3/2-dual approximation algorithm for scheduling independent monotonic malleable tasks. SIAM J Comput 37(2):401–412
Schiermeyer I (1994) Reverse-fit: a 2-optimal algorithm for packing rectangles. In: Proceedings of ESA. Springer, London, pp 290–299
Steinberg A (1997) A strip-packing algorithm with absolute performance bound 2. SIAM J Comput 26:401
Steiner G (1990) On the complexity of dynamic programming for sequencing problems with precedence constraints. Ann Oper Res 26:103–123
Turek J, Wolf J, Yu P (1992) Approximate algorithms for scheduling parallelizable tasks. In: Proceedings of SPAA. ACM, New York, pp 323–332
Verriet J (1997) The complexity of scheduling graphs of bounded width subject to non-zero communication delays. Tech Rep UU-CS-1997-01, Utrecht University
Woeginger GJ (2000) When does a dynamic programming formulation guarantee the existence of a fully polynomial time approximation scheme (FPTAS)? INFORMS J Comput 12(1):57–74
Acknowledgements
We thank Rolf H. Möhring and Martin Skutella for fruitful discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
An extended abstract has been published in Proceedings of the 7th Workshop on Approximation and Online Algorithms (WAOA 2009), Springer, 2010 (Günther et al. 2010). The first author is supported by the DFG Research Center Matheon Mathematics for key technologies in Berlin.
Rights and permissions
About this article
Cite this article
Günther, E., König, F.G. & Megow, N. Scheduling and packing malleable and parallel tasks with precedence constraints of bounded width. J Comb Optim 27, 164–181 (2014). https://doi.org/10.1007/s10878-012-9498-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10878-012-9498-3