층별로 보내는 빠른 흐름의 범위(Dinic boundary) 구현이 일부 예시는 통과하지만 reachability·distance·order·component·flow 결과를 재현하지 못한다.
막힌 까닭
디닉(Dinic)은 residual BFS level graph와 level+1 edge만 따르는 blocking-flow phase를 사용하지만 M06에서는 trace·선택 경계만 다루고 완전 숙련으로 표시하지 않는다.을 첫 edge scan이나 state transition 전에 봉인하지 않았다.
다시 해보는 방법
한 phase만 그림으로 추적하고 Edmonds-Karp와 달라지는 탐색 단위를 설명한 뒤 advanced 표시를 남긴다.에서 vertex identity·edge contract·source/target·state transition을 고정하고 BFS level·admissible edge·blocking phase·current-arc·scope receipt를 다시 만든다.
헷갈림 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을 분리하지 않았다.
다시 해보는 방법
BFS level·admissible edge·blocking phase·current-arc·scope receipt에 최초 divergence와 transition 전후 invariant를 함께 기록한다.
헷갈림 03
단일 synthetic trace나 abstract complexity를 특정 library constant·online judge 결과·대회 성과·production safety로 확대한다.
겉으로 보이는 막힘
대규모 flow code review·알고리즘 선택 경계에서 recursion overflow·integer overflow·memory spike·availability·license·scope 오류를 놓친다.
막힌 까닭
표준·알고리즘·구현·측정·competition scope를 서로 다른 claim level로 기록하지 않았다.