상태가 충분한가
다음 후보와 종료 판정을 만들 정보가 모두 필요하다.
불가능이 확정됐는가
정답이 절대 나올 수 없을 때만 분기를 닫는다.
상태를 되돌렸는가
형제 분기가 영향을 주지 않도록 호출 뒤 원복한다.
작은 반례를 통과했는가
목표 바로 위, 중복 원소, 빈 선택을 확인한다.
탐색을 줄이는 조건은 불가능 증명과 상태 복원을 함께 가져야 한다.
다음 후보와 종료 판정을 만들 정보가 모두 필요하다.
정답이 절대 나올 수 없을 때만 분기를 닫는다.
형제 분기가 영향을 주지 않도록 호출 뒤 원복한다.
목표 바로 위, 중복 원소, 빈 선택을 확인한다.