그리디 증명 점검표

제출 전 남길 증거를 한눈에 확인한다

그리디는 빠른 선택이 아니라 최적해를 잃지 않는다는 근거가 있을 때만 통과한다.

후보 규칙

정렬 기준을 한 가지로 고정

종료 시각, 비용, 남은 용량처럼 선택 우선순위를 값으로 만든다.

교환 논증

현재 선택으로 바꿔도 손해 없음

최적해의 첫 선택을 그리디 선택으로 교체해도 답의 크기가 유지된다.

반례 검색

작은 입력으로 규칙 반례 검토

가장 빠른 시작, 가장 짧은 길이, 큰 동전 우선 같은 직관 규칙부터 흔든다.

제출 전 남길 기록

회의실

끝나는 시간이 빠른 활동을 고르면 남은 선택 공간이 가장 넓다.

동전

임의 화폐 체계에서는 큰 동전 우선이 항상 최소 개수를 보장하지 않는다.

제출 전

정렬 기준과 동점 처리까지 선택 규칙에 포함한다.