Apakah ada referensi (daring atau dalam bentuk buku) yang mengatur dan mendiskusikan teorema TCS dengan teknik bukti? Garey dan Johnson melakukan ini untuk berbagai jenis konstruksi widget yang diperlukan untuk bukti kelengkapan NP (terutama dalam bab 3 buku mereka), tetapi saya bertanya-tanya apakah ada sesuatu yang memperlakukan teknik bukti dalam TCS secara lebih luas.
Jadi misalnya, topik mungkin termasuk diagonalisasi, dirinci lebih lanjut oleh jenis konstruksi yang digunakan; bukti berdasarkan sejarah perhitungan; konstruksi tablo; argumen yang tidak dapat dimampatkan, dll. Saya kira saya bisa saja mencincang teori standar teks perhitungan dan mengatur ulang bagian-bagiannya, tetapi akan lebih baik jika ada sesuatu di luar sana yang juga menyediakan beberapa komentar tambahan dan menunjukkan di mana ada kesamaan antara teknik yang sedang bekas.
Untuk memperjelas, karena teks apa pun akan menggunakan bukti, apa yang saya benar-benar tertarik untuk menemukan adalah referensi di mana teknik pembuktian sendiri adalah materi pelajaran yang sebenarnya.
Selain bab 3 dari Garey dan Johnson, berikut adalah contoh parsial lain yang baru saja terlintas di benak saya: di Li dan Vitanyi , di bab 6 mereka membahas metode ketidakmampatan dan memberikan contoh bagaimana menerapkan teknik ini.