Als «proof-techniques» getaggte Fragen

5
Techniken zum Umkehren der Reihenfolge von Quantifizierern
Es ist allgemein bekannt, dass die Reihenfolge der universellen und existentiellen Quantifizierer nicht umgekehrt werden kann. Mit anderen Worten, für ein allgemeines logisches Formel ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Andererseits wissen wir, dass die rechte Seite restriktiver ist als die linke Seite; das …

9
Referenzen für TCS-Proof-Techniken
Gibt es Referenzen (online oder in Buchform), die TCS-Theoreme nach Beweisverfahren organisieren und diskutieren? Garey und Johnson tun dies für die verschiedenen Arten von Widget-Konstruktionen, die für NP-Vollständigkeits-Proofs benötigt werden (insbesondere in Kapitel 3 ihres Buches), aber ich frage mich, ob es etwas gibt, das die Proof-Techniken in TCS umfassender …

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.