Bài toán

Việc xếp thời khóa biểu thủ công bằng Excel thường mất nhiều thời gian và dễ phát sinh lỗi, đặc biệt khi phải xử lý cùng lúc lớp học phần, giảng viên, phòng học, sĩ số, thiết bị và khung giờ.

Các lỗi phổ biến gồm trùng phòng, trùng giảng viên, trùng nhóm sinh viên, phòng không đủ sức chứa hoặc không đáp ứng yêu cầu thiết bị. Khi có thay đổi phút cuối, người phụ trách phải kiểm tra lại thủ công, rất dễ bỏ sót xung đột.

Giải pháp kỹ thuật

AI SmartSchedule là web app hỗ trợ tạo thời khóa biểu và phân phòng học tự động theo hướng solver-first, AI-assisted.

Hệ thống cho phép người dùng import dữ liệu từ Excel hoặc nhập tay, sau đó backend validate dữ liệu đầu vào trước khi đưa vào solver. Phần lõi sử dụng OR-Tools CP-SAT để sinh lịch theo các ràng buộc cứng như không trùng phòng, không trùng giảng viên, không trùng nhóm sinh viên và đảm bảo phòng phù hợp với lớp học.

AI assistant không tự quyết định lịch, mà chỉ hỗ trợ giải thích, hỏi đáp và gợi ý sửa lịch cục bộ. Mọi thay đổi đều được backend kiểm tra lại ràng buộc trước khi áp dụng.

Công nghệ chính:

• Frontend: Next.js, TypeScript, Tailwind.
• Backend: FastAPI.
• Solver: OR-Tools CP-SAT.
• AI Assistant: LangGraph.
• Storage: SQLite, JSON snapshot.
• DevOps: Docker, GitHub Actions.

Tính khả thi

Project đã có MVP với các luồng chính: import dữ liệu, validate, sinh lịch, xem lịch trên dashboard, kiểm tra conflict, export Excel/CSV, chat assistant, lưu lịch sử thay đổi và rollback version.

Cách thiết kế tách rõ solver, backend validation và AI assistant giúp hệ thống an toàn hơn khi áp dụng vào bài toán có nhiều ràng buộc nghiệp vụ. Solver đảm bảo tính đúng của lịch, còn AI giúp người dùng thao tác và hiểu hệ thống dễ hơn.

Hướng phát triển

Trong ngắn hạn, team sẽ hoàn thiện luồng demo, cải thiện giao diện dashboard, conflict panel, chat panel và chuẩn hóa dữ liệu mẫu.

Trong trung hạn, sản phẩm có thể bổ sung phân quyền người dùng, cải thiện local repair với nhiều phương án đề xuất, hỗ trợ cấu hình constraint theo từng khoa/trường và nâng cấp quản lý dữ liệu sau import.

Trong dài hạn, AI SmartSchedule có thể mở rộng thành hệ thống xếp lịch production với multi-user, PostgreSQL, audit trail đầy đủ, tích hợp calendar/email và kết nối với hệ thống quản lý đào tạo.