무효화
제안된 접근 방식이 주어진 제약 조건 내에서 실현 불가능함을 논리적으로 증명하고 해당 경로를 폐기하는 과정이다. 단순히 답을 찾지 못하는 것을 넘어 구조적으로 불가능함을 입증함으로써 불필요한 시도를 차단하고 효율적인 대안 탐색을 가능하게 한다.