pick earliest end
매 단계 무엇을 고르는지 한 문장으로 고정합니다.
그리디 선택 증명
현재 최선 선택이 전체 최적을 보장하는지 설명하지 못하면 작은 반례 하나로 알고리즘이 무너집니다.
optimal swap
임의 최적해를 내 규칙을 따르는 해로 바꿔도 손해가 없는지 보입니다.
동률/경계
동점, 역정렬, 작은 입력으로 규칙이 깨지는지 확인합니다.
DP/search fallback
증명에 실패하면 상태 탐색이나 DP 모델을 다시 검토합니다.