약한 우위 그리기와 선형 확장 직경

초록

본 논문은 일반적인 DAG에 적용 가능한 ‘약한 우위 그리기(Weak Dominance Drawing)’ 개념을 정의하고, 이를 부분 순서 집합의 선형 확장 직경(Linear Extension Diameter) 문제와 동등하게 연결한다. 두 문제 사이의 복잡도 동등성을 이용해 약한 우위 그리기 문제의 NP‑완전성을 증명하고, 그래프 차원, 비교 불가능 쌍 수, 그리고 위배 경로(거짓 암시 경로, fip) 사이의 관계를 정량화하는 여러 상한식을 제시한다. 또한, 차원 d 와 비교 불가능 쌍 수 inc(G) 에 기반한 근사적 경계와, 다중 위상 정렬을 활용한 확장 가능성을 논의한다.

상세 분석

논문은 먼저 기존의 ‘우위 그리기(dominance drawing)’가 평면 2‑차원에서만 완전하게 구현될 수 있는 조건, 즉 그래프 차원 dim(G)=2 를 강조한다. 차원이 2보다 크면 두 정점 u, v 에 대해 X(u)≤X(v) 및 Y(u)≤Y(v) 가 성립하더라도 실제 경로가 존재하지 않을 수 있다. 이를 ‘거짓 암시 경로(falsely implied path, fip)’라 명명하고, 약한 우위 그리기는 이러한 fip의 존재를 허용하되, 실제 존재하는 경로는 반드시 좌표 우위 관계에 의해 표현되도록 요구한다. 핵심 최적화 목표는 fip(Γ) 를 최소화하는 Γ 를 찾는 것이다.

저자는 inc(G) — 즉, DAG에서 비교 불가능한 정점 쌍의 총수—와 dim(G) 사이의 관계를 이용해 상한을 도출한다. Lemma 1은 min_Γ fip(Γ) ≤ inc(G) − (dim(G)−2) 라는 식을 제시하고, 이는 차원 d 개의 위상 정렬 집합 T 중 두 개를 선택해 교차 집합을 최소화함으로써 얻어진다. Lemma 2는 확률적 분석을 통해 min_Γ fip(Γ) ≤ inc(G) − (d²·inc(G))/dim(G) 이라는 보다 강력한 기대값 경계를 제공한다. 두 식 모두 dim(G) 가 커질수록 fip 를 줄일 수 있는 여지가 있음을 시사한다.

핵심 이론적 연결 고리는 ‘선형 확장 직경(LED)’ 문제와의 동등성이다. 부분 순서 P를 전이 폐쇄된 DAG G 로 변환하고, 각 선형 확장을 위상 정렬로 해석한다. 두 선형 확장의 거리 dist(L_i,L_j) 는 바로 fip 수와 일치한다. 따라서 LED의 NP‑완전성(Brigh‑twell & Massow, 2008)을 그대로 WDD 문제에 귀환시켜 WDD 역시 NP‑완전임을 증명한다. 이 귀환은 ‘교차 집합의 크기 C’를 최소화하는 두 위상 정렬을 찾는 형태로 공식화되며, C ≤ |E| 조건을 만족하는지 여부가 결정 문제의 핵심이 된다.

마지막으로 논문은 다중 위상 정렬(두 개를 넘어서는 경우)에서 fip를 최소화하는 일반화된 문제를 제시하고, 근사 알고리즘 및 휴리스틱 개발의 필요성을 강조한다. 차원 d 와 비교 불가능 쌍 수 inc(G) 에 기반한 상한은 실용적인 알고리즘 설계에 가이드라인을 제공하지만, 최적 해를 찾는 정확한 복잡도는 아직 미해결 상태이다.