Overview
Syllabus
Intro
given a Boolean formula F. is it satisfiable?
INVENTS BEAUTIFUL THEORY OF ALGORITHMIC COMPLEXITY
Don't Give Up
Gavril's Approximation Algorithm
Max-Cut
A technicality: Optimization vs. Decision
Today: A case study of
A possible Vertex-Cover algorithm
GreedyVC example
GreedyVc analysis
A bad graph for GreedyVc
A worse graph for GreedyVc
Greed is Bad (for Vertex-Cover)
Gavril to the rescue
GavrilVC example
Theorem: GavrilVC is a 2-approximation for Vertex-Cover.
"k-Coverage" problem
"Pokémon-Coverage" problem
Example with k=3
Greed is Pretty Good (for k-Coverage)
TSP (Traveling Salesperson Problem)
TSP example
Textbooks
Museum exhibits
Taught by
Ryan O'Donnell