Ci sono riferimenti (online o in forma di libro) che organizzano e discutono i teoremi TCS con la tecnica di prova? Garey e Johnson lo fanno per i vari tipi di costruzioni di widget necessarie per le prove di completezza NP (in particolare nel capitolo 3 del loro libro), ma mi chiedo se c'è qualcosa che tratta le tecniche di prova in TCS in modo più ampio.
Quindi, ad esempio, gli argomenti potrebbero includere la diagonalizzazione, suddivisa ulteriormente per il tipo di costruzione utilizzata; prove da storie di calcolo; costruzioni tableau; argomenti di incomprimibilità, ecc. Suppongo che potrei semplicemente tagliare una teoria standard del testo di calcolo e riorganizzare le sezioni, ma sarebbe bello se ci fosse qualcosa là fuori che fornisse anche qualche commento aggiuntivo e mostrasse dove ci sono punti in comune tra le tecniche Usato.
Giusto per essere chiari, dato che qualsiasi testo utilizzerà prove, ciò che sono veramente interessato a trovare è un riferimento in cui le tecniche di prova stesse sono l'argomento reale.
Oltre al capitolo 3 di Garey e Johnson, ecco un altro esempio parziale che mi è appena venuto in mente: in Li e Vitanyi , nel capitolo 6 discutono il metodo di incomprimibilità e forniscono esempi su come applicare la tecnica.