Back
Where can I find a proof for the following theorem:
Theorem: If h(n) is consistent, A* using GRAPH-SEARCH is optimal
Thanks.
First, we have to define these functions:
Steps:
31k questions
32.8k answers
501 comments
693 users