Design and analysis of approximation algorithms - Du, Dingzhu. (Springer,)