유한 부분순서집합의 단조 사상 보존 선형화

초록

**
본 논문은 임의의 유한 부분순서집합(POS)을 선형 순서로 변환하는 새로운 절차를 제시한다. 변환 과정에서 원래의 순서를 그대로 유지하면서, 기존에 정의된 단조·반단조 함수들을 선형화된 집합 위에서도 동일한 성질을 갖는 함수로 자연스럽게 확장할 수 있다.

**

상세 요약

**
논문은 먼저 유한 부분순서집합(POS) (P=(X,\preceq)) 에 대해 “레벨 분할(level decomposition)”이라는 개념을 도입한다. 레벨 (L_i) 는 (\preceq) 관계에서 최소 원소들을 차례대로 제거하면서 얻어지는 층으로, 각 레벨은 서로 불가능한 원소들로 구성된다. 이때 레벨 인덱스는 자연수이며, 레벨 순서는 원래 순서와 일치한다는 점이 핵심이다. 저자는 레벨 (L_i) 내의 원소들을 임의의 전순서(total order) (\leq_i) 로 정렬하고, 레벨 간에는 모든 (x\in L_i,;y\in L_j;(i<j)) 에 대해 (x<y) 가 되도록 정의한다. 이렇게 하면 전체 집합 (X) 위에 선형 순서 (\leq) 가 부여된다.

이 선형화는 두 가지 중요한 보존 특성을 가진다. 첫째, 원래의 부분순서 관계 (\preceq) 는 새로운 선형 순서 (\leq) 의 부분집합으로 남는다. 즉, (x\preceq y) 이면 반드시 (x\leq y) 이다. 둘째, 단조 함수 (f:P\to P) 또는 반단조 함수 (g:P\to P) 가 존재할 경우, 저자는 각각을 선형화된 구조 (P’) 위에 자연스럽게 확장하는 방법을 제시한다. 구체적으로, 레벨 (L_i) 내에서 (f) 가 매핑하는 대상이 같은 레벨에 있으면 기존 순서를 그대로 사용하고, 다른 레벨에 매핑될 경우 레벨 인덱스의 증가·감소에 따라 새로운 순서를 정의한다. 이 과정은 함수의 단조성(또는 반단조성)을 보존하면서도 선형 구조와의 호환성을 확보한다.

복잡도 측면에서 레벨 분할은 (O(|X|+|E|)) (여기서 (E) 는 순서 관계의 수) 로 수행 가능하며, 각 레벨 내 정렬은 (O(|L_i|\log|L_i|)) 시간이 소요된다. 전체 선형화 과정은 다항 시간 안에 끝난다. 또한, 함수 확장은 레벨 인덱스만을 참조하므로 추가적인 연산 비용이 거의 들지 않는다.

이론적 기여는 기존의 토포로지적 선형화(예: 토포그래픽 정렬)와는 달리, 단조·반단조 사상의 보존을 명시적으로 설계했다는 점이다. 실용적인 응용으로는 데이터베이스의 계층적 접근 제어, 워크플로우 스케줄링, 그리고 특히 부분순서 기반 최적화 문제에서 선형 구조를 필요로 하는 알고리즘에 직접 적용할 수 있다.

**