AI xếp lịch + xếp lớp tối ưu — solver OR-Tools CP-SAT · phòng utilization 58% → 84% · cứu 47tr/tháng
Phần mềm AI cho trung tâm 5+ phòng học · 200-2000 HV. Optimization engine Google OR-Tools CP-SAT tự nhét HV vào lớp ít trống nhất, cân tải GV (mỗi cô không quá X giờ/tuần), giảm phòng chạy không. Tiền lãng phí "vô hình" mà chủ trung tâm hay không thấy — phòng trống 30% capacity, cô A dạy 28h/tuần burnout, cô B dạy 14h/tuần idle. Sau 1 quý áp dụng — An Đông Edu utilization 58% → 84%.
Chuyên viên phần mềm MONA thuyết trình prototype này
2-4 phút · OR-Tools CP-SAT formulation + constraints + objective function. Xem trước khi vào demo.
Lịch hiện tại: 21 slot trống, 5 slot quá tải, 7 GV burnout · phòng utilization 58%
09:30
Văn 8A1
Văn 8A2
Toán 9B1
11:15
Văn 8A3
Văn 8A4
Toán 9B2
15:30
Văn 8A5
Toán 9B3
17:15
Văn 8A1+8A5
Anh B1
Anh B2
19:00
Toán 9B1
Anh B3
Anh B4
Văn 8A6+8A7
20:45
Toán 9B2
Anh C1+C2
Toán 9B3
Solver scan 10^14 assignments → tìm cấu hình tối ưu objective function
Mỗi assignment HV → lớp → GV → phòng → slot là 1 variable. Tổng 5,184 binary variables. CP-SAT tìm assignment tối ưu objective function "max utilization − penalty(overload + understaff + HV preference miss)".
Utilization 58% → 84% · GV tải cân · 0 lớp quá tải · +21 lớp/tuần
Sau 1 quý · An Đông Edu mở thêm 21 lớp · cứu 47tr/tháng không thấy được trước đó
💰 Doanh thu mới
💸 Chi phí cắt
MONA dùng cụ thể solver nào, hiện tại đúng bao nhiêu %, khi nào lên 99.5%+.
Anh chị xem demo xong tự nhiên muốn biết "solver gì, utilization bao nhiêu, có scale được không". Bảng dưới trả lời thẳng — không ẩn, không marketing. Số đo có ngày tháng cụ thể, lộ trình có quý cụ thể, vùng solver không bao giờ 100% utilization cũng nói thẳng.
CP-SAT solver + LLM constraint parser + heuristic warm start
- Solver chính OR-Tools CP-SAT (Google) · open source, license Apache 2.0
- Solver enterprise Gurobi 11 · commercial license cho chuỗi >500 HV
- LLM constraint parser Claude Opus 4 · parse yêu cầu chủ ("không xếp cô A tối thứ 5") → CP-SAT constraint code
- Heuristic warm start Tabu Search + Simulated Annealing · seed solution trước khi solver chạy
- Database PostgreSQL schedule + Redis cache active solution
- Audit + replay full state snapshot mỗi solve · giáo vụ có thể rollback bất kỳ version
- Integration LMS schedule API + Google Calendar OAuth + Outlook 365 Graph API
- Reporting utilization dashboard realtime · phòng / GV / lớp metrics
- Infra Python solver service + Node.js orchestrator · scale horizontal khi >2,000 HV
Đo trên 28 trung tâm · 2026-05-15
Cách đo: Hard constraints (HV không trùng giờ, GV không trùng giờ, phòng không trùng giờ, capacity phòng) — solver bảo đảm 100%. Soft constraints (utilization, preference, distance) đo so với baseline trước khi dùng AI (manual scheduling) trên cùng dataset.
3 quý tới · công khai cam kết
- Q2/26 ● 96.8% → 98.0% · soft constraints v2 (HV preference cùng giờ với bạn / cùng GV ưa thích) (đang chạy)
- Q3/26 98.0% → 98.8% · multi-objective Pareto front (utilization vs preference vs cost) — chủ chọn weight
- Q4/26 98.8% → 99.2% · dynamic re-solve realtime (HV mới đăng ký / cô nghỉ ốm / phòng hỏng → solve lại < 5s)
- Q1/27 ★ Ổn định 99.5%+ cho chuỗi 1,000-5,000 HV (đa chi nhánh, đa thành phố)
Chủ trung tâm không thấy tiền lãng phí vô hình.
Khi xếp lịch tay: phòng trống vì "không có HV nào hỏi slot đó". Nhưng thực tế có 36 HV đang chờ slot phù hợp time-window của họ. Chỉ là manager không khớp được trong đầu vì có quá nhiều ràng buộc.
CP-SAT solver scan 10^14 khả năng trong 8 giây — tìm cấu hình tối ưu math mà não người không tính nổi. 1 quý áp dụng = +47tr/tháng không thấy được trước đó.