Đang tải... (xem toàn văn)
giải thuyết erdos szekeres và 1 số bái toán liên quan
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM NGUYỄN TIẾN THỊNH GIẢ THUYẾT ERD ¨ OS - SZEKERES VÀ MỘT SỐ BÀI TOÁN LIÊN QUAN LUẬN VĂN THẠC SỸ KHOA HỌC TOÁN HỌC Thái Nguyên - 2011 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM NGUYỄN TIẾN THỊNH GIẢ THUYẾT ERD ¨ OS - SZEKERES VÀ MỘT SỐ BÀI TOÁN LIÊN QUAN LUẬN VĂN THẠC SỸ KHOA HỌC TOÁN HỌC Chuyên ngành : Toán giải tích Mã số: 60.46.01 Người hướng dẫn khoa học: PGS.TS. Tạ Duy Phượng Thái Nguyên - 2011 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Mục lục Chương 1. Giả thuyết Erd ¨ os-Szekeres và một số bài toán mở rộng . . . . . . 4 1.1.Tổng quan về giả thuyết Erd ¨ os – Szekeres . . . . . . . . . . . . . . . 4 1.1.1. Lịch sử của bài toán Erd ¨ os-Szekeres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.1.2. Bài toán Erd ¨ os-Szekeres cho trường hợp các điểm ở vị trí bất kì . . . . . . . . . . . . . . . . . 9 1.2.Lời giải Bài toán ES(n) cho trường hợp n = 3, 4, 5 với tập điểm ở vị trí bất kỳ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.1. Lời giải Bài toán ES(n) cho trường hợp n = 3 với tập điểm ở vị trí bất kỳ . . . . . . . . 14 1.2.2. Lời giải Bài toán ES(n) cho trường hợp n = 4 với tập điểm ở vị trí bất kỳ . . . . . . . . 15 1.2.3. Lời giải Bài toán ES(n) cho trường hợp n = 5 với tập điểm ở vị trí bất kỳ . . . . . . . . 17 Chương 2. Bài toán Erd ¨ os về sự tồn tại đa giác lồi rỗng . . . . . . . . . . . 25 2.1.Lịch sử Bài toán Erd ¨ os về đa giác lồi rỗng. . . . . . . . . . . . 25 2.1.1. Đa giác lồi rỗng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.1.2. Đa giác lồi rỗng suy rộng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.2.Lời giải bài toán H(n) cho trường hợp n = 3, 4, 5 với tập điểm ở vị trí bất kỳ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 2.2.1. Chứng minh công thức H(n) cho trường hợp n = 3 với tập điểm ở vị trí bất kỳ . . . 32 2.2.2. Chứng minh công thức H(n) cho trường hợp n = 4 với tập điểm ở vị trí bất kỳ . . . 32 2.2.3. Chứng minh công thức H(n) cho trường hợp n = 5 với tập điểm ở vị trí bất kỳ . . . 35 Chương 3. Chứng minh giả thuyết Erd ¨ os-Szekeres với trường hợp n = 6 trong một số trường hợp riêng. . . . . . . . . . . . . . . . . . . 55 3.1.Giả thuyết Erd ¨ os-Szekeres với trường hợp n = 6. . . . . . . . . . 55 3.2.Chứng minh giả thuyết Erd ¨ os-Szekeres với trường hợp n = 6 trong một số trường hợp riêng. . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 Kết luận . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 Tài liệu tham khảo. . . . . . . . . . . . . . . . . . . . . . 64 1 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn MỞ ĐẦU Giả thuyết Erd ¨ os-Szekeres được đề cập đến từ rất sớm (vào năm 1935), xuất phát từ bài toán của Esther Klein với phát biểu rất ngắn gọn: • Giả thuyết Erd ¨ os-Szekeres : Mọi tập hợp trên mặt phẳng gồm không ít hơn 2 n−2 + 1 điểm ở vị trí tổng quát (không có ba điểm nào thẳng hàng) đều chứa n điểm là đỉnh của đa giác lồi. • Bất chấp sự đơn giản trong phát biểu, sau ba phần tư thế kỉ, giả thuyết Erd ¨ os-Szekeres mới được chứng minh cho các trường hợp n = 3, 4, 5. Gần đây (năm 2006) trường hợp n = 6 mới được chứng minh nhờ máy tính. Sau 75 năm, rất nhiều kết quả mới đã làm phong phú thêm giả thuyết Erd ¨ os-Szekeres. • Luận văn Giả thuyết Erd ¨ os-Szekeres và một số bài toán liên quan có mục đích trình bày chứng minh một số kết quả đã biết trong bài toán (giả thuyết) Erd ¨ os-Szekeres cho hai bài toán mở rộng. Bài toán thứ nhất là mở rộng của bài toán Erd ¨ os-Szekeres khi bỏ điều kiện các điểm ở vị trí tổng quát (không có ba điểm nào thẳng hàng), tức là các điểm ở vị trí bất kì. Bài toán thứ hai là bài toán Erd ¨ os về sự tồn tại đa giác lồi rỗng trong tập hợp các điểm bất kì trên mặt phẳng. • Luận văn gồm ba Chương. • Chương 1: Trình bày tổng quan về giả thuyết Erd ¨ os-Szekeres. Các kiến thức sử dụng trong luận văn. Chứng minh công thức ES(n) = 2 n−2 + 1 với n = 3, 4, 5 với tập điểm ở vị trí bất kỳ trong mặt phẳng. • Chương 2: Chứng minh công thức tính H(n) với n = 3, 4, 5 với tập điểm ở vị trí bất kỳ trong mặt phẳng. 2 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn • Chương 3: Trình bày lại một cách tóm lược công trình của Knut Dehnhardt, Heiko Harboth và Zsolt Lángi [9] đã chứng minh cho giả thuyết Erd ¨ os-Szekeres với trường hợp n = 6 trong một số trường hợp riêng mà không sử dụng máy tính. Luận văn được hoàn thành dưới sự hướng dẫn của PGS TS Tạ Duy Phượng. Tác giả xin bày tỏ lòng kính trọng và biết ơn thầy hướng dẫn đã tận tình giúp đỡ tác giả trong suốt quá trình tập dượt nghiên cứu và viết luận văn. Tác giả xin trân trọng cảm ơn các thầy cô giáo trường Đại học sư phạm thuộc Đại học Thái Nguyên và các thầy cô giáo Viện Toán học Việt Nam đã tận tâm giảng dạy và giúp đỡ tác giả hoàn thành khóa học. Đồng thời tác giả xin chân thành cảm ơn Trường Cao đẳng Công nghiệp Nam Định, nơi tác giả đang công tác, các đồng nghiệp, gia đình và bạn bè đã động viên, giúp đỡ và tạo điều kiện về mọi mặt trong quá trình tác giả học tập. Thái Nguyên, tháng 08 năm 2011 3 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Chương 1 Giả thuyết Erd ¨ os-Szekeres và một số bài toán mở rộng Trong chương này chúng tôi phát biểu giả thuyết Erd ¨ os-Szekeres cho trường hợp các điểm ở vị trí tổng quát và một mở rộng của bài toán Erd ¨ os- Szekeres cho trường hợp các điểm ở vị trí bất kì, đồng thời cũng trình bày chứng minh công thức Erd ¨ os-Szekeres trong trường hợp n = 3, 4, 5 với tập hợp điểm trên mặt phẳng ở vị trí bất kỳ. 1.1. Tổng quan về giả thuyết Erd ¨ os – Szekeres 1.1.1. Lịch sử của bài toán Erd ¨ os-Szekeres Năm 1933, Esther Klein đã phát biểu và chứng minh bài toán sau đây. Bài toán 1.1: Với năm điểm cho trước trong mặt phẳng ở vị trí tổng quát (không có ba điểm nào thẳng hàng), bao giờ ta cũng tìm được bốn điểm là đỉnh của một tứ giác lồi. Dưới đây là chứng minh của Klein. 4 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Xét đa giác lồi lớn nhất chứa tất cả năm điểm ở vị trí tổng quát. Chỉ có ba khả năng khác nhau sau đây xảy ra: Hình 1.1: Tập năm điểm ở vị trí tổng quát luôn tồn tại 4 điểm là đỉnh của một tứ giác lồi. Trường hợp thứ nhất (xem hình1.1-loại 1): Bao lồi của năm điểm là một ngũ giác. Khi ấy mọi bộ bốn điểm từ năm điểm ấy đều tạo thành tứ giác lồi (điểm còn lại nằm ngoài tứ giác lồi đó). Vậy ta có tứ giác lồi không chứa điểm nào bên trong. Erd ¨ os gọi các tứ giác này là tứ giác lồi rỗng. Trường hợp thứ hai (xem hình 1.1-loại 2): Bao lồi là tứ giác ABCD chứa một điểm E ở bên trong (tứ giác lồi ABCD chứa duy nhất một điểm E ở bên trong được gọi là tứ giác lồi gần rỗng). Kẻ đường chéo AC của tứ giác thì do ba điểm bất kì trong năm điểm đã cho không thẳng hàng nên điểm E phải thuộc tam giác ABC hoặc tam giác ACD. Trong hình 1.1-loại 2 thì điểm E nằm ở bên trong tam giác ABC (bên ngoài tam giác ACD). Khi ấy AECD là tứ giác lồi rỗng. Như vậy, trong trường hợp này ta có một tứ giác lồi rỗng AECD và một tứ giác lồi gần rỗng ABCD. Trường hợp cuối cùng (xem hình 1.1-loại 3): Bao lồi là tam giác ABC, hai điểm D và E còn lại nằm bên trong tam giác. Do không có ba 5 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn điểm nào thẳng hàng nên đường thẳng đi qua hai điểm D và E sẽ chia mặt phẳng chứa tam giác thành hai phần sao cho một nửa mặt phẳng phải chứa hai đỉnh của tam giác. Hai đỉnh này cùng với hai điểm thuộc phần trong tam giác tạo thành một tứ giác lồi rỗng. Từ quan sát trên, E. Klein đã đề nghị một bài toán tổng quát sau đây. Bài toán 1.2 : Với mỗi số tự nhiên n ≥ 3, hãy xác định số nguyên dương N(n) nhỏ nhất sao cho mọi tập có tối thiểu N(n) điểm trên mặt phẳng ở vị trí tổng quát chứa n điểm tạo thành một đa giác lồi n đỉnh. Bài toán 1.2 được phát biểu trong [15] và sau này được gọi là Bài toán Erd ¨ os-Szekeres. Trong [15], Bài toán 1.2 đã được tách ra thành hai bài toán: Bài toán 1.2a : Tồn tại hay không tồn tại số N(n). Bài toán 1.2b : Nếu số N(n) tồn tại thì hãy xác định N(n) như một hàm của n, tức là tìm số điểm N(n) nhỏ nhất mà từ đó có thể chọn ra được n điểm tạo thành đa giác lồi n đỉnh. Trong [15], đã trình bày chứng minh sự tồn tại số N(n) bằng hai cách hoàn toàn khác nhau: • Cách thứ nhất: Do Szekeres chứng minh không lâu sau khi E. Klein phát biểu bài toán, dựa trên định lí Ramsey (Szekeres và các thành viên khác trong nhóm sinh viên Budapest lúc đó không ai biết định lí Ramsey, nhưng để giải bài toán của Klein đưa ra, Szekeres đã phát hiện lại và sử dụng định lí này), từ đó ta có bất đẳng thức N(n) ≤ R 4 (n, 5), trong đó R 4 (n, 5) là số Ramsey. Tuy nhiên, đánh giá này là quá lớn so với thực tế. Thí dụ, với n = 5 thì N(5) ≤ 2 10000 , quá xa so 6 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn với thực tế N(5) = 9 . • Cách thứ hai: Do Erd ¨ os chứng minh nhờ kết hợp hình học với lí thuyết tổ hợp và kết quả ta được một đánh giá tốt hơn N(n) ≤ C n−2 2n−4 + 1 vào năm 1935 (xem chi tiết hơn trong [15]). Sau 63 năm Chung và Graham (xem [8]) đã chứng minh được N(n) ≤ C n−2 2n−4 , ∀ n ≥ 3. Ngay sau đó Kleitman và Pachter (xem [10]) đã chứng minh được N(n) ≤ C n−2 2n−4 + 7 − 2n, ∀ n ≥ 3 Cũng trong năm đó (1998) Tóth và Valtr (xem [19]) đã chứng minh được N(n) ≤ C n−2 2n−5 + 2, ∀ n ≥ 3. Sau đó 7 năm (2005) Tóth và Valtr (xem [20]) đã chứng minh được N(n) ≤ C n−2 2n−5 + 1, ∀ n ≥ 5. Như vậy đánh giá tốt nhất hiện nay là của Tóth và Valtr, tuy nhiên với n = 6 thì C 4 7 + 1 = 36 còn cách khá xa so với chứng minh của Szekeres và Peters năm 2006 là N(6) = 17, xem [18]. Theo [11], năm (1960-1961) P. Erd ¨ os and G. Szekeres đã xây dựng được trường hợp tổng quát cho tập hợp chứa 2 n−2 điểm ở vị trí tổng quát (không có ba điểm bất kỳ nào thẳng hàng) không chứa n-giác lồi. Do đó cận dưới của N(n) là không thể giảm được. Như vậy ta có: 2 n−2 < N(n) ≤ C n−2 2n−5 + 2 Vậy với n = 5, ta xét bài toán sau: Bài toán 1.3 : Với chín điểm cho trước ở vị trí tổng quát trong mặt phẳng (tức là không có ba điểm nào thẳng hàng) bao giờ ta cũng tìm được năm điểm tạo thành một ngũ giác lồi. Bài toán này lần đầu tiên được Đoàn Hữu Dũng giải và đăng trên tạp chí Toán học và Tuổi trẻ năm 1967, xem[1]. Trên các tài liệu nước 7 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ngoài, công thức N(5) = 9 lần đầu tiên được Kalbfleisch, Kalbfleisch và Stanton chứng minh năm 1970. Tuy nhiên, cách chứng minh trên là khá cồng kềnh, do đó công thức N(5) = 9 đã được Bonnice [7] năm 1974 và Lovász năm 1979 chứng minh theo cách đơn giản hơn. Cách chứng minh của Bonnice về cơ bản trùng với cách chứng minh của Đoàn Hữu Dũng. Như vậy, với n = 5 công thức N(5) = 9 đã được chứng minh ngắn gọn bởi Đoàn Hữu Dũng vào năm 1967 [1] và Bonnice vào năm 1974 [7]. Dựa trên các đẳng thức N(3) = 3 và N(4) = 5 Erd ¨ os và Szekeres đưa ra giả thuyết sau đây: Giả thuyết Erd ¨ os-Szekeres (1935): Mọi tập hợp trên mặt phẳng gồm không ít hơn 2 n−2 + 1 điểm ở vị trí tổng quát (không có ba điểm nào thẳng hàng) đều chứa n điểm là đỉnh của n giác lồi. Bất chấp sự đơn giản trong phát biểu, sau ba phần tư thế kỉ, giả thuyết Erd ¨ os - Szekeres chỉ mới được chứng minh cho các trường hợp n = 3, 4, 5. Trường hợp n = 6 mới được Szekeres và Peters chứng minh năm 2006 nhờ máy tính (xem [18]) và Knut Dehnhardt, Heiko Harborth, and Zsolt Lángi, V.A.Koshelev chứng minh cho một số trường hợp riêng (không dùng máy tính) năm 2009. Giả thuyết Erd ¨ os - Szekeres có liên quan chặt chẽ với các lĩnh vực khác của toán-tin học (lí thuyết Ramsey, lí thuyết đồ thị, hình học tổ hợp, ). Giả thuyết Erd ¨ os - Szekeres cũng được gọi là Bài toán Erd ¨ os - Szekeres. 8 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn [...]... đó năm đỉnh liên tiếp trên ∂ 1 lập thành ngũ giác lồi suy rộng Xem hình 1. 19 và 1. 20 Hình 1. 19: Tập có cấu hình (3,6) và (3,5 ,1) Hình 1. 20: Tập có cấu hình (3,6) và (3,5 ,1) 2 Cấu hình (3,4,2): Ta có |∂ Ω| = 3 Gọi các đỉnh của ∂ Ω là V1 ,V2 ,V3 , |∂ 1 | = 4 gọi các đỉnh của ∂ 1 là C, D, E, F, A và B là các điểm thuộc int {conv 1 } Khi đó ta chia mặt phẳng thành bốn miền, xem hình 1. 21 Miền (I) được... {convΩ}) xem hình 1. 13 Hình 1. 13: Tập có chín điểm chứa ngũ giác lồi suy rộng Khả năng thứ 2 |∂ Ω| = 4, ta gọi các đỉnh của ∂ Ω là V1 ,V2 , ,V4 Khi đó ta cần xét các cấu hình sau:(4,5); (4,4 ,1) ; (4,3,2) : 1 Cấu hình (4,5): Ta có |∂ Ω| = 4 và |∂ 1 | = 5 Gọi A, B,C, D, E là các đỉnh thuộc ∂ 1 Khi ấy các điểm A, B,C, D, E là đỉnh của ngũ giác lồi suy rộng cần tìm Xem hình 1. 14 và 1. 15 Hình 1. 14: Tập có cấu... int {conv 1 } Theo mệnh đề 1 cấu hình này cho ta ngũ giác lồi suy rộng Xem hình 1. 18 Hình 1. 18: Tập có cấu hình (4,3,2) 20 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Khả năng thứ 3 Khả năng thứ ba: |∂ Ω| = 3 Gọi các đỉnh của ∂ Ω là V1 ,V2 ,V3 Khi đó ta cần xét các cấu hình sau: (3,6); (3,5 ,1) ; (3,4,2) và (3,3,3) : 1 Cấu hình (3,6) và (3,5 ,1) : Ta có |∂ 1 | ≥ 5, do... một trong hai khả năng: 15 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn • Khả năng thứ nhất: |∂ Ω| ≥ 4, ta gọi các đỉnh của ∂ Ω là V1 ,V2 , ,Vk với k ≥ 4 Khi đó bốn đỉnh liên tiếp của ∂ Ω lập thành một tứ giác lồi suy rộng (xem hình 1. 9 và 1. 10 ) Hình 1. 9: Tập năm điểm có cấu hình (5) hoặc (4 ,1) Hình 1. 10: Tập năm điểm có cấu hình (5) hoặc (4 ,1) • Khả năng thứ hai:... thành hai miền và sẽ có một miền chứa ít nhất hai đỉnh của ∂ Ω Hai đỉnh này kết hợp với B, A, D lập thành ngũ giác lồi suy rộng Xem hình 1. 17 Hình 1. 17: Tập có cấu hình (4,4 ,1) có chứa ngũ giác lồi suy rộng 3 Cấu hình (4,3,2): Ta có |∂ Ω| = 4 và |∂ 1 | = 3 Gọi C, D, E là các đỉnh thuộc ∂ 1 , A và B là các đỉnh thuộc int {conv 1 } Như vậy cấu hình (4,3,2) chứa cấu hình con chuẩn tắc (4,3 ,1) bằng cách... Định nghĩa 1. 2 .1 (Cấu hình) Cho Ω là một tập hợp n điểm trên mặt phẳng ở vị trí bất kỳ (với n ≥ 3,) ta ký hiệu |Ω| là lực lượng của tập Ω Ta gọi tập: 1 = Ω\∂ Ω Ω2 = Ω\ {∂ Ω ∪ ∂ 1 } Ωk = Ω\ {∂ Ω ∪ ∂ 1 ∪ ∪ ∂ Ωk 1 , k ≥ 1} 10 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Khi đó nếu |∂ Ω| = i0 ; |∂ 1 | = i1 ; ; |∂ Ωk | = ik thì ta nói là tập Ω có cấu hình (i0 , i1 , , ik... giác BDE Khi đó ta có cấu hình(4,4 ,1) chứa cấu hình con chuẩn tắc (4,3 ,1) Vậy theo mệnh đề 1 Ω chứa các điểm là đỉnh của ngũ giác lồi suy rộng Xem hình 1. 16 Hình 1. 16: Tập có cấu hình (4,4 ,1) chứa năm điểm là đỉnh của ngũ giác lồi suy rộng (ii), Điểm A nằm trên đường chéo của tứ giác BCDE (thẳng hàng với hai đỉnh của ∂ 1 - ta giả sử là B và D) Khi đó đường thẳng 19 Số hóa bởi Trung tâm Học liệu – Đại... s đã đặt một bài toán mới liên quan tới giả thuyết o Erd¨ s -Szekeres, đó là Bài toán về đa giác lồi rỗng (xem [15 ]) Trước hết o chúng ta định nghĩa đa giác lồi rỗng 2 .1. 1 Đa giác lồi rỗng Định nghĩa 2 .1. 1 (Đa giác lồi rỗng) Cho S là tập hợp các điểm ở vị trí tổng quát trong mặt phẳng (không có ba điểm nào thẳng hàng) với |S| = k, k ≥ 3 Đa giác P căng bởi các điểm của Q trong S với số phần tử của |Q|... 3, ta gọi các đỉnh của ∂ Ω là V1 ,V2 ,V3 , các điểm thuộc int {convΩ} là A và B Khi đó tia AB chia mặt phẳng thành hai miền Do đó phải có một miền chứa đúng hai đỉnh của ∂ Ω ( kể cả đỉnh thuộc tia AB), hai đỉnh này kết hợp với AB lập thành tứ giác lồi rỗng suy rộng ( xem hình 1. 11) 16 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Hình 1. 11: Tập năm điểm có cấu hình (3,2)... B là điểm thuộc 12 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Hình 1. 4: Cấu hình (4,3 ,1) luôn chứa ngũ giác lồi suy rộng int {conv 1 }, xem hình1.5 Các tia AD, AE,BD, BF và đoạn AB chia mặt phẳng thành 3 miền: Hình 1. 5: Cấu hình (3,3,2) luôn chứa ngũ giác lồi suy rộng Miền (I) được giới hạn bởi các tia BD và BF Miền (II) được giới hạn bởi các tia AD và AE Miền (III) . bất kỳ. 1. 1. Tổng quan về giả thuyết Erd ¨ os – Szekeres 1. 1 .1. Lịch sử của bài toán Erd ¨ os -Szekeres Năm 19 33, Esther Klein đã phát biểu và chứng minh bài toán sau đây. Bài toán 1. 1: Với năm. thêm giả thuyết Erd ¨ os -Szekeres. • Luận văn Giả thuyết Erd ¨ os -Szekeres và một số bài toán liên quan có mục đích trình bày chứng minh một số kết quả đã biết trong bài toán (giả thuyết) Erd ¨ os -Szekeres. 2 011 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Mục lục Chương 1. Giả thuyết Erd ¨ os -Szekeres và một số bài toán mở rộng . . . . . . 4 1. 1.Tổng quan về giả thuyết