Verified Approximation Algorithms
Abstract
We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing proofs and improve the approximation ratio in one case. All proofs are uniformly invariant based.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2021
- DOI:
- 10.48550/arXiv.2104.13851
- arXiv:
- arXiv:2104.13851
- Bibcode:
- 2021arXiv210413851E
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Data Structures and Algorithms
- E-Print:
- Logical Methods in Computer Science, Volume 18, Issue 1 (March 1, 2022) lmcs:7416