Formalization of Randomized Approximation Algorithms for Frequency Moments.
Emin KarayelPublished in: Arch. Formal Proofs (2022)
Keyphrases
- approximation algorithms
- randomized algorithms
- np hard
- special case
- worst case
- facility location problem
- vertex cover
- network design problem
- approximation schemes
- minimum cost
- primal dual
- np hardness
- exact algorithms
- open shop
- set cover
- approximation ratio
- undirected graph
- combinatorial auctions
- constant factor approximation
- precedence constraints
- constant factor
- convergence rate
- disjoint paths