Existe-t-il des références (en ligne ou sous forme de livre) qui organisent et discutent des théorèmes du SDC par technique de démonstration? Garey et Johnson le font pour les différents types de constructions de widgets nécessaires pour les preuves de complétude NP (en particulier dans le chapitre 3 de leur livre), mais je me demande s'il existe quelque chose qui traite les techniques de preuve dans les systèmes de caméras de télévision plus largement.
Ainsi, par exemple, les sujets pourraient inclure la diagonalisation, ventilée par type de construction utilisé; preuves par historique de calcul; constructions de tableaux; arguments d’incompressibilité, etc. Je suppose que je pourrais simplement découper une théorie standard du texte de calcul et réorganiser les sections, mais il serait bien qu’il existe quelque chose qui fournit également des commentaires supplémentaires et montre les points communs entre les techniques utilisées. utilisé.
Soyons clairs: comme tout texte utilise des preuves, ce qui m’intéresse vraiment, c’est de trouver une référence où les techniques de preuve sont elles-mêmes le sujet réel.
Outre le chapitre 3 de Garey et Johnson, voici un autre exemple partiel dont je viens de penser: dans Li et Vitanyi , au chapitre 6, ils abordent la méthode de l'incompressibilité et donnent des exemples d'application de la technique.