Verified Approximation Algorithms
Logic in Computer Science
2023-06-22 v4 Data Structures and 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.
Cite
@article{arxiv.2104.13851,
title = {Verified Approximation Algorithms},
author = {Robin Eßmann and Tobias Nipkow and Simon Robillard and Ujkan Sulejmani},
journal= {arXiv preprint arXiv:2104.13851},
year = {2023}
}