Tổng quan nghiên cứu

Bài toán lập thời khóa biểu cho trường đại học (University Course Timetabling Problem - UCTP) là một thách thức quản trị phức tạp thuộc lớp bài toán tối ưu tổ hợp NP-khó. Trong bối cảnh các trường đại học tại Việt Nam chuyển đổi mạnh mẽ từ hình thức niên chế sang đào tạo theo hệ thống tín chỉ, mức độ phức tạp của việc phân bổ lịch học tăng lên gấp 10 lần do tính cá nhân hóa trong việc đăng ký môn học của sinh viên. Với một mô hình quy mô vừa gồm 40 lớp học, 8 môn học mỗi lớp và 25 tiết học mỗi tuần, không gian tìm kiếm trạng thái có thể lên tới $8^{1000}$ trường hợp khả dĩ. Con số này vượt xa khả năng xử lý của các phương pháp duyệt toàn bộ truyền thống.

Luận văn thạc sĩ chuyên ngành Hệ thống Thông tin của tác giả Nguyễn Văn Tuân, dưới sự hướng dẫn khoa học của Phó Giáo sư Tiến sĩ Hoàng Xuân Huấn tại Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội (2015), tập trung nghiên cứu giải pháp tối ưu hóa metaheuristic cho bài toán UCTP. Mục tiêu chính của đề tài là khảo sát các mô hình tối ưu hóa đàn kiến (Ant Colony Optimization - ACO), đặc biệt là cài đặt và đánh giá hiệu nghiệm của quy tắc cập nhật mùi Smooth-MAX-MIN Ant System (SMMAS) so với hệ kiến chuẩn MAX-MIN Ant System (MMAS). Nghiên cứu giải quyết đồng thời cả ràng buộc cứng (như phòng học, trùng lịch sinh viên) và các ràng buộc mềm nhằm giảm thiểu tối đa điểm phạt vi phạm. Kết quả nghiên cứu cung cấp cơ sở toán học và thuật toán vững chắc để nâng cao hiệu suất xếp lịch, tiết kiệm 80% thời gian cho phòng quản lý đào tạo so với các phương thức sắp xếp thủ công thông thường.

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 xây dựng trên nền tảng lý thuyết tối ưu hóa tổ hợp và thuật toán metaheuristic mô phỏng tự nhiên. Lý thuyết nền tảng đầu tiên là thuật toán tối ưu hóa đàn kiến (ACO) do Marco Dorigo đề xuất năm 1991, lấy cảm hứng từ cơ chế tìm đường ngắn nhất của loài kiến thông qua nồng độ vết mùi pheromone và thông tin heuristic. Hệ thống này bao gồm 3 biến thể nền tảng: Ant System (AS), Ant Colony System (ACS) và MAX-MIN Ant System (MMAS). Trong đó, MMAS do Thomas Stützle và Holger Hoos đề xuất năm 2000 áp dụng giới hạn vết mùi trong đoạn $[\tau_{\min}, \tau_{\max}]$ để cân bằng giữa khả năng khám phá và khai thác cục bộ.

Khung lý thuyết then chốt của luận văn là mô hình Smooth-MAX-MIN Ant System (SMMAS) do Phó Giáo sư Tiến sĩ Hoàng Xuân Huấn cùng đồng nghiệp phát triển từ năm 2011. SMMAS khắc phục tình trạng tắc nghẽn sớm và sự chênh lệch vết mùi cực đoan của MMAS bằng cách làm trơn quá trình cập nhật vết mùi, hỗ trợ đàn kiến nhân tạo duy trì tính đa dạng trong không gian tìm kiếm. Các khái niệm cốt lõi bao gồm: đồ thị cấu trúc bài toán thời khóa biểu, ma trận nồng độ pheromone, hệ số bay hơi mùi và hàm mục tiêu đánh giá vi phạm ràng buộc mềm.

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

Nghiên cứu áp dụng phương pháp thực nghiệm tính toán mô phỏng trên bộ dữ liệu chuẩn quốc tế UCTP từ tổ chức Metaheuristics Network (IRIDIA). Cỡ mẫu thực nghiệm bao gồm 3 nhóm bộ dữ liệu chuẩn tương ứng với 3 mức độ quy mô: Nhỏ (Small - khoảng 100 sự kiện, 5 phòng học), Vừa (Medium - khoảng 400 sự kiện, 10 phòng học) và Lớn (Large - hơn 400 sự kiện, 20 phòng học, hàng trăm sinh viên). Phương pháp chọn mẫu dữ liệu chuẩn quốc tế được ưu tiên vì đảm bảo tính khách quan, khả năng tái lập và cung cấp tiêu chuẩn đối sánh tin cậy với các nghiên cứu tối ưu hóa hàng đầu trên thế giới.

Lý do lựa chọn phương pháp phân tích thuật toán ACO là khả năng học tăng cường thông qua vết mùi tích lũy, cho phép thuật toán tự thích ứng với các bài toán có không gian ràng buộc phi tuyến tính. Quá trình thực nghiệm được tiến hành thông qua việc lập trình cài đặt hệ thống, chạy thử nghiệm độc lập 20 lần cho mỗi cấu hình thuật toán để lấy giá trị trung bình, đo lường thời gian hội tụ và tổng điểm phạt vi phạm ràng buộc mềm trong vòng lặp tối đa 500 thế hệ.

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

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

Thực nghiệm so sánh giữa quy tắc cập nhật mùi SMMAS và hệ kiến MMAS trên các bộ dữ liệu chuẩn UCTP đã mang lại những phát hiện quan trọng:

Thứ nhất, thuật toán SMMAS thể hiện năng lực tối ưu hóa vượt trội khi giảm từ 18% đến 25% tổng điểm phạt ràng buộc mềm so với hệ kiến MMAS trên cùng một số lượng bước lặp. Điểm vi phạm trung bình ở các bộ dữ liệu quy mô lớn giảm đáng kể, đảm bảo chất lượng thời khóa biểu hài hòa hơn cho người học.

Thứ hai, độ ổn định và khả năng chống bế tắc cục bộ của SMMAS đạt tỷ lệ 95% số lần chạy thành công mà không rơi vào tình trạng hội tụ sớm, trong khi MMAS thường xuyên bị tắc nghẽn tại các nghiệm cục bộ kém tối ưu khi hệ số $\tau_{\min}$ không được tinh chỉnh hoàn hảo.

Thứ ba, tốc độ hội tụ của hệ kiến SMMAS nhanh hơn khoảng 20% so với giải thuật di truyền (GA) và thuật toán luyện kim (SA) truyền thống, nhờ cơ chế kết hợp hiệu quả giữa thông tin dẫn đường heuristic và bộ nhớ tìm kiếm cục bộ của từng cá thể kiến nhân tạo.

Thứ tư, khi kết hợp thuật toán ghép cặp cực đại để hoàn thiện lời giải khả thi, tỷ lệ đáp ứng tuyệt đối 100% các ràng buộc cứng (không trùng giờ giáo viên, không vượt sĩ số phòng) được hoàn thành chỉ trong chưa đầy 30 giây tính toán ban đầu.

Thảo luận kết quả

Hiệu năng vượt trội của SMMAS bắt nguồn từ cơ chế điều tiết nồng độ pheromone linh hoạt. Khác với MMAS vốn chỉ tập trung bồi đắp vết mùi trên các cạnh thuộc lời giải tốt nhất toàn cục khiến các cạnh tiềm năng khác nhanh chóng suy giảm về $\tau_{\min}$, SMMAS làm trơn biên độ biến thiên giữa các mức vết mùi. Điều này cho phép đàn kiến duy trì khả năng khám phá không gian trạng thái mới trong khi vẫn khai thác sâu các khu vực hứa hẹn.

Khi phân tích dữ liệu hiệu năng, kết quả có thể được trình bày trực quan qua biểu đồ đường thể hiện tiến trình suy giảm hàm phạt theo số thế hệ lặp và bảng so sánh đa chỉ số giữa AS, MMAS, MLAS và SMMAS. So sánh với các công bố quốc tế về bài toán người du lịch (TSP) trước đó của nhóm nghiên cứu năm 2011, việc áp dụng SMMAS vào bài toán UCTP đã chứng minh tính tổng quát hóa cao của mô hình. Luận văn mở ra hướng tiếp cận triển vọng nhằm giải quyết các bài toán tối ưu hóa phi cấu trúc trong thực tiễn quản lý giáo dục.

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

Dựa trên kết quả đạt được, luận văn đưa ra 4 khuyến nghị then chốt nhằm đưa thuật toán vào ứng dụng thực tế:

  1. Phát triển module phần mềm xếp lịch tự động: Bộ phận kỹ thuật công nghệ thông tin tại các trường đại học cần tích hợp giải thuật SMMAS vào hệ sinh thái phần mềm quản lý đào tạo trong vòng 6 tháng, đặt mục tiêu tự động hóa 90% quy trình lập thời khóa biểu và loại bỏ hoàn toàn hiện tượng xung đột phòng học.
  2. Chuẩn hóa quy trình thu thập dữ liệu ràng buộc: Phòng Quản lý Đào tạo cần ban hành biểu mẫu chuẩn hóa để lượng hóa các ràng buộc mềm của giảng viên và sinh viên trước mỗi học kỳ ít nhất 4 tuần, nhằm cung cấp dữ liệu đầu vào chính xác cho mô hình toán học.
  3. Tối ưu hóa tham số thuật toán theo quy mô dữ liệu: Đội ngũ phát triển phần mềm cần thiết lập cơ chế tự động điều chỉnh tham số bay hơi mùi $\rho$ trong khoảng từ 0.02 đến 0.05 và tỷ lệ cân bằng $\alpha, \beta$ tương ứng với quy mô từng khoa trong lộ trình 3 tháng thử nghiệm.
  4. Mở rộng mô hình đa mục tiêu kết hợp: Nhà trường cần tài trợ các đề tài nghiên cứu tiếp nối trong giai đoạn 12 tháng tiếp theo để mở rộng thuật toán, tích hợp thêm các yếu tố thực tiễn như khoảng cách di chuyển giữa các cơ sở đào tạo và hình thức học kết hợp trực tiếp - trực tuyến (Blended Learning).

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

Tài liệu là nguồn tham khảo chuyên sâu và hữu ích cho 4 nhóm đối tượng chính:

  1. Học viên cao học và nghiên cứu sinh ngành Khoa học Máy tính, Hệ thống Thông tin: Nắm vững cơ sở toán học, phương pháp mô hình hóa bài toán NP-khó và kỹ thuật cải tiến giải thuật metaheuristic dựa trên đàn kiến.
  2. Kỹ sư phát triển phần mềm giáo dục (EdTech): Vận dụng mã giả, cấu trúc dữ liệu đồ thị và thuật toán ghép cặp để xây dựng các sản phẩm thương mại xếp lịch học, lịch thi tự động cho các trường học.
  3. Cán bộ quản lý đào tạo và khảo thí tại các trường đại học, cao đẳng: Hiểu rõ bản chất logic của các xung đột thời khóa biểu theo hệ tín chỉ, từ đó tối ưu hóa công tác sắp xếp giảng đường và phân bổ nguồn lực giảng dạy.
  4. Giảng viên và nhà nghiên cứu trong lĩnh vực Tối ưu hóa Tổ hợp: Sử dụng kết quả đối sánh thực nghiệm của SMMAS như tài liệu đối chứng cho các thuật toán tiến hóa thế hệ mới.

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

Bài toán lập thời khóa biểu đại học (UCTP) khác gì so với trường phổ thông?
Thời khóa biểu trường phổ thông có các lớp học cố định theo đơn vị lớp, trong khi đại học đào tạo theo tín chỉ cho phép sinh viên tự do lựa chọn môn học. Điều này tạo ra vô số tập hợp sinh viên trùng chéo giữa các học phần khác nhau, đồng thời đòi hỏi phải phân bổ tối ưu kích thước phòng học và thiết bị giảng dạy chuyên dụng.

Thuật toán tối ưu hóa đàn kiến (ACO) vận hành như thế nào trong bài toán này?
Mỗi cá thể kiến nhân tạo đóng vai trò là một tác tử xây dựng từng phần của lịch học bằng cách gán sự kiện vào phòng và tiết học. Quyết định của kiến dựa trên thông tin heuristic cục bộ kết hợp với nồng độ vết mùi pheromone tích lũy từ các phương án tốt của các thế hệ kiến trước đó.

Điểm cải tiến nổi bật của hệ kiến Smooth-MAX-MIN (SMMAS) là gì?
SMMAS sử dụng quy tắc làm trơn ma trận vết mùi để tránh tình trạng nồng độ pheromone trên các cung đường tối ưu cục bộ tăng quá nhanh làm triệt tiêu tính đa dạng tìm kiếm. Cơ chế này giúp thuật toán vừa khai thác tốt lời giải tốt nhất vừa liên tục thăm dò các phương án tiềm năng mới.

Tại sao phương pháp vét cạn hay tìm kiếm theo chiều sâu không áp dụng được?
Do UCTP thuộc lớp NP-khó, không gian tìm kiếm bùng nổ theo hàm mũ dựa trên số lượng môn học và phòng học. Với một trường quy mô 40 lớp học và 8 môn học mỗi lớp, số trạng thái lên đến hàng triệu lũy thừa, đòi hỏi hàng trăm năm tính toán nếu duyệt toàn bộ, do đó bắt buộc phải dùng thuật toán xấp xỉ gần đúng.

Kết quả nghiên cứu của luận văn có thể triển khai thực tế tại Việt Nam không?
Hoàn toàn khả thi. Mặc dù luận văn tập trung vào mô hình hóa trên bộ dữ liệu chuẩn quốc tế, nhưng cấu trúc toán học của các ràng buộc hoàn toàn tương thích với quy chế đào tạo tín chỉ hiện hành tại các trường đại học Việt Nam, sẵn sàng để đóng gói thành phần mềm ứng dụng.

Kết luận

  • Luận văn hệ thống hóa toàn diện cơ sở lý thuyết về tối ưu hóa đàn kiến (ACO) và mô hình hóa thành công bài toán lập thời khóa biểu đại học (UCTP) theo hệ tín chỉ.
  • Cài đặt và thực nghiệm thành công quy tắc cập nhật mùi Smooth-MAX-MIN Ant System (SMMAS), chứng minh tính hiệu quả vượt trội so với hệ kiến MMAS chuẩn.
  • Thuật toán giúp giảm từ 18% đến 25% điểm vi phạm ràng buộc mềm, đảm bảo 100% ràng buộc cứng trên các bộ dữ liệu thử nghiệm chuẩn quốc tế.
  • Đề xuất lộ trình 4 bước khả thi nhằm chuyển giao giải thuật vào hệ sinh thái phần mềm quản lý học vụ thực tế tại các trường đại học trong 6 đến 12 tháng tới.
  • Mở ra hướng nghiên cứu mở rộng cho các bài toán tối ưu hóa phân bổ nguồn lực phức tạp khác như xếp lịch thi, điều độ sản xuất và logistics.

Quý độc giả và các nhà nghiên cứu quan tâm có thể tham khảo toàn văn luận văn thạc sĩ của tác giả Nguyễn Văn Tuân tại thư viện Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội để tìm hiểu chi tiết các công thức toán học và thiết kế thuật toán chuyên sâu.