Scheduling with a Limited Testing Budget: Tight Results for the Offline and Oblivious Settings

Authors Christoph Damerius, Peter Kling , Minming Li, Chenyang Xu, Ruilong Zhang



PDF
Thumbnail PDF

File

LIPIcs.ESA.2023.38.pdf
  • Filesize: 1.14 MB
  • 15 pages

Document Identifiers

Author Details

Christoph Damerius
  • Department of Informatics, Universität Hamburg, Germany
Peter Kling
  • Department of Informatics, Universität Hamburg, Germany
Minming Li
  • Department of Computer Science, City University of Hong Kong, China
Chenyang Xu
  • Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China
Ruilong Zhang
  • Department of Computer Science and Engineering, University at Buffalo, NY, USA

Acknowledgements

We thank the anonymous reviewers for their many insightful comments and suggestions. Chenyang Xu was supported in part by Science and Technology Innovation 2030 –"The Next Generation of Artificial Intelligence" Major Project No.2018AAA0100900, and the Dean’s Fund of Shanghai Key Laboratory of Trustworthy Computing, East China Normal University. Ruilong Zhang was supported by NSF grant CCF-1844890.

Cite AsGet BibTex

Christoph Damerius, Peter Kling, Minming Li, Chenyang Xu, and Ruilong Zhang. Scheduling with a Limited Testing Budget: Tight Results for the Offline and Oblivious Settings. In 31st Annual European Symposium on Algorithms (ESA 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 274, pp. 38:1-38:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.ESA.2023.38

Abstract

Scheduling with testing falls under the umbrella of the research on optimization with explorable uncertainty. In this model, each job has an upper limit on its processing time that can be decreased to a lower limit (possibly unknown) by some preliminary action (testing). Recently, [Christoph Dürr et al., 2020] has studied a setting where testing a job takes a unit time, and the goal is to minimize total completion time or makespan on a single machine. In this paper, we extend their problem to the budget setting in which each test consumes a job-specific cost, and we require that the total testing cost cannot exceed a given budget. We consider the offline variant (the lower processing time is known) and the oblivious variant (the lower processing time is unknown) and aim to minimize the total completion time or makespan on a single machine. For the total completion time objective, we show NP-hardness and derive a PTAS for the offline variant based on a novel LP rounding scheme. We give a (4+ε)-competitive algorithm for the oblivious variant based on a framework inspired by the worst-case lower-bound instance. For the makespan objective, we give an FPTAS for the offline variant and a (2+ε)-competitive algorithm for the oblivious variant. Our algorithms for the oblivious variants under both objectives run in time 𝒪(poly(n/ε)). Lastly, we show that our results are essentially optimal by providing matching lower bounds.

Subject Classification

ACM Subject Classification
  • Theory of computation → Scheduling algorithms
Keywords
  • scheduling
  • total completion time
  • makespan
  • LP rounding
  • competitive analysis
  • approximation algorithm
  • NP hardness
  • PTAS

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Ravindra K. Ahuja, Thomas L. Magnanti, and James B. Orlin. Network flows - Theory, algorithms and applications. Prentice Hall, 1993. Google Scholar
  2. Susanne Albers and Alexander Eckl. Explorable uncertainty in scheduling with non-uniform testing times. In WAOA, volume 12806 of Lecture Notes in Computer Science, pages 127-142. Springer, 2020. Google Scholar
  3. Susanne Albers and Alexander Eckl. Scheduling with testing on multiple identical parallel machines. In WADS, volume 12808 of Lecture Notes in Computer Science, pages 29-42. Springer, 2021. Google Scholar
  4. Richard Bruce, Michael Hoffmann, Danny Krizanc, and Rajeev Raman. Efficient update strategies for geometric computing with uncertainty. Theory Comput. Syst., 38(4):411-423, 2005. Google Scholar
  5. J. Bruno, E.G. Coffman Jr., and R. Sethi. Scheduling independent tasks to reduce mean finishing time. Comm. ACM, 17:382-387, 1974. Google Scholar
  6. João Manuel Paiva Cardoso, José Gabriel de Figueired Coutinho, and Pedro C Diniz. Embedded computing for high performance: Efficient mapping of computations using customization, code transformations and compilation. Morgan Kaufmann, 2017. Google Scholar
  7. Qingyun Chen, Sungjin Im, Benjamin Moseley, Chenyang Xu, and Ruilong Zhang. Min-max submodular ranking for multiple agents. CoRR, abs/2212.07682, 2022. URL: https://arxiv.org/abs/2212.07682.
  8. Christoph Damerius, Peter Kling, Minming Li, Chenyang Xu, and Ruilong Zhang. Scheduling with a limited testing budget, 2023. URL: https://arxiv.org/abs/2306.15597.
  9. J. Du and J.Y.-T. Leung. Complexity of scheduling parallel task systems. SIAM J. Discrete Math., 2(4):473-487, 1989. Google Scholar
  10. Christoph Dürr, Thomas Erlebach, Nicole Megow, and Julie Meißner. An adversarial model for scheduling with testing. Algorithmica, 82(12):3630-3675, 2020. Google Scholar
  11. Evangelia Gergatsouli and Christos Tzamos. Online learning for min sum set cover and pandora’s box. In ICML, volume 162 of Proceedings of Machine Learning Research, pages 7382-7403. PMLR, 2022. Google Scholar
  12. Marc Goerigk, Manoj Gupta, Jonas Ide, Anita Schöbel, and Sandeep Sen. The robust knapsack problem with queries. Comput. Oper. Res., 55:12-22, 2015. Google Scholar
  13. Mingyang Gong, Randy Goebel, Guohui Lin, and Eiji Miyano. Improved approximation algorithms for non-preemptive multiprocessor scheduling with testing. Journal of Combinatorial Optimization, 44(1):877-893, 2022. Google Scholar
  14. Anupam Gupta, Amit Kumar, Viswanath Nagarajan, and Xiangkun Shen. Stochastic load balancing on unrelated machines. Math. Oper. Res., 46(1):115-133, 2021. Google Scholar
  15. Anupam Gupta, Amit Kumar, Viswanath Nagarajan, and Xiangkun Shen. Stochastic makespan minimization in structured set systems. Math. Program., 192(1):597-630, 2022. Google Scholar
  16. Anupam Gupta, Benjamin Moseley, and Rudy Zhou. Minimizing completion times for stochastic jobs via batched free times. CoRR, abs/2208.13696, 2022. URL: https://arxiv.org/abs/2208.13696.
  17. Anupam Gupta and Viswanath Nagarajan. A stochastic probing problem with applications. In IPCO, volume 7801 of Lecture Notes in Computer Science, pages 205-216. Springer, 2013. Google Scholar
  18. Varun Gupta, Benjamin Moseley, Marc Uetz, and Qiaomin Xie. Greed works - online algorithms for unrelated machine stochastic scheduling. Math. Oper. Res., 45(2):497-516, 2020. Google Scholar
  19. Leslie A. Hall, Andreas S. Schulz, David B. Shmoys, and Joel Wein. Scheduling to minimize average completion time: Off-line and on-line approximation algorithms. Mathematics of Operations Research, 22(3):513 - -544, 1997. Google Scholar
  20. Michael Hoffmann, Thomas Erlebach, Danny Krizanc, Matús Mihalák, and Rajeev Raman. Computing minimum spanning trees with uncertainty. In STACS, volume 1 of LIPIcs, pages 277-288. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008. Google Scholar
  21. Simon Kahan. A model for data in motion. In STOC, pages 267-277. ACM, 1991. Google Scholar
  22. R.M. Karp. Reducibility among combinatorial problems. In Complexity of computer computations, pages 85-103. Plenum, 1972. Google Scholar
  23. Adam Kasperski and Pawel Zielinski. On the approximability of robust spanning tree problems. Theor. Comput. Sci., 412(4-5):365-374, 2011. Google Scholar
  24. Adam Kasperski and Paweł Zieliński. Robust discrete optimization under discrete and interval uncertainty: A survey. Robustness analysis in decision aiding, optimization, and analytics, pages 113-143, 2016. Google Scholar
  25. Parul Kudtarkar, Todd F DeLuca, Vincent A Fusaro, Peter J Tonellato, and Dennis P Wall. Cost-effective cloud computing: a case study using the comparative genomics tool, roundup. Evolutionary Bioinformatics, 6:EBO-S6259, 2010. Google Scholar
  26. Nicole Megow, Julie Meißner, and Martin Skutella. Randomization helps computing a minimum spanning tree under uncertainty. SIAM J. Comput., 46(4):1217-1240, 2017. Google Scholar
  27. Chris Olston and Jennifer Widom. Offering a precision-performance tradeoff for aggregation queries over replicated data. In VLDB, pages 144-155. Morgan Kaufmann, 2000. Google Scholar
  28. Martin Weitzman. Optimal search for the best alternative, volume 78(8). Department of Energy, 1978. Google Scholar
  29. Gang Yu and Panagiotis Kouvelis. Complexity results for a class of min-max problems with robust optimization applications. In Complexity in numerical optimization, pages 501-511. World Scientific, 1993. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail