¿Hay alguna referencia (en línea o en forma de libro) que organice y discuta los teoremas de TCS mediante la técnica de prueba? Garey y Johnson hacen esto para los diversos tipos de construcciones de widgets necesarios para las pruebas de integridad de NP (particularmente en el capítulo 3 de su libro), pero me pregunto si hay algo que trate las técnicas de prueba en TCS de manera más amplia.
Entonces, por ejemplo, los temas pueden incluir la diagonalización, desglosada por el tipo de construcción utilizada; pruebas por historiales de cómputo; construcciones de cuadros; argumentos de incompresibilidad, etc. Supongo que podría cortar una teoría estándar del texto de cómputo y reorganizar las secciones, pero sería genial si hay algo por ahí que también proporcione algunos comentarios adicionales y muestre dónde hay puntos en común entre las técnicas que están siendo usado.
Para ser claros, dado que cualquier texto va a usar pruebas, lo que realmente me interesa encontrar es una referencia donde las técnicas de prueba en sí sean el tema real.
Además del capítulo 3 de Garey y Johnson, aquí hay otro ejemplo parcial que se me acaba de ocurrir: en Li y Vitanyi , en el capítulo 6, discuten el método de incompresibilidad y dan ejemplos de cómo aplicar la técnica.