AVL ツリーのノードの最小数を証明するこの ( http://condor.depaul.edu/ntomuro/courses/417/notes/lecture1.html ) ペーパーを読んでいたところです。ただし、O(log n) はノード数をまったく参照していないため、結果の意味がわかりません。これはどのように証明できますか?ただし、最初のステップと、反復がどのように単純化されるかは理解しています。しかし、4番目のステップの後、私は彼が何をしているのか正確に理解できていません(漠然と想像することはできますが). 最後の数行が何を証明しているか、パート 1 の最後で彼がどのように式を単純化しているか、誰か説明してくれませんか?
ありがとう