ordering1 Strict weak ordering strict weak ordering 은 strict partial order 이면서 incomparability가 equivalence를 의미하는 order 이다. 우선 strict partial order의 정의를 살펴 보자. 집합 A와, A에서 정의된 relation〈 에 대하여〈 가 다음 두 조건을 만족시키면〈 는 strict partial order이다. i) a〈 a 는 성립하지 않는다 (nonreflexivity) ii) a〈 b 이고 b〈 c 이면 a〈 c 이다 (transitivity) for a, b, c ∈ A. 이 때 strict partial order 이기 때문에 〈 는 A의 모든 원소에 대해 비교가능할 필요는 없다. 이 상태에서〈 가 weak ordering 이 되면서 추가되는.. 2010. 5. 11. 이전 1 다음