Luận văn thạc sĩ VNU UET giải bài toán lập lịch theo tín chỉ sử dụng giải thuật tìm kiếm tabu

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ   NGUYỄN ĐỨC VIỆT GIẢI BÀI TOÁN LẬP LỊCH THEO TÍN CHỈ SỬ DỤNG GIẢI THUẬT TÌM KIẾM TABU LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN Hà Nội – 2014 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ   NGUYỄN ĐỨC VIỆT GIẢI BÀI TOÁN LẬP LỊCH THEO TÍN CHỈ SỬ DỤNG GIẢI THUẬT TÌM KIẾM TABU Nghành: Chuyên nghành: Mã số: Công nghệ thông tin Kỹ thuật phần mềm 60480103 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC: TS LÊ NGUYÊN KHÔI Hà Nội – 2014 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Lời cảm ơn Đầu tiên, xin chân thành cảm ơn TS Lê Nguyên Khôi tận tâm hướng dẫn bảo giúp đỡ tơi hồn thành đề tài luận văn Một lần nữa, em xin chân thành cảm ơn thầy Với lòng biết ơn sâu sắc nhất, xin gửi đến quý thầy cô khoa Cơng nghệ Thơng tin, phịng Đào tạo trường Đại học Công nghệ – Đại học Quốc gia Hà Nội tạo điều kiện thuận lợi, dồn bao công sức tâm huyết để truyền đạt vốn kiến thức quý báu cho học viên cao học suốt thời gian học tập trường Tôi xin gửi lời cám ơn đến gia đình, bạn bè đồng nghiệp, người bên tôi, động viên khuyến khích tơi q trình thực đề tài nghiên cứu Tuy có cố gắng định, tiếp cận với thực tế để tìm hiểu áp dụng khoa học vào sống, thời gian trình độ cịn nhiều hạn chế nên luận văn khó tránh khỏi thiếu sót Kính mong nhận đóng góp ý kiến thầy bạn Sau cùng, tơi xin kính chúc quý thầy cô khoa Công nghệ Thông tin Ban Giám đốc Đại học Công nghệ - Đại học Quốc Gia Hà Nội dồi sức khỏe, niềm tin để tiếp tục thực sứ mệnh cao đẹp truyền đạt kiến thức cho hệ mai sau Trân trọng Hà Nội, ngày 11 tháng 08 năm 2014 Học viên Nguyễn Đức Việt LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Lời cam đoan Tôi xin cam đoan số liệu kết nghiên cứu luận văn trung thực không trùng lặp với đề tài khác cá nhân tôi, thực hướng dẫn khoa học Tiến sĩ Lê Nguyên Khôi Tôi xin cam đoan giúp đỡ cho việc thực luận văn cảm ơn thơng tin trích dẫn luận văn rõ nguồn gốc Học viên Nguyễn Đức Viêt LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com MỤC LỤC Lời cảm ơn   Lời cam đoan   MỤC LỤC   DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT   DANH MỤC CÁC BẢNG   DANH MỤC CÁC HÌNH VẼ VÀ ĐỒ THỊ   MỞ ĐẦU 10     Lý chọn đề tài: 10     Mục đích nghiên cứu 10     Nhiệm vụ nghiên cứu 11     Đối tượng phạm vi nghiên cứu 11     Phương pháp nghiên cứu 11   Chương 1: TỔNG QUAN VỀ BÀI TOÁN LẬP LỊCH HIỆN NAY VÀ CÁC CÁCH TIẾP CẬN 12   1.1 Bài tốn lập thời khóa biểu cho trường phổ thơng (School timetabling) 13   1.2 Bài toán lập thời khóa biểu cho trường đại học (University timetabling) 13   1.3 Bài toán lập lịch thi (Examination timetabling) 14   1.4 Bài toán lập lịch theo tín 15   1.5 Ưu điểm phương thức đào tạo theo tín 17   1.6 Các cách tiếp cận 18   Chương 2: TỔNG QUAN VỀ CÁC PHƯƠNG PHÁP TÌM KIẾM 21   2.1 Xung đột tối thiểu (Min-conflict) 21   2.2 Thuật giải mô luyện kim (Simulated Annealing) 21   2.3 Thuật giải leo đồi (Hill-climbing) 22   2.4 Tìm kiếm Tabu (Tabu search) 22   2.5 Thuật giải di truyền (Genetic Algorithm) 23   LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 2.6 Kết luận 23   Chương 3: CƠ SỞ TÌM KIẾM TABU 24   3.1 Lược Sử Về Tabu Search 24   3.1.1 Giới Thiệu 24   3.1.2 Tabu Search – Một Dạng Meta-heuristic 25   3.1.3 Các Giai Đoạn Phát Triển Của Tabu Search 25   3.2 Nguyên Lý Chung Của Tabu Search 26   3.3 Cách Sử Dụng Bộ Nhớ 27   3.3.1 Một Minh Họa 28   3.4 Chiến Lược Tăng Cường (Intensification) Chiến Lược Đa Dạng (Diversification) 30   3.5 Lập Trình Với Bộ Nhớ Tương Thích (Adaptive Memory Programming) 31   3.6 Các Nhân Tố Của Bộ Nhớ Tương Thích 31   Chương 4: BÀI TỐN LẬP LỊCH THEO TÍN CHỈ 33   4.1 Các khái niệm 33   4.2 Mơ hình tốn 35   4.3 Các ràng buộc cứng 36   4.4 Các ràng buộc mềm 36   4.5 Ví dụ minh họa: 37   4.6 Hướng tiếp cận cho toán 38   4.6.1 Bước 1: Khởi tạo lời giải ban đầu ngẫu nhiên 39   4.6.2 Bước 2: Cải thiện chất lượng lời giải giải thuật tìm kiếm Tabu 40   4.7 Định dạng tập tin liệu CSV đầu vào: 44   4.8 Khảo sát thống kê kết thực nghiệm thực tế 45   4.9 So sánh kết thực nghiệm với kết phần mềm Open Course Timetable 47   KẾT LUẬN 49   TÀI LIỆU THAM KHẢO 50   LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT STT 10 11 12 Ký hiệu / Chữ viết tắt AI AMP CS CSP CSV GA LP MC MCRW OR SA TS Dạng đầy đủ / Ý nghĩa Artificial Intelligent Adaptive Memory Programming Constraint Satisfaction Constraint Satisfaction Problem Comma-separated values Genetic Algorithms Linear Programming Min-conflict Min-conflict Random Walk Operation Research Simulated Annealing Tabu Search   LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com DANH MỤC CÁC BẢNG Bảng - Mô tả cách tính hàm mục tiêu 38   Bảng – Bảng mơ tả ánh xạ tập liệu mơ hình hệ thống 45   Bảng – Ví dụ ánh xạ từ tập liệu vào mơ hình hệ thống 45   Bảng – Thống kê kết thực nghiệm 46   Bảng – So sánh phần mềm vTimeTabler Open Course TimeTabler 47   LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com DANH MỤC CÁC HÌNH VẼ VÀ ĐỒ THỊ Hình – Biểu diễn khái niệm tốn thời khóa biểu 13   Hình – Bốn chiều Tabu Search 28   Hình – Bài tốn tối ưu minh họa 29   Hình – Tăng cường Đa dạng 30   Hình – Mối quan hệ Giảng viên, Lớp học Môn học 33   Hình – Khởi tạo lời giải ngẫu nhiên ban đầu 39   Hình – Sơ đồ cài đặt giải thuật 42   Hình – Phép chuyển 43   Hình – Biểu đồ minh họa trình tìm kiếm lời giải 46   LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 10 MỞ ĐẦU Lý chọn đề tài: Bài tốn lập lịch ln tốn cổ điển thuộc lớp tốn NP-khó Từ lâu thu hút quan tâm, nghiên cứu phát triển nhiều tổ chức giáo dục, nhà khoa học tính ứng dụng cao độ phức tạp Các toán lập lịch thường phong phú, đa dạng ràng buộc yêu cẩu doanh nghiệp, tổ chức, trường học Trong nhiều thập niên qua có nhiều phương pháp giải đưa Tuy nhiên, tính hiệu lời giải cho lớp tốn cịn nhiều bàn cãi Bài tốn lập lịch dịnh nghĩa tốn tìm kiếm chuỗi tối ưu để thực tập hoạt động chịu tác ñộng tập ràng buộc cần phải thỏa mãn Người lập lịch thường cố gắng thử đến mức tối đa sử dụng tài nguyên nhân lực, vật lực, máy móc tối thiểu thời gian địi hỏi để hồn thành tồn q trình nhằm xếp lịch tối ưu Vì tốn lập lịch vấn đề khó để giải Những năm gần đây, có nhiều hướng phát triển phong phú giải thuật nhằm đưa lời giải tốt cho toán Với đề tài “Giải tốn lập lịch theo tín sử dụng giải thuật tìm kiếm Tabu”, khóa luận mạnh dạn nghiên cứu phương pháp cho việc giải toán lập lịch cho mơ hình đơn vị, sở đào tạo có hình thức tổ chức, hoạt động giống với Trung tâm Đào tạo Chứng Quốc tế theo Tín Mục đích nghiên cứu Bài tốn lập lịch từ lâu trở thành toán tiếng thu hút quan tâm nhiều nhà nghiên cứu, nhiều chuyên gia lĩnh vực liên quan Sự “nổi tiếng” toán không đo độ phức tạp vấn đề, mà cịn tính thực tiễn, khả áp dụng cao thực tế Do mục tiêu luận văn là: Nghiên cứu kỹ thuật giải thuật tìm kiếm Tabu cho tốn lập lịch theo tín Luận văn xem xét áp dụng kỹ thuật vào việc xây dựng chương trình lập lịch cho mơ hình trung tâm đào tạo theo tín LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 39 4.6.1 Bước 1: Khởi tạo lời giải ban đầu ngẫu nhiên Khởi tạo ban đầu giúp ta tạo danh sách buổi học lịch cách ngẫu nhiên cách duyệt qua danh sách lớp, lớp học số môn định, mơn học vài buổi Do ta duyệt buổi học / môn / lớp Quy tắc khởi tạo giá trị ban đầu ngẫu nhiên cho lớp học theo quy tắc sau: • Buổi học: • Lớp: lớp duyệt • Môn học: môn xét • Giờ học, ngày học, phòng học, giáo viên ta chọn ngẫu nhiên Sơ đồ khối Start ScheduleLesson  ←  Ø   class  ∈  listClasses false false End true module  ∈  listModules true false module  ∈  classlessons false true lesson  ∈  class[lessons]module true newLesson newLesson class newLesson module newLesson room newLesson hour newLesson we ekday newLesson te ache r Schedulelessons ←  constructInitialLesson() ←  class ←  module ←  randomRoom() ←  randomHour() ←  randomWeekday() ←  randomTeacher() ←  newLesson Hình – Khởi tạo lời giải ngẫu nhiên ban đầu LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 40 Việc sinh lời giải ban đầu ngẫu nhiên vi phạm nhiều ràng buộc, chí khơng thỏa mãn số ràng buộc cứng – hard constraints - lưu ý lời giải ban đầu mà từ ta dùng giải thuật tìm kiếm Tabu để tìm phương án xếp tối ưu thỏa mãn tất ràng buộc cứng cố gắng giảm tối đa số lượng vi phạm ràng buộc mềm – soft constraints 4.6.2 Bước 2: Cải thiện chất lượng lời giải giải thuật tìm kiếm Tabu Xuất phát từ sở giải thuật tìm kiếm Tabu, luận văn vào triển khai cài đặt thực tế cho mơ hình đề cập bên để từ xây dựng phần mềm nhằm giải nhu cầu thực tế quan tác giả làm việc Mã giả giải thuật tìm kiếm Tabu – Pseudocode [40] s  ←  s0   sBest  ←  s   tabuList  ←  null   while  (not  stoppingCondition())   candidateList  ←  null   for  (sCandidate  in  sNeighborhood)   if   tabuList))   (not   containsTabuElements(sCandidate,   candidateList  ←  candidateList  +  sCandidate   end   end   sCandidate  ←  LocateBestCandidate(candidateList)   if(fitness(sCandidate)  >  fitness(sBest))   tabuList  ←  featureDifferences(sCandidate,  sBest)   sBest  ←  sCandidate   while(size(tabuList)  >  maxTabuListSize)   ExpireFeatures(tabuList)   end   end   end   return(sBest)   LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 41 4.6.2.1 Tính hàm mục tiêu đánh giá chất lượng lời giải Với biến định Xrlp đề cập mơ hình toán 𝑋!"# ! ! ! Hàm mục tiêu đánh giá chất lượng lời giải dựa hai yếu tố: o Vi phạm ràng buộc cứng: + 100 điểm o Vi phạm ràng buộc mềm: + → 10 điểm Dưới số hàm xây dựng phục vụ việc cài đặt giải thuật tìm kiếm Tabu việc đưa lời giải cho toán xếp thời khóa biểu: • evaluate(): tính tốn tổng số điểm phạt cho ràng buộc o có cờ generateCandidates dùng để sinh buổi học – proposedCandidates – cho ràng buộc cứng thiết lập smartSearch = true số bước lặp smartSearch < số bước lặp dừng giải thuật để ưu tiên tìm kiếm lời giải khơng vi phạm ràng buộc cứng giúp ta nhanh chóng hạ số điểm phạt hàm mục tiêu • stopCriteriaReach(): đánh giá tiêu chí dừng giải thuật o hàm mục tiêu – đạt giá trị MIN o sau 1000 bước lặp o sau 100 bước lặp mà chất lượng lời giải khơng cải thiện • generateNextCandidate(): hàm sinh phép chuyển có o input : buổi học – lesson – xét o output: phép chuyển ngẫu nhiên thay đổi ngày / / phịng học / giáo viên cho buổi học • getNeighborhood() – trả danh sách phép chuyển lân cận • calculateTotalEvaluation() – tính tổng số điểm phạt cho lời giải Dưới sơ đồ mô tả luồng xử lí ta cài đặt giải thuật tìm kiếm Tabu cho mơ hình tốn thời khóa biểu đề cập từ đầu đến luận văn LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 42 Start initialize !stopCri teriaReach() True getS urrounding() generateNextChange() For  Chang e  in  lis tChange True Evaluate() False currentTotalPoint   < bestTotalPoint False False True bestTotalPoint   =   currentTotalPoint TaboList       ←  c urrentChange End Hình – Sơ đồ cài đặt giải thuật LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 43 4.6.2.2 Phép chuyển Như đề cập, bên yếu tố cốt lõi để giải thuật tìm lời giải tốt lời giải trước dựa kỹ thuật cài đặt phép chuyển nhằm sinh lời giải mới, có nhiều tác giã đưa phép chuyển khác nhằm mục tiêu giải toán lập lịch Trong thời gian học tập, nghiên cứu trường Đại học Công nghệ công tác quan, tác đề xuất cách sinh phép chuyển đơn giản để sinh lời giải Phép chuyển chưa phải tốt nhất, tối ưu cho kết tốt phù hợp với mơ hình tốn đề Sau sơ đồ khối phép chuyển sinh lời giải Start lesson candidate  ←  Ø   candidateTo talP oi nt  ←  scheduleTo talP oi nt choice  ←  r andomChoice() choice  is  Weekday true candidateUni tBefore  ←  lessonWee kd ay   candidate Uni tAfter  ←  r andomWeekday() choice  is  Hour true false candidateUni tBefore  ←  l essonHo ur   candidate Uni tAfter  ←  r andomHour() false choice  is  R oom true false candidate Uni tBefore  ←  l essonRoo m   candidate Uni tAfter  ←  r andomRoom() choice  is  Teacher false true candidate Uni tBefore  ←  l essonTeac her candidateUni tAfter  ←  r andomTeacher() return  candidate End Hình – Phép chuyển LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 44 4.6.2.3 Hàm mong đợi (Aspiration Function) Xét phép chuyển m: • Gọi S lời giải • S’ lời giải tạo thành sau thực phép chuyển m lên S’ • S* lời giải tốt • f(S) hàm mục tiêu • phép chuyển m gọi thỏa hàm mong đợi f(S) < f(S*) 4.6.2.4 Điều kiện dừng thuật toán Thuật toán dừng điều kiện sau thỏa mãn – hàm stopCriteriaReach: • Sau 1000 bước lặp • Hàm mục tiêu lời giải tốt đạt MIN = (đã thỏa hết tất ràng buộc cứng mềm) • Sau số bước lặp định (ví dụ 100 bước lặp) liên tiếp mà chất lượng lời giải tốt không đổi 4.7 Định dạng tập tin liệu CSV đầu vào: Mơ hình hệ thống phần mềm xây dựng nhằm giúp ta dễ dàng đọc file liệu đầu vào theo định dạng CSV cách dễ dàng Do hệ thống xây dựng sẵn class để mơ hình hóa nghiệp vụ xếp thời khóa biểu, từ dễ dàng cài đặt giải thuật tìm kiếm Tabu cho hệ thống LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 45 Model Model name Name ID OtherModel [OtherModel Constraint] … Chữ in nghiêng – italic tùy chọn CSV [0] [1] [2] [3] [4] … Bảng – Bảng mô tả ánh xạ tập liệu mơ hình hệ thống Ví dụ: với liệu đầu vào từ file CSV là: “hour”;“9h45-11h45”;“8” Model Model name: hour Name: 9h45-11h45 ID: CSV [0]: hour [1]: 9h45-11h45 [2]: Bảng – Ví dụ ánh xạ từ tập liệu vào mơ hình hệ thống   4.8 Khảo sát thống kê kết thực nghiệm thực tế Dựa phần mềm xây dựng tạm đặt tên vTimeTabler, luận văn vài kết lời giải sinh tập liệu thực tế Trung tâm Đào tạo Chứng Quốc tế NIIT-Thăng Long Tập liệu sử dụng để xếp thời khóa biểu hàng ngày cho tập thể giảng viên, học viên lớp theo học trung tâm Chi tiết số liệu thống kê tập liệu sau: • • • • • phòng học 25 lớp học 17 giáo viên 28 môn học 109 buổi học LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 46 STT Lời giải (điểm) 10 tốt Tại vòng lặp số 1397 1414 1395 1368 1380 1434 1392 1349 1359 1337 Hết thời (giây) 348 491 447 430 448 500 437 500 412 384 gian 77,85s 87,08 99,36 82,62 129,77 82,79 95,35 92,41 84,02 83,67 Bảng – Thống kê kết thực nghiệm Kết kiểm nghiệm thực tế cho thấy phạm vi 500 vòng lặp cho kết tốt đáp ứng nhu cầu sử dụng thực tế quan tác giả cơng tác   Hình – Biểu đồ minh họa trình tìm kiếm lời giải LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 47 4.9 So sánh kết thực nghiệm với kết phần mềm Open Course Timetable Việc so sánh kết lập lịch phần mềm xây dựng bên sử dụng giải thuật tìm kiếm Tabu phần mềm Open Course TimeTable tác giả Curaki [42] dựa liệu thu thập từ trung tâm Đào tạo Chứng Quốc Tế NIIT – Thăng Long sinh ngẫu nhiên số ràng buộc để xây dựng tập liệu nhằm mục đích kiểm tra kết thu Tiêu chí để so sánh điểm số hàm mục tiêu ràng buộc vi phạm hàm phạt, số vịng lặp để tìm kêt thời gian tìm kiếm lời giải tối ưu liệu Phần vTimeTabler Open Course Timetabler mềm Lời giải Tại vòng Hết thời Lời giải Tại vòng Hết thời tốt lặp số gian tốt lặp số gian STT (điểm) (giây) (điểm) (giây) 1397 348 77,85 1423 421 92,54 1414 491 87,08 1216 333 83,01 1395 447 99,36 1578 409 91,84 1368 430 82,62 1467 391 89,89 1380 448 129,77 1644 498 100,21 1434 500 82,79 1832 318 82,46 1392 437 95,35 1751 432 94,78 1349 500 92,41 1111 203 72,53 1359 412 84,02 1396 468 97,83 10 1337 384 83,67 1990 482 99,21 Bảng – So sánh phần mềm vTimeTabler Open Course TimeTabler LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 48 Như sau thực việc so sánh có số nhận xét sau: Phần lớn kết thực nghiệm phần mềm vTimeTabler cho kết tốt phần mềm Open Course Timetabler tác giả Curaki Trong số trường hợp kết phần mềm Open Course Timetabler cho kết tốt Thời gian thực tìm kiếm lời giải tối ưu phần mềm có chênh lệch đáng kể Rút kết luận kết có phần mềm vTimeTabler xây dựng nhằm mục tiêu tối ưu phù hợp với mơ hình thực tế trung tâm Đào tạo Chứng Quốc tế NIIT – Thăng Long mà tác giả công tác LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 49 KẾT LUẬN Một yếu tố quan trọng việc nghiên cứu thực luận văn luận văn xuất phát từ nhu cầu thực tế quan tổ chức tác giả làm việc, kết luận văn phòng Đào tạo trực thuộc Trung tâm Đào tạo Chứng Quốc tế NIIT – Thăng Long sử dụng việc lịch học cho lớp, bố trí cơng tác cho cán bộ, giảng viên trung tâm từ giúp cho Trưởng/Phó phịng Đào tạo cán Quản lý phụ trách đào tạo công việc hàng ngày, giúp học viên lớp, giảng viên giảng dạy nắm bắt rõ lịch học tập công tác Tổng quan lại luận văn đạt kết sau: Xây dựng mơ hình toán học cho việc lập lịch Trung tâm Đào tạo Chứng Quốc tế Cài đặt giải thuật tìm kiếm Tabu để giải mơ hình Phát triển phần mềm ứng dụng hỗ trợ người dùng thực tế Do thời gian có hạn nên việc nghiên cứu luận văn tạm dừng mong muốn tương lai luận văn phát triển thêm theo hướng: Cải tiến giải thuật tìm kiếm Tabu để có kết tốt như: a Tối ưu hóa phép chuyển để sinh lời giải hiệu b Kết hợp giải thuật tìm kiếm tabu sơ giải thuật khác để có kết tối ưu (hiện xu hướng nhiều nghiên cứu hướng tới) Cải tiến tiện dụng hệ thống phần mềm đơn giản thân thiện với người dung Thay đổi chỉnh sửa mô hình đề xuất luận văn để áp dụng rộng rãi cho trường học, quan tổ chức khác   LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 50 TÀI LIỆU THAM KHẢO [1] Schaerf, A survey of automated timetabling, Technical Report CSR9567, CWI, Amsterdam, The Netherlands, 1995 [2] Carter, M.W., And G Laporte, Recent developments in practical examination timetabling, in: E.K Burke and P Ross (eds.), Practice and Theory of Automated Timetabling, First International Conference, Selected papers, Lecture Notes in Computer Science 1153, Springer, 1996, 3–21 [3] Carter, M.W., And G Laporte, Recent developments in practical course timetabling, in: E.K Burke and M.W Carter (eds.), Practice and Theory of Automated Timetabling II, Second International Conference, PATAT ’97, Selected papers, Lecture Notes in Computer Science 1408, Springer, 1998, 3–19 [4] Bardadym, V.A , Computer-aided school and university timetabling: The new wave?, in: E.K Burke and P Ross (eds.), Practice and Theory of Automated Timetabling, First International Conference, Selected papers, Lecture Notes in Computer Science 1153, Springer, 1996, 22–45 [5] Gotlieb, C C The construction of class-teacher timetables In Popplewell, C M (Ed.), IFIP congress 62, (73-77) North-Holland, 1963 [6] Schmidt, G., & Strohlein, T Timetable construction – an annotated bibliography The Computer Journal, 23(4), (307-316), 1979 [7] Junginger, W Timetabling in Germany – a survey Interfaces, (16, 66-74), 1986 [8] Tripathy, A School timetabling - A case in large binary integer linear programming Management Science, 30 (12), (1473-1489) 1984 [9] Tripathy, A Computerised decision aid for timetabling - A case analysis Discrete Applied Mathematics, 35(3), (313-323), 1992 [10] Ostermann, R & de Werra, D Some experiments with a timetabling system OR Spektrum, 3, (199-204), 1983 [11] Neufeld, G A., & Tartar, J Graph coloring conditions for the existence of solutions to the timetable problem Communications of the ACM, 17(8), (450-453), 1974 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 51 [12] Abramson, D Constructing school timetables using simulated annealing: sequential and parallel algorithms Management Science, 37(1) (98-113), 1991 [13] Costa, D A tabu search algorithm for computing an operational timetable European Journal of Operational Research, 76, (98-110), 1994 [14] Colorni, A., Dorigo, M., & Maniezzo, V A genetic algorithm to solve the timetable problem Tech rep (90-160) revised, Politecnico di Milano, Italy, 1992 [15] Yoshikawa, M., Kaneko, K., Nomura, Y., & Watanabe, M A constraintbased approach to high-school timetabling problems: a case study In Proc of the 12th Nat Conf on Artificial Intelligence (AAAI-94), (1111-1116), 1994 [16] Cooper, T B., & Kingston, J H The solution of real instances of the timetabling problem The Computer Journal, 36(7), 645-653, 1993 [17] Steven Minton, Mark D Johnston, Andrew B Philips, and Philip Laird Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems Artificial Intelligence, 58:161–205, 1992 [18] S Kirkpatrick, C D Gelatt, and M P Vecchi Optimisation by simulated annealing Science, Number 4598, 13 May 1983, 220, 4598:671–680, 1983 [19] Zbigniew Michalewicz and David B Fogel How to Solve It: Modern Heuristics Spinger, 2000 [20] Fred Glover - Manuel Laguna, TabuSearch, Kluwer Academic Publishers, United States of America, 1998 [21] Goldberg, David (1989) Genetic Algorithms in Search, Optimization and Machine Learning Reading, MA: Addison-Wesley Professional ISBN 9780201157673 [22] Arabinda Tripathy, School Timetabling—A Case In Large Binary Integer Linear Programming, Management Science, Vol 30 No 12 December 1984 [23] Rhydian Marc Rhys Lewis, Metaheuristics for University Course Timetabling, August, 2006 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 52 [24] Simon, H A and A Newell Heuristic Prolem Solving: The Next Advance in Operations Research, Operation Research, Vol 6, No.1, 1958 [25] Fisher, H and G L Thompson Probabilistic Learning Combinations Of Local Job Shop Scheduling Rules, Industrial Scheduling, J F Muth and G L Thompson (eds.), Prentice-Hall (225-251), 1963 [26] Crownston, W B., F Glover, G L Thomspon and J.D Trawick Probabilistic and Parametric Learning Combinations of Local Job Shop Scheduling Rules, ONR Research Memorandum No 117, GSIA, CarnegieMellon University, Pittsburgh, PA, 1963 [27] Glover, F Parametric Combinations of Local Job Shop Rules, Chapter IV, ONR Research Memorandum No 117, GSIA, Carnegie-Mellon University, Pittsburgh, PA, 1963 [28] Glover, F A Multiphase-dual Algorithm for the Zero-one Integer Programming Problem, Operations Research, Vol 13 (879-919), 1965 [29] Glover, F An Algorithm for Solving the Linear Integer Programming Prolem over a Finite Additive Group, with Extensions to Solving Generaland Certain Non-linear Integer Programs, CRC (66-29), University of California at Barkeley, 1966 [30] Glover, F A Pseudo Primal-Dual Integer Programming Algorithm, Journal of Research of the National Bureau of Standards – B, Marthematics and Physical, Vol 71B, No (187-195), 1967 [31] Glover, F “Surrogate Constraints, Operations Research, Vol 16 (741-749), 1968 [32] Glover, F Integer Programming Over a Finite Additive Group, SIAM Joural on Control, Vol (213-231), 1969 [33] Papadimitriou, C.H and K Steiglitz Combinatorial Optimization: Algorithms and Coplexity, Prentice Hall, New York, 1982 [34] Glover, F A Multiphase-Dual Algorithm for the Zero-One Integer Programming Problem, Operations Research, Vol 13, No 6, (NovemberDecember 1965), 879-919 [35] Glover, F Surrogate Constraints, Operations Research, Vol 16, No 4, (July-August 1968), 741-749 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 53 [36] Glover, F A Note on Linear Programming and Integer Feasibility, Operations Research, Vol 16, No 6, (November-December 1968), 12121216 [37] Glover, F Management Decision and Integer Programming, Accounting Review, Vol XLIV, No 2, (April 1969), 300-303 14 "Integer Programming Over a Finite Additive Group," SIAM Journal of Control, Vol 7, No 2, (May 1969), 213-231 [38] Glover, F Integer Programming Over a Finite Additive Group, SIAM Journal of Control, Vol 7, No 2, (May 1969), 213-231 [39] Papadimitriou with Ken Steiglitz Combinatorial optimization: algorithms and complexity (second edition by Dover, 1998), Prentice-Hall, 1982 [40] Jason Brownlee Clever Algorithms: Nature-Inspired Programming Recipes, http://www.cleveralgorithms.com/natureinspired/stochastic/tabu_search.html [41] A Nareyek An empirical analysis of weight-adaptation strategies for neighborhoods of heuristics, In Fourth Metaheuristic International Conference MIC’2001, pages 211–215, Porto, Portugal, July 16-20 2001 [42] Curaki Open Course Time Tabler version 0.8.1, http://sourceforge.net/projects/openctt, March 31st 2008 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ... NGUYỄN ĐỨC VIỆT GIẢI BÀI TOÁN LẬP LỊCH THEO TÍN CHỈ SỬ DỤNG GIẢI THUẬT TÌM KIẾM TABU Nghành: Chuyên nghành: Mã số: Công nghệ thông tin Kỹ thuật phần mềm 60480103 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG... khó để giải Những năm gần đây, có nhiều hướng phát triển phong phú giải thuật nhằm đưa lời giải tốt cho toán Với đề tài ? ?Giải tốn lập lịch theo tín sử dụng giải thuật tìm kiếm Tabu? ??, khóa luận. .. hướng giải truyền thống Tìm hiểu giải thuật tìm kiếm Tabu Ứng dụng thuật giải tìm kiếm Tabu vào tốn lập lịch Xây dựng ứng dụng lập thời khóa biểu cho trung tâm đào tạo theo tín Phương pháp nghiên