Was sind einige wichtige Beispiele für eine erfolgreiche Derandomisierung oder zumindest Fortschritte bei der Darstellung konkreter Belege für das Ziel (nicht die Härte-Zufalls-Verbindung)?
Das einzige Beispiel, das mir in den Sinn kommt, ist das Testen der deterministischen Polynom-Zeit-Primalität nach AKS (auch dafür gab es eine Methodik, die GRH voraussetzte). Welchen konkreten Beweis haben wir für die Derandomisierung (wiederum nicht für die Härte oder die Orakelverbindung)?
Bitte behalten Sie nur Beispiele bei, bei denen eine Verbesserung der Zeitkomplexität von randomisiertem Poly zu deterministischem Poly oder etwas gezeigt wurde, das für bestimmte Probleme sehr nahe ist.
Das Folgende ist eher ein Kommentar und ich weiß nicht viel, es wird dieser Abfrage helfen.
Chazelle hat eine sehr interessante Aussage in http://www.cs.princeton.edu/~chazelle/linernotes.html unter "The Discrepancy Method: Randomness and Complexity (Cambridge University Press, 2000)".
„Für mich war es eine unendliche Faszination, dass ein tieferes Verständnis des deterministischen Rechnens die Beherrschung der Randomisierung erfordern sollte. Ich habe dieses Buch geschrieben, um diese starke Verbindung zu veranschaulichen. Die effizientesten Algorithmen, angefangen von minimalen Spannbäumen über lineare Programmierung bis hin zu Delaunay-Triangulationen, sind häufig die Derandomisierung probabilistischer Lösungen. Die Diskrepanzmethode beleuchtet eine der fruchtbarsten Fragen der gesamten Informatik: Wenn Sie der Meinung sind, dass Sie zufällige Bits benötigen, teilen Sie uns bitte mit, warum. '