법정 근로시간·교대 안전·자격·야간 공정 — 수십 개 규칙이 얽힌 근무표를 위반 0으로 자동 편성합니다. 며칠씩 손으로 짜던 표를 몇 초 만에.
변수들이 서로 얽힌 문제입니다. 한 명만 빠져도 연쇄로 무너집니다.
근로시간·휴식·자격·야간 공정·휴무가 동시에 얽혀, 한 곳을 건드리면 다른 데가 깨집니다.
수간호사가 엑셀로 며칠을 씨름하고, 실수하면 법 위반·분쟁·번아웃으로 번집니다.
단순 룰베이스는 진짜 규칙을 못 담습니다. Rota는 규칙 자체를 수학으로 인코딩합니다.
규칙을 입력하면 제약 최적화 엔진이 위반 0인 표를 찾고, 독립 검증기가 증명합니다.
인원·수요·교대 안전·자격·휴무를 폼에 입력합니다. JSON도 수식도 필요 없습니다.
CP-SAT 제약 최적화가 하드 규칙을 지키며 야간·주말·공정성을 최적화한 표를 찾습니다.
칸을 고정해 재최적화하거나 자연어로 조정하고, 표를 화면·인쇄용으로 출력합니다.
신뢰는 사람이 아니라 결과가 만듭니다 — 위반 0과 시간 절약.
편성된 모든 표는 독립 검증기가 하드 규칙 위반 0임을 증명합니다.
야간·주말·총 근무량을 정량적으로 고르게 분배합니다.
책임(차지)·ICU 등 자격이 모든 교대에 빠짐없이 배치됩니다.
누가 갑자기 빠져도 전체를 다시 짜지 않고 최소 변경으로 메웁니다.
“간호사3 금요일 야간 빼줘” — 말로 바꾸면 규칙을 지키며 다시 짭니다.
편성이 불가능하면 어느 규칙이 왜 충돌하는지 병동 언어로 알려줍니다.
| 항목 | 수작업 | Rota |
|---|---|---|
| 소요 시간 | 며칠 | 수 초 ~ 수십 초 |
| 규칙 위반 | 사람 실수에 의존 | 0 (독립 검증 증명) |
| 공정성 | 주관·관행 | 정량 최적화 |
| 결원·수정 대응 | 전체 재작성 | 최소 변경 재배치 |
| 안 풀릴 때 | 원인 불명 | 충돌 규칙 해설 |