최적화 모델이 '해 없음'을 반환하면 알고리즘이 실패했다고 생각하기 쉽습니다. 실제로는 납기, 인력, 설비 시간 같은 입력 조건이 서로 동시에 만족될 수 없다는 신호일 수 있습니다. 충돌을 설명 가능한 업무 언어로 바꾸는 과정이 필요합니다.
데이터 오류부터 확인한다
작업시간 단위가 분과 시간으로 섞였거나 휴무일을 가동일로 넣으면 인위적인 모순이 생깁니다. 누락된 자재, 잘못된 스킬 매트릭스, 중복 주문도 점검합니다. 솔버가 불가능하다고 말할 때 바로 제약을 완화하면 원본 오류를 숨길 수 있습니다.
강한 제약과 목표를 구분한다
안전 자격과 설비 물리 한도는 어길 수 없지만 선호 납기나 균등 배치는 상황에 따라 완화 가능할 수 있습니다. 모든 조건을 강한 제약으로 두면 조정 가능한 선택지가 사라집니다. 완화 가능한 조건에는 위반 비용과 승인자를 명시합니다.
작은 충돌 집합을 찾는다
수많은 제약 중 어떤 묶음이 서로 충돌하는지 찾으면 원인을 좁힐 수 있습니다. 솔버의 불가능성 분석 기능이나 단계적 제약 제거를 활용해 관련 주문, 시간대, 자원을 확인합니다. 분석 결과를 현장 용어로 번역해야 의사결정에 도움이 됩니다.
대안을 순서대로 보여 준다
추가 근무 2시간, 납기 하루 연장, 외주 공정 활용처럼 어떤 제약을 얼마나 완화하면 해가 생기는지 비교합니다. 한 조건만 풀었다고 안전이나 법적 제약을 넘기지 않게 우선순위를 둡니다. 대안마다 비용과 영향을 함께 표시합니다.
반복 충돌을 데이터로 남긴다
매주 같은 스킬 부족이나 설비 과부하가 나타난다면 일정 조정 이상의 구조적 문제입니다. 불가능 원인의 빈도와 완화 비용을 모아 교육, 설비 투자, 고객 약속 기준을 검토합니다.
현장에 적용할 때의 순서
- 입력 데이터 오류 점검
- 충돌 제약 집합 식별
- 안전 제약 제외 대안 비교
주의할 실패: 해 없음 즉시 전 제약 완화
관찰할 지표: 충돌 빈도와 완화 비용
적용 전 체크리스트
- 입력 단위·누락·중복을 먼저 검사하는가
- 절대 제약과 완화 가능한 제약을 분리했는가
- 충돌 원인과 완화 대안을 업무 용어로 제시하는가
참고 자료
Gurobi Infeasibility Analysis. 불가능한 모델의 충돌 집합과 완화 분석 기능을 참고했습니다. 어떤 제약을 완화할지는 업무 책임자의 결정입니다.
이미지와 도식은 이해를 돕기 위한 개념 시각화입니다. 특정 고객의 실제 설비·데이터·화면을 재현한 것이 아닙니다.
#MILP #최적화 #해없음 #제약충돌 #생산계획 #스케줄링 #솔버 #의사결정 #운영분석 #수리모델
