बोरेल-केंटेली लेम्मा और डर्गेनाईजेशन

Question

मैं (आउट) प्रोग्रामेबिलिटी के साथ रैंडम ओरकल्स शीर्षक से एक पेपर पढ़ रहा था । खंड 2.3 का अंतिम पैराग्राफ पढ़ता है:

[हमारे उपन्यास दृष्टिकोण का उपयोग] बोरेल-कैंनेली लेम्मा पर आधारित प्रसिद्ध शास्त्रीय असममित (और वर्दी) व्युत्पन्न तकनीकों को लागू करने की आवश्यकता नहीं है । हमारे ज्ञान का सबसे अच्छा करने के लिए, यह दृष्टिकोण इस पत्र के लिए उपन्यास है।

मैंने बोरेल-केंटेली लेम्मा के लिए विकिपीडिया की प्रविष्टि पर एक नज़र डाली और इस विचार को लगभग समझ लिया। हालाँकि, मैं अभी भी यह पता नहीं लगा सका कि यह किस प्रकार व्युत्पत्ति से संबंधित है। इसके अलावा, मैं उपरोक्त अनुच्छेद में "विषम" और "वर्दी" का अर्थ नहीं समझता।

पुनश्च: बोरेल- कैंटेली और व्युत्पन्नकरण के लिए Googling कई दिलचस्प परिणाम दिखाएगा, लेकिन मेरे पास उन्हें अच्छी तरह से समझने के लिए पर्याप्त पृष्ठभूमि नहीं है।

Comments

टिनी की शुरुआत: जटिलता सिद्धांत में बोरेल-केंटेली लेम्मा का उपयोग लुत्ज़ द्वारा प्रस्तुत संसाधन-बाध्य उपाय सिद्धांत से संबंधित है , और कुछ अनुवर्ती यहां , यहां और यहां । मुझे इस सवाल में भी दिलचस्पी है, आशा है कि हमारे पास कुछ अच्छे उत्तर होंगे!

— सीन-चिह चांग 張顯 ''

@ Hsien-Chih: धन्यवाद। मैंने लुत्ज़ के कार्यों को भी देखा, लेकिन वे मेरे लिए बहुत जटिल थे :( मुझे आशा है कि किसी ने "आम आदमी की शर्तों" में इसका वर्णन किया है;)

— एमएस डौस्टी

मुझे लगता है कि कि अगर आपके यादृच्छिक घटनाओं समय कदम पर निष्पादित कोड की लाइन की तरह कुछ कर रहे हैं और आप बोरेल Cantelli आवेदन कर सकते हैं, तो अपने कार्यक्रम हमेशा समाप्त हो जाता है। $t$

— राफेल

Answer 1

मुझे नहीं लगता कि उनका मतलब पारंपरिक अर्थों में व्युत्पन्नता है। इस पत्र में बीसी लेम्मा के आवेदन को देखने की कोशिश करें कि वे किस बारे में बात कर रहे हैं: http://www.cs.bu.edu/~reyzin/hash.html ।

वे कहते हैं कि "स्पर्शोन्मुख" क्योंकि अधिकांश बीबी पृथक्करण एक-तरफ़ा कार्यों की तरह अवधारणाओं पर लागू होते हैं, जो कि स्पर्शोन्मुख रूप से परिभाषित होते हैं। उनका परिणाम इसके बजाय एक "ठोस" बाध्य है जो सुरक्षा मापदंडों के सभी मूल्यों पर लागू होता है, न केवल पर्याप्त रूप से बड़े मूल्यों के लिए।