연결성, 사이클, 위상성 실패는 서로 다른 배열과 전이 순간에서 증거가 나온다.
| 실패 결과 | 먼저 볼 상태 | 오류 신호 | 수정 방향 |
|---|---|---|---|
| 연결 요소 수가 다름 | visited | 시작 정점만 방문됨 | 모든 정점에서 미방문 DFS/BFS 시작 |
| 사이클 판정이 틀림 | color/state | 완료 정점을 cycle로 오판 | 방문중 상태로 되돌아올 때만 cycle |
| 위상 정렬 누락 | indegree | 0인 정점이 큐에 안 들어감 | 간선 제거 후 indegree 감소 시점 확인 |
| 무방향 그래프 cycle 오판 | parent | 부모 간선을 역방향 cycle로 처리 | next가 parent이면 건너뜀 |