양방향 그래프의 한 바퀴 찾기(undirected cycle) 구현이 일부 예시는 통과하지만 reachability·distance·order·component·flow 결과를 재현하지 못한다.
막힌 까닭
무방향 DFS에서는 parent edge가 아닌 이미 발견된 이웃이 cycle을 만들며 self-loop·parallel edge는 edge id로 따로 판정한다.을 첫 edge scan이나 state transition 전에 봉인하지 않았다.
다시 해보는 방법
tree·triangle·self-loop·parallel-edge 그림에서 cycle 존재와 실제 선 순서를 복원한다.에서 vertex identity·edge contract·source/target·state transition을 고정하고 parent edge id·tree/non-tree edge·cycle path witness를 다시 만든다.
헷갈림 02
최종 값만 기록하고 frontier·visited timing·parent·distance·component·residual 변화를 생략한다.
겉으로 보이는 막힘
duplicate enqueue, missed vertex, wrong route, stale priority, invalid lowlink 또는 capacity violation이 남는다.
막힌 까닭
logical answer와 algorithm state·graph representation을 분리하지 않았다.
다시 해보는 방법
parent edge id·tree/non-tree edge·cycle path witness에 최초 divergence와 transition 전후 invariant를 함께 기록한다.
헷갈림 03
단일 synthetic trace나 abstract complexity를 특정 library constant·online judge 결과·대회 성과·production safety로 확대한다.
겉으로 보이는 막힘
배관 고리·중복 연결·토폴로지 검사에서 recursion overflow·integer overflow·memory spike·availability·license·scope 오류를 놓친다.
막힌 까닭
표준·알고리즘·구현·측정·competition scope를 서로 다른 claim level로 기록하지 않았다.