괄호 검사
닫는 괄호를 만날 때 top이 짝인지 확인한다.
관찰i, ch, top
정상맞으면 pop
반례빈 스택에서 pop
패턴마다 관찰할 상태 변수를 작게 고정한다
스택/큐 디버깅은 자료구조 전체가 아니라 대표 변수와 정상 전이를 비교하는 일이다.
작업 큐
처리 순서와 완료 시간이 FIFO 계약을 지키는지 본다.
관찰front, time, size
정상처리 수 증가
반례size 폭증
최소 거리
발견 순간 dist가 확정되어 중복 enqueue를 막는지 본다.
관찰head, q, dist
정상dist=-1만 enqueue
반례같은 정점 재삽입
마감 점검: 패턴 이름보다 “어떤 상태가 언제 바뀌는지”를 로그로 설명할 수 있어야 한다.