MỞ đầu lý THUYẾT tổ hợp (TOÁN rời rạc SLIDE)

Phần thứ LÝ THUYẾT TỔ HỢP Combinatorial Theory Toán rời rạc Nội dung Mở đầu Bài toán đếm tổ hợp (Counting Problem) Bài toán tồn tổ hợp (Existence Problem) Bài toán liệt kê tổ hợp (Enumeration Problem) Bài toán tối ưu tổ hợp (Combinatorial Optimization Problem) Toán rời rạc Mở đầu NỘI DUNG 0.1 Tổ hợp gì? 0.2 Sơ lược lịch sử phát triển tổ hợp 0.3 Tập hợp ánh xạ Toán rời rạc 0.1 Tổ hợp gì?  Đối tượng nghiên cứu  Nội dung nghiên cứu Toán rời rạc Đối tượng nghiên cứu tổ hợp  Lý thuyết tổ hợp gắn liền với việc nghiên cứu xếp phần tử tập hữu hạn phân bố phần tử vào tập hữu hạn Mỗi cách xếp phân bố gọi cấu hình tổ hợp  Có thể nói vắn tắt: Tổ hợp lý thuyết tập hữu hạn Toán rời rạc Phân loại toán  Trong tài liệu tổ hợp, thường gặp dạng toán đây: Bài toán đếm tổ hợp (Counting Problem) Bài toán tồn tổ hợp (Existence Problem) Bài toán liệt kê tổ hợp (Enumeration Problem) Bài toán tối ưu tổ hợp (Combinatorial optimization Problem) Toán rời rạc Bài toán đếm – Counting Problem Đây toán nhằm trả lời câu hỏi: “Có cấu hình thoả mãn điều kiện cho trước?"  Phương pháp đếm thường dựa vào số nguyên lý số kết đếm cấu hình đơn giản  Bài tốn đếm áp dụng cách có hiệu vào cơng việc mang tính chất đánh tính xác suất kiện, tính độ phức tạp thuật toán,  Toán rời rạc Bài toán tồn tổ hợp (Existence Problem) Khác với toán đếm, toán tồn tổ hợp cần trả lời câu hỏi: “Tồn hay cấu hình tổ hợp thoả mãn tính chất cho?”  Rõ ràng đếm số lượng cấu hình tổ hợp thoả mãn tính chất cho ta giải tốn tồn tương ứng!  Có thể coi toán tồn trường hợp riêng tốn đếm khơng?  Tốn rời rạc Ví dụ  Bài tốn phủ bàn cờ quốc tế quân domino: “Cho bàn cờ quốc tế kích thước 88 bị đục hai góc đối diện domino, quân phủ kín bàn cờ Hỏi phủ kín bàn cờ cho 31 quân domino?” Toán rời rạc Bàn cờ quốc tế quân domino Toán rời rạc 10 ÁNH XẠ  Định nghĩa  Cách xác định ánh xạ  Đơn ánh, tồn ánh, song ánh Tốn rời rạc 77 Ánh xạ  Ta nói f ánh xạ từ tập X vào tập Y đặt tương ứng phần tử xX với phần tử yY • Ký hiệu: f: X Y y = f(x) • x gọi gốc, y gọi ảnh  Trong giáo trình giải tích làm quen với hàm số thực f đặt tương ứng số thực xR với giá trị thực y = f(x) Toán rời rạc 78 Xác định ánh xạ  Cho hai tập hữu hạn X Y  Để xác định ánh xạ f từ X vào Y (f: XY) ta sử dụng cách sau: • Bảng giá trị đầy đủ • Sơ đồ ánh xạ • Ma trận ánh xạ Tốn rời rạc 79 Xác định ánh xạ: Bảng giá trị đầy đủ  Giả sử •  X = {x1, x2, , xm}, Y = {y1, y2, , yn}, Một ánh xạ f từ X vào Y (f: XY) xác định bảng giá trị đầy đủ sau x x1 x2 xm y=f(x) f(x1) f(x2) f(xm) Như ánh xạ từ tập m phần tử X vào tập n phần tử Y hoàn toàn xác định ảnh (f(x1), f(x2), , f(xm)) Toán rời rạc 80 Sơ đồ ánh xạ  Ánh xạ xác định sơ đồ sau: f x• X f • y Y X • • • • • Y • • • • Sơ đồ Toán rời rạc y x Đồ thị hàm số 81 Ma trận ánh xạ  Giả sử • •  X = {x1, x2, , xm}, Y = {y1, y2, , yn}, Một ánh xạ f từ X vào Y (f: XY) xác định ma trận Af = {aij} kích thước mn với phần tử xác định theo qui tắc sau đây: 1, n� u yj l�ph� n t�t� � ng � ng v� i xi qua � nh x�f � aij  � 0, n� u tr� i l� i � Toán rời rạc 82 Ví dụ • •   X = { Thắng, Mạnh, Hùng, Cường }; Y = { Mai, Mơ, Mận, Me, Muỗm } Xét ánh xạ f từ X vào Y xác định bảng giá trị đầy đủ sau: x Thắng Mạnh Hùng Cường y=f(x) Mai Mai Mận Muỗm Ánh xạ nói cho sơ đồ ma trận sau: Thắng Mạnh Hùng Cường Mai Mơ Mận Me Mai M�M� n Me Mu� m �1 �1 Af  � �0 � �0 0 0 0 0 0 0 0 �Thắng � �Mạnh �Hùng �Cường � Muỗm Toán rời rạc 83 Một số loại ánh xạ hay dùng  Xét loại ánh xạ hay dùng • • •   Đơn ánh Toàn ánh Song ánh Giả sử X, Y tập hợp Đơn ánh: Ánh xạ f : X  Y gọi đơn ánh (injection) đặt tương ứng hai phần tử khác X với hai phần tử khác Y x1, x2  X, x1  x2 f(x1)  f(x2) Toán rời rạc 84 Một số loại ánh xạ hay dùng  Toàn ánh: Ánh xạ f từ X vào Y gọi toàn ánh (surjection) phần tử Y ảnh phần tử X qua ánh xạ f yY,  xX: y = f(x)  Song ánh: Ánh xạ f từ X vào Y gọi song ánh (bijection, one to one) hay gọi tương ứng 1-1(one-to-one correspondence), sánh, vừa đơn ánh vừa tồn ánh Tốn rời rạc 85 Ví dụ  Sơ đồ số ánh xạ: • • • • Đơn ánh • • • • • • • • • • • • • • • • • • • • • • Toàn ánh Toán rời rạc Song ánh 86 Ứng dụng  Xét toán: Đếm số phần tử tập X Giả sử Y tập mà số phần tử biết: ny = |Y| Giả sử ta xây dựng ánh xạ f từ X vào Y Khi • Nếu f đơn ánh, ta có |X|  n • Nếu f tồn ánh, ta có |X|  n • Nếu f song ánh, ta có |X| = n y y y  Trong tình thứ ba ta giải toán đếm đặt ra, nhờ xây dựng song ánh từ tập cấu hình tổ hợp cần đếm (tập X) vào tập cấu hình tổ hợp mà ta biết trước số phần tử (tập Y) Tốn rời rạc 87 Ví dụ  Hỏi có số có chữ số mà chữ số đứng sau lại lớn chữ số đứng trước? Giải: Mỗi số cần đếm tương ứng với cách chọn chữ số từ chữ số 1, 2, , 9, ngược lại cách lấy chữ số từ 1, 2, , sau xếp theo thứ tự tăng dần cho ta số cần đếm Vậy số lượng số cần đếm C(9, 5)  Lập luận tương tự ta có số lượng số cần đếm số cách loại bỏ chữ số từ dãy Vậy số lượng số cần đếm C(9, 4)  Như lập luận tổ hợp ta chứng minh C(9,5) = C(9,4) Toán rời rạc 88 Ask questions! Toán rời rạc 89 Toán rời rạc 90 Toán rời rạc 91 ... Problem) Toán rời rạc Mở đầu NỘI DUNG 0.1 Tổ hợp gì? 0.2 Sơ lược lịch sử phát triển tổ hợp 0.3 Tập hợp ánh xạ Toán rời rạc 0.1 Tổ hợp gì?  Đối tượng nghiên cứu  Nội dung nghiên cứu Toán rời rạc Đối... tiễn lý thuyết tổ hợp đóng góp phần đáng kể việc xây dựng thuật toán hữu hiệu Toán rời rạc 18 Mở đầu NỘI DUNG 0.1 Tổ hợp gì? 0.2 Sơ lược lịch sử phát triển tổ hợp 0.3 Tập hợp ánh xạ Toán rời rạc. .. điểm nhất! Toán rời rạc 36 Mở đầu NỘI DUNG 0.1 Tổ hợp gì? 0.2 Sơ lược lịch sử phát triển tổ hợp 0.3 Tập hợp ánh xạ Toán rời rạc 37 TẬP HỢP  Các khái niệm  Các phép toán tập hợp  Sơ đồ Venn