Có bất kỳ tài liệu tham khảo nào (trực tuyến hoặc dưới dạng sách) tổ chức và thảo luận về các định lý TCS bằng kỹ thuật chứng minh không? Garey và Johnson làm điều này cho các loại công cụ phụ tùng khác nhau cần thiết cho bằng chứng hoàn thiện NP (đặc biệt là trong chương 3 của cuốn sách của họ), nhưng tôi tự hỏi liệu có bất cứ điều gì xử lý các kỹ thuật chứng minh trong TCS rộng hơn không.
Vì vậy, ví dụ, các chủ đề có thể bao gồm đường chéo, được chia nhỏ hơn theo loại công trình được sử dụng; bằng chứng bằng lịch sử tính toán; công trình xây dựng; lập luận không thể giải thích được, v.v. đã sử dụng.
Nói rõ hơn, vì bất kỳ văn bản nào cũng sẽ sử dụng bằng chứng, điều tôi thực sự quan tâm tìm kiếm là một tài liệu tham khảo trong đó chính các kỹ thuật chứng minh là vấn đề thực tế.
Ngoài chương 3 của Garey và Johnson, đây là một ví dụ khác xảy ra với tôi: ở Li và Vitanyi , trong chương 6, họ thảo luận về phương pháp không thể nén được và đưa ra ví dụ về cách áp dụng kỹ thuật này.