FAQ — Cách hoạt động của thuật toán tạo tự động

Những câu hỏi thường gặp về cách hoạt động của công cụ tạo tự động. Để có mô tả về chính công cụ tạo tự động, xem Công cụ tạo tự động; để biết chi tiết vận hành, xem Tạo tự động.

Công cụ tạo tự động chạy được trên những loại thời khóa biểu nào?

Trên thời khóa biểu theo tuần, theo chu kỳ và theo lịch. Ở chế độ lịch, các tiết học được đặt vào ngày thực và các tùy chọn khi tạo tự động bao gồm cả các mốc giới hạn ngày.

Thuật toán hoạt động như thế nào?

Omniscol chạy một tiến trình giải ở chế độ nền. Công cụ tạo tự động đánh giá những tiết học cần xếp, các ràng buộc đã khai báo và các ưu tiên khi tạo. Kết quả phụ thuộc trước hết vào chất lượng dữ liệu: khối lượng giờ, giáo viên, phòng học, nhóm, thời gian rảnh, điểm không tương thích và ràng buộc giữa các cơ sở.

Mỗi lần tạo tự động sẽ khởi động một môi trường tính toán riêng, chạy song song. Phía nhà trường không có hàng đợi nào phải quản lý; phần khởi tạo thường mất khoảng mười giây trước khi việc tính toán thực sự bắt đầu. Trong mô-đun Quản lý thời khóa biểu, nút Tạo thời khóa biểu khởi chạy việc tính toán, theo dõi trạng thái và cho phép xem xét kết quả.

Bộ máy này là một AI tối ưu hóa theo hướng siêu heuristic Monte-Carlo nơ-ron – ký hiệu: tìm kiếm ngẫu nhiên, ràng buộc ký hiệu và tối ưu hóa điểm số theo từng bước. Đây không phải là lời hứa thành công trên một tập ràng buộc bất khả thi; trong trường hợp đó, Omniscol trả về một chẩn đoán.

Một lần tạo tự động mất bao lâu?

Thời lượng phụ thuộc vào quy mô thời khóa biểu, số tiết học, số ràng buộc và các tùy chọn đã chọn. Để hình dung mức độ, một trường trung học cơ sở khoảng 550 học sinh, 45 giáo viên và 16 lớp, với nhiều thời gian rảnh, có thể có được một thời khóa biểu đầy đủ trong chưa đầy một phút, rất ít hoặc không có giờ trống, khi dữ liệu nhất quán. Một trường hợp dày đặc hơn, bị ràng buộc rất chặt hoặc có những phép tối ưu hóa tốn kém thì có thể mất lâu hơn nhiều.

Công cụ tạo tự động có tuân thủ mọi ràng buộc không?

Các ràng buộc cứng được tuân thủ nghiêm ngặt:

• một giáo viên chỉ ở một nơi tại cùng một thời điểm;
• một lớp không bị xếp trùng hai chỗ, trừ các nhóm nằm trong một phân vùng;
• thời gian rảnh và những khung giờ được đánh dấu bận;
• phòng học tiêu chuẩn chỉ có một tiết học tại một thời điểm;
• phòng lớn chỉ được dùng trong giới hạn sức chứa và số lớp cùng lúc của nó;
• phòng học chuyên ngành, sức chứa, tài nguyên vật chất và việc di chuyển giữa các cơ sở đều tương thích;
• các tiết học đã khóa được giữ nguyên vị trí.

Các ràng buộc mềm (thời gian rảnh không mong muốn, các ưu tiên, trọng số sư phạm, cân đối giữa các ngày, số ngày có mặt, giờ trống trong thời khóa biểu) được tối ưu hóa ở mức tốt nhất có thể. Chúng sinh ra điểm trừ: công cụ tạo tự động tìm lời giải tích lũy ít điểm trừ nhất, nhưng vẫn có thể giữ lại một số nếu đó là phương án dung hòa tốt nhất còn tương thích với các ràng buộc cứng.

Nếu việc tạo tự động thất bại thì làm gì?

Khi không tìm được lời giải đầy đủ, Omniscol trả về thời khóa biểu tốt nhất tính được và để lại những tiết học chưa xếp trong thanh post-it. Thời khóa biểu chưa hoàn chỉnh vẫn xem được để hiểu những gì đã được xếp, rồi sửa các ràng buộc hoặc tự tay đặt lại một số tiết học. Những nguyên nhân thường gặp nhất được mô tả trong trang Chẩn đoán khi việc tạo thời khóa biểu thất bại.

Có thể tự tay ấn định vị trí của một tiết học không?

Có, bằng cách khóa một tiết học sau khi đã đặt nó thủ công. Công cụ tạo tự động không di chuyển tiết học đã khóa trong lần tạo tự động mới, mà điều chỉnh những tiết học khác xung quanh. Cách này hữu ích để cố định các tiết học không thể xê dịch (chuyên gia bên ngoài đến giảng vào ngày ấn định, kỳ thi đã định ngày).

Vì sao công cụ tạo tự động không đề xuất nhiều lời giải?

Công cụ tạo tự động tối ưu hóa theo các ràng buộc và ưu tiên đã khai báo, rồi trả về lời giải tốt nhất tìm được. Để có nhiều lời giải đem so sánh, hãy nhân bản thời khóa biểu trước mỗi lần tạo tự động và chỉnh nhẹ các ràng buộc hoặc trọng số giữa hai lượt chạy.

Công cụ tạo tự động có tính đến các vắng mặt đã khai báo không?

Công cụ tạo tự động làm việc trên thời khóa biểu cấu trúc, độc lập với các vắng mặt. Vắng mặt được xử lý về sau trong mô-đun Quản lý vắng mặt (xem Tổng quan về mô-đun Quản lý vắng mặt), có ảnh hưởng đến cách hiển thị thời khóa biểu đã công bố và đến thống kê của Trang tổng quan (không ảnh hưởng đến cấu trúc bên dưới).

Lỗi tương thích có chủ đích và lỗi tương thích gây chặn

Không phải lỗi tương thích nào cũng như nhau:

• Lỗi tương thích không chặn — có thể để nguyên nếu đó là lựa chọn có chủ đích (ví dụ, một phòng học có sĩ số hiển thị vượt sức chứa vì bạn biết không phải tất cả những người đã đăng ký đều đến). Cảnh báo vẫn hiện nhưng không chặn.
• Lỗi tương thích gây chặn — khiến việc tạo tự động không thể thành công (không có phòng học nào tương thích, căn chỉnh nhóm không nhất quán, v.v.). Nút Tạo thời khóa biểu vẫn bị vô hiệu hóa chừng nào những lỗi tương thích này còn tồn tại.

Xem Lỗi tương thích.