전개 검증

상태 전개는 저장 위치와 종료 조건 검증

재귀와 반복은 같은 상태를 어디에 보관하느냐의 차이입니다. 종료 조건, 방문 시점, 최대 깊이를 함께 봐야 안전합니다.

종료 조건

멈추는 규칙을 먼저 쓴다

기초 조건이 누락되면 재귀는 무한 호출로, 반복은 끝나지 않는 루프로 이어집니다.

상태 저장

호출 스택과 명시 스택 비교

재귀 깊이가 입력 제한을 넘으면 같은 전개를 반복 구조로 옮겨 안정성을 확보합니다.

방문 시점

push와 방문 표시 순서 고정

그래프 탐색에서는 방문 체크 시점이 중복 처리와 결과 순서를 동시에 바꿉니다.

표현 방식을 고르기 전 확인

깊이최대 호출 깊이를 입력 제한으로 계산하고 언어 런타임 한계와 비교합니다.
로그현재 상태, 다음 후보, 반환 값을 짧게 찍어 전개 순서를 재현합니다.
반례빈 입력, 한 단계 입력, 깊게 치우친 입력을 나눠 종료 조건을 검증합니다.