Giáo trình Toán rời rạc - Lời nói đầu và Mục lục

LỜI NÓI ĐẦU Được sự động viên mạnh mẽ của các đồng nghiệp trong các Khoa Toán-Cơ-Tin học, Công nghệ Thông tin và Vật lý (Trường Đại học Khoa học-Đại học Huế), các Khoa Toán và Tin học (Trường Đại học Sư phạm-Đại học Huế) và đặc biệt do nhu cầu học tập của các sinh viên trong Đại học Huế ở các Khoa nói trên và các học viên cao học ngành Phương pháp giảng dạy Toán, chúng tôi mạnh dạn viết giáo trình Toán rời rạc trong khi trên thị trường sách có khá nhiều tài liệu liên quan đến Toán rời rạc. Điều mà chúng tôi mong muốn là các kiến thức của học phần này phải được đưa vào đầy đủ, cô đọng, chính xác, cập nhật, bám sát theo yêu cầu đào tạo sinh viên các ngành Công nghệ Thông tin, Toán-Tin, Vật lý-Tin và một số ngành kỹ thuật khác của các trường đại học và cao đẳng. Với sự nổ lực hết mình của bản thân, chúng tôi thiết nghĩ đây sẽ là tài liệu tham khảo tốt cho các giáo viên giảng dạy học phần toán rời rạc, các học viên cao học ngành Phương pháp giảng dạy Toán, các thí sinh thi vào cao học ngành công nghệ thông tin, các sinh viên thuộc các ngành được đề cập ở trên và các học sinh thuộc khối chuyên Toán, chuyên Tin. Nội dung của tài liệu này được bố trí trong 4 phần, không kể lời nói đầu, mục lục, tài liệu tham khảo và phần phụ lục: -- Phần 1 được dành cho Chương I đề cập đến Thuật toán; -- Phần 2 được dành cho Chương II nói đến bài toán đếm; -- Phần 3, đây là phần chiếm nhiều trang nhất trong giáo trình, bàn về Lý thuyết đồ thị và các ứng dụng gồm 5 chương: Đồ thị, Đồ thị Euler và đồ thị Hamilton, Một số bài toán tối ưu trên đồ thị, Cây, Đồ thị phẳng và tô màu đồ thị; -- Phần 4 được dành cho Chương 8, chương cuối cùng, đề cập đến Đại số Boole. Trong mỗi chương, các chứng minh của các định lý, mệnh đề được trình bày chi tiết, ngoại trừ một số định lý có phần chứng minh quá phức tạp thì được chúng tôi bỏ qua. Trong các phần của mỗi chương có nhiều ví dụ cụ thể minh hoạ cho những khái niệm cũng như những kết quả của chúng. Cuối của mỗi chương là những bài tập được chọn lọc từ dễ đến khó, bám theo nội dung của chương đó. Chúng tôi xin chân thành cám ơn các đồng nghiệp đã động viên và góp ý cho công việc viết giáo trình Toán rời rạc này và lời cám ơn đặc biệt xin dành cho Khoa Công nghệ Thông tin về sự giúp đỡ quý báu và tạo điều kiện thuận lợi cho việc xuất bản giáo trình này. Tác giả mong nhận được sự chỉ giáo của các đồng nghiệp và độc giả về những thiếu sót khó tránh khỏi của cuốn sách. Mùa Thu năm 2003 MỤC LỤC Lời nói đầu 1 Mục lục 2 Chương I: Thuật toán 4 1.1. Khái niệm thuật toán 4 1.2. Thuật toán tìm kiếm 5 1.3. Độ phức tạp của thuật toán 7 1.4. Số nguyên và thuật toán 12 1.5. Thuật toán đệ quy 17 Bài tập Chương I 19 Chương II: Bài toán đếm 22 2.1. Cơ sở của phép đếm 22 2.2. Nguyên lý Dirichlet 25 2.3. Chỉnh hợp và tổ hợp suy rộng 28 2.4. Sinh các hoán vị và tổ hợp 30 2.5. Hệ thức truy hồi 32 2.6. Quan hệ chia để trị 34 Bài tập Chương II 35 Chương III: Đồ thị 37 3.1. Định nghĩa và thí dụ 37 3.2. Bậc của đỉnh 39 3.3. Những đơn đồ thị đặc biệt 41 3.4. Biểu diễn đồ thị bằng ma trận và sự đẳng cấu đồ thị 44 3.5. Các đồ thị mới từ đồ thị cũ 46 3.6. Tính liên thông 47 Bài tập Chương III 51 Chương IV: Đồ thị Euler và Đồ thị Hamilton 54 4.1. Đường đi Euler và đồ thị Euler 54 4.2. Đường đi Hamilton và đồ thị Hamilton 58 Bài tập Chương IV 64 Chương V: Một số bài toán tối ưu trên đồ thị 67 5.1. Đồ thị có trọng số và bài toán đường đi ngắn nhất 67 5.2. Bài toán luồng cực đại 72 5.3. Bài toán du lịch 79 Bài tập Chương V 84 Chương VI: Cây 87 6.1. Định nghĩa và các tính chất cơ bản 87 6.2. Cây khung và bài toán tìm cây khung nhỏ nhất 88 6.3. Cây có gốc 93 6.4. Duyệt cây nhị phân 94 Bài tập Chương VI 101 Chương VII: Đồ thị phẳng và tô màu đồ thị 104 7.1. Đồ thị phẳng 104 7.2. Đồ thị không phẳng 106 7.3. Tô màu đồ thị 107 Bài tập Chương VII 112 Chương VIII: Đại số Boole 114 8.1. Khái niệm đại số Boole 114 8.2. Hàm Boole 117 8.3. Mạch lôgic 120 8.4. Cực tiểu hoá các mạch lôgic 125 Bài tập Chương VIII 132 Tài liệu tham khảo 134 Phần phụ lục 135 Phụ lục 1 135 Phụ lục 2 158