가장 빨리 끝나는 회의
교환해도 이후 선택 가능한 구간 수가 줄지 않는다.
통과, 보류, 폐기로 나누어 채택한다
선택 규칙은 코드가 아니라 증거 상태로 먼저 분류해야 반례를 놓치지 않는다.
큰 동전부터 사용
화폐 체계가 조건을 만족할 때만 그리디가 안전하다.
가장 짧은 회의
짧은 회의가 양쪽 선택을 막아 전체 개수를 줄일 수 있다.
규칙
정렬 기준이 목적 함수와 직접 연결되는가
종료 시각, 비용, 남은 용량처럼 비교 값이 명확해야 한다.
증명
현재 선택으로 교환해도 손해가 없는가
최적해의 첫 선택을 그리디 선택으로 바꿔도 답이 유지되어야 한다.
반례
작은 입력에서 먼저 깨지는가
깨지면 폐기하고, 조건부로만 맞으면 전제를 문서화한다.