Tìm kiếm quay lui

Bài giảng Thuật toán ứng dụng: Đệ quy-Quay lui-Nhánh cận cung cấp cho người học những kiến thức như: Đệ quy; Đệ quy có nhớ; Nhị phân; Tập con; Hoán vị; Phân tích; Đặt hậu; Bài toán người bán hàng (TSP – Traveling Salesman Problem). Mời các bạn cùng tham khảo!

29p conbongungoc09 05-08-2021 57 5   Download

Quay lui (backtracking) là một chiến lược tìm kiếm lời giải cho các bài toán thỏa mãn ràng buộc. Trong chương này chúng ta sẽ cùng tìm hiểu một số kiến thức liên quan tới giải thuật quay lui và giải thuật nhánh và cận. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

37p youcanletgo_01 04-01-2016 108 17   Download

Bài giảng 'Trí tuệ nhân tạo: Giải quyết vấn đề" cung cấp cho sinh viên các kiến thức: Ràng buộc, bài toán thảo mãn ràng buộc, đồ thị với ràng buộc, các bài toán thỏa mãn ràng buộc, tìm kiếm bằng kiểm thử, tìm kiếm quay lui, biến bị ràng buộc nhiều nhất,... Mời các bạn cùng tham khảo nội dung chi tiết.

43p nhasinhaoanh_09 13-10-2015 99 9   Download

Prolog là một ngôn ngữ lập trình. Tên gọi Prolog được xuất phát từ cụm từ tiếng Pháp Programmation en logique, nghĩa là "lập trình theo lô gích". Xuất hiện từ năm 1972 (do Alain Colmerauer và Robert Kowalski thiết kế), mục tiêu của Prolog là giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng....

99p kudich 19-07-2013 127 35   Download

Giới thiệu Kiểm toán và Giải trình Kỹ thuật kiểm toán trong cơ sở dữ liệu Case study: kiểm toán trong Oracle .Giới thiệu Kiểm toán và Giải trình Kiểm toán (Audit) : giám sát và ghi lại những hoạt động đã và đang xảy trong hệ thống một cách có chọn lọc. Audit = Ai làm gì với dữ liệu nào khi nào và bằng cách nào (Who did what to which data when and how) Trách nhiệm giải trình, gọi tắt là giải trình (Accountability): (Accountability) trách nhiệm tìm ra và chứng minh nguồn gốc các hoạt động xảy...

44p trinhvietnambk 29-05-2013 84 7   Download

Tài liệu tham khảo bài giảng môn Cấu trúc dữ liệu - Phần 5 Giải thuật quay lui

0p thenguyennd90 22-09-2011 184 28   Download

Tài liệu tham khảo bài giảng môn Cấu trúc dữ liệu - Phần 5 Giải thuật quay lui ( tiếp theo )

0p thenguyennd90 22-09-2011 97 13   Download

Giải thuật tìm kiếm đệ qui (Recursive-based search) – Có thể cài đặt tìm kiếm sâu với quay lui một cách đệ qui. – Kết hợp phép đồng nhất để tạo ra giải thuật TK hướng mẫu. – Là cơ sở của ngôn ngữ PROLOG.

21p suatuoi_nguyenchat 21-07-2011 78 8   Download

III. Ngăn xếp (stack) Stack chứa các đối tượng làm việc theo cơ chế LIFO (Last In First Out) nghĩa là việc thêm một đối tượng vào stack hoặc lấy một đối tượng ra khỏi stack được thực hiện theo cơ chế "Vào sau ra trước". Thao tác thêm 1 đối tượng vào stack thường được gọi là "Push". Thao tác lấy 1 đối tượng ra khỏi stack gọi là "Pop". Trong tin học, CTDL stack có nhiều ứng dụng: khử đệ qui, lưu vết các quá trình tìm kiếm theo chiều sâu và quay lui, ứng dụng trong các...

5p zues09 07-07-2011 117 18   Download

Chương 7: Thuật toán quay lui Thường thường khi ta giải bài toán, nhiều khi không có cách nào tốt hơn là thử tất cả các khả năng của nghiệm bài toán có thể xảy ra. Cách tiếp cận như vậy người ta gọi là tìm kiếm toàn diện, như vậy việc tìm lời giải rất chậm, nhưng nhiều khi có còn hơn không có lời giải nào!

35p samsara246 26-05-2011 147 42   Download

Prolog giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng.

19p dauhukhothom 15-04-2011 137 43   Download

Phần này mở rộng khái niệm heuristic cho một số bài toán tìm kiếm khác. Các thuật toán tìm kiếm UCS, tìm kiếm tốt nhất và A* thực hiện chiến lược vét cạn trên không gian tìm kiếm để tìm lời giải. Chiến lược này bảo đảm tìm được đường đi (tối ưu) nhưng phải duyệt nhiều trạng thái, đặc biệt khi bài toán có độ sâu lời giải lớn. Các bài toán dưới đây áp dụng các chiến lược tìm kiếm heuristic (cố gắng đưa ra lời giải tốt tại mỗi bước thực hiện) và không quay lui....

4p thanhuthe7777 05-03-2011 238 87   Download

KĨ THUẬT THIẾT KẾ GIẢI THUẬT Tổng Quan: Nắm vững các kĩ thuật thiết kế giải thuật: chia để trị, quy hoạch động, tham ăn, quay lui, cắt tỉa alpha-beta, nhánh cận và tìm kiếm địa phương. Với mỗi kĩ thuật cần nắm được: • Nội dung kĩ thuật. • Vận dụng kĩ thuật vào giải các bài toán thực tế. • Đánh giá được giải thuật

10p yukogaru1 31-07-2010 233 74   Download

Học phần kỹ thuật lập trình 2 được thiết kế dành cho sinh viên khoa công nghệ thông tin ĐH Kỹ Thuật Công Nghệ, là phần tiếp nối với môn kỹ thuật lập trình 1. Mục đích của môn học là bổ sung những kỹ thuật lập trình đệ quy, khử đệ quy, các bài toán trên tập hợp, phương pháp sinh, kỹ thuật quay lui, tìm kiếm và sắp xếp trên mảng, ngăn xếp và hàng đợi…Song song với phần lý thuyết là các ví dụ minh họa cụ thể, cho phép sinh viên hiểu rõ vấn đề hơn....

121p tranbaoquyen 30-09-2009 700 367   Download