Allocating indivisible goods
Proof verification and the hardness of approximation problems