×

Fixed-parameter tractability of scheduling dependent typed tasks subject to release times and deadlines. (English) Zbl 1542.90098

Summary: Scheduling problems involving a set of dependent tasks with release dates and deadlines on a limited number of resources have been intensively studied. However, few parameterized complexity results exist for these problems. This paper studies the existence of a feasible schedule for a typed task system with precedence constraints and time intervals \((r_i,d_i)\) for each job \(i\). The problem is denoted by \(P\vert \mathcal{M}_j(type),prec,r_i,d_i\vert \star \). Several parameters are considered: the pathwidth \(pw (I)\) of the interval graph \(I\) associated with the time intervals \((r_i, d_i)\), the maximum processing time of a task \(p_{\max }\) and the maximum slack of a task \(s\ell_{\max } \). This paper establishes that the problem is para-NP-complete with respect to any of these parameters. It then provides a fixed-parameter algorithm for the problem parameterized by both parameters \(pw (I)\) and \(\min (p_{\max },s\ell_{\max })\). It is based on a dynamic programming approach that builds a levelled graph which longest paths represent all the feasible solutions. Fixed-parameter algorithms for the problems \(P\vert \mathcal{M}_j(type),prec,r_i,d_i\vert C_{\max }\) and \(P\vert \mathcal{M}_j(type),prec,r_i\vert L_{\max }\) are then derived using a binary search.

MSC:

90B35 Deterministic scheduling theory in operations research
68M20 Performance evaluation, queueing, and scheduling in the context of computer systems
90C39 Dynamic programming
Full Text: DOI

References:

[1] Baart, R.; de Weerdt, M.; He, L., Single-machine scheduling with release times, deadlines, setup times, and rejection, European Journal of Operational Research, 291, 2, 629-639, 2021 · Zbl 1487.90288 · doi:10.1016/j.ejor.2020.09.042
[2] Baptiste, P.; Le Pape, C.; Nuijten, W., Satisfiability tests and time-bound adjustments for cumulative scheduling problems, Annals of Operations Research, 92, 305-333, 1999 · Zbl 0958.90037 · doi:10.1023/A:1018995000688
[3] Bessy, S.; Giroudeau, R., Parameterized complexity of a coupled-task scheduling problem, Journal of Scheduling, 22, 3, 305-313, 2019 · Zbl 1427.90132 · doi:10.1007/s10951-018-0581-1
[4] Bodlaender, H. L., & van der Wegen, M. (2020). Parameterized complexity of scheduling chains of jobs with delays. arXiv preprint arXiv:2007.09023 · Zbl 07764095
[5] Bodlaender, HL, A tourist guide through treewidth, Acta Cybernetica, 11, 1-21, 1992 · Zbl 0804.68101
[6] Bodlaender, HL; Fellows, MR, W[2]-hardness of precedence constrained k-processor scheduling, Operations Research Letters, 18, 2, 93-97, 1995 · Zbl 0857.90056 · doi:10.1016/0167-6377(95)00031-9
[7] Brucker, P. (2004). Scheduling algorithms (4th ed.). Springer. · Zbl 1060.90034
[8] Carlier, J., Peridy, L., Pinson, E., & Rivreau, D. (2004). Elimination rules for the job-shop. In: Leung, J. Y.-T. (Ed.) Handbook of Scheduling: Algorithms, Models, and Performance Analysis (pp. 1-19). Chapman & Hall.
[9] Carlier, A.; Hanen, C.; Munier Kordon, A., The equivalence of two classical list scheduling algorithms for dependent typed tasks with release dates, due dates and precedence delays, Journal of Scheduling, 20, 3, 303-311, 2017 · Zbl 1376.90023 · doi:10.1007/s10951-016-0507-8
[10] Carlier, J.; Pinson, E., Jackson’s pseudo-preemptive schedule and cumulative scheduling problems, Discrete Applied Mathematics, 145, 1, 80-94, 2004 · Zbl 1058.90023 · doi:10.1016/j.dam.2003.09.009
[11] Chen, B., Potts, C.N., & Woeginger, G.J. (1998). In: Du, D.-Z., & Pardalos, P.M. (Eds.) A review of machine scheduling: Complexity, algorithms and approximability (pp. 1493-1641). Springer
[12] Cygan, M., Fomin, F. V., Kowalik, L., Lokshtanov, D., Marx, D., Pilipczuk, M., Pilipczuk, M., & Saurabh, S. (2015). Parameterized Algorithms (1st ed.). Springer. · Zbl 1334.90001
[13] Dolev, D.; Warmuth, MK, Scheduling precedence graphs of bounded height, Journal of Algorithms, 5, 1, 48-59, 1984 · Zbl 0547.68037 · doi:10.1016/0196-6774(84)90039-7
[14] Downey, R.G., & Fellows, M.R. (1992). Fixed-parameter intractability. In Proceedings of the 7th annual structure in complexity theory conference (pp. 36-49).
[15] Downey, R. G., & Fellows, M. R. (2013). Fundamentals of parameterized complexity (1st ed.). Springer. · Zbl 1358.68006
[16] Flum, J., & Grohe, M. (2006). Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series). Springer. · Zbl 1143.68016
[17] Garey, M. R., & Johnson, D. S. (1979). Computers and intractability: A guide to the theory of NP-completeness. W. H. Freeman & Co. · Zbl 0411.68039
[18] Garey, MR; Johnson, DS, Two-processor scheduling with start-time and deadlines, SIAM Journal on Computing, 6, 416-426, 1977 · Zbl 0369.90053 · doi:10.1137/0206029
[19] Graham, R. L., Lawler, E. L., Lenstra, J. K., & Kan, A. H. G. R. (1979). Optimization and approximation in deterministic sequencing and scheduling: a survey. In Hammer, P. L., Johnson, E. L., Korte, B. H. (Eds.) Discrete optimization II. Annals of discrete mathematics (Vol. 5, pp. 287-326). Elsevier. · Zbl 0411.90044
[20] Gromicho, JAS; Van Hoorn, JJ; Saldanha-da-Gama, F.; Timmer, GT, Solving the job-shop scheduling problem optimally by dynamic programming, Computers & Operations Research, 39, 12, 2968-2977, 2012 · Zbl 1349.90348 · doi:10.1016/j.cor.2012.02.024
[21] Günther, E.; König, FG; Megow, N., Scheduling and packing malleable and parallel tasks with precedence constraints of bounded width, Journal of Combinatorial Optimization, 27, 1, 164-181, 2014 · Zbl 1286.90127 · doi:10.1007/s10878-012-9498-3
[22] Hanen, C.; Zinder, Y., The worst-case analysis of the Garey-Johnson algorithm, Journal of Scheduling, 12, 4, 389-400, 2009 · Zbl 1185.90111 · doi:10.1007/s10951-009-0101-4
[23] Jansen, K., Analysis of scheduling problems with typed task systems, Discrete Applied Mathematics, 52, 3, 223-232, 1994 · Zbl 0822.90083 · doi:10.1016/0166-218X(94)90142-2
[24] Knop, D.; Koutecký, M., Scheduling meets n-fold integer programming, Journal of Scheduling, 21, 5, 493-503, 2018 · Zbl 1418.90113 · doi:10.1007/s10951-017-0550-0
[25] Lenstra, J. K., Rinnooy Kan, A. H. G., & Brucker, P. (1977). Complexity of machine scheduling problems. In: Hammer, P. L., Johnson, E. L., Korte, B. H., Nemhauser, G. L. (Eds.) Studies in Integer Programming. Annals of Discrete Mathematics (Vol. 1, pp. 343-362). Elsevier. · Zbl 0353.68067
[26] Lenstra, JK; Rinnooy Kan, AHG, Complexity of scheduling under precedence constraints, Operations Research, 26, 1, 22-35, 1978 · Zbl 0371.90060 · doi:10.1287/opre.26.1.22
[27] Leung, J., Kelly, L., & Anderson, J. H. (2004). Handbook of scheduling: Algorithms, models, and performance analysis. CRC Press Inc. · Zbl 1103.90002
[28] Leung, J., & Li, C.-L. (2008). Scheduling with processing set restrictions: A survey. International Journal of Production Economics,116, 251-262.
[29] Leung, A.; Palem, KV; Pnueli, A., Scheduling time-constrained instructions on pipelined processors, ACM Transactions on Programming Languages and Systems, 23, 73-103, 2001 · doi:10.1145/383721.383733
[30] Liu, JW; Liu, CL, Performance analysis of multiprocessor systems containing functionally dedicated processors, Acta Informatica, 10, 1, 95-104, 1978 · Zbl 0368.68061 · doi:10.1007/BF00260927
[31] Mnich, M.; van Bevern, R., Parameterized complexity of machine scheduling: 15 open problems, Computers and Operations Research, 100, 254-261, 2018 · Zbl 1458.90333 · doi:10.1016/j.cor.2018.07.020
[32] Mnich, M.; Wiese, A., Scheduling and fixed-parameter tractability, Mathematical Programming, 154, 533-562, 2015 · Zbl 1332.68089 · doi:10.1007/s10107-014-0830-9
[33] Möhring, R. H. (1989). In Rival, I. (Ed.) Computationally tractable classes of ordered sets (pp. 105-193). Springer. · Zbl 1261.06003
[34] Munier Kordon, A., A fixed-parameter algorithm for scheduling unit dependent tasks on parallel machines with time windows, Discrete Applied Mathematics, 290, 1-6, 2021 · Zbl 1462.68016 · doi:10.1016/j.dam.2020.11.024
[35] Robertson, N.; Seymour, PD, Graph minors. i. Excluding a forest, Journal of Combinatorial Theory, Series B, 35, 1, 39-61, 1983 · Zbl 0521.05062 · doi:10.1016/0095-8956(83)90079-5
[36] Tang, N., & Munier Kordon, A. (2021). A fixed-parameter algorithm for scheduling unit dependent tasks with unit communication delays. In: European Conference on Parallel Processing (pp. 105-119). Springer. · Zbl 1512.68049
[37] Van Bevern, R., Bredereck, R., Bulteau, L., Komusiewicz, C., Talmon, N., & Woeginger, G. J. (2016). Precedence-constrained scheduling problems parameterized by partial order width. In Y. Kochetov, M. Khachay, V. Beresnev, E. Nurminski, & P. Pardalos (Eds.), Discrete Optimization and Operations Research (pp. 105-120). Springer. · Zbl 1385.90010
[38] van Hoorn, JJ; Nogueira, A.; Ojea, I.; Gromicho, JAS, An corrigendum on the paper: Solving the job-shop scheduling problem optimally by dynamic programming, Computers and Operations Research, 78, 381, 2017 · Zbl 1391.90335 · doi:10.1016/j.cor.2016.09.001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.