Backtracking có thể yêu cầu một thỏa thuận tuyệt vời củathời gian và không gian bởi vì nó có thể phải tìm thấy tất cả có thể chứng minh cho mỗi subgoal.Các chứng minh subgoal có thể không được tổ chức để giảm thiểu thời gian cần thiếtđể tìm một trong đó sẽ gây ra chứng minh đầy đủ cuối cùng, trầm trọng thêmvấn đề.
đang được dịch, vui lòng đợi..
