This establishes an upper bound on

This establishes an upper bound on the f-cost of any node that can be expanded by Anytime WA* before an optimal solution is found. Because there are a finite number of nodes for which f(n) ≤ w × f∗, the algorithm must run a bounded number of steps before an optimal solution is found. Once an optimal solution is found, the algorithm will not expand any node with an f-cost that is greater than or equal to f∗. Because the number of nodes for which f(n) ≤ f∗ is also finite, the algorithm must eventually terminate.

Kết quả (Việt) 1:

Điều này thiết lập một ràng buộc trên f-chi phí của bất kỳ nút có thể được mở rộng bởi bất cứ lúc nào WA * trước khi một giải pháp tối ưu được tìm thấy. Bởi vì có một số hữu hạn các nút cho mà ≤ giải w × f∗, các thuật toán phải chạy một số bước bị chặn trước khi một giải pháp tối ưu được tìm thấy. Một khi tìm thấy một giải pháp tối ưu, các thuật toán sẽ không mở rộng bất kỳ nút với một f-chi phí lớn hơn hoặc bằng f∗. Bởi vì số lượng các nút cho giải ≤ f∗ cũng là hữu hạn, các thuật toán cuối cùng phải chấm dứt.

Kết quả (Việt) 2:

Điều này thiết lập một trên ràng buộc về f-chi phí của bất kỳ nút đó có thể được mở rộng bằng Anytime WA * trước một giải pháp tối ưu được tìm thấy. Bởi vì có một số hữu hạn các nút mà f (n) ≤ w × f *, thuật toán phải chạy một số bị chặn bước trước một giải pháp tối ưu được tìm thấy. Một khi một giải pháp tối ưu được tìm thấy, các thuật toán sẽ không mở rộng nút bất kỳ với một e-chi phí đó là lớn hơn hoặc bằng f *. Bởi vì số lượng các nút mà f (n) ≤ f * cũng là hữu hạn, thuật toán cuối cùng phải chấm dứt.