가지치기 안전성 기준
백트래킹은 후보를 깊게 시도하되, 더 볼 필요 없는 분기를 논리적으로 잘라 탐색량을 줄입니다.
현재 선택 표현
행 번호, 사용한 열, 누적합처럼 다음 후보를 결정할 정보를 담습니다.
후보 하나 선택
현재 상태에 값을 추가하고 제약을 검사합니다.
불가능 분기 중단
정답이 될 수 없다는 근거가 있는 경우에만 탐색을 멈춥니다.
상태 복원
형제 후보 탐색 전 추가한 값을 반드시 되돌립니다.
백트래킹은 후보를 깊게 시도하되, 더 볼 필요 없는 분기를 논리적으로 잘라 탐색량을 줄입니다.
행 번호, 사용한 열, 누적합처럼 다음 후보를 결정할 정보를 담습니다.
현재 상태에 값을 추가하고 제약을 검사합니다.
정답이 될 수 없다는 근거가 있는 경우에만 탐색을 멈춥니다.
형제 후보 탐색 전 추가한 값을 반드시 되돌립니다.