Theory of computational complexity. - Du, Ding-Zhu (Wiley-Interscience series in discrete mathematics and optimization, 2000)