[논문 리뷰] Weak Dominance Drawings and Linear Extension Diameter

Evgenios M. Kornaropoulos, Ioannis G. Tollis|arXiv (Cornell University)|2011. 08. 06.

Advanced Numerical Analysis Techniques참고 문헌 10인용 수 10

한 줄 요약

이 논문은 일반적인 방향 비순환 그래프(DAG)에 대한 약한 지배 그림을 소개한다. 여기서 좌표 상의 지배 관계는 방향 경로를 암시하지만, 그 역은 성립하지 않으며, 잘못 암시된 경로(falsely implied paths, fips)를 최소화한다. 이 논문은 약한 지배 그림 문제의 NP-완전성을 입증하고, 부분 순서에서의 선형 확장 지름 문제와의 등가성을 증명한다.

ABSTRACT

We introduce the problem of Weak Dominance Drawing for general directed acyclic graphs and we show the connection with the linear extension diameter of a partial order P. We present complexity results and bounds.

연구 동기 및 목표

• 표준 지배 그림의 엄격한 경로-지배 요구 조건을 완화함으로써 일반 DAG에 대한 약한 지배 그림를 공식화하기 위해.
• 좌표 지배가 존재하지만 그래프 내에 실제로 존재하지 않는 경로를 암시하는 잘못 암시된 경로(fips)의 수를 최소화하기 위해.
• 약한 지배 그림과 부분 순서의 선형 확장 지름 사이의 공식적 연결 고리를 설정하기 위해.
• 선형 확장 지름 문제로부터의 축소를 통해 약한 지배 그림 문제의 NP-완전성을 증명하기 위해.
• 약한 지배 그림에서 달성 가능한 최소 fips 수에 대한 이론적 상한을 제공하기 위해.

제안 방법

• 약한 지배 그림를 2차원 좌표 할당으로 정의하며, 경로 존재성은 좌표 지배를 암시하지만 그 역은 반드시 성립하지는 않는다.
• 두 개의 위상 정렬 $ t_X $ 와 $ t_Y $ 를 사용하여 문제를 모델링하며, 이들의 교차 수가 fips 수를 결정한다.
• 약한 지배 그림 결정 문제(WDD)를 두 위상 정렬의 교차 크기가 $ C $ 이하가 되는 두 정렬을 찾는 문제로 공식화한다.
• 선형 확장 지름(LED) 문제에서 WDD 문제로의 축소를 구축하여 NP-완전성을 증명한다.
• 비비례 쌍의 수 $ inc(G) $ 가 fips 수에 대한 상한을 제공하며, $ \min fip(\Gamma) \leq inc(G) - (dim(G) - 2) $ 를 유도한다.
• WDD의 최적 해와 LED의 최적 해가 등가임을 증명하며, fips 수를 최소화하는 것은 두 선형 확장 간의 거리를 최대화하는 것과 동일함을 보여준다.

실험 결과

연구 질문

• RQ1 DAG에서 잘못 암시된 경로 수가 최소가 되는 약한 지배 그림를 찾는 데 있어 계산 복잡도는 무엇인가요?
• RQ2 약한 지배 그림 문제는 부분 순서의 선형 확장 지름과 어떻게 관련이 있나요?
• RQ3 DAG의 차원과 비비례 쌍의 수를 기반으로 약한 지배 그림에서의 최소 잘못 암시된 경로 수를 상한으로 제시할 수 있나요?
• RQ4 최적의 약한 지배 그림를 계산하는 다항 시간 알고리즘이 존재하는가, 아니면 문제 자체가 본질적으로 어려운가요?
• RQ5 위상 정렬과 2차원 지배 그림에서 잘못 암시된 경로 최소화 사이의 관계는 무엇인가요?

주요 결과

• 약한 지배 그림 문제의 NP-완전성이 선형 확장 지름 문제로부터의 축소를 통해 입증되었다.
• 선형 확장 지름 문제와 약한 지배 그림 문제 사이에 등가성이 존재한다: 한 문제의 해결책은 다른 문제의 해결책을 제공한다.
• 약한 지배 그림에서 잘못 암시된 경로의 최소 수는 $ \min fip(\Gamma) \leq inc(G) - (dim(G) - 2) $ 로 상한이 제시된다.
• 최적의 약한 지배 그림는 선형 확장 그래프에서 거리가 가장 큰 두 선형 확장 쌍에 해당한다.
• 차원이 $ dim(G) > 2 $ 인 DAG의 경우, 표준 지배 그림를 허용하지 않는 한, 잘못 암시된 경로 수가 0이 되는 그림는 존재하지 않는다.
• 비비례 쌍의 수 $ inc(G) $ 는 어떤 약한 지배 그림에서도 잘못 암시된 경로 수에 대한 상한이 된다.