[논문 리뷰] Upward Pointset Embeddings of Planar st-Graphs

C. Alegria, Susanna Caroppo외 6명|arXiv (Cornell University)|2024. 01. 01.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 평면 st-그래프의 상향 점집합 임bedding(UPSE)을 조사하며, 내부적으로 분리된 st-경로로 구성된 st-그래프에 대해서도 UPSE 테스트가 NP-완전임을 증명한다. UPSE 테스트를 위한 O(n⁴ᵏ) 시간 알고리즘과 모든 UPSE를 나열하기 위한 O(n) 최악의 지연 시간 알고리즘을 제시한다. 여기서 k는 최대 st-컷셋의 크기이다. 또한 두 경로로 이루어진 st-그래프에서 UPSE 존재성 테스트를 위한 O(n log n) 알고리즘과 점집합에서 교차하지 않는 단조 증가 해밀턴 사이클을 나열하기 위한 O(n) 지연 시간 알고리즘을 제공한다.

ABSTRACT

We study upward pointset embeddings (UPSEs) of planar $st$-graphs. Let $G$ be a planar $st$-graph and let $S \subset \mathbb{R}^2$ be a pointset with $|S|= |V(G)|$. An UPSE of $G$ on $S$ is an upward planar straight-line drawing of $G$ that maps the vertices of $G$ to the points of $S$. We consider both the problem of testing the existence of an UPSE of $G$ on $S$ (UPSE Testing) and the problem of enumerating all UPSEs of $G$ on $S$. We prove that UPSE Testing is NP-complete even for $st$-graphs that consist of a set of directed $st$-paths sharing only $s$ and $t$. On the other hand, if $G$ is an $n$-vertex planar $st$-graph whose maximum $st$-cutset has size $k$, then UPSE Testing can be solved in $O(n^{4k})$ time with $O(n^{3k})$ space; also, all the UPSEs of $G$ on $S$ can be enumerated with $O(n)$ worst-case delay, using $O(k n^{4k} \log n)$ space, after $O(k n^{4k} \log n)$ set-up time. Moreover, for an $n$-vertex $st$-graph whose underlying graph is a cycle, we provide a necessary and sufficient condition for the existence of an UPSE on a given pointset, which can be tested in $O(n \log n)$ time. Related to this result, we give an algorithm that, for a set $S$ of $n$ points, enumerates all the non-crossing monotone Hamiltonian cycles on $S$ with $O(n)$ worst-case delay, using $O(n^2)$ space, after $O(n^2)$ set-up time.

연구 동기 및 목표

• 평면 st-그래프에 대한 상향 점집합 임bedding(UPSE) 테스트의 계산 복잡도를 규명하는 것.
• 주어진 점집합에서 UPSE 존재성 테스트 및 모든 유효한 임베딩을 나열하기 위한 효율적인 알고리즘을 개발하는 것.
• 내부적으로 분리된 두 개의 st-경로로 구성된 st-그래프에 대해 UPSE를 허용하는 점집합을 특성화하는 것.
• 점집합에서 교차하지 않는 단조 증가 해밀턴 사이클을 효율적으로 나열하기 위한 알고리즘을 설계하는 것.
• 최대 st-컷셋 크기 기준 UPSE 테스트의 매개변수 복잡도를 탐구하는 것.

제안 방법

• 내부적으로 분리된 st-경로로 구성된 st-그래프에 대해서도 UPSE 테스트의 NP-완전성을 기존 알려진 NP-난해 문제로의 감소를 통해 증명하였다.
• st-컷셋과 수평선 컷을 사용하여 상향 평면성 제약 조건을 모델링하는 동적 프로그래밍 알고리즘을 설계하였으며, 이는 O(n⁴ᵏ) 시간과 O(n³ᵏ) 공간을 소비한다.
• 보기 및 영역 조건을 O(n²) 시간 내에 사전 계산하기 위해 데이터 구조 C와 D를 도입하였으며, 이는 검색 트리 탐색 중 각 노드에 대해 O(1) 시간 내에 검증할 수 있도록 한다.
• 그래프 내 st-컷셋과 점집합 내 수평 컷 사이의 대응 관계를 활용하여 임베딩 구축을 이끌었다.
• 모든 유효한 UPSE를 나열하기 위한 검색 트리 탐색 알고리즘을 개발하였으며, 사전 계산된 테이블을 활용해 O(n) 최악의 지연 시간을 달성하였다.
• 이 알고리즘을 변형하여 점집합에서 교차하지 않는 단조 증가 해밀턴 사이클을 O(n) 최악의 지연 시간과 O(n²) 공간으로 나열할 수 있도록 하였으며, 이는 O(n²)의 준비 시간 이후에 가능하다.

실험 결과

연구 질문

• RQ1 내부적으로 분리된 st-경로로 구성된 평면 st-그래프에 대해 UPSE 테스트는 NP-완전한가?
• RQ2 최대 st-컷셋 크기 k가 유한한 st-그래프에 대해 UPSE 테스트는 다항 시간 내에 해결 가능한가?
• RQ3 내부적으로 분리된 두 개의 st-경로로 구성된 st-그래프에 대해 UPSE를 허용하는 점집합을 특성화할 수 있는가?
• RQ4 점집합에서 모든 교차하지 않는 단조 증가 해밀턴 사이클을 효율적인 지연 시간과 공간으로 나열할 수 있는가?
• RQ5 최대 st-컷셋 크기 기준 UPSE 테스트는 고정 매개변수 복잡도 문제인가?

주요 결과

• 내부적으로 분리된 st-경로 집합으로 구성된 평면 st-그래프에 대해서도 UPSE 테스트는 NP-완전하다.
• 최대 st-컷셋 크기가 k인 n-정점 평면 st-그래프에 대해 O(n⁴ᵏ) 시간과 O(n³ᵏ) 공간을 소비하는 알고리즘이 UPSE 테스트를 해결한다.
• 준비 시간 O(kn⁴ᵏ log n)과 공간 O(kn⁴ᵏ log n)을 거쳐, 주어진 점집합에서 평면 st-그래프의 모든 UPSE를 O(n) 최악의 지연 시간으로 나열할 수 있다.
• 내부적으로 분리된 두 개의 st-경로로 구성된 st-그래프에 대해, 주어진 점집합에서 UPSE 존재 여부를 확인하기 위한 O(n log n) 알고리즘이 존재한다.
• 점집합에서 교차하지 않는 단조 증가 해밀턴 사이클을 O(n) 최악의 지연 시간과 O(n²) 공간으로 나열할 수 있으며, 이는 O(n²) 준비 시간 이후에 가능하다.
• 이 논문은 두 경로로 구성된 st-그래프에 대해 UPSE 존재의 필요 및 충분 조건을 제시하였으며, 이는 이전의 볼록 점집합에 대한 결과를 일반화한다.