• Bài giảng Xử lý ngôn ngữ tự nhiên - Chương 1: Xử lý ngôn ngữ tự nhiên - Lê Thạch HươngBài giảng Xử lý ngôn ngữ tự nhiên - Chương 1: Xử lý ngôn ngữ tự nhiên - Lê Thạch Hương

    Khó: xử lý tiếng nói (speech processing), dịch máy (machine translation) trích rút , trích rút thông tin (information extraction), giao diện hội thoại = NNTN (dialog interface), hỏi đáp (question answering) z Ứng dụng hiện nay: sửa lỗi chính tả, phân loại văn bản,

    pdf13 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 771 | Lượt tải: 0

  • Bài giảng Toán rời rạc - Nguyễn Đức NghĩaBài giảng Toán rời rạc - Nguyễn Đức Nghĩa

    Ví dụ 5 (tiếp): Chúng ta có thể làm gì ? Không có thời gian để chờ Do not waste time unless you are a genius to save the world Mục đích khiêm tốn hơn Với xác suất 90%, có thể tìm được hành trình tối ưu Thuật toán tìm hành trình không tồi hơn 1.1 lần hành trình tối ưu

    ppt33 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 1207 | Lượt tải: 1

  • Bài giảng Lý thuyết tổ hợp - Chương 4: Bài toán tối ưu tổ hợpBài giảng Lý thuyết tổ hợp - Chương 4: Bài toán tối ưu tổ hợp

    The largest solved instance of the traveling salesman problem consists of a tour through 85,900 cities in a VLSI application that arose in Bell Laboratories in the late 1980s. The computation with Concorde was carried out in 2005/06 and reported in the book The Traveling Salesman Problem: A Computational Study. The instance is called pla85900 in G...

    ppt93 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 822 | Lượt tải: 0

  • Bài giảng Lý thuyết tổ hợp - Chương 3: Bài toán liệt kê tổ hợpBài giảng Lý thuyết tổ hợp - Chương 3: Bài toán liệt kê tổ hợp

    Đánh số các cột và dòng của bàn cờ từ 1 đến n. Một cách xếp hậu có thể biểu diễn bởi bộ có n thành phần (a1, a2 ,., an), trong đó ai là toạ độ cột của con Hậu ở dòng i. Các điều kiện đặt ra đối với bộ (a1, a2 ,., an): ai  aj , với mọi i  j (nghĩa là hai con hậu ở hai dòng i và j không được nằm trên cùng một cột); | ai – aj |  | i – j |, với...

    ppt142 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 809 | Lượt tải: 0

  • Bài giảng Lý thuyết tổ hợp - Chương 2: Bài toán tồn tại (Tiếp theo)Bài giảng Lý thuyết tổ hợp - Chương 2: Bài toán tồn tại (Tiếp theo)

    Các số R(i,j) vừa trình bày ở trên chỉ là một trong số nhiều dòng số Ramsey đã được nghiên cứu. Việc xác định R(i,j) với những giá trị i, j cụ thể luôn là các bài toán tổ hợp không tầm thường. Hiện nay người ta mới biết giá trị của R(i, j) với rất ít giá trị của (i,j).

    ppt108 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 951 | Lượt tải: 0

  • Bài giảng Lý thuyết tổ hợp - Chương 2: Bài toán tồn tạiBài giảng Lý thuyết tổ hợp - Chương 2: Bài toán tồn tại

    Các tính chất cơ bản sau đây của số Ramsey R(i,j) có thể chứng minh bằng các lập luận tơng tự nh trong các ví dụ đã trình bày: R(i,j) = R(j,i); Nếu m có tính chất (i,j)-Ramsey, thì mọi số n > m cũng có tính chất này; Nếu m không có tính chất (i,j)-Ramsey, thì mọi số n < m cũng không có tính chất này; Nếu i1 ? i2 thì R(i1,j) ? R(i2,j).

    ppt103 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 846 | Lượt tải: 0

  • Bài giảng Lý thuyết tổ hợp - Chương 1: Bài toán đếmBài giảng Lý thuyết tổ hợp - Chương 1: Bài toán đếm

    If the extra terms F(n) are a degree-t polynomial in n, you should try a general degree-t polynomial as the particular solution p(n). This case: F(n) is linear so try an = cn + d. cn+d = 3(c(n−1)+d) + 2n (for all n) (2c+2)n + (2d−3c) = 0 (collect terms) So c = −1 and d = −3/2. So an = −n − 3/2 is a solution. Check: an≥1 = {−5/2, −7/2, −9...

    ppt178 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 677 | Lượt tải: 0

  • Bài giảng Lý thuyết tổ hợp - Chương 0: Mở đầuBài giảng Lý thuyết tổ hợp - Chương 0: Mở đầu

    Hỏi có bao nhiêu số có 5 chữ số mà mỗi chữ số đứng sau lại lớn hơn chữ số đứng trước? Giải: Mỗi một số cần đếm tương ứng với một cách chọn ra 5 chữ số từ 9 chữ số 1, 2, ., 9, và ngược lại mỗi một cách lấy ra 5 chữ số từ 1, 2, ., 9 sau khi sắp xếp theo thứ tự tăng dần cho ta đúng một số cần đếm. Vậy số lượng số cần đếm là C(9, 5). Lập luận tương t...

    ppt91 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 808 | Lượt tải: 0

  • Bài giảng Lý thuyết đồ thị - Chương 6: Bài toán luồng cực đạiBài giảng Lý thuyết đồ thị - Chương 6: Bài toán luồng cực đại

    Bổ đề 1. Trong suốt thuật toán, độ dài đường tăng ngắn nhất không khi nào bị giảm. CM sau. Bổ đề 2. Sau nhiều nhất m đường tăng ngắn nhất, độ dài đường tăng ngắn nhất sẽ tăng ngặt. CM sau. Định lý. Thuật toán đường tăng luồng ngắn nhất đòi hỏi thời gian tính O(m2n). CM O(m+n) thời gian để tìm đường ngắn nhất nhờ sử dụng BFS. O(m) lần tăng đố...

    ppt83 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 1044 | Lượt tải: 0

  • Bài giảng Lý thuyết đồ thị - Chương 5: Bài toán đường đi ngắn nhấtBài giảng Lý thuyết đồ thị - Chương 5: Bài toán đường đi ngắn nhất

    1935 – 2006 Proving the correctness of the transitive closure algorithm for boolean circuit. (Wikipedia) There is an interesting anecdote about his proof that the transitive closure algorithm, now known as Warshall's algorithm, is correct. He and a colleague at Technical Operations bet a bottle of rum on who first could determine whether this al...

    ppt78 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 863 | Lượt tải: 1