Quay lui là gì? - định nghĩa từ techopedia

Định nghĩa - Backtracking có nghĩa là gì?

Quay lui là một thuật toán để nắm bắt một số hoặc tất cả các giải pháp cho các vấn đề tính toán nhất định, đặc biệt là đối với các vấn đề thỏa mãn ràng buộc. Thuật toán chỉ có thể được sử dụng cho các vấn đề có thể chấp nhận khái niệm về giải pháp ứng cử viên một phần của Cameron và cho phép thử nghiệm nhanh để xem liệu giải pháp ứng viên có thể là một giải pháp hoàn chỉnh hay không. Quay lui được coi là một kỹ thuật quan trọng để giải quyết các vấn đề thỏa mãn và câu đố. Nó cũng được coi là một kỹ thuật tuyệt vời để phân tích cú pháp và cũng là cơ sở của nhiều ngôn ngữ lập trình logic.

Techopedia giải thích Quay lui

Quay lui giúp giải quyết vấn đề tổng thể bằng cách tìm giải pháp cho vấn đề phụ đầu tiên và sau đó cố gắng giải quyết đệ quy các vấn đề phụ khác dựa trên giải pháp của vấn đề đầu tiên. Nếu vấn đề hiện tại không thể được giải quyết, bước này được quay lại và giải pháp khả thi tiếp theo được áp dụng cho các bước trước đó, và sau đó tiến hành thêm. Trong thực tế, một trong những điều quan trọng trong quay lui là đệ quy. Nó cũng được coi là một phương pháp tìm kiếm toàn diện bằng cách sử dụng phân chia và chinh phục. Một thuật toán quay lui kết thúc khi không còn giải pháp nào cho vấn đề phụ đầu tiên.

Quay lui là một thuật toán có thể giúp đạt được việc thực hiện không thuyết phục. Nó cần một tìm kiếm sâu đầu tiên của một không gian vấn đề nhất định. Nó được sử dụng chủ yếu trong các ngôn ngữ lập trình logic như Prolog. Bất cứ nơi nào quay lại có thể được áp dụng, nó nhanh hơn kỹ thuật vũ phu, vì nó loại bỏ một số lượng lớn các ứng cử viên với một bài kiểm tra duy nhất.