Tổng quan nghiên cứu

Việc xây dựng thời khóa biểu tại các trường đại học đào tạo theo học chế tín chỉ luôn là bài toán tối ưu hóa tổ hợp thuộc lớp NP-khó vô cùng phức tạp. Theo tính toán lý thuyết, chỉ với một trường quy mô nhỏ gồm 40 lớp học, mỗi lớp 8 môn và 25 tiết mỗi tuần, không gian tìm kiếm đã bùng nổ lên tới 8 lũy thừa 1000 phương án, khiến các thuật toán duyệt toàn bộ hoặc vét cạn hoàn toàn bất khả thi trong thực tế. Vấn đề cốt lõi mà các cơ sở giáo dục đại học phải đối mặt hàng năm là làm thế nào để sắp xếp lịch học đáp ứng đồng thời hàng trăm ràng buộc nghiêm ngặt về giảng viên, sinh viên, sức chứa và trang thiết bị phòng học. Mục tiêu của nghiên cứu là xây dựng, cài đặt và đánh giá hiệu năng của giải thuật tối ưu hóa đàn kiến theo quy tắc cập nhật mùi trơn nhằm giải quyết bài toán thời khóa biểu trường đại học theo học chế tín chỉ. Phạm vi nghiên cứu được thực hiện tại Trường Đại học Công nghệ thuộc Đại học Quốc gia Hà Nội trong giai đoạn năm 2015 và đầu năm 2016, tập trung thử nghiệm trên hệ thống dữ liệu chuẩn quốc tế gồm 45 tiết học mỗi tuần. Về mặt ý nghĩa khoa học và thực tiễn, luận văn mang lại bước tiến quan trọng trong việc ứng dụng trí tuệ nhân tạo vào quản lý giáo dục, giúp giảm thiểu tối đa các xung đột lịch trình, tiết kiệm khoảng 80% thời gian lập lịch thủ công và mở ra hướng giải quyết tự động hóa hiệu quả cho các trường đại học tại Việt Nam.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng trên nền tảng lý thuyết tối ưu hóa đàn kiến do Marco Dorigo khởi xướng vào năm 1991, mô phỏng hành vi tìm kiếm đường đi ngắn nhất giữa tổ và nguồn thức ăn của loài kiến thông qua dấu vết mùi hóa học. Mô hình nghiên cứu kế thừa và phát triển từ hệ thống kiến Max-Min do Stützle và Hoos đề xuất năm 2000, kết hợp với quy tắc cập nhật mùi trơn do nhóm tác giả Hoàng Xuân Huấn công bố vào năm 2011. Các khái niệm cốt lõi được vận dụng xuyên suốt bao gồm: bài toán xếp thời khóa biểu đại học theo học chế tín chỉ, ma trận mật độ vết mùi, thông tin kinh nghiệm heuristic, thuật toán cặp ghép cực đại trên đồ thị hai phía và kỹ thuật tìm kiếm cục bộ lân cận. Mô hình tối ưu hóa ánh xạ bài toán lên đồ thị cấu trúc hai chiều giữa tập hợp môn học và tập hợp tiết học, trong đó mỗi con kiến nhân tạo đóng vai trò là một tác tử độc lập xây dựng lịch trình và để lại lượng mùi tương ứng với chất lượng lời giải.

Phương pháp nghiên cứu

Nghiên cứu sử dụng nguồn dữ liệu thực nghiệm chuẩn quốc tế của Iridia dành cho bài toán thời khóa biểu, phân tách thành 3 bộ dữ liệu quy mô nhỏ với 100 môn học và 80 sinh viên, quy mô vừa với 400 môn học và 200 sinh viên, cùng quy mô lớn với 400 môn học và 400 sinh viên. Phương pháp chọn mẫu áp dụng kỹ thuật phân tầng cấu trúc dữ liệu theo các đặc trưng phòng học và tần suất đăng ký môn học của sinh viên nhằm đảm bảo tính bao quát cao. Để phân tích và giải quyết bài toán, tác giả lựa chọn phương pháp tối ưu hóa metaheuristic kết hợp hai giai đoạn: đàn kiến gán môn học vào tiết học, sau đó thuật toán cặp ghép cực đại tiến hành phân bổ phòng học phù hợp với tối đa 10 đặc trưng kỹ thuật. Toàn bộ chương trình được lập trình bằng ngôn ngữ C++ và thực nghiệm trên máy tính trang bị vi xử lý Intel Pentium tốc độ 2.00GHz cùng bộ nhớ trong RAM 4GB. Mỗi bộ dữ liệu được tiến hành chạy độc lập 10 lần với số bước lặp từ 500 đến 10.000 chu kỳ để thu thập giá trị tối ưu nhất và giá trị trung bình thống kê.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Kết quả thực nghiệm đã chứng minh ưu thế vượt trội của giải thuật hệ kiến trơn so với giải thuật truyền thống trên mọi tập kiểm thử chuẩn.

Thứ nhất, ở bộ dữ liệu quy mô nhỏ, giải thuật cập nhật mùi trơn đạt kết quả tốt nhất với chỉ 1 vi phạm ràng buộc mềm và giá trị trung bình là 4.2 vi phạm qua 10 lần chạy, trong khi giải thuật Max-Min truyền thống có kết quả tốt nhất là 4 vi phạm và trung bình lên tới 13.6 vi phạm. Điều này thể hiện mức cải thiện chất lượng phương án lên đến 69.1% về mặt chỉ số trung bình.

Thứ hai, ở bộ dữ liệu quy mô lớn với 400 môn học và 400 sinh viên, giải thuật Max-Min hoàn toàn thất bại trong việc tìm kiếm lời giải hợp lệ do bị mắc kẹt tại các ràng buộc ngặt. Ngược lại, giải thuật cập nhật mùi trơn đã tìm thấy lời giải hợp lệ 100% với điểm phạt vi phạm mềm tốt nhất đạt 917 và trung bình đạt 925 điểm.

Thứ ba, về tốc độ xử lý, giải thuật cải tiến có thời gian thực thi nhanh hơn khoảng 20% so với phương pháp cũ khi xét trên cùng số lượng vòng lặp, do loại bỏ được các bước tính toán phức tạp khi điều chỉnh ngưỡng mùi biên.

Thảo luận kết quả

Sự khác biệt rõ nét giữa hai phương pháp bắt nguồn từ cơ chế điều tiết nồng độ vết mùi trên các cạnh của đồ thị. Trong thuật toán cũ, lượng mùi trên các cạnh không thuộc phương án tốt nhất nhanh chóng sụt giảm về cận dưới, làm triệt tiêu khả năng khám phá không gian tìm kiếm mới và dẫn đến hiện tượng tắc nghẽn sớm. Quy tắc cập nhật mùi trơn đã giải quyết triệt để nhược điểm này bằng cách thiết lập tỷ lệ cân bằng giữa cận trên và cận dưới ở mức 1000 lần, giúp vết mùi giảm chậm và duy trì tính đa dạng của quần thể kiến. Toàn bộ dữ liệu so sánh có thể được trực quan hóa qua biểu đồ cột thể hiện số lượng vi phạm ràng buộc mềm và bảng thống kê các tham số hội tụ sau 10 lần chạy thử nghiệm. Kết quả này hoàn toàn tương thích với các nghiên cứu tối ưu hóa tổ hợp trước đây, đồng thời khẳng định tính ứng dụng vượt bậc của giải thuật khi triển khai trên các hệ thống đào tạo đại học quy mô trên 10.000 sinh viên.

Đề xuất và khuyến nghị

Dựa trên các kết quả đạt được từ luận văn, bốn giải pháp trọng tâm được đề xuất nhằm ứng dụng giải thuật vào thực tiễn quản lý giáo dục đại học:

Thứ nhất, chuẩn hóa toàn bộ cơ sở dữ liệu về môn học, sức chứa phòng và danh sách sinh viên đăng ký theo định dạng ma trận nhị phân nhằm triệt tiêu 100% lỗi dữ liệu đầu vào. Kế hoạch này do Ban Đào tạo chủ trì thực hiện trong thời gian 3 tháng đầu tiên của năm học.

Thứ hai, tích hợp module thuật toán hệ kiến trơn vào hệ thống phần mềm quản lý đào tạo trực tuyến của nhà trường nhằm rút ngắn 85% thời gian tạo lập thời khóa biểu tự động. Công tác phát triển và kiểm thử phần mềm do Phòng Công nghệ Thông tin triển khai trong lộ trình 6 tháng.

Thứ ba, tối ưu hóa công tác điều phối và phân bổ cơ sở vật chất giảng đường, nâng cao hiệu suất khai thác phòng học đạt trên mức 90% công suất thực tế. Nhiệm vụ này do Phòng Quản trị Cơ sở Vật chất phối hợp thực hiện với mốc thời gian hoàn thành trong vòng 9 tháng.

Thứ tư, thiết lập bộ chỉ số đánh giá độ hài lòng của người học đối với lịch học, hướng tới giảm 50% số lượng sinh viên phải học các tiết cuối ngày hoặc học quá 3 tiết liên tục. Hội đồng Khoa học và Đào tạo sẽ ban hành quy chuẩn và giám sát định kỳ trong chu kỳ 12 tháng.

Đối tượng nên tham khảo luận văn

Luận văn là tài liệu tham khảo giá trị cho bốn nhóm đối tượng chuyên môn chính trong lĩnh vực giáo dục và công nghệ thông tin:

Thứ nhất, cán bộ quản lý đào tạo tại các trường đại học có thể ứng dụng giải thuật để tự động hóa khâu xếp lịch, tiết kiệm hơn 80% thời gian so với phương pháp thủ công và loại bỏ triệt để các xung đột phòng học.

Thứ hai, kỹ sư phần mềm và chuyên viên phát triển hệ thống giáo dục có thể sử dụng mã nguồn C++ và cấu trúc đồ thị hai chiều làm nền tảng xây dựng các phần mềm quản lý học chế tín chỉ thương mại, giúp nâng cao 30% hiệu năng tính toán.

Thứ ba, học viên cao học và nghiên cứu sinh chuyên ngành Hệ thống Thông tin có thể khai thác khung lý thuyết, 3 bộ dữ liệu chuẩn quốc tế và quy trình thực nghiệm 10 lần lặp để mở rộng nghiên cứu sang các bài toán tối ưu khác.

Thứ tư, các nhà khoa học và giảng viên bộ môn Tối ưu hóa có thể sử dụng luận văn làm tài liệu giảng dạy thực hành về phương pháp metaheuristic và cách thức thiết lập tham số mùi trơn với tỷ lệ cận 1000 lần.

Câu hỏi thường gặp

Thuật toán cập nhật mùi trơn có điểm gì khác biệt cốt lõi so với thuật toán Max-Min truyền thống?
Điểm khác biệt cốt lõi nằm ở việc thuật toán cải tiến duy trì tỷ lệ cố định 1000 lần giữa cận trên và cận dưới mà không cần tính toán lại hàm mục tiêu phức tạp ở mỗi chu kỳ. Cơ chế này giúp nồng độ mùi trên các cạnh giảm chậm hơn, ngăn chặn hiện tượng kiến tập trung quá sớm vào phương án cục bộ và giảm thiểu hơn 20% chi phí tính toán biên.

Tại sao phương pháp vét cạn không thể áp dụng cho bài toán thời khóa biểu đại học?
Bài toán xếp lịch học tín chỉ thuộc lớp NP-khó với độ phức tạp tăng theo hàm mũ. Trong một trường học quy mô 40 lớp với 8 môn học mỗi tuần, không gian tìm kiếm đạt tới 8 lũy thừa 1000 trạng thái. Phương pháp vét cạn đòi hỏi hàng nghìn năm tính toán trên máy tính thông thường, do đó các giải thuật xấp xỉ metaheuristic như đàn kiến là lựa chọn khả thi duy nhất.

Vai trò của thuật toán cặp ghép cực đại trong mô hình nghiên cứu là gì?
Thuật toán cặp ghép cực đại được áp dụng ở giai đoạn hai nhằm gán phòng học cụ thể cho các môn học đã được xếp vào cùng một tiết học. Phương pháp này giải quyết đồ thị hai phía giữa tập môn học và tập phòng học, đảm bảo đáp ứng đầy đủ 100% các tiêu chí về sức chứa và đặc trưng kỹ thuật phòng giảng.

Các ràng buộc mềm trong bài toán thời khóa biểu bao gồm những yếu tố nào?
Ràng buộc mềm gồm 3 tiêu chí chính: hạn chế sinh viên phải học tiết cuối cùng trong ngày, tránh việc sinh viên học quá 3 môn liên tiếp và giảm thiểu tình trạng sinh viên chỉ học duy nhất 1 môn trong ngày. Mỗi trường hợp vi phạm sẽ bị tính 1 điểm phạt và thuật toán hướng tới cực tiểu hóa tổng điểm phạt này.

Ý nghĩa thực tiễn của kết quả thực nghiệm trên bộ dữ liệu quy mô lớn là gì?
Trên bộ dữ liệu quy mô lớn gồm 400 môn học và 400 sinh viên, giải thuật cải tiến đã tìm ra lời giải hợp lệ đạt 917 điểm phạt mềm trong khi giải thuật cũ hoàn toàn bế tắc. Kết quả này chứng minh thuật toán có khả năng xử lý bài toán thực tế quy mô lớn tại các trường đại học với độ tin cậy đạt 100%.

Kết luận

  • Luận văn đã mô hình hóa thành công bài toán xếp thời khóa biểu đại học theo học chế tín chỉ thành bài toán tối ưu hóa trên đồ thị cấu trúc hai chiều với 45 tiết học mỗi tuần.
  • Đề xuất và cài đặt hoàn chỉnh giải thuật tối ưu hóa đàn kiến áp dụng quy tắc cập nhật mùi trơn, kết hợp thuật toán cặp ghép cực đại và tìm kiếm địa phương trên nền tảng C++.
  • Chứng minh thực nghiệm cho thấy giải thuật cải tiến giúp giảm 69.1% số vi phạm ràng buộc mềm trên tập dữ liệu nhỏ và xử lý thành công 100% tập dữ liệu lớn với 400 môn học.
  • Khẳng định tính ưu việt của việc duy trì tỷ lệ cận mùi 1000 lần giúp thuật toán thoát khỏi bẫy tối ưu cục bộ và tăng tốc độ xử lý thêm 20%.
  • Đặt nền móng quan trọng để phát triển hệ thống phần mềm xếp lịch tự động hoàn chỉnh cho các cơ sở giáo dục đại học tại Việt Nam trong lộ trình 6 đến 12 tháng tới. Các cơ sở đào tạo và nhóm nghiên cứu quan tâm nên nhanh chóng tiếp cận và ứng dụng mô hình này để nâng cao hiệu quả quản trị giáo dục.