Các bài toán cơ bản của lý thuyết tổ hợp Các bài toán cơ bản của lý thuyết tổ hợp Các bài toán cơ bản của lý thuyết tổ hợp luận văn tốt nghiệp,luận văn thạc sĩ, luận văn cao học, luận văn đại học, luận án tiến sĩ, đồ án tốt nghiệp luận văn tốt nghiệp,luận văn thạc sĩ, luận văn cao học, luận văn đại học, luận án tiến sĩ, đồ án tốt nghiệp
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN Lê Thị Thanh Tâm CÁC BÀI TOÁN CƠ BẢN CỦA LÝ THUYẾT TỔ HỢP Chuyên ngành: PHƯƠNG PHÁP TOÁN SƠ CẤP Mã số: 60.46.0113 LUẬN VĂN THẠC SỸ TOÁN HỌC Người hướng dẫn khoa học TS Phạm Văn Thạo HÀ NỘI- 2014 Mục lục Mở đầu Bài toán tồn 1.1 Giới thiệu toán 1.2 Các phương pháp chứng minh tồn 1.2.1 Phương pháp chứng minh phản chứng 1.2.2 Nguyên lý Diriclet Bài toán liệt kê 2.1 Giới thiệu toán 2.2 Thuật tốn độ phức tạp tính tốn 2.2.1 Khái niệm thuật toán 2.2.2 Mơ tả thuật tốn ngơn ngữ 2.2.3 Độ phức tạp thuật toán 2.3 Phương pháp sinh 2.4 Thuật toán quay lui PASCAL 16 39 39 40 40 41 43 45 48 52 52 52 52 65 68 70 75 75 Bài toán đếm 3.1 Các toán đếm 3.1.1 Giới thiệu toán 3.1.2 Các quy tắc đếm 3.1.3 Tam giác Pascal nhị thức Newton 3.1.4 Nguyên lý bù trừ 3.1.5 Hệ thức truy hồi 3.2 Phân loại toán đếm 3.2.1 Bài tốn đếm có sử dụng hai quy tắc đếm 3.2.2 Bài toán đếm số tự nhiên thỏa mãn điều kiện cho trước 3.2.3 Phương trình, hệ phương trình, bất phương trình đẳng thức chứa cơng thức tổ hợp 3.2.4 Bài tốn đếm đối tượng hình học 3.2.5 Bài toán phân chia (hoặc lấy ra) đồ vật vào (hoặc khỏi) hộp 77 80 83 84 3.2.6 3.2.7 3.2.8 3.2.9 Hệ số ak xk khai triển Newton Bài tập nguyên lý bù trừ Bài tập hệ thức truy hồi Đẳng thức phương trình liên quan đến khai Newton triển Bài toán tối ưu 4.1 Giới thiệu toán 4.2 Bài toán tối ưu đồ thị 4.2.1 Các khái niệm lý thuyết đồ thị 4.2.2 Biểu diễn đồ thị ma trận 4.2.3 Bài tốn tìm bao trùm có trọng số nhỏ 4.2.4 Bài tốn tìm đường có trọng số nhỏ Kết luận Tài liệu tham khảo 88 90 91 96 108 108 108 108 117 120 126 130 131 Lời cảm ơn Tác giả xin chân thành cảm ơn tập thể cán bộ, giảng viên trường Đại học Khoa học Tự nhiên - Đại học Quốc gia Hà Nội tạo điều kiện giúp đỡ tác giả suốt trình học tập hồn thành luận văn tốt nghiệp Tác giả xin bày tỏ lịng kính trọng biết ơn sâu sắc đến TS Phạm Văn Thạo Thầy dành nhiều thời gian hướng dẫn giải đáp thắc mắc tác giả suốt trình tơi thực đề tài Tác giả xin chân thành cảm ơn Lãnh đạo đồng nghiệp trường THPT Chuyên Ngoại Ngữ - Đại học Ngoại Ngữ - ĐHQGHN tạo điều kiện thuận lợi giúp đỡ tác giả suốt trình học tập thực luận văn Tác giả xin cảm ơn bạn đồng khóa, gia đình bạn bè quan tâm giúp đỡ, động viên, tạo điều kiện thuận lợi cho tác giả suốt trình học tập hồn thành luận văn Mặc dù có nhiều cố gắng, song luận văn tránh khỏi thiếu sót, tác giả mong nhận ý kiến dẫn, đóng góp thầy cô bạn Trân trọng! Hà Nội, tháng 08 năm 2014 Học viên Lê Thị Thanh Tâm Mở đầu Các vấn đề liên quan đến lý thuyết tổ hợp phận quan trọng, hấp dẫn lý thú Tốn học nói chung Tốn học rời rạc nói riêng Tư tổ hợp xuất từ sớm lịch sử phát triển nhân loại đến kỉ thứ 17 hình thành ngành tốn học loạt cơng trình tiếng nhà tốn học Pascal, Fermat, Lenibniz, Euler, Kể từ sau tin học đời, lý thuyết tổ hợp phát triển ngày mạnh mẽ, có nội dung phong phú ứng dụng nhiều thực tế đời sống Trong toán học sơ cấp, tổ hợp xuất với nhiều tốn hay với độ khó cao Những bắt đầu làm quen với khái niệm tổ hợp thường khó hình dung hết độ phức tạp về cấu trúc tập đặc biệt Do tơi chọn đề tài "bài tốn lý thuyết tổ hợp" Luận văn trình bày bốn toán lý thuyết tổ hợp, xây dựng số toán áp dụng Luận văn gồm phần mở đầu, bốn chương, kết luận danh mục tài liệu tham khảo Chương 1: Bài toán tồn Trong chương tác giả giới thiệu toán tồn ba toán cổ tiếng toán bẩy cầu Euler, toán bốn màu toán chọn 2n điểm lưới n.n điểm Trong chương tác giả nêu hai phương pháp chứng minh tồn phương pháp chứng minh phản chứng phương pháp sử dụng nguyên lý Diriclet Chương 2: Bài toán liệt kê Chương trình bày theo bốn mục bao gồm: giới thiệu toán, thuật toán độ phức tạp tính tốn với phương pháp sinh thuật tốn quay lui Chương 3: Bài toán đếm Đây nội dung luận văn Trong chương tác giả nêu toán đếm bản, phân loại toán đếm theo dạng tập cụ thể Trong dạng tác giả có ví dụ minh họa tập tự luyện Chương 4: Bài toán tối ưu Trong chương tác giả giới thiệu toán, nhắc lại khái niệm lý thuyết đồ thị, biểu diễn đồ thị ma trận trình bày hai tốn là: Bài tốn tìm bao trùm có trọng số nhỏ tốn tìm đường có trọng số nhỏ Mặc dù thân cố gắng nghiêm túc học tập nghiên cứu khoa học thời gian có hạn, kiến thức thân hạn chế nên q trình thực luận văn khơng tránh khỏi sơ suất Rất mong nhận góp ý thầy cô bạn Tôi xin chân thành cảm ơn Chương Bài toán tồn 1.1 Giới thiệu toán Trong nhiều toán tổ hợp, việc tồn cấu hình thoả mãn tính chất cho trước khó khăn Bài tốn bẩy cầu nhà toán học Euler vào thể kỉ XVIII khiến người dân thành phố Konigsberg nhà toán học thời bao cơng tìm kiếm lời giải Hay đơn giản hơn, kì thủ cần phải tính tốn nước để giải đáp xem liệu có khả thắng hay khơng, người giải mật mã cần tìm chìa khố giải cho mật mã mà liệu có điện thật mã hố đối phương hay khơng, mật mã giả đối phương tung nhằm đảm bảo an toàn cho điện thật Như vậy, tổ hợp xuất vấn đề quan trọng xét tồn cấu hình tổ hợp với tính chất cho trước Các toán thuộc dạng gọi toán tồn tổ hợp Một toán tồn tổ hợp xem giải xong cách xây dựng cấu hình chứng minh chúng khơng tồn Tuy nhiên, hai khả dễ Để thấy rõ phức tạp vấn đề, xin xét số toán tồn cổ điển tiếng a, Bài toán bẩy cầu Euler Thành phố Konigsberg thuộc Thổ (bây gọi Kaliningrad thuộc cộng hoà Nga), chia thành bốn vùng nhánh sông Pregel Các vùng gồm hai vùng bên bờ sông, đảo Kneiphof miền nằm hai nhánh sông Pregel Vào kỉ XVIII, người ta xây bẩy cầu nối vùng với Hình 1, vẽ vùng cầu qua sông thành phố Vào chủ nhật người dân thường dọc theo phố Họ tự hỏi khơng biết xuất phát điểm thành phố qua tất cầu, cầu lần, trở điểm xuất phát khơng Nhà tốn học Thụy Sĩ, Leonhard Euler, giải tốn Lời giải ơng cơng bố năm 1736 ứng dụng lý thuyết đồ thị Ông chứng minh khơng có đường thoả mãn u cầu toán (lời giải chi tiết xin trình bày rõ chương IV) b, Bài tốn bốn màu Có tốn mà nội dung giải thích cho ai, lời giải tự tìm mà khó tìm Ngồi định lý Fermat tốn bốn màu tốn Bài tốn phát biểu trực quan sau: Chứng minh đồ mặt phẳng tơ bốn màu cho khơng có hai nước láng giềng tô màu Chú ý ta xem nước vùng liên thông hai nước gọi láng giềng chúng có chung biên giới đường liên tục Con số ngẫu nhiên, người ta chứng minh đồ tô với số màu lớn 4, cịn với số màu không tô được, chẳng hạn đồ gồm bốn nước hình khơng thể tơ với số màu Bài tốn xuất vào khoảng năm 1850 - 1852 từ nhà buôn người Anh Gazri, tô đồ hành nước Anh cố gắng chứng minh tơ màu Sau đó, năm 1952, ông viết thư cho De Morgan để thông báo giả thuyết Năm 1878, Keli báo đăng tuyển tập cơng trình Hội tốn học Anh có hỏi tốn giải hay chưa? Từ tốn trở thành tiếng kỉ, có nhiều người làm tốn nghiệp dư chuyên nghiệp cố gắng chứng minh giả thuyết Tuy nhiên, đến năm 1976 hai nhà toán học Mỹ K.Appel W.Haken chứng minh giả thuyết máy tính điện tử c, Bài tốn chọn 2n điểm lưới n × n điểm Chọn lưới vng gồm n × n điểm Hỏi chọn số chúng 2n điểm cho khơng có ba điểm chọn thẳng hàng hay không? người ta biết lời giải n 15 Hình cho lời giải toán với n = 12 1.2 1.2.1 Các phương pháp chứng minh tồn Phương pháp chứng minh phản chứng Phương pháp chứng minh phản chứng có lẽ phương pháp chứng minh sớm mà loài người biết đến, đặc biệt nghệ thuật diễn thuyết tranh luận Trong toán học, phương pháp chứng minh phản chứng thường sử dụng, đặc biệt cần chứng minh tính đối tượng T thoả mãn điều kiện cho trước (mà tồn T chứng minh trước đó) ta thường giả sử ∀T = T ; T thoả mãn điều kiện đó, từ suy điều vơ lý Vậy điều giả sử sai, tức T a, Cơ sở lý thuyết Giả sử ta phải chứng minh mệnh đề có dạng P =⇒ Q với P giả thiết, Q kết luận Ta tiến hành sau: Bước 1: Giả sử Q sai Bước 2: Từ giả sử Q sai từ P ta dùng lập luận, suy diễn để dẫn đến điều vô lý Bước 3: Từ ta suy Q Chú ý 1.1 Ta dùng phương pháp chứng minh phản chứng để chứng minh nguyên lý Diriclet Do đó, với nhiều tốn ta chứng minh ngun lý Diriclet phương pháp chứng minh phản chứng b, Phương pháp giải tốn qua ví dụ ... điện thật Như vậy, tổ hợp xuất vấn đề quan trọng xét tồn cấu hình tổ hợp với tính chất cho trước Các toán thuộc dạng gọi toán tồn tổ hợp Một toán tồn tổ hợp xem giải xong cách xây dựng cấu hình... Trong nhiều tình ta cịn phải rõ cấu hình tổ hợp cấu hình tổ hợp Bài toán đưa danh sách tất cấu hình tổ hợp có gọi tốn liệt kê tổ hợp Vì khác với toán tồn tại, toán liệt kê lại cần xác định thuật tốn... tổ hợp xuất với nhiều toán hay với độ khó cao Những bắt đầu làm quen với khái niệm tổ hợp thường khó hình dung hết độ phức tạp về cấu trúc tập đặc biệt Do chọn đề tài "bài toán lý thuyết tổ hợp"