선행
Acyclic Result
사이클이 없으면 위상 정렬 순서가 동등한 직렬 순서다
간선 방향을 어기지 않고 나열한 순서가 충돌 동등한 직렬 스케줄 후보가 된다.
무사이클
위상 정렬
직렬 순서
→
후행
예: T1 → T2 간선만 있으면 직렬 순서 T1, T2와 충돌 동등하다.