Theory of computational complexity - Du, Dingzhu, 1948- (Wiley-Interscience series in discrete mathematics and optimization, 2000)