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 .
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}
Do đó, bước đầu tiên là tìm và sau đó là thuật ngữ chính trong việc mở rộng tiệm cận của .
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
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út và đường đơn điệu trên lưới vuông từ đến không đi qua đường chéo (và được thực hiện theo hai loại bước: và ). 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ị 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 . (Lưu ý: một cây có chiều cao đang trong tình trạng bị cấm với đường dẫn Dyck có chiều cao )
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 , 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 ). Rõ ràng là các đường dẫn tôi muốn đếm ( ) nằm trong mệnh đề với các đường dẫn đơn điệu từ đến để tránh các ranh giới và . (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
Bất cứ ý tưởng vấn đề là ở đâu?