Lectures on proof verification and approximation algorithms

by Ernst W. Mayr, Angelika Steger

During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and low…