... định lý tô màu đồ thị Định lý (Định lý màu) Mọi đồ thị phẳng có sắc số không lớn Định lý chứng minh Appel Haken Đây định lý chứng minh với trợ giúp máy tính Ta chứng minh định lý yếu ... thị Thuật toán Welch Powell Chú ý Kết thuật toán không sắc số Thuật toán cho ta kết chấp nhận Bài toán tìm sắc số toán khó! 27 Đỗ Văn Anh – KHMT3 Tô màu đồ thị Thuật toán Welch Powell ... TOÁN RỜI RẠC ĐỒ THỊ PHẲNG VÀ CÁC BÀI TOÁN VỀ TÔ MÀU ĐỒ THỊ Đỗ Văn Anh – KHMT3 ĐỒ THỊ PHẲNG Bài toán Tìm cách làm cho đường dẫn từ nhà tới giếng cho đường cắt nhau? Mô hình toán ...
... Số điện thoại khách hàng đăng ký MSKH (Text, 6) M khách hàng 09/02/2000 NHTBG (Date,10) Thời hạn hoànthành công trình bàn giao sử dụng SUM_CT (Numeric,15,2) Tổng giá trị công trình Báo hiệu chuông...
... thuật toán để tạotập I có từ đồ thị G Đặt G = G, Quay lại bước Thuật toán tổng hợp củahai thuật toán trình bày trước Cài đặt thuật toán không khó khăn.Bạn tự cài đặt Bài toán xếp lịch, cụ thể bàitoán ... theo hai thuậttoán Hai thuật toán xâydựng xong Thuật toán thứ dùng để phân chia nhóm thành tập hợpđộc lập với Thuật toán thứ hai xếp tập vào phòng thích hợp.Ta sử dụng hai thuật toán để công cụ ... bàitoán xếp lịch thi chứng minh thuộc lớp toán NP-đầy đủ(NP-complete), biết sử dụng một chiến thuật thuật toán hợp lýcùng với phát triển vũ bão công nghệ máy tính toán cũngphần giải ...
... nghị Sinh viên Nghiên cứu Khoa học” lần thứ Đại học Đà Nẵng - 2008 NỘI DUNG 2.1 Cơ sở lý thuyết 2.1.1 Thuật toán tô màu đồ thị Input: đồ thị G = (V, E) Output: đồ thị G = (V, E) có đỉnh gán màu ... ngày …, đến ngày …), định xếp lịch thi Hệ thống có chức (được thể Use case hình vẽ) - Xử lý đầu vào: xử lý liệu sinh viên đăng kí - Xếp lịch thi: thực xếp lịch - Xem lịch: lịch thi xếp xong, hệ ... Chiến: Giáo trình Lý thuyết đồ thị, ĐHSP-ĐHĐN, 2005 [5] ThS Nguyễn Văn Hưng: Giáo trình Phân tích thiết kế hệ thống thông tin, 2005 [6] Phạm Hữu Khang: Lập trình C#, Nxb Lao động xã hội, 2006...
... phòng không quản lý nữa, nút lưu để hoàn tất trình cài đặt, nút thoát để thoát khỏi cài đặt mà không lưu lại thay đổi c) Chức quản lý thời gian Hình 13 Mẫu quản lý thi Chức quản lý thời gian thi ... giáo dục theo tín hoàn toàn, nên chương trình chưa thực tối ưu hóa Nhóm phấn đấu để thay đổi cải tiến chương trình cho việc xếp lịch tự độnghoàn toàn: tự động phân nhóm, tự động xếp phòng thực ... đó, chọn tự động, để chương trình tự động xếp nhóm cho môn thi, chức tự động phân nhóm cho nhóm đại học cao đẳng 17 Báo cáo nghiên cứu khoa học sinh viên năm 2012 Đề tài: Áp dụng thuật toán tô màu...
... giải pháp tốt, không thiết giải pháp tối ưu Phương pháp tham lam Có nhiều giải pháp đưa nhằm giải toán tô màu đồ thị với số đỉnh lớn có độ phức tạp hợp lý so với phương pháp vét cạn Một giải pháp ... nghiên cứu vấn đề thuật toán thu thành công đáng kể Một số ứng dụng toán tô màu đồ thị Đồ thị toán tô màu đô thị cung cấp nhiều giải pháp ứng dụng để giải nhiều toán thực tế khoa học – kĩ thuật ... Đa thức màu đối tượng nghiên cứu lý thuyết đại số đồ thị, nhánh toán học Đa thức màu đề xuất Geogre David Birkhoff nỗ lực ông nhằm giải toán định lý bốn màu Định lý Geogre David Birkhoff phát biểu...
... Các toán điển hình - Bài toán tập độc lập Bài toán tô mầu đồ thị Bài toán tìm đường ngắn Bài toán luồng cực đại Bài toán phủ tối thiểu Kiểm tra tính liên thông đồ thị Duyệt đồ thị … Bài toán ... m-màu đỉnh củaG 8|Page Algo2010N15-NguyenThiThanhVi-NgoVanVi-NhamNgocTrung-CNPMK52 - Thuật toán phương pháp giải vấn đề thích hợp để thực chương trình máy tính Trong thiết kế thuật toán thường ... thúc Bài toán tô mầu cạnh 2.1 Giải thuật Về thuật toán giải toán tô màu cạnh đồ thị giới có nhiều thuật toán đề suất • Thuật toán thu gọn (Contraction algorthms) đề xuất Zykov • Thuật toán tô...
... Các toán điển hình - Bài toán tập độc lập Bài toán tô mầu đồ thị Bài toán tìm đường ngắn Bài toán luồng cực đại Bài toán phủ tối thiểu Kiểm tra tính liên thông đồ thị Duyệt đồ thị … Bài toán ... đỉnh củaG - Thuật toán phương pháp giải vấn đề thích hợp để thực chương trình máy tính Trong thiết kế thuật toán thường phải đối mặt với số phương pháp tiếp cận khác 8|Page Algo2010N15-NguyenThiThanhVi-NgoVanVi-NhamNgocTrung-CNPMK52 ... thúc Bài toán tô mầu cạnh 2.1 Giải thuật Về thuật toán giải toán tô màu cạnh đồ thị giới có nhiều thuật toán đề suất • Thuật toán thu gọn (Contraction algorthms) đề xuất Zykov • Thuật toán tô...
... Lý thuyết đồ thị Định lý Kuratowski Định lý: Đồ thị G đồ thị phẳng G không chứa đồ thị đẳng cấu với K5 K3x3 VD: đồ thị sau không đồ thị phẳng Lý thuyết đồ thị 01/17/13 Tô màu đồ thị Lý ... thị có số màu Lý thuyết đồ thị Đồ thị có số màu 01/17/13 14 Bài toán tô màu đồ thị (tt) Định lý (Định lý màu) Số màu đồ thị phẳng không lớn Một số thông tin liên quan: Bài toán đưa năm 1850 ... màu để tổ Phải dùng màu để tổ Lý thuyết đồ thị 01/17/13 ? 11 Tô màu đồ thị (tt) Lý thuyết đồ thị 01/17/13 12 Tô màu đồ thị (tt) 7 9 2 Lý thuyết đồ thị 01/17/13 13 Bài toán tô màu đồ thị Định...
... = n lẻ (n ≥ 3) 3.4 Định lý (Định lý bốn màu) (định lý Appel-Haken, 1976) Mọi đồ thị phẳng có sắc số không lớn Định lý định lý chứng minh với hỗ trợ máy vi tính Thuật toán Welch-Powell tô màu ... số màu dùng từ suy sắc số đồ thị Bài toán tìm sắc số đôè thị toánkhó đồ thị tìm sắc số cách dễ dàng Ví dụ 13: Về sử dụng thuật toán Welch-Powell Dùng thuật toán Welch-Powell để tô màu tìm sắc ... χ(G) Do G có chứa đồ thị K3 nên theo định lý ta có χ(G) màu để tô G ⇒ χ(G) = Ứng dụng toán tô màu Ta dùng TOP Bài toán tô màu có nhiều ứng dụng thực tế Chẳng hạn: việc xếp lịch thi cho sinh viên,...
... t s phương pháp gi i toán b ng phương pháp tô màu ñ th m t nhu c u c n thi t M t khác, vi c v n d ng k t qu toán tô màu ñ th vào gi i toán giúp ta ñ t ñư c m c tiêu: gi i ñư c m t s toán không ... t s toán không m u m c, toán thư ng g p th c t r i rác m t s toán kì thi n Olympic toán qu c t Nghiên c u khai thác m t s y u t c a toán tô màu ñ th ng d ng vi c gi i toán ph thông, ñư c m t ... k cho hai ñài phát hai t nh n m c nh b ng ñ ñ a lí dùng m t kênh 3.4 BÀI TOÁNTHANH GHI TRONG B D CH: 3.4.1 Bài toán: Trong b d ch hi u qu cao, vi c th c hi n vòng l p ñư c tăng t c bi n dùng...
... cu thˆ’ ´ a ¯ ’ ’ ˜ e ¯e ¯ ’ ’ a thu ’ ¯ ’ ’ ¯e a ’ ’ wx = (4, 3, 6, 7, 5) ´ ˆ ˆ THONG KE ’ ´ ˜ Trong thˆng kˆ (statistics), viˆc tˆng hop mˆu WX = (X1 , X2 , , Xn ) duoc thuc o e e o a ¯ ’...
... t s phương pháp gi i toán b ng phương pháp tô màu ñ th m t nhu c u c n thi t M t khác, vi c v n d ng k t qu toán tô màu ñ th vào gi i toán giúp ta ñ t ñư c m c tiêu: gi i ñư c m t s toán không ... t s toán không m u m c, toán thư ng g p th c t r i rác m t s toán kì thi n Olympic toán qu c t Nghiên c u khai thác m t s y u t c a toán tô màu ñ th ng d ng vi c gi i toán ph thông, ñư c m t ... k cho hai ñài phát hai t nh n m c nh b ng ñ ñ a lí dùng m t kênh 3.4 BÀI TOÁNTHANH GHI TRONG B D CH: 3.4.1 Bài toán: Trong b d ch hi u qu cao, vi c th c hi n vòng l p ñư c tăng t c bi n dùng...
... 2: Bài toán tô mầu đồ thị Chương 3: Một số toán ứng dụng Do thời gian có hạn trình độ hạn chế nên vào nghiên cứu tìm hiểu thuật toán giới thiệu số ứng dụng toán tô màu đồ thị Trang Bài toán tô ... đẳng thức Trang 17 Bài toán tô màu đồ thị ứng dụng Chương 3: MỘT SỐ BÀI TOÁN ỨNG DỤNG 3.1 Ứng dụng toán tô màu đỉnh 3.1.1 Bài toán điều khiển đèn hiệu nút giao thông Bài toán: Giả sử ta cần thiết ... cho 15 nữ sinh mà hai nữ sinh lần 3.2 Ứng dụng toán tô màu cạnh 3.2.1 Bài toán nữ sinh Lucas Trang 23 Bài toán tô màu đồ thị ứng dụng Bài toán: Trong ký túc xá có 2n nữ sinh Mỗi sáng họ cặp đến...
... Kết luận Nội dung đề tài khái quát kiến thức chung lý thuyết đồ thị ứng dụng Nêu chi tiết toán tô màu thuật toán tô màu đồ thị Phân tích yêu cầu toán lập lịch thi cho học chế tín chỉ, thiết kế sở ... dụng Có modul chức như: Quản lý sinh viên học tín chỉ, quản lý phòng học, môn học, chức lập lịch, tìm kiếm môn học, tìm kiếm sinh viên học tín chỉ, tra cứu lịch thi Trong chức lập lịch, kết lập ... cầu toán đề 89 TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 6(35).2009 Qua bước xây dựng thuật toán, thiết kế sở liệu, code chương trình cài đặt, xây dựng demo phần mềm kiểm định thuật toán...
... phẳng toán tô màu đồ thị 26 Tô màu đồ thị Thuật toán Welch Powell Chú ý Kết thuật toán không sắc số Thuật toán cho ta kết chấp nhận Bài toán tìm sắc số toán khó! Chương Đồ thị phẳng toán ... định lý tô màu đồ thị Định lý (Định lý màu) Mọi đồ thị phẳng có sắc số không lớn Định lý chứng minh Appel Haken Đây định lý chứng minh với trợ giúp máy tính Ta chứng minh định lý yếu ... Chương Đồ thị phẳng toán tô màu đồ thị 21 Tô màu đồ thị Một số định lý tô màu đồ thị Định lý Mọi chu trình độ dài lẻ có sắc số Chứng minh Quy nạp Chương Đồ thị phẳng toán tô màu đồ thị...
... Định lý 2.3 Cũng Định lý 2.1, làm mạnh thêm Định lý 2.3 cách xử lý tinh tế Kết nhận gọi Định lý màu (Five Colour Theorem) Định lý 2.4 Một đơn đồ thị phẳng - sắc tính Chứng minh Tương tự định lý ... Các kết qủa lý thuyết tô màu đồ thị Tô màu đỉnh: Định lý Brooks, Định lý Minty, định lý tô đỉnh đồ thị phẳng Tô màu diện: định lý bốn màu tô đồ Tô màu cạnh: Định lý Vizing, định lý tô cạnh đồ ... 2.3 Minh họa chứng minh Định lý 2.1 Bằng xử lý tinh tế hơn, làm mạnh thêm Định lý 2.1 tới kết sau đây, với tên gọi Định lý Brooks Chứng minh xem [5], tr 86 - 88 Định lý 2.2 (Brooks, 1941) Nếu G...
... vậy, Heawood giải “bài toán năm màu”, “bài toán bốn màu” thách đố nhà toán học suốt gần kỷ Việc tìm lời giải “bài toán bốn màu” ảnh hưởng đến phát triển theo chiều hướng khác lý thuyết đồ thị Mãi ... phôi với đồ thị G’ Nhà toán học Ba Lan, Kuratowski, thiết lập định lý sau vào năm 1930 Định lý biểu thị đặc điểm đồ thị phẳng nhờ khái niệm đồ thị đồng phôi 7.2.4 Định lý (Kuratowski): Đồ thị ... màu Do G tô màu 7.3.7 Định lý (Định lý màu Appel-Haken): Mọi đồ thị phẳng tô màu Định lý Bốn màu đưa đoán vào năm 1850 sinh viên người Anh tên F Guthrie cuối hai nhà toán học Mỹ Kenneth Appel...