Chúng ta cần để hiển thị rằng một bên xem có thể được một cách chính xác mô phỏng dựa trên đầu vào và đầu ra của nó.Nhớ lại rằng những tính toán của cây là đệ quy, bắt đầu từ gốc. Đối với mỗi nút, một "tách"lớp được chọn (vì nó có các thông tin cao nhất đạt được) phát triển cây để cấp độ tiếp theo.Bất kỳ thực hiện xác định thứ tự phát triển cây và bộ này là một trong những tiếp theo là cácMô phỏng là tốt. Theo thứ tự này được chỉ định, tại bất kỳ bước nhất định tính toán dựa trên việc tìm kiếmthông tin cao nhất đạt được cho một nút được biết đến (để chứng minh chúng tôi bỏ qua tối ưu hóa mà tìm thấy độ lợiĐối với nhiều hơn một nút song song, mặc dù điều này dễ dàng xử lý). Chúng tôi bây giờ mô tả trình mô phỏng đấucho mỗi nút.Chúng tôi phân biệt giữa hai trường hợp: (1) một nút cho trước là một nút lá và (2) một nút nhất định không phải là một lá.
đang được dịch, vui lòng đợi..