Câu hỏi này đã được trả lời vài năm trước, nhưng, chỉ để cho vui, đây là một bằng chứng đơn giản về giới hạn trên. Chúng tôi đưa ra một ràng buộc về kỳ vọng, sau đó một cái đuôi bị ràng buộc.
Xác định rv là độ sâu của nút i ∈ { 0 , 1 , Lỗi , n - 1 } . Xác định ϕ i = ∑ i j = 0 e d j .dii∈{0,1,…,n−1}ϕi=∑ij=0edj.
bổ đề 1. Độ sâu tối đa dự kiến, nhiều nhất là eE[maxidi] .eHn−1
Bằng chứng. Độ sâu tối đa tối đa là . Để kết thúc chúng tôi hiển thị E [ ln φ n - 1 ] ≤ elnϕn−1 .E[lnϕn−1]≤eHn−1
Đối với bất kỳ , điều hòa trên φ i - 1 , qua sự kiểm tra của φ i ,
E [ φ ii≥1ϕi−1ϕi
E[ϕi|ϕi−1]=ϕi−1+E[edi]=ϕi−1+eiϕi−1=(1+ei)ϕi−1.
Bằng cách cảm ứng, nó theo
E[ϕn−1]=∏n−1i=1(1+ei)<∏n−1i=1exp(ei)=exp(eHn−1).
So, by the concavity of the logarithm,
E[lnϕn−1]≤lnE[ϕn−1]<lnexp(eHn−1)=eHn−1. □
Here is the tail bound:
lemma 2. Fix any c≥0. Then Pr[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).
From the proof of Lemma 1,
E[ϕn−1]≤exp(eHn−1). Substituting this into the right-hand side above completes the proof.
□
As for a lower bound, I think a lower bound of (e−1)Hn−O(1) follows pretty easily by considering 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...