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 đó.