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.

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 tìm kiếm đồ thị
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.