From this contradiction, it follows

From this contradiction, it follows that the algorithm cannot terminate before an optimal solution is found. Next we show that the algorithm always terminates. We have already proved that before an optimal solution is found, the Open list must include some node n for which g(n) + h(n) ≤ f∗. Hence,

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

Từ này mâu thuẫn, nó theo các thuật toán không thể chấm dứt trước khi một giải pháp tối ưu được tìm thấy. Tiếp theo chúng tôi cho rằng các thuật toán luôn luôn kết thúc. Chúng tôi đã có chứng minh rằng trước khi một giải pháp tối ưu tìm thấy, mở danh sách phải bao gồm một số n nút cho đó g(n) + h(n) ≤ f∗. Do đó,

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

Từ mâu thuẫn này, nó sau đó các thuật toán không thể chấm dứt trước khi một giải pháp tối ưu được tìm thấy. Tiếp theo chúng ta thấy rằng các thuật toán luôn chấm dứt. Chúng tôi đã chứng minh rằng trước khi được giải pháp tối ưu được tìm thấy, danh sách mở phải bao gồm một số nút n sao cho g (n) + h (n) ≤ f *. Do đó,