사이클이 없으면 위상 정렬이 동등한 직렬 순서가 된다
간선 방향은 반드시 앞서야 하는 제약입니다. 모든 제약을 만족하는 나열이 곧 동등한 직렬 순서입니다.
T1
→
T2
→
T3
제약 해석T1은 T2보다 앞서고, T2는 T3보다 앞서야 합니다.
직렬 순서가능한 위상 정렬 T1 → T2 → T3가 충돌 동등한 직렬 순서입니다.
사이클이 없다면 선행 그래프의 방향을 따라 정렬할 수 있고, 그 정렬이 직렬 가능성의 설명이 됩니다.