Pada “Tinggi Rata-Rata Pohon Pesawat yang Ditanam” oleh Knuth, de Bruijn dan Rice (1972)


15

Saya mencoba untuk mendapatkan makalah klasik dalam judul hanya dengan cara dasar (tidak ada fungsi menghasilkan, tidak ada analisis kompleks, tidak ada analisis Fourier) walaupun dengan presisi jauh lebih sedikit. Singkatnya, saya "hanya" ingin membuktikan bahwa tinggi rata-rata hn dari sebuah pohon dengan n simpul (yaitu, jumlah maksimum simpul dari akar ke daun) memuaskan hnπn .

Garis besarnya adalah sebagai berikut. Misalkan adalah jumlah pohon dengan tinggi kurang dari atau sama dengan h (dengan konvensi A n h = A n n untuk semua h n ) dan B n h jumlah pohon n node dengan tinggi lebih besar dari atau sama dengan h + 1 (yaitu, B n h = A n n - A n h ). Kemudian h n = S nAnhhAnh=AnnhnBnhnh+1Bnh=AnnAnh , di mana S n adalah jumlah terbatas S n = h 1 h ( A n h - A n , h - 1 ) = h 1 h ( B n , h - 1 - B n h ) = h 0 B n h . Diketahui bahwa A nhn=Sn/AnnSn

Sn=h1h(AnhAn,h1)=h1h(Bn,h1Bnh)=h0Bnh.
, untuk himpunan pohon - pohon umum dengannnode berada dalam penimbunan dengan himpunan pohon biner dengann-1node, dihitung dengan angka Catalan.SEBUAHnn=1n(2n-2n-1)nn-1

Oleh karena itu, langkah pertama adalah menemukan dan kemudian istilah utama dalam ekspansi asimptotik S n .BnhSn

Pada titik ini penulis menggunakan kombinatorik analitik (tiga halaman) untuk mendapatkan

Bn+1,h1=k1[(2nn+1kh)2(2nnkh)+(2nn1kh)].

Upaya saya sendiri adalah sebagai berikut. Saya menganggap bijih antara pohon dengan node dan jalur monoton pada kotak persegi ( n - 1 ) × ( n - 1 ) dari ( 0 , 0 ) hingga ( n - 1 , n - 1 ) yang tidak melintasi diagonal ( dan terbuat dari dua jenis langkah: dan ). Jalur ini kadang-kadang disebut jalur Dyck atau kunjungan . Saya dapat mengekspresikan sekarang B nn(n1)×(n1)(0,0)(n1,n1) dalam hal lattice paths: itu adalah jumlah lintasan Dyck dengan panjang 2 (n-1) dan tingginya lebih dari atau sama denganh. (Catatan: sebatang pohon dengan ketinggianhberada di bijection dengan lintasan Dyck dengan ketinggianh-1.)Bnhhhh1

Tanpa kehilangan keumuman, saya berasumsi bahwa mereka mulai dengan (karenanya tetap di atas diagonal). Untuk setiap jalur, saya menganggap langkah pertama melintasi garis y = x + h - 1 , jika ada. Dari titik di atas, sepanjang perjalanan kembali ke titik asal, saya mengubah menjadi dan sebaliknya (ini adalah cerminan dari garis y = x + h ). Menjadi jelas bahwa jalur yang ingin saya hitung ( B n h ) berada dalam penyatuan dengan jalur monoton dari ( - h , h ) hinggay=x+h1y=x+hBnh(h,h) yang menghindari batas y = x + 2 jam + 1 dan y = x - 1 . (Lihatgambar.)(n1,n1)y=x+2h+1y=x1

Dalam buku klasik Lattice Path Counting and Applications oleh Mohanty (1979, halaman 6) rumus menghitung jumlah jalur monoton dalam kisi dari(0,0)hingga(m,n), yang menghindari batasy=x-tdany=x+s, dengant>0dans>0. (Hasil ini pertama kali didirikan oleh ahli statistik Rusia pada 50-an.) Oleh karena itu, dengan mempertimbangkan asal baru di

kZ[(m+nmk(t+s))(m+nn+k(t+s)+t)],
(0,0)(m,n)y=xty=x+st>0s>0 , kami memenuhi ketentuan rumus: s = 1 , t = 2 h + 1 dan titik tujuan (sudut kanan atas) sekarang ( n + h - 1 , n - h - 1 ) . Kemudian B n h = k Z [ ( 2 n - 2(-h,h)s=1t=2h+1(n+h-1,n-h-1)
Bnh=kZ[(2n2n+h1k(2h+2))(2n2nh1+k(2h+2)+2h+1)].
Bn+1,h1=kZ[(2nn+1(2k+1)h)(2nn(2k+1)h)],
which, in turn, is equivalent to
Bn+1,h1=k0[(2nn+1(2k+1)h)2(2nn(2k+1)h)+(2nn1(2k+1)h)].
The difference with the expected formula is that I sum over the odd numbers (2k+1), instead of all positive integers (k).

Any idea where the problem is?


You say you want to use only elementary things, yet you use a result from a book. How does Mohanty derive the identity you use?
Raphael

I define in the first sentence what I mean by "elementary": no generating functions, no complex analysis, no Fourier analysis. In his book, Mohanty uses elementary means to derive that formula, more precisely, the principles of reflection and inclusion-exclusion on lattice paths. (I use the former above.) If you insist, I will add his proof at the end of the question.
Christian

Not at all, just wanted to make sure you were not breaking your rule yourself.
Raphael

It's very weird to me to see 'generating functions' listed as a non-elementary technique when analytical combinatorics is apparently considered elementary. π seems like an almost inherently non-elementary value; do you have e.g. a comparable proof of the asymptotics of the central binomial coefficient to give a better sense of what you're looking for? I suspect the two are closely related...
Steven Stadnicki

Jawaban:


2

Jalur monotonik dari (-h,h) untuk (n-1,n-1) Anda membangun hanya menghindari batas y=x+2h+1 sebelum mereka menyeberang y=x+huntuk pertama kalinya. Dengan demikian rumus yang Anda gunakan tidak berlaku.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.