graph validation

그래프 검증 목표별 체크리스트

연결성, 사이클, 위상성은 모두 `O(V+E)`에 가깝지만 필요한 상태와 실패 해석이 다릅니다.

component

연결 요소

방문 집합과 컴포넌트 카운트를 유지해 몇 덩어리인지 확인합니다.

cycle

사이클 검사

방향 그래프는 방문 중 상태를 따로 두어 되돌아가는 간선을 잡습니다.

topology

위상 정렬 검사

진입 차수 0 노드를 제거하며 처리 수와 전체 정점 수를 비교합니다.

반례 세트

고립 노드, 단일 사이클, 다중 컴포넌트를 함께 넣습니다.

로그 기준

실패 정점과 간선을 남겨 원인 분석을 빠르게 합니다.