https://bookem.ir/books/2151652-Lectures-on-Proof-Verification-and-Approximation-Algorithms