Verified Approximation Algorithms
-
Published:2022-03-01
Issue:
Volume:Volume 18, Issue 1
Page:
-
ISSN:1860-5974
-
Container-title:Logical Methods in Computer Science
-
language:en
-
Short-container-title:
Author:
Eßmann Robin,Nipkow Tobias,Robillard Simon,Sulejmani Ujkan
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.
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science