Es gibt viele Situationen, in denen ein randomisierter "Beweis" viel einfacher ist als ein deterministischer Beweis, wobei das kanonische Beispiel das Testen der polynomischen Identität ist.
Frage : Gibt es natürliche mathematische "Theoreme", bei denen ein randomisierter Beweis bekannt ist, ein deterministischer Beweis jedoch nicht?
Mit einem "randomisierten Beweis" einer Aussage meine ich das
Es gibt einen randomisierten Algorithmus, der eine Eingabe von annimmt. Wenn falsch ist, wird ein deterministischer Beweis für mit einer Wahrscheinlichkeit von mindestens .P ¬ P 1 - 2 - n
Jemand hat den Algorithmus beispielsweise für und den Satz nicht widerlegt.
Es ist einfach, nicht-natürliche Aussagen zu generieren, die passen: Wählen Sie einfach eine große Instanz eines Problems aus, bei dem nur ein effizienter randomisierter Algorithmus bekannt ist. Obwohl es viele mathematische Theoreme mit "vielen numerischen Beweisen" gibt, wie die Riemannsche Hypothese, kenne ich keine mit strengen randomisierten Beweisen der obigen Form.