(Luận văn thạc sĩ) biểu diễn đa diện lồi và ứng dụng trong lập thời khóa biểu

BỘ GIÁO DỤC VÀ ĐÀO TẠO VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ - Đỗ Thị Thùy BIỂU DIỄN ĐA DIỆN LỒI VÀ ỨNG DỤNG TRONG LẬP THỜI KHÓA BIỂU Chuyên ngành: Tốn ứng dụng Mã số: 46 01 12 TĨM TẮT LUẬN VĂN THẠC SĨ TOÁN HỌC Hà Nội - 2021 Cơng trình hồn thành tại: Học viện Khoa học Công nghệ - Viện Hàn lâm Khoa học Công nghệ Việt Nam Người hướng dẫn khoa học: TS Lê Xuân Thanh Phản biện 1: TS Lê Hải Yến Phản biện 2: TS Nguyễn Đức Mạnh Luận văn bảo vệ trước Hội đồng chấm luận văn họp Viện Hàn lâm Khoa học Công nghệ Việt Nam vào hồi 00 phút, ngày 15 tháng 11 năm 2021 Có thể tìm hiểu luận văn tại: - Thư viện Học viện Khoa học Công nghệ 1 Mở đầu Ý tưởng thực luận văn nghiên cứu tốn xếp thời khóa biểu trường trung học Việt Nam Sau khảo sát trường hợp thực tế tốn, chúng tơi quan tâm đến loại ràng buộc đặc biệt số tiết trống giáo viên Cụ thể hơn, tiết ngày dạy, giáo viên xếp dạy không Nếu giáo viên không phân công dạy tiết hai tiết dạy ngày dạy, tiết nghỉ dạy gọi tiết trống giáo viên Một số giáo viên yêu cầu phải có tiết trống ngày dạy họ, việc giảng dạy nhiều tiết liên tiếp khối lượng công việc nặng nề họ Tuy nhiên, nhiều tiết trống ngày dạy giáo viên gây lãng phí thời gian giáo viên, thời gian chờ đợi lâu tiết dạy Vì lý đó, ràng buộc quan tâm đặt giới hạn giới hạn số tiết trống ngày dạy giáo viên Chúng gọi ràng buộc “ràng buộc tiết trống giáo viên” Những đóng góp luận văn sau Chúng tơi xây dựng mơ hình quy hoạch ngun cho ràng buộc tiết trống giáo viên, đánh giá hiệu mơ hình thơng qua thực nghiệm trường hợp thực tế tốn Để xây dựng mơ hình này, chúng tơi đề xuất khái niệm “đa diện idle” Chính xác hơn, sử dụng biến nhị phân để định giáo viên xếp dạy vào tiết Bằng cách này, việc xếp giảng dạy giáo viên ngày học mã hóa vectơ nhị phân, thành phần vectơ gọi idle giáo viên trống tiết tương ứng Với cách biểu diễn này, giới hạn số lượng tiết trống giáo viên giới hạn số lượng thành phần idle vectơ tương ứng Mơ hình quy hoạch ngun cho ràng buộc tiết trống giáo viên mà đề xuất hệ ràng buộc tuyến tính biến nhị phân, mà nghiệm hệ xác vectơ với số thành phần idle thỏa mãn giới hạn cho Điều gợi cho định lý Minkowski-Weyl tiếng tương đương biểu diễn đa diện lồi Lấy cảm hứng từ định lý này, định nghĩa đa diện idle bao lồi vectơ có số thành phần idle thỏa mãn giới hạn cho trước Mơ hình quy hoạch ngun chúng tơi đề xuất cho ràng buộc tiết trống giáo viên hệ bất phương trình xác định mặt đa diện idle Chương luận văn nhắc lại số khái niệm kết quan trọng lý thuyết đa diện lồi Chương luận văn giới thiệu khái niệm đa diện idle đưa biểu diễn chi tiết cho số trường hợp cụ thể Chương luận văn trình bày ứng dụng khái niệm đa diện idle việc mơ hình hóa ràng buộc tiết trống giáo viên tốn lập thời khóa biểu cho trường trung học 3 Chương Kiến thức chuẩn bị 1.1 Tập lồi nón lồi n Định nghĩa 1.1 (Tập lồi) Một tập C ⊂ R tập lồi với x , 2 x ∈ C θ ∈ [0, 1] ta có θx + (1 − θ)x ∈ C k Định nghĩa 1.2 (Tổ hợp lồi) Tổ hợp lồi điểm x , , x n ∈ R điểm có dạng k θ1x + θ2x + + θkx θ1, , θk ∈ [0, 1] thỏa mãn θ1 + + θk = n Định nghĩa 1.3 (Bao lồi) Bao lồi tập C ⊂ R , kí hiệu conv(C), tập hợp gồm tất tổ hợp lồi điểm C, nghĩa k i conv(C) = {θθ1x + + θkx | x ∈ C, θi ≥ 0, i = 1, , k, θ1 + + θk = 1} n k Bổ đề 1.4 Cho C tập lồi R x , , x ∈ C Khi k tổ hợp lồi điểm x , , x thuộc C n Bổ đề 1.5 Với tập C ⊂ R bất kỳ, bao lồi conv(C) tập lồi 4 n Mệnh đề 1.6 Bao lồi conv(C) tập C ⊂ R tập lồi nhỏ chứa C n Định nghĩa 1.7 (Nón) Tập C ⊂ R nón với x ∈ C θ ≥ ta có θx ∈ C Định nghĩa 1.8 (Nón lồi) Tập C nón lồi với x , x ∈ C θ1, θ2 ≥ ta có θ1x + θ2x ∈ C n Mệnh đề 1.9 Một nón lồi R vừa tập lồi vừa nón Định nghĩa 1.10 (Tổ hợp nón) Tổ hợp nón điểm k n x , , x ∈ R điểm có dạng k θ1x + θ2x + + θkx với θ1, , θk ≥ Định nghĩa 1.11 (Bao nón) Bao nón tập C tập hợp tất tổ hợp nón điểm thuộc C, nghĩa k i cone(C) = {θθ1x + + θkx | x ∈ C, θi ≥ 0, i = 1, , k} d Mệnh đề 1.12 Bao nón cone(C) tập C ⊂ R nón lồi nhỏ chứa C 1.2 Đa diện lồi d Định nghĩa 1.13 (V-đa diện) Một V-đa diện P ⊂ R tập hợp có dạng k P = conv(x , , x ) = (1.1) k {θθ1x + + θkx | θ1, , θk ≥ 0, θ1 + + θk = 1}, k k số nguyên dương x , , x véc tơ d R Biểu thức (1.1) gọi V-biểu diễn V-đa diện P d Định nghĩa 1.14 (V-nón) Một V-nón C ⊂ R tập hợp có dạng k P = cone(v , , v ) k = {θθ1v + + θkv | θ1, , θk ≥ 0}, (1.2) k k số nguyên dương v , , v véc tơ d R Biểu thức (1.2) gọi V-biểu diễn V-nón C d Định nghĩa 1.15 (H-nón) Một H-nón C ⊂ R tập có dạng d C = P (A, 0) = {θx ∈ R | Ax ≤ 0}, A ma trận R n×d (với n bất kì) véc tơ d không R Hệ tuyến tính Ax ≤ gọi H-biểu diễn H-nón C Định nghĩa 1.16 (H-đa diện) Một H-đa diện tập bị chặn có dạng d P = P (A, b) = {θx ∈ R | Ax ≤ b}, A ma trận Rn×d (với n bất kì) b ∈ Rd Hệ tuyến Ax ≤ b gọi H-biểu diễn H-đa diện tính P d Định lý 1.17 Nếu P ⊂ R V-đa diện, nghĩa là, P bao lồi tập hữu hạn điểm n n d P = conv(x , , x ) với x , , x ∈ R , P H-đa diện, nghĩa là, P giao bị chặn nửa khơng gian đóng d P = P (A, z) := {θx ∈ R | Ax ≤ z} với A ∈ R m×d d đề 1.18 Cho C H-nón R Cho elimk(C) = {θx − tek | x ∈ C, t ∈ R} projk(C) = elimk(C) ∩ Hk, m , z ∈ R Bổ d Hk = {θx ∈ R | xk = 0} Khi elimk(C) projk(C) H-nón d Bổ đề 1.19 Nếu C ⊂ R V-nón, nghĩa là, bao nón tập hữu hạn điểm n n d C = cone(y , , y ) với y , , y ∈ R , H-nón, nghĩa là, giao bị chặn nửa khơng gian tuyến tính đóng d P = P (A, 0) := {θx ∈ R | Ax ≤ 0} với A ∈ R m×d Chương Đa diện idle 2.1 V-biểu diễn đa diện idle Định nghĩa 2.1 Thành phần vi gọi thành phần n idle véc tơ v ∈ {θ0, 1} tồn p ∈ {θ1, , i − 1} q ∈ {θi + 1, , n} cho vp = vq = 1, vi = n idle Với v ∈ {θ0, 1} , cho f (v) số lượng thành phần idle v Cho trước ≤ ℓ ≤ u ≤ n − 2, kí hiệu ℓ,u Vn n idle := {θv ∈ {θ0, 1} | ℓ ≤ f (v) ≤ u} Định nghĩa 2.2 Đa diện (ℓ, u, n)-idle xác định ℓ,u Pn ℓ,u := conv(Vn ) Ví dụ 2.3 Bảng 2.1 liệt kê tất véc tơ nhị phân có n = idle thành phần, với số lượng thành phần idle ( f ) véc tơ 0,0 Tập hợp V5 chứa véc tơ nhị phân 5-thành phần khơng có thành phần idle, nghĩa là, 0,0 V5 16 17 = {θv , v , v , v , v , v , v , v , 13 15 25 29 31 32 v , v , v , v , v , v , v , v }, Bảng 2.1: Véc tơ nhị phân 5-thành phần số lượng thành phần idle tương ứng chúng Véc tơ fidle 0 0 0 1 Véc tơ v15 Giá trị (0, 0, 0, 0, 0) (0, 0, 0, 0, 1) (0, 0, 0, 1, 0) (0, 0, 0, 1, 1) (0, 0, 1, 0, 0) (0, 0, 1, 0, 1) (0, 0, 1, 1, 0) (0, 0, 1, 1, 1) (0, 1, 0, 0, 0) (0, 1, 0, 0, 1) (0, 1, 0, 1, 0) (0, 1, 0, 1, 1) (0, 1, 1, 0, 0) (0, 1, 1, 0, 1) (0, 1, 1, 1, 0) v16 (0, 1, 1, 1, 1) v1 v v3 v v v v v v v10 v11 v12 v13 v14 v31 Giá trị (1, 0, 0, 0, 0) (1, 0, 0, 0, 1) (1, 0, 0, 1, 0) (1, 0, 0, 1, 1) (1, 0, 1, 0, 0) (1, 0, 1, 0, 1) (1, 0, 1, 1, 0) (1, 0, 1, 1, 1) (1, 1, 0, 0, 0) (1, 1, 0, 0, 1) (1, 1, 0, 1, 0) (1, 1, 0, 1, 1) (1, 1, 1, 0, 0) (1, 1, 1, 0, 1) (1, 1, 1, 1, 0) fidle 2 1 1 v32 (1, 1, 1, 1, 1) v17 v18 v19 v20 v21 v22 v23 v24 v25 v26 v27 v28 v29 v30 ta có dạng V-biểu diễn đa diện idle-(0, 0, 5) sau: 0,0 P5 0,0 = conv(V5 ) Tương tự, trường hợp khác người đọc xem chi tiết luận văn 2.2 H-biểu diễn đa diện idle Chúng sử dụng phần mềm Polymake để thu H-biểu diễn đa diện lồi giới thiệu Ví dụ 2.3 Chú ý ví dụ này, đa diện idle miêu tả V-biểu diễn chúng Ví dụ 2.4 Dạng H-biểu diễn sinh Polymake đa diện idle đề cập Ví dụ 2.3 sau • 0,0 H-biểu diễn P5 : x1 − x2 + x3 x1 − x2 x1 + x4 − x2 x1 − x + x4 x1 − x3 − x + x5 x1 x2 − x + x4 x2 x2 − x3 + x5 − x + x5 x3 − x x1 − x2 + x3 − x4 + x5 ≤ ≤ x1, x2, x3, x4, x5 ≤ Các trường hợp cịn lại người đọc xem luận văn + x5 10 Chương Áp dụng vào tốn lập thời khóa biểu 3.1 Mơ tả tốn Thời khóa biểu phân công cặp giáo viênmôn học cho lớp học tiết học ngày học Đối với tốn lập thời khóa biểu cho trường trung học Việt Nam, ràng buộc sau ràng buộc cứng theo nghĩa số chúng bị vi phạm, khơng thể xây dựng thời khóa biểu khả thi (H1) Chương trình học lớp phải tuân thủ (H2) Phân công chuyên môn cho giáo viên phải tuân thủ (H3) Mỗi lớp học ấn định trước tiết học tuần (H4) Tại thời điểm, giáo viên phân công dạy nhiều lớp Ở đây, chương trình học quy định phân bổ lớp học môn thời gian tiết tuần, phân công chuyên môn quy định giáo viên xếp dạy môn cho lớp Ngoài ràng buộc cứng nêu trên, có ràng buộc bổ sung đến từ đặc điểm thời khóa biểu yêu cầu giáo viên 11 Chúng xem xét loại ràng buộc phổ biến sau (C1) Số tiết mà lớp học môn ngày học bị giới hạn (C2) Một số môn học không dạy cho số lớp học vào số thời gian (tiết học ngày học) cố định (C3) Một số môn học dạy cho số lớp học vào thời gian (tiết học lớp học) cố định (C4) Một số giáo viên xếp để không dạy vào thời gian (tiết học ngày học) cố định Ngoài ra, loại ràng buộc sau thường tính đến q trình xây dựng thời khóa biểu cho trường phổ thông Việt Nam (C5) Số tiết trống ngày học số giáo viên bị chặn chặn 3.2 Mơ hình hóa Kí hiệu tập lớp học, ngày học, tiết học, môn học, giáo viên C, D, P, S, T Chúng sử dụng biến nhị phân xcdpst, số c, d, p, s, t tương ứng lấy giá trị từ tập hợp C, D, P , S, T Biến xcdpst = giáo viên t xếp để dạy môn s tiết p ngày học d cho lớp c, ngược lại xcdpst = Đặt A1 := {θ(s, c) ∈ S × C | môn học s dạy cho lớp c}, A2 := {θ(t, s, c) ∈ T × A1 | giáo viên t dạy môn học s cho lớp c}, A3 := {θ(c, d, p) ∈ C × D × P | lớp c học tiết p ngày d}, IX := {θ(c, d, p, s, t) | (t, s, c) ∈ A2, (c, d, p) ∈ A3}, X := {θxcdpst | (c, d, p, s, t) ∈ IX } 12 Sử dụng biến tập hợp X, ràng buộc cứng (H2) (H3) tự động thỏa mãn Các ràng buộc cịn lại mơ hình hóa sau (H1) Chương trình học lớp phải tuân thủ xcdpst = αs,¯c¯ ∀(¯s, c¯) ∈ A1, c,d,p,s,t) ( I ∑ ∈ X (s,c)=(¯s,c¯) αs,c số tiết dạy môn s tuần cho lớp c (H4) Mỗi giáo viên dạy nhiều lớp thời điểm x ¯ ¯ ∀(d, p,¯ t) ∈ D × P × T cdpst I (c,d,p,s,t) X ∑∈ ¯ ¯ (d,p,t)=(d,p,¯t) (C1) Giới hạn số tiết dạy môn học cho lớp học ngày học x (c,d,p,s,t) I ∑ ∈ (c,s)=(¯c,s¯) ≤β cdpst , c,¯s¯ X βc,s giới hạn số tiết dạy môn s cho lớp c ngày (C2) Môn s¯ không xếp dạy cho lớp c¯ vào tiết p¯ ngày d¯ ∑ x cdpst (c,d,p,s,t)∈IX (C3) Môn = ¯ (c,d,p,s)=(¯c,d,p,¯s¯) xếp dạy cho lớp vào tiết ngày ¯ s¯ c¯ p¯ d ∑ x cdpst (c,d,p,s,t)∈IX (C4) Giáo viên ¯ = ¯ (c,d,p,s)=(¯c,d,p,¯s¯) xếp nghỉ dạy tiết ¯ ngày t p¯ ∑ x cdpst (c,d,p,s,t)∈IX ¯ ¯ (d,p,t)=(d,p,¯t) = d 13 (C5) Giáo viên ¯ t dự kiến có ℓ nhiều u tiết ¯ trống ngày học d (trong ≤ ℓ ≤ u ≤ |P | − 2) Đặt x vi := cdpst (i ∈ {θ1, , |P |}) c,d,p,s,t) I ( ∑∈ X ¯ ¯ (d,p,t)=(d,i,t) Đặt v = (v1, , v |P | ∈ |P | , số lượng thành ) Khi v {θ 0, } phần idle v với số lượng tiết trống giáo viên ngày học ¯ ¯ t Do đó, ràng buộc mà xem xét d tương đương với việc nói số lượng thành phần idle v nằm khoảng từ ℓ tới u Bất kì H-biểu diễn đa diện idle (ℓ, u, |P |) cung cấp cho công thức ràng buộc Ví dụ, trường hợp |P | = 5, ℓ = 0, u = 1, chúng 0,1 ta suy từ H-biểu diễn P5 thức sau cho (C5) v1 trình bày mục 2.2 công − v − v + v5 v1 − v2 − v3 + v4 v2 − v − v + v5 ≤1 ≤1 ≤1 2v1 − v2 − v3 − v4 + 2v5 ≤ v1 − v2 − v3 v1 − v2 + v5 ≤ − v4 + v5 ≤ 3.3 Thực nghiệm số Chúng sử dụng ZIMPL 3.4.0 (cf [?]) để cài đặt mơ hình đề xuất trên, sử dụng GUROBI 9.1.1 (cf [?]) để giải số mô hình Các thực nghiệm chúng tơi thực máy tính PC Intel(R) Core (TM) i7-6700 CPU 2*2.60GHz, RAM 16 GB Chúng tơi thực nghiệm mơ hình liệu từ tốn lập thời khóa biểu thực tế, với 54 giáo viên, 17 môn học, 21 14 lớp học, 593 tiết học tuần Để đánh giá ảnh hưởng ràng buộc số tiết trống, thực thực nghiệm sau • Thực nghiệm 1: tất giáo viên u cầu khơng có tiết trống thời gian biểu họ • Thực nghiệm 2: tất giáo viên yêu cầu có nhiều tiết trống ngày dạy thời khóa biểu họ • Thực nghiệm 3: tất giáo viên yêu cầu có nhiều tiết trống ngày dạy thời khóa biểu họ Bảng 3.1: Một số kết thực nghiệm mơ hình đề xuất ví dụ tốn xếp thời khóa biểu thực tế Thí nghiệm Thí nghiệm Thí nghiệm Thí nghiệm Số biến 10333 10333 10333 Số ràng buộc 9716 8096 6476 Thời gian chạy (s) 18.93 0.56 0.22 Kết Bảng 3.1 cho thấy tính hiệu mơ hình chúng tơi đề xuất 15 Kết luận Trong luận văn này, đề xuất khái niệm đa diện idle lớp đa diện lồi đặc biệt Chúng tơi tập trung vào khía cạnh ứng dụng khái niệm thông qua việc sử dụng đa diện idle việc mơ hình hóa ràng buộc tiết trống giáo viên toán xếp thời khóa biểu bậc trung học Việt Nam Để có sở lý thuyết cho việc nghiên cứu khái niệm đề xuất, Chương 1, nhắc lại số khái niệm kết liên quan lý thuyết đa diện lồi Một đa diện lồi biểu diễn bao lồi tập hợp hữu hạn điểm (V-biểu diễn), giao số hữu hạn nửa không gian đóng (H-biểu diễn) Chúng tơi đưa chứng minh chi tiết phần định lý Minkowski-Weyl khẳng định rằng, với V-biểu diễn đa diện lồi, thu H-biểu diễn cho đa diện Trong Chương 2, chúng tơi định nghĩa khái niệm đa diện idle bao lồi tập hợp vectơ thành phần nhị phân, vectơ biểu thị trạng thái thực hành động chuỗi khung thời gian hữu hạn Sau đó, chúng tơi trình bày chi tiết H-biểu diễn số ví dụ đa diện idle Chương trình bày ứng dụng cho khái niệm đa diện idle Trong chương này, trước tiên, chúng tơi mơ tả tốn xếp thời khóa biểu trường trung học Việt Nam, nhấn mạnh đến ràng buộc số tiết trống giáo viên đặc thù toán Những ràng buộc áp đặt giới hạn 16 giới hạn số lượng tiết trống ngày dạy giáo viên Sau đó, chúng tơi mơ hình hóa tốn xếp thời khóa biểu dạng quy hoạch nguyên, sử dụng H-biểu diễn đa diện idle để mơ hình hóa ràng buộc giới hạn số tiết trống giáo viên Các thực nghiệm số trường hợp thực tế toán xếp thời khóa biểu trường cho thấy tính hữu ích hiệu mơ hình chúng tơi Có số vấn đề muốn theo đuổi sau thực luận văn Về khía cạnh tổ hợp, chúng tơi dự định tính số đỉnh số mặt đa diện idle Về khía cạnh ứng dụng, dự định nghiên cứu khả ứng dụng đa diện idle việc mơ hình hóa vấn đề thực tế khác