Trên cây có chiều cao trung bình của cây máy bay được trồng bởi Knuth, de Bruijn và Rice (1972)


15

Tôi đang cố gắng rút ra bài báo kinh điển trong tiêu đề chỉ bằng các phương tiện cơ bản (không có chức năng tạo, không phân tích phức tạp, không phân tích Fourier) mặc dù với độ chính xác thấp hơn nhiều. Nói tóm lại, tôi "chỉ" muốn chứng minh rằng chiều cao trung bình của cây có nút (nghĩa là số nút tối đa từ gốc đến lá) thỏa mãn .hnnhnπn

Các phác thảo như sau. Đặt là số cây có chiều cao nhỏ hơn hoặc bằng (với quy ước với mọi ) và B_ {nh} số lượng cây của n nút với chiều cao lớn hơn hoặc bằng h + 1 (nghĩa là B_ {nh} = A_ {nn} - A_ {nh} ). Sau đó h_n = S_n / A_ {nn} , trong đó S_n là tổng hữu hạn S_n = \ sum_ {h \ geqslant 1} h (A_ {nh} - A_ {n, h-1}) = \ sum_ {h \ geqslant 1 } h (B_ {n, h-1} - B_ {nh}) = \ sum_ {h \ geqslant 0} B_ {nh}. Người ta biết rằng A_ {nn} = \ frac {1} {n} \ binom {2n-2} {n-1}AnhhAnh=AnnhnBnhnh+1Bnh=AnnAnhhn=Sn/AnnSn

Sn=h1h(AnhAn,h1)=h1h(Bn,h1Bnh)=h0Bnh.
Ann=1n(2n2n1), đối với tập hợp các cây tổng quát có n nút nằm trong trạng thái ngẫu nhiên với tập hợp các cây nhị phân có các nút n1 , được tính bằng số Catalan.

Do đó, bước đầu tiên là tìm Bnh và sau đó là thuật ngữ chính trong việc mở rộng tiệm cận của Sn .

Tại thời điểm này, các tác giả sử dụng tổ hợp phân tích (ba trang) để lấy

Bn+1,h-1= =Σk1[(2nn+1-kh)-2(2nn-kh)+(2nn-1-kh)].

Nỗ lực của riêng tôi là như sau. Tôi xem xét sự chọn lựa giữa các cây với n nút và đường đơn điệu trên lưới vuông (n-1)×(n-1) từ (0,0) đến (n-1,n-1) không đi qua đường chéo (và được thực hiện theo hai loại bước: ). Những con đường này đôi khi được gọi là đường dẫn Dyck hoặc du ngoạn . Bây giờ tôi có thể biểu thị Bnh theo các đường dẫn mạng: đó là số đường dẫn Dyck có độ dài 2 (n-1) và chiều cao lớn hơn hoặc bằng h . (Lưu ý: một cây có chiều cao h đang trong tình trạng bị cấm với đường dẫn Dyck có chiều cao h1 )

Không mất tính tổng quát, tôi giả sử rằng chúng bắt đầu bằng (do đó ở trên đường chéo). Đối với mỗi đường dẫn, tôi xem xét bước đầu tiên vượt qua đường y=x+h1 , nếu có. Từ điểm trên, tất cả các cách trở về điểm gốc, tôi thay đổi thành và ngược lại (đây là một phản ánh ghi lại dòng y=x+h ). Rõ ràng là các đường dẫn tôi muốn đếm ( Bnh ) nằm trong mệnh đề với các đường dẫn đơn điệu từ (h,h) đến (n1,n1) để tránh các ranh giới y=x+2h+1y=x1 . (Xem hình .)

Trong cuốn sách kinh điển Lattice Path Count and Application của Mohanty (1979, trang 6), công thức đếm số lượng đường dẫn đơn điệu trong một mạng từ đến , để tránh ranh giới và , với và . (Kết quả này lần đầu tiên được các nhà thống kê Nga thiết lập vào những năm 50.) Do đó, bằng cách xem xét một nguồn gốc mới tại , chúng tôi đáp ứng các điều kiện của công thức: ,(0,0)(m,n)y=x-ty=x+st>0s>0(-h,h)s=1t=2h+1

kZ[(m+nmk(t+s))(m+nn+k(t+s)+t)],
(0,0)(m,n)y=xty=x+st>0s>0(h,h)s=1t=2h+1và điểm đích (góc trên bên phải) hiện tại . Sau đó, Điều này có thể được đơn giản hóa trong lần lượt, tương đương với Sự khác biệt với công thức dự kiến ​​là tôi tính tổng các số lẻ ( ), thay vì tất cả các số nguyên dương ( ).(n+h1,nh1)Bn+1,h-1=kZ[ ( 2n
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)],
Bn+1,h1=k0[(2nn+1(2k+1)h)2(2nn(2k+1)h)+(2nn1(2k+1)h)].
2k+1k

Bất cứ ý tưởng vấn đề là ở đâu?


Bạn nói rằng bạn chỉ muốn sử dụng những thứ cơ bản, nhưng bạn sử dụng kết quả từ một cuốn sách. Làm thế nào để Mohanty có được danh tính bạn sử dụng?
Raphael

Tôi định nghĩa trong câu đầu tiên ý của tôi là "cơ bản": không tạo hàm, không phân tích phức tạp, không phân tích Fourier. Trong cuốn sách của mình, Mohanty sử dụng các phương tiện cơ bản để rút ra công thức đó, chính xác hơn là các nguyên tắc phản ánh và loại trừ - bao gồm trên các đường dẫn mạng. (Tôi sử dụng trước đây.) Nếu bạn nhấn mạnh, tôi sẽ thêm bằng chứng của anh ấy vào cuối câu hỏi.
Christian

Không hề, chỉ muốn chắc chắn rằng bạn không tự mình phá vỡ quy tắc của mình.
Raphael

Đối với tôi, thật kỳ lạ khi thấy 'các hàm tạo' được liệt kê là một kỹ thuật phi cơ bản khi tổ hợp phân tích rõ ràng được coi là sơ cấp. có vẻ như là một giá trị gần như không phải là cơ bản; bạn có ví dụ như một bằng chứng so sánh về sự không triệu chứng của hệ số nhị thức trung tâm để cho cảm nhận rõ hơn về những gì bạn đang tìm kiếm không? Tôi nghi ngờ hai người có liên quan mật thiết với nhau ...π
Steven Stadnicki

Câu trả lời:


2

Các đường dẫn đơn điệu từ đến mà bạn xây dựng chỉ tránh được những ranh giới trước khi họ qua cho lần đầu tiên. Do đó, công thức bạn sử dụng không được áp dụng.(h,h)(n1,n1)y=x+2h+1y=x+h

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.