TY - GEN
T1 - Efficient Approximation Schemes for Scheduling on a Stochastic Number of Machines
AU - Epstein, Leah
AU - Levin, Asaf
N1 - Publisher Copyright: © Leah Epstein and Asaf Levin.
PY - 2025/2/24
Y1 - 2025/2/24
N2 - We study three two-stage optimization problems with a similar structure and different objectives. In the first stage of each problem, the goal is to assign input jobs of positive sizes to unsplittable bags. After this assignment is decided, the realization of the number of identical machines that will be available is revealed. Then, in the second stage, the bags are assigned to machines. The probability vector of the number of machines in the second stage is known to the algorithm as part of the input before making the decisions of the first stage. Thus, the vector of machine completion times is a random variable. The goal of the first problem is to minimize the expected value of the makespan of the second stage schedule, while the goal of the second problem is to maximize the expected value of the minimum completion time of the machines in the second stage solution. The goal of the third problem is to minimize the ℓp norm for a fixed p > 1, where the norm is applied on machines’ completion times vectors. Each one of the first two problems admits a PTAS as Buchem et al. showed recently. Here we significantly improve all their results by designing an EPTAS for each one of these problems. We also design an EPTAS for ℓp norm minimization for any p > 1.
AB - We study three two-stage optimization problems with a similar structure and different objectives. In the first stage of each problem, the goal is to assign input jobs of positive sizes to unsplittable bags. After this assignment is decided, the realization of the number of identical machines that will be available is revealed. Then, in the second stage, the bags are assigned to machines. The probability vector of the number of machines in the second stage is known to the algorithm as part of the input before making the decisions of the first stage. Thus, the vector of machine completion times is a random variable. The goal of the first problem is to minimize the expected value of the makespan of the second stage schedule, while the goal of the second problem is to maximize the expected value of the minimum completion time of the machines in the second stage solution. The goal of the third problem is to minimize the ℓp norm for a fixed p > 1, where the norm is applied on machines’ completion times vectors. Each one of the first two problems admits a PTAS as Buchem et al. showed recently. Here we significantly improve all their results by designing an EPTAS for each one of these problems. We also design an EPTAS for ℓp norm minimization for any p > 1.
KW - Approximation algorithms
KW - Approximation schemes
KW - Multiprocessor scheduling
KW - Two-stage stochastic optimization problems
UR - http://www.scopus.com/inward/record.url?scp=85219523854&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.STACS.2025.31
DO - 10.4230/LIPIcs.STACS.2025.31
M3 - Conference contribution
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025
A2 - Beyersdorff, Olaf
A2 - Pilipczuk, Michal
A2 - Pimentel, Elaine
A2 - Thang, Nguyen Kim
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025
Y2 - 4 March 2025 through 7 March 2025
ER -