Als «proof-techniques» getaggte Fragen

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...

Neue Space-Lower-Bound-Techniken für Streaming-Algorithmen

Ist die Kommunikationskomplexität (CC) der einzige bekannte Ansatz für Streaming-Algorithmen? Gibt es andere Techniken, auch wenn bedingte Untergrenzen? Sind wir im Allgemeinen mit den über CC erzielten Fortschritten zufrieden? Oder nach alternativen Techniken zu suchen (auch wenn diese bedingt...