방문중 정점을 다시 만나면 방향 그래프 사이클이다
DFS 사이클 검사는 `미방문 → 방문중 → 완료` 상태 전이를 정확히 지키는 문제입니다.
back-edge 예시
1→2→3↩1
3에서 아직 완료되지 않은 1로 돌아가면 사이클이 확정됩니다.
핵심: `state[nxt] == 1`을 만나는 순간 back-edge이며, 위상 순서를 만들 수 없는 그래프입니다.
DFS 사이클 검사는 `미방문 → 방문중 → 완료` 상태 전이를 정확히 지키는 문제입니다.
3에서 아직 완료되지 않은 1로 돌아가면 사이클이 확정됩니다.
핵심: `state[nxt] == 1`을 만나는 순간 back-edge이며, 위상 순서를 만들 수 없는 그래프입니다.