How to Prove It: A Structured Approach
Daniel J. Velleman
算法设计
Jon Kleinberg
Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson