इस सवाल का जवाब कई साल पहले दिया गया था, लेकिन, सिर्फ मनोरंजन के लिए, यह ऊपरी सीमा का एक सरल प्रमाण है। हम उम्मीद पर एक सीमा देते हैं, फिर एक पूंछ बाध्य होती है।
परिभाषित आर.वी. नोड की गहराई होने के लिए मैं ∈ { 0 , 1 , ... , n - 1 } । Def i = ∑ i j = 0 e d j परिभाषित करें ।dii∈{0,1,…,n−1}ϕi=∑ij=0edj.
लेम्मा 1. अपेक्षित अधिकतम गहराई, सबसे अधिक ई पर हैE[maxidi] ।eHn−1
प्रमाण। अधिकतम गहराई अधिक से अधिक है । समाप्त करने के लिए हमारे द्वारा दिखाए ई [ ln φ n - 1 ] ≤ ईlnϕn−1 ।E[lnϕn−1]≤eHn−1
किसी के लिए , पर कंडीशनिंग φ मैं - 1 , के निरीक्षण से φ मैं ,
ई [ φ मैंi≥1ϕi−1ϕi
E[ϕi|ϕi−1]=ϕi−1+E[edi]=ϕi−1+eiϕi−1=(1+ei)ϕi−1.
प्रेरण से यह इस प्रकार है कि
E[ϕn−1]=∏n−1i=1(1+ei)<∏n−1i=1exp(ei)=exp(eHn−1).
तो, लघुगणक के अवतलता द्वारा,
E[lnϕn−1]≤lnE[ϕn−1]<lnexp(eHn−1)=eHn−1. □
यहाँ पूंछ बाध्य है:
लेम्मा 2. फिक्स किसी भी । फिर पीआर [ अधिकतम मैं घ मैं ] ≥ ईc≥0Pr[maxidi]≥eHn−1+c is at most exp(−c).
Proof. By inspection of ϕ, and the Markov bound, the probability in question is at most
Pr[ϕn−1≥exp(eHn−1+c)]≤E[ϕn−1]exp(eHn−1+c).
E[ϕn−1]≤exp(eHn−1) □
(e−1)Hn−O(1)maxidi≥lnϕt−lnn. But... [EDIT: spoke too soon]
It doesn't seem so easy to show the tight lower bound, of (1−o(1))eHn...