Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)

Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)Một số bài toán đếm trong lý thuyết đồ thị (Luận văn thạc sĩ)

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NINH THỊ NỤ MỘT SỐ BÀI TOÁN ĐẾM TRONG LÝ THUYẾT ĐỒ THỊ LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN - 2019 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NINH THỊ NỤ MỘT SỐ BÀI TOÁN ĐẾM TRONG LÝ THUYẾT ĐỒ THỊ Chuyên ngành: Phương pháp Toán sơ cấp Mã số: 46 01 13 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC TS TRẦN NGUYÊN AN THÁI NGUYÊN - 2019 Mục lục Mở đầu Chương Mở đầu đại số tổ hợp lý thuyết đồ thị 1.1 Đại số tổ hợp 1.2 Công thức đa thức 12 1.3 Mở đầu lý thuyết đồ thị 14 Chương Bài toán đếm đồ thị 23 2.1 Cây toán đếm 23 2.2 Cơng thức tính số khung 29 2.3 Đánh giá số cạnh đồ thị phẳng 34 2.4 Số tam giác đồ thị 38 Kết luận 41 Tài liệu tham khảo 41 i Mở đầu Cùng với phát triển với tốc độ nhanh công nghệ thông tin, lý thuyết tổ hợp đồ thị trờ thành lĩnh vực toán học quan trọng cần thiết cho nhiều lĩnh vực khoa học ứng dụng Lý thuyết tổ hợp cầu nối toán cần giải với cơng cụ tính tốn, cịn đồ thị mơ hình trực quan để mơ tả quan hệ hai Trong thập kỷ gần đâỵ, người ta quan tâm nhiều tới đồ thị ứng dụng Đó đồ thị chứng tỏ mơ hình hữu hiệu cho tính tốn tối ưu Ngày khái niệm đồ thị xâm nhập không vào lĩnh vực khoa học tự nhiên truyền thống toán học, vật lý học hay hố học, mà cịn vào nhiều lĩnh vực khoa học tự nhiên xã hội khác Có nhiều toán toán lý thuyết đồ thị cần tìm hiểu tốn tối ưu đồ thị, tốn tơ màu đồ thị, cấu trúc đồ thị, Các toán đồ thị thường xuất đề thi học sinh giỏi cấp Luận văn tìm hiểu số tốn đếm lý thuyết đồ thị toán đếm cây; tính số khung; tìm mối liên hệ số yếu tố đồ thị cạnh, đỉnh; đếm số tam giác đồ thị Luận văn chia làm hai chương Chương trình bày số kiến thức chuẩn bị đại số tổ hợp, công thức đa thức mở đầu lý thuyết đồ thị Tuy kiến thức chuẩn bị cho Chương tác giả nhiều kiến thức chương kiến thức có nhiều ứng dụng giải tốn phổ thơng Chương chủ yếu tham khảo theo tài liệu [1, 2, 4] Chương trình bày số toán đếm lý thuyết đồ thị Bắt đầu toán đếm Việc đếm số đỉnh, số cảnh cho ta số đặc trưng (Định lý móc xích kiểu hoa cúc) Tiếp theo luận văn tìm hiểu số tập đỉnh cho trước, số có n đỉnh cho trước, với n số nguyên dương Luận văn tìm hiểu cách tính số khung ma trận Laplacian Việc đánh giá số đỉnh, số cạnh đồ thị phẳng xem toán đếm Cuối luận văn trình bày số đánh giá việc đếm số tam giác đồ thị, toán thường xuất đề thi học sinh giỏi Chương tham khảo theo tài liệu [4, 6, 7, 8, 9]] Trong trình làm luận văn, nhận hướng dẫn giúp đỡ tận tình TS Trần Nguyên An - Trường Đại học Sư phạm - Đại học Thái Nguyên Tôi xin bày tỏ lịng biết ơn sâu sắc đến thầy Tơi xin gửi lời cảm ơn chân thành đến quý thầy giảng dạy lớp Cao học khóa Cao học Tốn khóa 11E (2017-2019) - trường Đại học Khoa học - Đại học Thái Nguyên, truyền thụ đến cho nhiều kiến thức kinh nghiệm nghiên cứu khoa học Lời cuối cùng, tác giả muốn dành để tri ân bố mẹ gia đình chia sẻ khó khăn để tác giả hồn thành cơng việc học tập Thái Nguyên, ngày 30 tháng 01 năm 2019 Tác giả Ninh Thị Nụ Chương Mở đầu đại số tổ hợp lý thuyết đồ thị 1.1 Đại số tổ hợp Mục nhắc lại số kiến thức chuẩn bị Đại số tổ hợp quy tắc đếm bản, công thức tổ hợp Tài liệu tham khảo mục 1.1 1.2 Trần Nguyên An Nguyễn Văn Hồng (2016), Tập hợp logic Tốn, NXB Đại học Thái Nguyên Ngô Đắc Tân (2003), Lý thuyết tổ hợp đồ thị, NXB Đại học Quốc gia Hà Nội Người ta thường phân biệt nhiều mức độ việc giải toán tổ hợp Mức độ tìm cách bố trí đối tượng có tính chất cho Nếu tốn tổ hợp có nhiều lời giải đề đặt đếm số lời giải, mô tả tất lời giải toán cho Cuối cùng, lời giải khác phân biệt với tham số đó, vấn đề đặt tìm lời giải tối ưu toán cho Ở giới hạn vào việc đếm số lời giải toán tổ hợp Để làm việc này, người ta thường áp dụng công thức thiết lập cho loại tốn Tất cơng thức ấy, xét cho cùng, dựa hai quy tắc đơn giản quy tắc cộng quy tắc nhân Định nghĩa 1.1.1 (Quy tắc cộng) Nếu cơng việc thực theo n phương án khác nhau, đó: phương án có m1 cách thực hiện, phương án có m2 cách thực hiện, , phương án thứ n có mn cách thực Khi đó, có: m1 + m2 + + mn cách để hồn thành cơng việc cho Ta phát biểu quy tắc cộng theo ngôn ngữ tập hợp: Gọi A1 tập hợp đối tượng x1 , A2 tập hợp đối tượng x2 , , An tập hợp đối tượng xn Mỗi cách chọn đối tượng xi ứng với phần tử Ai đảo lại Điều kiện "cách chọn đối tượng xi không trùng với đối tượng xj , (j = i)" diễn tả theo ngôn ngữ tập hợp điều kiện: Ai ∩ Aj = ∅, (i = j); i, j = 1, 2, , n Cách chọn "x1 x2 xn" phiên dịch thành cách chọn phần tử tập hợp A1 ∪ A2 ∪ ∪ An Các số m1 , m2, , mn theo thứ tự số phần tử tập hợp A1, A2, , An, tức là, theo cách ký hiệu quen thuộc m1 = |A1 |, m2 = |A2 |, , mn = |An | Mệnh đề 1.1.2 Nếu A1 , , Am tập hợp hữu hạn đơi rời nhau, đó: |A1 ∪ ∪ Am | = |A1 | + + |Am−1| + |Am | Quy tắc cộng mở rộng cho công thức |A1 ∪ A2 ∪ ∪ An |, A1 , , An tập hợp hữu hạn tùy ý (không thiết đôi rời nhau) Công thức gọi Nguyên lý bao hàm loại trừ Định lý 1.1.3 (Nguyên lý bao hàm loại trừ) Giả sử A1 , A2, An Là tập hữu hạn Khi đó: |Ai1 | − |A1 ∪ A2 ∪ ∪ An | = 1≤i1≤n + (−1) k+1 + (−1) n+1 |Ai1 ∩ Ai2 | + 1≤i1 ≤i2 ≤n |Ai1 ∩ Ai2 ∩ ∩ Aik | + 1≤i1 ≤i2 ≤ ik ≤n |Ai1 ∩ Ai2 ∩ ∩ Ain | Định nghĩa 1.1.4 (Quy tắc nhân) Nếu cơng việc phải hồn thành qua m giai đoạn liên tiếp, đó: giai đoạn có m1 cách thực hiện, giai đoạn có m2 cách thực hiện, , giai đoạn n có mn cách thực Khi đó, có: m1 m2 mn cách để hồn thành công việc cho Mệnh đề 1.1.5 Cho s tập hợp hữu hạn A1 , A2 , , An (n ≥ 2) Khi |A1 × A2 × × An | = |A1 |.|A2| |An| Định nghĩa 1.1.6 Cho X tập hợp có n phần tử k > số tự nhiên Một chỉnh hợp có lặp chập k n phần tử thứ tự k gồm k phần tử X Ta kí hiệu An số chỉnh hợp có lặp chập k n phần tử Ví dụ 1.1.7 Cho X = {a, b, c} Khi (a, a, b, c) chỉnh hợp có lặp chập phần tử Những (b, a, a), (a, b, c) chỉnh hợp có lặp chập phần tử Tất chỉnh hợp có lặp chập phần tử (a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c) Do A3 = Mệnh đề 1.1.8 Chỉnh hợp có lặp chập k n phần tử cho công thức k An = nk Định nghĩa 1.1.9 Cho X tập hợp có n phần tử < k ≤ n số tự nhiên Một chỉnh hợp không lặp chập k n phần tử thứ tự gồm k phần tử phân biệt X Ta kí hiệu Akn số chỉnh hợp không lặp chập k n phần tử Ví dụ 1.1.10 Cho X = {a, b, c} Khi (a, b, c) chỉnh hợp không lặp chập phần tử; (b, a, a) không chỉnh hợp không lặp chập phần tử Các chỉnh hợp không lặp chập phần tử (a, b), (a, c), (b, a), (b, c), (c, a), (c, b) Do A23 = Mệnh đề 1.1.11 Số chỉnh hợp không lặp chập k n phần tử cho công thức Akn = n! , (n − k)! ta quy ước 0! = Cho thuận tiện, ta quy ước có chỉnh hợp không lặp chập n phần tử Định nghĩa 1.1.12 Cho X tập hợp có n phần tử Một hoán vị n phần tử thứ tự gồm n phần tử phân biệt X Ta kí hiệu Pn số hốn vị n phần tử Ví dụ 1.1.13 Cho X = {a, b, c} Khi hốn vị phần tử (a, b, c), (b, c, a), (c, a, b), (a, c, b), (c, b, a)(b, a, c) Do P3 = Mệnh đề 1.1.14 Số hoán vị n phần tử cho công thức Pn = n! Định nghĩa 1.1.15 Cho n, k số tự nhiên cho ≤ k ≤ n Cho X tập gồm n phần tử Một tổ hợp chập k n phần tử tập X gồm k phần tử Ta kí hiệu Cnk số tổ hợp chập k n phần tử Ví dụ 1.1.16 Cho k = n = Cho X = {a, b, c, d} Khi tổ hợp chập phần tử tập X {a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d} Do C42 = Mệnh đề 1.1.17 Cơng thức tính số tổ hợp chập k n phần tử cho công thức Cnk = n! , k!(n − k)! ta quy ước 0! = Mệnh đề 1.1.18 Cho k, n số tự nhiên cho ≤ k ≤ n Khi ta có (i) Cnk = Cnn−k k−1 k (ii) Cnk = Cn−1 + Cn−1 (iii) Với n k số nguyên dương ta có k−1 k−1 k−1 k−1 Cnk = Cn−1 + Cn−2 + + Ck+1 + Ckk−1 + Ck−1 Mệnh đề 1.1.19 Cho số tự nhiên n > cho a, b hai số thực Khi ta có (a + b)n = Cn0an + Cn1an−1b + Cn2an−2 b2 + + Cnn−1abn−1 + Cnnbn Hệ 1.1.20 Với số tự nhiên n ta có (i) Cn0 + Cn1 + + Cnn = 2n Do đó, có 2n tập tập gồm n phần tử (ii) Cn0 − Cn1 + Cn2 + + (−1)k Cnk + + (−1)nCnn = (iii) Cn1 − 2Cn2 + 3Cn3 − 4Cn4 + + (−1)k−1kCnk + + (−1)n−1nCnn = với n ≥ (iv) Cn1 + 2Cn2 + + kCnk + + nCnn = n2n−1 với n ≥ Kết sau cho ta cách đếm số phân hoạch tập hợp có m phần tử cho trước thỏa mãn số yêu cầu Định lý 1.1.21 Cho số tự nhiên k1 , k2 , , ks cho k1 + k2 + + ks = m Khi số phân hoạch tập hợp A gồm m phần tử khác thành hợp rời rạc s tập B1 , B2 , , Bs, với số phần tử theo thứ tự k1, k2, , ks, m! k1 !.k2! ks ! Chứng minh Ta thực phân hoạch mô tả tập A thành s tập B1 , B2, , Bs sau: Ta lấy tập B1 k1 cách), chứa k1 phần tử tập hợp A (điều thực theo Cm m − k1 phần tử lại, ta lấy tập B2 chứa k2 phần tử (điều k2 cách) Khi đó, theo quy tắc nhân, số tất thực theo Cm−k cách chọn tập B1 , B2 , , Bs ks k3 k2 k1 × Cm−k × Cm−k ×Cm−k Cm −k2 − −ks−1 −k2 m! (m − k1 )! (m − k1 − k2 )! = × × k1!(m − k1)! k2 !(m − k1 − k2 )! k3!(m − k1 − k2 − k3 )! (m − k1 − k2 − − ks )! × × ks !(m − k1 − k2 − − ks )! m! = k1!.k2! ks ! Định nghĩa 1.1.22 Cho s phần tử khác a1 , a2 , , as Một chỉnh hợp có lặp chập m s phần tử cho, có k1 phần tử thứ a1 , có k2 phần tử thứ hai a2 , , có ks phần tử as (với m = k1 + k2 + + ks ), gọi hốn vị có lặp cấp m = k1 + k2 + + ks kiểu (k1 , k2 , , ks ) s phần tử Số hốn vị có lặp cấp m kiểu (k1 , k2 , , ks) s phần tử kí hiệu Cm (k1, k2, , ks) ... Các toán đồ thị thường xuất đề thi học sinh giỏi cấp Luận văn tìm hiểu số tốn đếm lý thuyết đồ thị tốn đếm cây; tính số khung; tìm mối liên hệ số yếu tố đồ thị cạnh, đỉnh; đếm số tam giác đồ thị. .. trình bày số toán đếm lý thuyết đồ thị Bắt đầu toán đếm Việc đếm số đỉnh, số cảnh cho ta số đặc trưng (Định lý móc xích kiểu hoa cúc) Tiếp theo luận văn tìm hiểu số tập đỉnh cho trước, số có n... Luận văn Một số toán đếm lý thuyết đồ thị đạt kết sau: - Tìm hiểu đại số tổ hợp, cơng thức đa thức - Tìm hiểu khái niệm, tính chất lý thuyết đồ thị - Tìm hiểu toán đếm tập đỉnh cho trước; đếm