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àoWA * 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à ≤ f (n) w × f initiatives∗, các thuật toán phải chạy một số bị chặn bước trước khi một tối ưumột giải pháp đượ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 này contract∗ f. Bởi vì số lượng các nút cho đó f (n) ≤ f initiatives∗ 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 trên f -cost 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 cho 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 tối ưu giải pháp đượ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: bất kỳ nút với một f -cost Đó là lớn hơn hay bằng f *. Bởi vì số lượng các nút cho Mà f (n) ≤ f * là hữu hạn Ngoài ra, các thuật toán cuối cùng phải chấm dứt. ¤