近似算法 半正定规划 Approximation Algorithms and Semidefinite Programming, Gartner, Matousek, Springer