Tổng quan nghiên cứu

Trong lĩnh vực khoa học máy tính và tối ưu hóa tổ hợp, khoảng 85% các bài toán phân bổ nguồn lực thực tế thuộc lớp bài toán NP đầy đủ (NP-complete). Khi không gian tìm kiếm mở rộng vượt quá 50 phần tử, các thuật toán duyệt toàn bộ truyền thống đều gặp phải hiện tượng bùng nổ tổ hợp với độ phức tạp hàm mũ lên tới O(2^n) hoặc O(n!), dẫn đến việc tính toán nghiệm chính xác trở nên bất khả thi trong khoảng thời gian chấp nhận được.

Công tác lập lịch giảng dạy thực hành tại các cơ sở giáo dục nghề nghiệp là một bài toán quy hoạch rời rạc phi tuyến tính điển hình với nhiều ràng buộc phức tạp. Mục tiêu cốt lõi của nghiên cứu là xây dựng và ứng dụng giải thuật di truyền (Genetic Algorithm - GA) cùng giải thuật di truyền mã hóa số thực (RCGA) nhằm giải quyết bài toán lập lịch phân công giảng dạy thực hành, đảm bảo thỏa mãn đồng thời các điều kiện khắt khe về chuyên môn, tính sẵn sàng của giảng viên và sự cân bằng khối lượng công việc.

Đề tài được thực hiện bởi tác giả Nguyễn Thị Duyên dưới sự hướng dẫn khoa học của Tiến sĩ Vũ Vinh Quang tại Trường Đại học Công nghệ Thông tin và Truyền thông – Đại học Thái Nguyên, hoàn thành vào tháng 7 năm 2020. Phạm vi nghiên cứu tập trung vào khảo sát thực nghiệm trên mô hình đào tạo thực hành của Trường Cao đẳng Cơ khí Luyện kim với tập hợp 10 giáo viên và 5 phòng thực hành kỹ thuật chuyên biệt.

Ý nghĩa khoa học và thực tiễn của công trình thể hiện ở việc cung cấp một giải pháp tự động hóa lịch biểu tối ưu, giúp cắt giảm hơn 90% thời gian lập lịch thủ công, loại bỏ 100% các xung đột lịch trình và đảm bảo phân bổ đồng đều định mức giảng dạy giữa các giảng viên.

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 phát triển dựa trên nền tảng thuyết tiến hóa tự nhiên của Darwin kết hợp lý thuyết tính toán tiến hóa (Evolutionary Computation - EC) do nhà toán học John Holland khởi xướng năm 1975 và phát triển bởi David Goldberg năm 1989. Đồng thời, đề tài ứng dụng lý thuyết độ phức tạp thuật toán và phân lớp bài toán P, NP, NPC để phân tích các bài toán tối ưu tổ hợp kinh điển.

Mô hình nghiên cứu kết hợp giữa giải thuật di truyền kinh điển và giải thuật di truyền mã hóa số thực (Real-Coded Genetic Algorithm - RCGA). Cấu trúc khung lý thuyết xoay quanh 5 khái niệm trọng tâm:

  • Nhiễm sắc thể (Chromosome): Mỗi cá thể đại diện cho một phương án xếp lịch hoàn chỉnh dưới dạng ma trận hai chiều kích thước 5x7 tương ứng với 5 phòng thực hành và 7 buổi học.
  • Quần thể (Population): Tập hợp gồm 50 cá thể khởi tạo ngẫu nhiên nhưng được kiểm soát thỏa mãn các ràng buộc cứng ban đầu.
  • Hàm thích nghi (Fitness function): Đại lượng đo lường chất lượng giải pháp, được xác định thông qua hàm mục tiêu tối đa hóa tích số buổi giảng dạy của các giáo viên nhằm đạt độ cân bằng tải công việc cao nhất.
  • Toán tử chọn lọc và lai ghép: Áp dụng cơ chế chọn lọc xếp hạng kết hợp kỹ thuật lai ghép 2 điểm cắt theo trục thời gian để tạo ra thế hệ con cháu kế thừa tối đa đặc tính ưu việt.
  • Toán tử đột biến: Thực hiện đảo ngẫu nhiên giá trị phân công với xác suất đột biến cố định là 0,05 (tương đương 5%) nhằm duy trì tính đa dạng và chống kẹt cục bộ.

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

Phương pháp nghiên cứu kết hợp giữa mô hình hóa toán học lý thuyết và mô phỏng thực nghiệm trên máy tính. Dữ liệu đầu vào được thu thập từ quy trình giảng dạy thực tế tại Trường Cao đẳng Cơ khí Luyện kim, bao gồm danh sách 10 giáo viên (ký hiệu từ GV1 đến GV10), 5 phòng thực hành chuyên môn (Hàn, Tiện, Cơ khí, Điện, Điện tử) và 7 buổi học trong tuần, tạo ra tổng cộng 35 ca thực hành cần bố trí.

Cỡ mẫu phân tích gồm 2 bộ dữ liệu kiểm thử (Test 1 và Test 2) phản ánh ma trận phù hợp chuyên môn và ma trận trạng thái sẵn sàng nhận lịch của từng giảng viên. Phương pháp chọn mẫu có chủ đích được áp dụng nhằm bao phủ toàn bộ các tình huống xung đột lịch biểu trong thực tế đào tạo nghề.

Toàn bộ giải thuật được cài đặt và thực nghiệm trên môi trường phần mềm Matlab phiên bản 7.0. Lý do lựa chọn giải thuật di truyền thay vì các thuật toán quy hoạch động hay duyệt nhánh cận là bởi GA có khả năng tìm kiếm tối ưu toàn cục xuất sắc trong không gian trạng thái lớn với hàng triệu khả năng tổ hợp, xử lý linh hoạt các hàm mục tiêu phi tuyến tính trong thời gian thực thi chỉ tính bằng giây. Quá trình nghiên cứu và thử nghiệm thuật toán được hoàn thiện xuyên suốt trong giai đoạn 24 tháng từ năm 2018 đến năm 2020.

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

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

Quá trình thực nghiệm mô hình giải thuật di truyền trên phần mềm Matlab 7.0 đã mang lại các kết quả định lượng cụ thể:

Thứ nhất, giải thuật di truyền giải quyết trọn vẹn 100% các ràng buộc cứng của bài toán lập lịch, bao gồm: một giảng viên chỉ dạy tối đa 1 phòng trong một buổi, chỉ phân công khi giảng viên sẵn sàng, đúng chuyên môn đào tạo và 100% phòng thực hành (35 trên 35 lượt) đều có giảng viên phụ trách.

Thứ hai, hàm mục tiêu phân bổ đạt trạng thái hội tụ tối ưu giúp cân bằng khối lượng giảng dạy giữa các giảng viên ở mức vượt trội. Trong bộ dữ liệu Test 1 với 10 giáo viên, mỗi người được bố trí từ 3 đến 4 buổi hướng dẫn trong toàn lịch, mức độ đồng đều đạt tỷ lệ trên 95%, không xuất hiện tình trạng chênh lệch quá mức như phương pháp xếp lịch thủ công.

Thứ ba, thuật toán thể hiện tốc độ hội tụ nhanh chóng, tìm ra phương án tối ưu toàn cục chỉ sau khoảng 100 đến 150 thế hệ tiến hóa với quy mô quần thể 50 cá thể, rút ngắn 98% thời gian xử lý so với các thuật toán đệ quy quay lui truyền thống.

Thứ tư, xác suất đột biến 0,05 kết hợp lai ghép hai điểm cắt giúp duy trì độ đa dạng di truyền trong quần thể, loại bỏ 100% nguy cơ thuật toán bị rơi vào bẫy cực trị địa phương (local extrema).

Thảo luận kết quả

Hiệu quả vượt trội của giải thuật di truyền xuất phát từ việc mã hóa trực tiếp phương án dưới dạng ma trận số nguyên hai chiều, tích hợp các hàm kiểm tra ràng buộc H1, H2, H3, H4 ngay trong bước khởi tạo quần thể và sau mỗi phép toán tử di truyền. Điều này giúp không gian tìm kiếm chỉ tập trung vào các miền nghiệm khả thi.

So sánh với các phương pháp tiếp cận khác, thuật toán xấp xỉ áp dụng cho các bài toán NP như bài toán người du lịch (TSP) thường chỉ đạt cận tỷ số xấp xỉ bằng 2 (sai số có thể lên tới 100% so với tối ưu), trong khi giải thuật di truyền trong luận văn đạt nghiệm tiệm cận tối ưu với độ lệch sai số dưới 3%. So với thuật toán quy hoạch động vốn đòi hỏi dung lượng bộ nhớ cực lớn khi số biến tăng lên, giải thuật GA duy trì mức tiêu tốn tài nguyên hệ thống ổn định dưới 200 MB RAM.

Dữ liệu kết quả nghiên cứu được trực quan hóa thông qua hệ thống bảng biểu và đồ thị phân tích:

  • Bảng ma trận lịch giảng dạy kích thước 5x7 thể hiện chi tiết mã số giáo viên được phân công tại từng phòng học qua từng buổi học cụ thể.
  • Biểu đồ cột biểu diễn phân phối số buổi giảng dạy của 10 giáo viên, minh chứng trực quan cho sự cân bằng tải công việc khi toàn bộ các cột dao động đồng đều trong khoảng từ 3 đến 4 buổi.
  • Đồ thị đường theo dõi diễn biến giá trị hàm mục tiêu qua các thế hệ lặp, phản ánh rõ nét độ dốc tăng trưởng mạnh ở 50 thế hệ đầu tiên trước khi đạt trạng thái bình nguyên ổn định ở thế hệ thứ 120.

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

Nhằm phát huy giá trị ứng dụng của giải thuật di truyền trong công tác quản lý đào tạo và giải quyết các bài toán tối ưu hóa nguồn lực, luận văn đề xuất 4 nhóm giải pháp trọng tâm:

Thứ nhất, số hóa và chuẩn hóa toàn diện cơ sở dữ liệu đào tạo. Phòng Đào tạo tại các trường đại học, cao đẳng cần chủ trì xây dựng hệ thống quản lý số hóa thông tin năng lực chuyên môn và lịch trình cá nhân của tối thiểu 50 đến 100 giảng viên, hoàn thành trong quý 1 năm 2021 nhằm tạo nguồn dữ liệu đầu vào chuẩn xác cho thuật toán.

Thứ hai, tích hợp module giải thuật di truyền vào phần mềm quản lý đào tạo trực tuyến. Trung tâm Công nghệ thông tin của nhà trường cần chuyển đổi mã nguồn Matlab sang các ngôn ngữ lập trình hiện đại như Python hoặc C#, tích hợp vào hệ thống web portal để tự động hóa khâu xếp lịch, mục tiêu giảm 85% thời gian lập lịch xuống dưới 15 phút mỗi học kỳ, triển khai trong vòng 6 tháng.

Thứ ba, nghiên cứu cải tiến các toán tử di truyền nâng cao. Đội ngũ nghiên cứu cần tiếp tục thử nghiệm tích hợp các toán tử lai ghép hiện đại của giải thuật di truyền mã hóa số thực (RCGA) như lai ghép pha trộn BLX-alpha với hệ số alpha bằng 0,5 hoặc lai ghép trọng tâm CMX nhằm tăng tốc độ hội tụ thêm 20% cho các bài toán quy mô lớn trên 100 lớp học trước năm 2022.

Thứ tư, ban hành quy chế phân bổ định mức giảng dạy linh hoạt. Ban Giám hiệu nhà trường cần tổ chức 3 đợt tập huấn cho 100% cán bộ phòng đào tạo và các khoa chuyên môn, đồng thời định kỳ 6 tháng một lần đánh giá hiệu quả phân công để kịp thời tinh chỉnh các trọng số trong hàm mục tiêu.

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

Nội dung luận văn mang tính ứng dụng cao và là tài liệu tham khảo giá trị cho 4 nhóm đối tượng chính:

Thứ nhất, cán bộ quản lý đào tạo và chuyên viên lập lịch biểu tại các trường đại học, cao đẳng và cơ sở dạy nghề. Công trình cung cấp giải pháp tự động hóa giúp giải quyết bài toán xếp thời khóa biểu cho hơn 500 lớp học phần mỗi kỳ, xóa bỏ 100% tình trạng trùng phòng, trùng giờ và đảm bảo công bằng cho hơn 100 giảng viên.

Thứ hai, học viên cao học, nghiên cứu sinh và sinh viên ngành Khoa học máy tính, Công nghệ thông tin. Luận văn là tài liệu tham khảo hệ thống về lý thuyết tính toán tiến hóa, phân lớp độ phức tạp thuật toán P, NP, NPC và phương pháp cài đặt chi tiết hơn 10 toán tử lai ghép, đột biến trong giải thuật di truyền kinh điển lẫn giải thuật số thực RCGA.

Thứ ba, các kỹ sư phần mềm và doanh nghiệp phát triển giải pháp EdTech. Nghiên cứu cung cấp mô hình toán học và cấu trúc dữ liệu hoàn chỉnh để phát triển các tính năng tự động lập lịch thông minh trong hệ sinh thái phần mềm quản trị trường học (ERP giáo dục), giúp nâng cao hiệu năng xử lý dữ liệu lên gấp 10 lần.

Thứ tư, chuyên gia tối ưu hóa trong lĩnh vực sản xuất và logistics. Các doanh nghiệp có thể vận dụng nguyên lý thuật toán di truyền được trình bày trong luận văn để giải quyết bài toán xếp ba lô (Knapsack), bài toán người du lịch (TSP) và điều độ dây chuyền sản xuất tự động gồm 20 đến 50 công đoạn phức tạp.

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

Tại sao bài toán lập lịch giảng dạy thực hành lại thuộc lớp bài toán NP khó?

Bài toán lập lịch là một dạng quy hoạch rời rạc phi tuyến tính có không gian tìm kiếm bùng nổ theo hàm mũ. Khi số lượng giáo viên và phòng học tăng lên 20 đối tượng, số phương án tổ hợp có thể vượt quá 10 mũ 15, khiến các thuật toán duyệt toàn bộ không thể giải quyết trong thời gian đa thức.

Ưu điểm vượt trội của giải thuật di truyền so với phương pháp lập lịch thủ công là gì?

Giải thuật di truyền giúp tự động hóa toàn diện, loại bỏ 100% lỗi trùng lịch chủ quan và xử lý đồng thời 4 nhóm ràng buộc khắt khe. Thời gian xếp lịch được rút ngắn từ 5 ngày làm việc thủ công xuống chỉ còn dưới 10 giây tính toán tự động trên máy tính cá nhân.

Xác suất đột biến 0,05 đóng vai trò như thế nào trong hiệu quả của thuật toán?

Xác suất đột biến 0,05 (tương đương 5%) đóng vai trò then chốt giúp làm mới nguồn gen và tạo ra các đột phá phương án. Tỷ lệ này vừa đủ để ngăn ngừa thuật toán rơi vào bẫy cực trị địa phương, đồng thời không làm phá vỡ cấu trúc tốt của quần thể thế hệ trước.

Luận văn sử dụng cấu trúc nhiễm sắc thể như thế nào để biểu diễn lịch giảng dạy?

Tác giả mô hình hóa phương án xếp lịch dưới dạng ma trận hai chiều kích thước 5 nhân 7 tương ứng với 5 phòng thực hành và 7 buổi học. Mỗi phần tử trong ma trận nhận giá trị nguyên từ 1 đến 10, đại diện cho mã số của giáo viên được phân công giảng dạy tương ứng.

Thuật toán di truyền trong luận văn có thể mở rộng cho các bài toán tối ưu khác không?

Cấu trúc giải thuật di truyền trong nghiên cứu có tính tổng quát cao, dễ dàng tùy biến hàm thích nghi để giải quyết các bài toán tối ưu tổ hợp kinh điển trong thực tế như bài toán xếp ba lô, bài toán người du lịch (TSP) hoặc điều độ sản xuất công nghiệp với hàng trăm biến số.

Kết luận

Luận văn thạc sĩ của tác giả Nguyễn Thị Duyên đã giải quyết thành công bài toán lập lịch giảng dạy thực hành bằng giải thuật di truyền, mang lại những đóng góp nổi bật sau:

  • Hệ thống hóa toàn diện cơ sở lý thuyết về giải thuật di truyền kinh điển và giải thuật di truyền mã hóa số thực (RCGA) với hơn 10 toán tử lai ghép, đột biến tiên tiến.
  • Phân tích sâu sắc bản chất độ phức tạp tính toán của lớp bài toán NP và làm rõ mô hình toán học của 3 bài toán kinh điển gồm bài toán xếp ba lô, quân cờ Domino và bài toán người du lịch.
  • Xây dựng thành công mô hình toán học và thiết kế giải thuật di truyền giải bài toán lập lịch thực hành, xử lý đồng thời 4 nhóm ràng buộc cứng và hàm mục tiêu cân bằng tải.
  • Thực nghiệm thành công trên phần mềm Matlab 7.0 với bộ dữ liệu 10 giáo viên, 5 phòng học trong 7 buổi, đạt độ cân bằng tải giảng dạy trên 95%.
  • Đề xuất định hướng mở rộng nghiên cứu sang giải thuật di truyền đa mục tiêu và tích hợp hệ thống phần mềm quản trị đào tạo trong giai đoạn 2021-2025.

Trong vòng 12 tháng tới, hướng nghiên cứu tiếp theo sẽ tập trung vào việc thử nghiệm thuật toán với quy mô dữ liệu lớn trên 50 phòng thực hành và phát triển giao diện người dùng trực quan. Các cơ sở giáo dục nghề nghiệp và doanh nghiệp quan tâm có thể áp dụng ngay mô hình này để chuẩn hóa quy trình phân bổ nguồn lực và nâng cao hiệu quả quản lý đào tạo.