4.5.3 Tại sao Alon-Matias-Szegedy Thuật toán Công trình
Chúng tôi có thể chứng minh rằng giá trị kỳ vọng của bất kỳ biến xây dựng như trong Sec-tion 4.5.2 là thời điểm thứ hai của dòng mà từ đó nó được xây dựng. Một số ký hiệu sẽ đưa ra lập luận dễ dàng hơn để làm theo. Cho e (i) là yếu tố dòng xuất hiện ở vị trí i trong dòng, và để cho c (i) là số lần thành phần điện tử (i) xuất hiện trong dòng giữa các vị trí i, i + 1, ..., . n
Ví dụ 4.9: Xem xét các dòng Ví dụ 4.7. e (6) = a, từ vị trí thứ 6 nắm giữ. Ngoài ra, c (6) = 4, từ một xuất hiện tại các vị trí 9, 13, và 14, cũng như ở vị trí 6. Lưu ý rằng cũng xuất hiện ở vị trí 1, nhưng thực tế là không đóng góp cho c (6). 2 Giá trị kỳ vọng của 2 × X.value + 1 là trung bình trên tất cả các vị trí i từ 1 đến n của n × (2 × c (i) -1), đó là E (2 × X.value + 1) = 1 nn X i = 1 n × (2 × c (i) -1)
Chúng ta có thể đơn giản hóa việc trên bằng cách hủy bỏ các yếu tố 1 / n và n, để có được
E (2 × X.value + 1) =
n X i = 12c (i) -1?
Tuy nhiên, để làm cho tinh thần của công thức, chúng ta cần phải thay đổi thứ tự tổng kết của nhóm tất cả những vị trí có cùng một nguyên tố. Ví dụ, tập trung vào một số yếu tố xuất hiện một ma lần trong dòng. Thời hạn cho vị trí cuối cùng trong đó một xuất hiện phải có 2 × 1-1 = 1. Thời hạn cho các vị trí tiếp theo đến cuối cùng trong đó một xuất hiện là 2 × 2 - 1 = 3. Các vị trí với các điều khoản trước đó năng suất 5, 7, và như vậy, lên đến 2mA -1, mà là thuật ngữ cho vị trí đầu tiên trong đó một xuất hiện. Đó là, công thức cho giá trị kỳ vọng của 2 × X.value + 1 có thể được viết: E (2 × X.value + 1) = X 1 + 3 + 5 + · · · + (2mA -1) Lưu ý rằng 1 +3 +5 + · · · + (2mA-1) = (ma) 2. Bằng chứng là một cảm ứng dễ dàng trên các số từ ngữ trong tổng. Do đó, E (2 × X.value + 1) = Pa (ma) 2, đó là định nghĩa của thời điểm thứ hai.
đang được dịch, vui lòng đợi..