그리디 점검

선택 규칙은 코드 전에 증명과 반례 고정

빠른 선택이 최적해로 이어지는지 확인한 뒤 구현한다.

1

규칙 문장화

무엇을 우선 고르는지 한 문장으로 적는다.

2

최적해 교환

규칙 형태로 바꿔도 손해가 없는지 본다.

3

반례 탐색

동점, 역정렬, 작은 입력으로 먼저 흔든다.

4

구현 채택

검증된 규칙만 정렬 키로 옮긴다.

선택 규칙 기준

통과

남은 문제가 같은 구조로 줄고 교환 논증을 만들 수 있다.

보류

샘플은 맞지만 동점 처리나 경계 조건 설명이 비어 있다.

폐기

작은 반례 하나라도 나오면 DP나 탐색 대안을 비교한다.