Backtracking can require a great de

Backtracking can require a great deal of
time and space because it may have to find all possible proofs to every subgoal.
These subgoal proofs may not be organized to minimize the time required
to find the one that will result in the final complete proof, which exacerbates
the problem.

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

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 đề.

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

Tùy ý có thể đòi hỏi rất nhiều
thời gian và không gian bởi vì nó có thể có để tìm tất cả các bằng chứng có thể mỗi subgoal.
Những bằng chứng 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ẽ dẫn đến việc chứng minh hoàn chỉnh cuối cùng, làm trầm trọng
vấn đề.