và một thuật toán bất cứ lúc nào RBFS trọng. Quan trọng nhất, điều kiện cho termi nước là khác nhau. Sau khi các bất cứ lúc nào thuật toán tìm một giải pháp, và mỗi khi nó tìm thấy một giải pháp cải tiến, nó tiết kiệm (hoặc kết quả đầu ra) giải pháp và tiếp tục tìm kiếm. ACE và A trọng bất cứ lúc nào, các thuật toán kiểm tra cho dù một nút là một nút mục tiêu, khi đó là gen-erated, thay vì chờ đợi cho đến khi nó được mở rộng. Nó cũng kiểm tra xem f-chi phí của một nút là lớn hơn hoặc bằng với một ràng buộc được đưa ra bởi f-chi phí giải pháp đương nhiệm. Nếu họ đang có, đây là một phần của không gian tìm bớt. (Lưu ý rằng trước khi giải pháp đầu tiên được tìm thấy, f (đương nhiệm) nên được thiết lập bằng vô cực này, kể từ khi có không được một hữu hạn ràng buộc trên chi phí giải pháp tối ưu.) Hội tụ một giải pháp tối ưu được phát hiện khi ngăn xếp là sản phẩm nào. Tại thời điểm này, backtracking đã xác định rằng tất cả các chi nhánh của cây đã được tìm kiếm hoặc bớt. Bằng chứng về chấm dứt với một giải pháp tối ưu sau logic tương tự như đối với định lý 1. Suboptimality giải pháp hiện được bao bọc bằng cách sử dụng f (đương nhiệm) như là một ràng buộc vào chi phí giải pháp tối ưu và ít nhất là chi phí của bất kỳ nút trên biên giới ngăn xếp là một ràng buộc thấp hơn. (Một lần nữa, biên giới chồng bao gồm nút cuối con đường tốt nhất hiện nay, cộng với mỗi anh chị em của một nút dọc theo con đường này.)Hình 5 (a) cho thấy các cấu hình hoạt động cho bất cứ lúc nào, WRBFS nhiêt Korf của 100 trường hợp ngẫu nhiên của mười lăm câu đố. Mặc dù trọng lượng của 2.0 và 1.5 cung cấp một sự cân bằng thời gian chất lượng tốt hơn cho một lượng thời gian ngắn, nhưng trọng lượng tìm kiếm của 1,3 cung cấp hiệu suất tốt hơn dài hạn. Hình 5 (b) cho thấy thời gian (đo bằng số cuộc gọi đệ quy, Trung bình) thực hiện bởi WRBFS bất cứ lúc nào để tìm thấy các giải pháp tối ưu cho các mười lăm câu đố, sử dụng trọng lượng từ 1,0 mà 2.0 và từng bước của 0,1. Bằng cách sử dụng trọng lượng từ cách 0.7 1.4, mà nó hội tụ, mà một giải pháp tối ưu nhanh hơn so với unweighted RBFS. Trong thực tế, bằng cách sử dụng một trọng lượng của 1,3, bất cứ lúc nào một giải pháp tối ưu hội tụ WRBFS sau khi trung bình 25% ít hơn đệ quy gọi hơn unweighted RBFS. Mặc dù nó luôn luôn mở rộng như nút nhiều hoặc khác biệt so với unweighted RBFS, sự phụ thuộc vào ngăn xếp dựa trên backtracking mà làm giảm bộ nhớ sử dụng phương tiện
đang được dịch, vui lòng đợi..
