Valiant Vazirani Theorem, Fachbücher

Das Buch "Valiant Vazirani Theorem" bietet eine umfassende Analyse eines bedeutenden Ergebnisses in der Theorie der Berechenbarkeit. Es behandelt das Theorem, das von Leslie Valiant und Vijay Vazirani in ihrem einflussreichen Artikel von 1986 formuliert wurde. Das Theorem besagt, dass die Existenz eines polynomialen Zeitalgorithmus für UNIQUE-SAT die Gleichheit von NP und RP impliziert. Dies hat weitreichende Konsequenzen für das Verständnis von NP-vollständigen Problemen, insbesondere in Bezug auf die Schwierigkeit von SAT, selbst wenn die Anzahl der erfüllenden Zuweisungen sehr gering ist. Das Buch richtet sich an Fachleute und Studierende der Mathematik und Naturwissenschaften, die sich mit den Grundlagen und den Implikationen der Komplexitätstheorie auseinandersetzen möchten.