We prove the following theorem unde

We prove the following theorem under the standard assumptions that a search graph has a finite branching factor and a minimal edge cost c > 0. We also assume that a solution
exists and that h(n) ≥ 0 for all nodes n.
odes on the search frontier (i.e., in the Open list) with an f -cost less than f (incumbent).

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

Chúng tôi chứng minh định lý sau đây theo các giả định tiêu chuẩn là một đồ thị tìm có một yếu tố hữu hạn phân nhánh và một cạnh tối thiểu chi phí c > 0. Chúng tôi cũng giả định rằng một giải pháptồn tại và rằng h(n) ≥ 0 cho tất cả các nút n.soạn trên biên giới tìm (tức là, trong danh sách mở) với một f-chi phí ít hơn so với f (đương nhiệm).

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

Chúng tôi chứng minh định lý sau đây theo các giả định tiêu chuẩn mà một đồ thị tìm kiếm có một yếu tố hữu hạn phân nhánh và một ít chi phí cạnh c> 0. Chúng tôi cũng giả định rằng một giải pháp
tồn tại và h (n) ≥ 0 cho tất cả các nút n.
Odes trên tìm biên giới (ví dụ, trong danh sách Open) với f -cost ít hơn f (đương nhiệm).