... số đị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ý ... 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 22 Đỗ Văn Anh – KHMT3 Tô màu đồ thị Một số định lý tô màu đồ thị Định lý Nếu G có ... màu đồ thị Thu t toán Welch Powell Chú ý Kếtthu 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...
... thà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 Báo hiệu kết nối Cửa sổ giám sát hệ thống ... đăng ký N_phone (Text, 9) 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àn thành công trình bàn giao sử dụng SUM_CT (Numeric,15,2) Tổng giá ... thiết bị lưu trữ Đường truyền Thiết bị nhận SAIDBT 1.0 SAIDBT 1.0 NSD Bấm phím Nghe trực tiếp lời Mô-đun tiếp nhận kiểm tra tính hợp thức CSDL1 Mô-đun lưu trữ thống kê CSDL2 DL1 Mô-đun chuyển m...
... lịch thi 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 để ... toán xếp lịch, cụ thể 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ếnthu 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 ... ứng xung đột Đồ thị G liệu vào Bước 1: Đặt p = Bước 2: Dùng thu t toán 1để tìm tập nhóm không xung đột với nhau, tập I Bước 3: Từ tập I, sử dụng thu t toán để đặt nhóm I vào phòngthích hợp Những...
... PGS TSKH Trần Quốc Chiến: Giáo trình Cơ sở liệu, ĐHSP-ĐHĐN, 2002 [3] PGS TSKH Trần Quốc Chiến: Giáo trình CTDL & GT, ĐHSP-ĐHĐN, 1998 [4] PGS TSKH Trần Quốc Chiến: Giáo trình Lý thuyết đồ thị, ĐHSP-ĐHĐN, ... Tuyển tập Báocáo “Hộ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ị ... giai đoạn kiểm thử 274 Tuyển tập Báocáo “Hội nghị Sinh viên Nghiên cứu Khoa học” lần thứ Đại học Đà Nẵng - 2008 Cơ sở chương trình giải thu t tô màu đồ thị kết hợp với số heuristic Chương trình...
... thị, xây dựng chương trình xếp lịch thi b) Chức quản lý phòng thực hành Hình 12 Mẫu quản lý phòng thực hành Tương tự chức quản lý bậc học, chức quản lý phòng thực hành cho phép người dùng nhập tên ... 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 ... kê Bộ giáo dục đào tạo, tính đến ngày 31-5-2012, nước có tổng số 204 trường đại học (trong có 149 trường công lập, 55 trường công lập) 215 trườngcao đẳng (trong có 187 trường công lập, 28 trường...
... Bước 1; VI ĐÁNHGIÁ & CHỨNG MINH THU T TOÁN Việc đánhgiá độ phức tạp giải thu t tô màu (Squential Coloring Algorithm) phụ thu c vào hai yếu tố : phương pháp biểu diễn đồ thị giải thu t xếp đỉnh ... : − Chiếnlược xếp tĩnh : dựa bậc đỉnh, số màu cần thiết để tô cho đồ thị trường hợp xấu nhấu Max(degree) + 1, Max(degree) bậc caođỉnh − Chiếnlược xếp động : với chiếnlược này, bậc đỉnhđịnh ... gọi chiếnlược xếp động Chiếnlược sử dụng nguyên lý thứ tự nên gọi giải thu t tô màu (Squential Coloring Algorithm) Chúng lựa chọn giải thu t để cài đặt chương trình V HIỆU CHỈNH, NÂNG CAOTHU T...
... theo để đánhgiá độ phức tạp giải thu t, nhóm thu t toán kết thúc thời gian đa thức, tìm kiếm tập m-màu cho đồ thị với n đỉnh, cách xác định đa thức N=nm cận trên tổng số bước tính toán thực thu t ... bước để kết 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 ... dụng số mầu đồ thị II GIẢI THU T Bài toán tô mầu đỉnh 1.1 Các định nghĩa sử dụng: Để mô tả giải thu t nhóm bắt đầu với việc diễn giải thu t ngữ, định nghĩa mà giải thu t đề cập tới - ⌊x ⌋: biểu...
... theo để đánhgiá độ phức tạp giải thu t, nhóm thu t toán kết thúc thời gian đa thức, tìm kiếm tập m-màu cho đồ thị với n đỉnh, cách xác định đa thức N=nm cận trên tổng số bước tính toán thực thu t ... bước để kết 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 ... dụng số mầu đồ thị II GIẢI THU T Bài toán tô mầu đỉnh 1.1 Các định nghĩa sử dụng: Để mô tả giải thu t nhóm bắt đầu với việc diễn giải thu t ngữ, định nghĩa mà giải thu t đề cập tới - ⌊x ⌋: biểu...
... 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ý thuyết ... 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 nghĩa Tô màu ... màu Định nghĩa Số màu (sắc số) đồ thị số màu tối thiểu cần thiết để tô màu đồ thị Đồ 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ý...
... χ(Cn) = 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 Chú ý: Thu t toán Welch-Powell chưa cho ta sắc số đồ thị G, giúp ta cách tiếp cận để tìm sắc số đồ thị Để tìm sắc số đồ thị sau tô màu xong ta phải sử dụng định lý, tính chất học lý thuyết ... G màu) ngưng G lại có chu trình lẻ Khi theo định lý 1, sắc số phải Mặt khác theo định lý ta có Do đó, sắc số G phải Ta suy điều mâu thu n với giả thuyết, nên G chu trình độ dài lẻ Điều kiện...
... C u trúc lu n văn: Lu n văn g m chương: Chương Các khái ni m b n c a lý thuy t ñ th : Trình bày nh ng ki n th c b n c a lý thuy t ñ th Chương Bài toán tô màu ñ th : Nghiên c u sâu ñ nh lí v tô ... ñ th 2.1.4 Các ñ nh lý: Đ nh lý 2.1.4.1: N u ñ th G ch a ñ th ñ ng c u v i Kn χ(G) ≥ n Đ nh lý 2.1.4.2(Konig): M t ñơn ñ th có th tô b ng màu ch chu trình ñ dài l Đ nh lý 2.1.4.3: M i ñơn ñ ... nh lý 2.1.4.4 (Đ nh lý Brooks): Cho G ñơn ñ th n ñ nh liên thông khác Kn không ph i chu trình có ñ dài l Khi ñó χ(G) ≤ ∆ (G) Đ nh lý 2.1.4.5: M i ñơn ñ th ñ y ñ Kn ñ u có: χ( Kn) = n Đ nh lý 2.1.4.6:M...
... viˆn thu i Ta c´ mˆu ngˆu nhiˆn k´ thuoc n = duoc xˆy dung tu dai luong e ’ ’ ’ ’´ ’ ˜u nhiˆn X ngˆ a e WX = (X1 , X2 , , Xn ) ´ a ¯ ’ ’ ´ ´ ´ ’ ’’ Gia su sinh viˆn thu nhˆt duoc diˆ’m, thu ... duoc diˆ’m, thu hai duoc diˆ’m, thu ba duoc diˆ’m e ¯e ¯ ’ ’ ¯e ¯ ’ ’ ¯e ’ ’ ’ ´ tu duoc diˆ’m v` thu n˘m duoc diˆ’m Ta duoc mˆu cu thˆ’ ´ a ¯ ’ ’ ˜ e ¯e ¯ ’ ’ a thu ’ ¯ ’ ’ ¯e a ’ ’ wx = (4, ... tr` nghiˆn cuu thˆng kˆ thuong tr˜i qua khˆu: thu thˆp c´c sˆ liˆu liˆn a ınh e ´ o e a a a a o e e ’ ’ ’` ´ ´ ´ viˆc nghiˆn cuu v` xu l´ sˆ liˆu ¯ ˆ’ viˆc xu l´ duoc thu n loi ta cˆn phai sap...
... C u trúc lu n văn: Lu n văn g m chương: Chương Các khái ni m b n c a lý thuy t ñ th : Trình bày nh ng ki n th c b n c a lý thuy t ñ th Chương Bài toán tô màu ñ th : Nghiên c u sâu ñ nh lí v tô ... ñ th 2.1.4 Các ñ nh lý: Đ nh lý 2.1.4.1: N u ñ th G ch a ñ th ñ ng c u v i Kn χ(G) ≥ n Đ nh lý 2.1.4.2(Konig): M t ñơn ñ th có th tô b ng màu ch chu trình ñ dài l Đ nh lý 2.1.4.3: M i ñơn ñ ... nh lý 2.1.4.4 (Đ nh lý Brooks): Cho G ñơn ñ th n ñ nh liên thông khác Kn không ph i chu trình có ñ dài l Khi ñó χ(G) ≤ ∆ (G) Đ nh lý 2.1.4.5: M i ñơn ñ th ñ y ñ Kn ñ u có: χ( Kn) = n Đ nh lý 2.1.4.6:M...
... χ’(Kn) = ∆(Kn) + = n Định lý 17: (Định lý Vizing): Với đơn đồ thị G, ∆(G) χ’(G) ∆(G) + Định lý 18: Tô màu cách cạnh đồ thị K n màu xanh đỏ Gọi b số tam giác xanh, r số tam giác đỏ Khi đó: Trang ... V, ký hiệu G-U đồ thị G thu từ G sau loại bỏ đỉnh U cạnh liên thu c chúng Cho U ⊂ V Đồ thị G sinh U, ký hiệu , đồ thị (U, EU) với EU = {e ∈ E | e liên thu c đỉnh U} 1.2 Đồ thị đẳng cấu Định ... nhỏ Định lý 13: (Định lý màu Appel-Haken): Mọi đồ thị phẳng có sắc số nhỏ 2.4 Tô màu cạnh Định nghĩa 17: Tô màu cạnh đơn đồ thị gán màu cho cạnh cho hai cạnh kề gán màu Sắc số cạnh đồ thị G, ký...
... HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 6(35).2009 CÁC BƯỚC GIẢI THU T Bước 1: Định nghĩa đồ thị với tập đỉnh môn học đủ, mối quan hệ đỉnh đồ thị dựa vào thông tin đăng ký dự thi thí sinh đầu vào ... hệ quản trị sở liệu SQL Server 2005, ngôn ngữ lập trình C# Visual studio 2005 Demo phần mềm cài đặt chạy ổn định với giao điện dễ sử dụng Có modul chức như: Quản lý sinh viên học tín chỉ, quản ... 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ở liệu, áp dụng giải thu t...
... số đị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ý ... 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ị 22 Tô màu đồ thị Một số định lý tô màu đồ thị Định lý ... Thu t toán Welch Powell Chú ý Kếtthu 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 tô màu đồ thị 27 Tô màu đồ thị Thu t...
... đồ) Các kếtqủ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 ... minh Đị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 ... thị có nhiều kết lý thuyết đáng ý: Định lý Brooks, Minty tô màu đỉnh; Định lý König, Vizing, Shannon tô màu cạnh, định lý màu Heawood (1890) Định lý màu Appel Haken (1976), giải giả thuyết màu...
... 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ị không phẳng chứa đồ ... 1, nên với đỉnh dùng hết nhiều 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 ... tự (v1, v2, …, vn), với vi thu c Gn thứ i, tương ứng với đỉnh mới, đỉnh nối n cạnh đến đỉnh v1, v2, …, Dễ thấy Gn+1 không chứa K3 có sắc số n+1 7.3.6 Định lý (Định lý màu Kempe-Heawood): Mọi đồ...