문제마다 관찰할 변수를 먼저 정한다. 스택은 top/size, 큐는 front/size/dist가 핵심이다.
스택/큐 오답은 상태 변화 기록으로 좁힌다
정답 코드를 찾기 전에 top, front, size, visited가 언제 바뀌는지 고정해서 본다.
반복 전후에도 반드시 참이어야 하는 조건을 적는다. 괄호 검사는 열린 괄호만 남아야 한다.
BFS는 enqueue 순간 방문 처리해야 중복 삽입과 거리 오염을 막을 수 있다.
연산 전큐/스택 내용과 현재 인덱스를 기록한다.
→
push/pop변화가 생긴 원인과 제거된 값을 함께 남긴다.
→
연산 후불변식과 기대 상태가 같은지 바로 비교한다.
검증 기준: 첫 5스텝 로그에서 상태 전이가 설명되지 않으면, 전체 제출 전에 이미 버그가 숨어 있다.