学theory of computation, Computation complexity, randomized and approximation, advanced algorithm analyze牛书。 英文第四版。