pruning safety
정답 경로 보존이 먼저고 탐색 축소는 그 다음이다
성능을 위해 조건을 추가할수록 오답 위험도 커진다. 자른 분기가 정말 불가능한지 증거가 필요하다.
proof
counter
undo
상태가 충분한가
다음 후보와 종료 판정을 만들 정보가 모두 들어 있는지 확인한다.
잘라야 할 분기인가
정답이 절대 나올 수 없을 때만 분기를 중단한다.
상태를 되돌렸는가
형제 분기가 영향을 받지 않도록 호출 뒤 수정분을 제거한다.
작은 반례를 통과했는가
빈 입력, 중복 후보, 음수, 이미 목표를 넘은 상태를 따로 넣어 본다.