Verified Approximation Algorithms.
Robin EßmannTobias NipkowSimon RobillardPublished in: Arch. Formal Proofs (2020)
Keyphrases
- approximation algorithms
- np hard
- special case
- facility location problem
- minimum cost
- worst case
- vertex cover
- approximation ratio
- network design problem
- open shop
- precedence constraints
- set cover
- np hardness
- exact algorithms
- undirected graph
- randomized algorithms
- primal dual
- constant factor approximation
- strongly np hard
- disjoint paths