※ 위상 순서 1. 부분 순서(partial order) i) 이행적(transitive), 비반사적(irreflexive)인 선행관계일때, 관계 R은 부분 순서라고 한다. ii) 집합S, 관계R에서 S의 원소 i, j, k : ①R은 S에서 이행적이라면 -> iRi&iRk이면 iRk가 성립 ②비반사적일때->모든 i가 iRi가 성립하지않음 iii) 이행적이면서 대칭적(symmertric)이라면 부분 순서 성립x: 이 관계는 반사적이고 반사적이면 부분 순서가 성립x iv) DAG(Directed Acyclic Graph): 비반사적 그래프는 싸이클이 없고 이를 DAG라 한다. 2. 위상 순서(topological order) i) 정의: 방향그래프에서 정점 i가 선행자이면 i > j 순서를 가진 순차리스트..
