Borel-Cantelli Lemma ve Derandomizasyon

Programlanabilirliği olan Random Oracles adlı bir makale okuyordum . Bölüm 2.3'ün son paragrafında şunlar bulunmaktadır:

[Yeni yaklaşımımızı kullanarak] Borel-Cantelli lemmasına dayanan iyi bilinen klasik asimtotik (ve homojen) derandomizasyon tekniklerinin uygulanmasına gerek yoktur . Bildiğimiz kadarıyla, bu yaklaşım bu makalede yenidir.

Vikipedi'nin Borel-Cantelli lemmasına girişine bir göz attım ve neredeyse fikri kavradım. Bununla birlikte, bunun derandomizasyonla nasıl ilişkili olduğunu anlayamadım. Ayrıca, yukarıda belirtilen paragrafta "asimtotik" ve "tekdüze" nin anlamını anlamıyorum.

Not: Borel-Cantelli ve derandomization için googling yapmak birkaç ilginç sonuç gösterecek, ancak onları iyi anlayabilecek yeterli altyapım yok.

— MS Dousti
kaynak

Küçük yorum: Borel-Cantelli lemmanın karmaşıklık teorisinde kullanımı, Lutz tarafından getirilen kaynak sınırlı ölçü teorisi ve burada , burada ve burada bazı takiplerle ilişkili gibi görünüyor . Ben de bu soru ile ilgileniyorum, umarım bazı güzel cevaplar alacağız!

— Hsien-Chih Chang 張顯之

@ Hsien-Chih: Teşekkürler. Lutz'un eserlerini de gördüm, ama benim için çok karmaşıktı :( Umarım birisi "

— layman'ın

t

$t$

Geleneksel anlamda derandomizasyon demek olduklarını sanmıyorum. Ne hakkında konuştuklarına dair bir örnek için bu makalede BC lemmasının uygulanmasına bakmayı deneyin: http://www.cs.bu.edu/~reyzin/hash.html .

BB semptomlarının çoğu asimptotik olarak tanımlanan tek yönlü fonksiyonlar gibi kavramlar için geçerli olduğu için "asimptotik" derler. Bunun sonucu, sadece yeterince büyük değerler için değil, güvenlik parametrelerinin tüm değerleri için geçerli olan bir "somut" sınırdır.

— David Cash
kaynak