A에 대한 충돌 순서
Cycle
선행 그래프에 사이클이 있으면 충돌 직렬 가능하지 않다
T1이 T2보다 먼저여야 하고 동시에 T2가 T1보다 먼저여야 하는 모순이 생긴다.
사이클
모순
충돌
cycle
B에 대한 충돌 순서
사이클은 어떤 직렬 순서로도 충돌 순서를 모두 만족시킬 수 없다는
신호다.