计算复杂性:现代方法，机械工业，2016，Sanjeev Arora，Boaz Barak。