괄호 검사
top에는 아직 닫히지 않은 여는 괄호만 남아야 합니다.
패턴마다 관찰할 상태 변수를 작게 고정한다
이 절의 초점은 우선순위 큐가 아니라 괄호, 작업 큐, BFS에서 스택/큐 상태 전이가 맞는지 검증하는 루틴입니다.
작업 큐
front, 누적 시간, 처리 수가 FIFO 순서와 함께 증가해야 합니다.
최소 거리
enqueue 시점에 dist를 기록해야 중복 삽입을 막습니다.
step
몇 번째 전이에서 처음 틀렸는지 찾습니다.
top/front
꺼낼 대상이 계약과 맞는지 확인합니다.
size
중복 삽입이나 누락으로 크기가 흔들리는지 봅니다.
경계 조건 재현
닫는 괄호가 먼저 나오는 입력, 고립 노드, 0비용 작업, 빈 자료를 따로 돌리면 예외 없는 누락을 빠르게 잡습니다. 로그가 일정하면 상태 전이를 믿을 수 있습니다.