Document Open Access Logo

Branch-And-Bound Algorithms as Polynomial-Time Approximation Schemes

Authors Koppány István Encz , Monaldo Mastrolilli , Eleonora Vercesi

PDF

File

Thumbnail PDF
PDF
LIPIcs.ICALP.2025.73.pdf
  • Filesize: 0.91 MB
  • 19 pages

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification
  • Theory of computation → Branch-and-bound
  • Theory of computation → Numeric approximation algorithms
Keywords
  • Branch-and-bound algorithm
  • Polynomial-time approximation scheme
  • Parallel machine scheduling problem
  • Knapsack problem

Metrics

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

Abstract

Branch-and-bound algorithms (B&B) and polynomial-time approximation schemes (PTAS) are two seemingly distant areas of combinatorial optimization. We intend to (partially) bridge the gap between them while expanding the boundary of theoretical knowledge on the B&B framework. Branch-and-bound algorithms typically guarantee that an optimal solution is eventually found. However, we show that the standard implementation of branch-and-bound for certain knapsack and scheduling problems also exhibits PTAS-like behaviour, yielding increasingly better solutions within polynomial time. Our findings are supported by computational experiments and comparisons with benchmark methods.

Cite As Get BibTex

Koppány István Encz, Monaldo Mastrolilli, and Eleonora Vercesi. Branch-And-Bound Algorithms as Polynomial-Time Approximation Schemes. In 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 334, pp. 73:1-73:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.ICALP.2025.73

Author Details

Koppány István Encz
  • Faculty of Informatics, Università della Svizzera italiana, Lugano, Switzerland
  • Istituto Dalle Molle di studi sull'intelligenza artificiale (IDSIA USI-SUPSI), Lugano, Switzerland
Monaldo Mastrolilli
  • Dipartimento Tecnologie innovative, Scuola universitaria professionale della Svizzera italiana, Lugano, Switzerland
  • Istituto Dalle Molle di studi sull'intelligenza artificiale (IDSIA USI-SUPSI), Lugano, Switzerland
Eleonora Vercesi
  • Faculty of Informatics, Università della Svizzera italiana, Lugano, Switzerland
  • Istituto Dalle Molle di studi sull'intelligenza artificiale (IDSIA USI-SUPSI), Lugano, Switzerland

Funding

The authors were supported by the Swiss National Science Foundation project n. 200021_212929 / 1 "Computational methods for integrality gaps analysis".

Supplementary Materials

References

  1. Tolson Bell and Alan Frieze. Solving a Random Asymmetric TSP Exactly in Quasi-Polynomial Time w.h.p, 2023. Publisher: arXiv Version Number: 12. URL: https://doi.org/10.48550/arXiv.2308.02946.
  2. Suresh Bolusani, Mathieu Besançon, Ksenia Bestuzheva, Antonia Chmiela, João Dionísio, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Mohammed Ghannam, Ambros Gleixner, Christoph Graczyk, Katrin Halbig, Ivo Hedtke, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Dominik Kamp, Thorsten Koch, Kevin Kofler, Jurgen Lentz, Julian Manns, Gioni Mexi, Erik Mühmer, Marc E. Pfetsch, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Mark Turner, Stefan Vigerske, Dieter Weninger, and Liding Xu. The SCIP Optimization Suite 9.0, 2024. URL: https://doi.org/10.48550/arXiv.2402.17702.
  3. Valentina Cacchiani, Manuel Iori, Alberto Locatelli, and Silvano Martello. Knapsack problems - an overview of recent advances. part II: multiple, multidimensional, and quadratic knapsack problems. Comput. Oper. Res., 143(C):105693, 2022. URL: https://doi.org/10.1016/j.cor.2021.105693.
  4. Bo Chen, Chris N. Potts, and Gerhard J. Woeginger. A Review of Machine Scheduling: Complexity, Algorithms and Approximability, pages 1493-1641. Springer US, Boston, MA, 1998. URL: https://doi.org/10.1007/978-1-4613-0303-9_25.
  5. Vasek Chvátal. Hard knapsack problems. Oper. Res., 28(6):1402-1411, 1980. URL: https://doi.org/10.1287/opre.28.6.1402.
  6. George B. Dantzig. Discrete variable extremum problems. Operations Research, 5(2):266-277, 1957. Google Scholar
  7. Sanjeeb Dash. Exponential Lower Bounds on the Lengths of Some Classes of Branch-and-Cut Proofs. Mathematics of Operations Research, 30(3):678-700, 2005. Publisher: INFORMS. URL: https://doi.org/10.1287/moor.1050.0151.
  8. Santanu S. Dey, Yatharth Dubey, and Marco Molinaro. Branch-and-bound solves random binary IPs in poly(n)-time. Mathematical Programming, 200(1):569-587, June 2023. URL: https://doi.org/10.1007/s10107-022-01895-4.
  9. Santanu S. Dey, Yatharth Dubey, Marco Molinaro, and Prachi Shah. A theoretical and computational analysis of full strong-branching. Math. Program., 205(1):303-336, 2024. URL: https://doi.org/10.1007/s10107-023-01977-x.
  10. Koppány István Encz, Monaldo Mastrolilli, and Eleonora Vercesi. Branch-and-bound algorithms as polynomial-time approximation schemes, 2025. URL: https://arxiv.org/abs/2504.15885.
  11. Aleksei V. Fishkin, Klaus Jansen, and Monaldo Mastrolilli. On minimizing average weighted completion time: A PTAS for the job shop problem with release dates. In Toshihide Ibaraki, Naoki Katoh, and Hirotaka Ono, editors, Algorithms and Computation, 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings, volume 2906 of Lecture Notes in Computer Science, pages 319-328. Springer, 2003. URL: https://doi.org/10.1007/978-3-540-24587-2_34.
  12. Aleksei V. Fishkin, Klaus Jansen, and Monaldo Mastrolilli. Grouping techniques for scheduling problems: Simpler and faster. Algorithmica, 51(2):183-199, 2008. URL: https://doi.org/10.1007/S00453-007-9086-6.
  13. M. R. Garey and David S. Johnson. Complexity results for multiprocessor scheduling under resource constraints. SIAM J. Comput., 4(4):397-411, 1975. URL: https://doi.org/10.1137/0204035.
  14. Harold Greenberg and Robert L. Hegerich. A branch search algorithm for the knapsack problem. Management Science, 16(5):327-332, 1970. Google Scholar
  15. Ellis Horowitz and Sartaj Sahni. Computing partitions with applications to the knapsack problem. J. ACM, 21(2):277-292, 1974. URL: https://doi.org/10.1145/321812.321823.
  16. Ellis Horowitz and Sartaj Sahni. Exact and approximate algorithms for scheduling nonidentical processors. J. ACM, 23(2):317-327, 1976. URL: https://doi.org/10.1145/321941.321951.
  17. Oscar H. Ibarra and Chul E. Kim. Fast approximation algorithms for the knapsack and sum of subset problems. J. ACM, 22(4):463-468, 1975. URL: https://doi.org/10.1145/321906.321909.
  18. Klaus Jansen and Monaldo Mastrolilli. Approximation schemes for parallel machine scheduling problems with controllable processing times. Comput. Oper. Res., 31(10):1565-1581, 2004. URL: https://doi.org/10.1016/S0305-0548(03)00101-1.
  19. Walter H. Kohler and Kenneth Steiglitz. Characterization and theoretical comparison of branch-and-bound algorithms for permutation problems. J. ACM, 21(1):140-156, 1974. URL: https://doi.org/10.1145/321796.321808.
  20. Peter J. Kolesar. A branch and bound algorithm for the knapsack problem. Management Science, 13(9):723-735, 1967. Google Scholar
  21. Eugene L. Lawler. Fast approximation algorithms for knapsack problems. Math. Oper. Res., 4(4):339-356, 1979. URL: https://doi.org/10.1287/moor.4.4.339.
  22. Jan Karel Lenstra, David B. Shmoys, and Éva Tardos. Approximation algorithms for scheduling unrelated parallel machines. In 28th Annual Symposium on Foundations of Computer Science, Los Angeles, California, USA, 27-29 October 1987, pages 217-224. IEEE Computer Society, 1987. URL: https://doi.org/10.1109/SFCS.1987.8.
  23. Silvano Martello, François Soumis, and Paolo Toth. Exact and approximation algorithms for makespan minimization on unrelated parallel machines. Discret. Appl. Math., 75(2):169-188, 1997. URL: https://doi.org/10.1016/S0166-218X(96)00087-X.
  24. Silvano Martello and Paolo Toth. Knapsack Problems: Algorithms and Computer Implementations. John Wiley & Sons, Inc., 1990. Google Scholar
  25. Monaldo Mastrolilli. Efficient approximation schemes for scheduling problems with release dates and delivery times. J. Sched., 6(6):521-531, 2003. URL: https://doi.org/10.1023/A:1026272526225.
  26. Monaldo Mastrolilli. Scheduling to minimize max flow time: Off-line and on-line algorithms. Int. J. Found. Comput. Sci., 15(2):385-401, 2004. URL: https://doi.org/10.1142/S0129054104002480.
  27. Monaldo Mastrolilli. A linear time approximation scheme for the single machine scheduling problem with controllable processing times. J. Algorithms, 59(1):37-52, 2006. URL: https://doi.org/10.1016/J.JALGOR.2005.01.004.
  28. Monaldo Mastrolilli and Marcus Hutter. Hybrid rounding techniques for knapsack problems. Discret. Appl. Math., 154(4):640-649, 2006. URL: https://doi.org/10.1016/j.dam.2005.08.004.
  29. Gwen Maudet and Grégoire Danoy. Search strategy generation for branch and bound using genetic programming. CoRR, abs/2412.09444, 2024. URL: https://doi.org/10.48550/arXiv.2412.09444.
  30. Ethel Mokotoff. Parallel machine scheduling problems: A survey. Asia-Pacific Journal of Operations Research, 18(2):193-242, 2001. Google Scholar
  31. David R. Morrison, Sheldon H. Jacobson, Jason J. Sauppe, and Edward C. Sewell. Branch-and-bound algorithms: A survey of recent advances in searching, branching, and pruning. Discret. Optim., 19:79-102, 2016. URL: https://doi.org/10.1016/j.disopt.2016.01.005.
  32. Gábor Pataki, Mustafa Kemal Tural, and Erick B. Wong. Basis reduction and the complexity of brand-and-bound. In Moses Charikar, editor, Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2010, Austin, Texas, USA, January 17-19, 2010, pages 1254-1261. SIAM, January 2010. URL: https://doi.org/10.1137/1.9781611973075.100.
  33. Laurent Perron and Vincent Furnon. Or-tools. URL: https://developers.google.com/optimization/.
  34. Lara Scavuzzo, Karen I. Aardal, Andrea Lodi, and Neil Yorke-Smith. Machine learning augmented branch and bound for mixed integer linear programming. CoRR, abs/2402.05501, 2024. URL: https://doi.org/10.48550/arXiv.2402.05501.
  35. Steef L. van de Velde. Duality-based algorithms for scheduling unrelated parallel machines. INFORMS J. Comput., 5(2):192-205, 1993. URL: https://doi.org/10.1287/ijoc.5.2.192.
  36. Vijay V. Vazirani. Approximation algorithms. Springer, Berlin, Heidelberg, 2001. URL: http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-65367-7.
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
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact