Verified Approximation Algorithms.
Robin EßmannTobias NipkowSimon RobillardUjkan SulejmaniPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- approximation algorithms
- np hard
- special case
- vertex cover
- worst case
- facility location problem
- minimum cost
- network design problem
- constant factor
- set cover
- open shop
- primal dual
- np hardness
- approximation ratio
- precedence constraints
- exact algorithms
- undirected graph
- randomized algorithms
- upper bound
- optimal solution