Ich las einen Artikel mit dem Titel Random Oracles with (out) Programmability . Der letzte Absatz von Abschnitt 2.3 lautet:
[Mit unserem neuartigen Ansatz] Es ist nicht erforderlich, bekannte klassische asymptotische (und einheitliche) Derandomisierungstechniken anzuwenden, die auf dem Borel-Cantelli-Lemma basieren . Nach unserem besten Wissen ist dieser Ansatz in diesem Artikel neu.
Ich habe mir den Wikipedia-Eintrag für Borel-Cantelli-Lemma angesehen und die Idee fast verstanden. Ich konnte jedoch immer noch nicht herausfinden, wie es mit der Derandomisierung zusammenhängt. Außerdem verstehe ich die Bedeutung von "asymptotisch" und "einheitlich" im oben genannten Absatz nicht.
PS: Das Googeln nach Borel-Cantelli und die Derandomisierung werden einige interessante Ergebnisse zeigen, aber ich habe nicht genug Hintergrund, um sie gut zu verstehen.