If f (n) is an admissible evaluation function, then F (n) is a lower bound on the cost of the best solution that can be found in the subtree rooted at n.
Nếu f (n) là một chức năng admissible đánh giá, sau đó F (n) là một ràng buộc thấp hơn chi phí giải pháp tốt nhất có thể được tìm thấy trong subtree bắt nguồn từ lúc n.
Nếu f (n) là một chức năng đánh giá chấp nhận được, sau đó F (n) là một giới hạn thấp hơn về chi phí của các giải pháp tốt nhất có thể được tìm thấy trong cây con có gốc là n.