[논문 리뷰] Isometric Embeddings in Trees and Their Use in Distance Problems

Guillaume Ducoffe|arXiv (Cornell University)|2020. 11. 17.

Advanced Graph Theory Research참고 문헌 50인용 수 3

한 줄 요약

이 논문은 클리크너비가 최대 k인 n개 정점, m개 간선을 가진 그래프에서 지름, 위너 지수, 중앙집합을 계산하기 위한 O(2^O(k)(n + m)^{1+o(1)})-시간 알고리즘을 제시한다. 이는 SETH 기반 조건부 하한과 일치한다. 이는 O(k log²n) 비트의 새로운 거리 레이블링 체계를 사용하며, 이는 k-표현에서 O(k(n + m) log n) 시간 내에 구성 가능하다. 이는 O(kn² log n)-시간의 All-Pairs Shortest-Paths 해법을 가능하게 하여, 클리크너비가 유계인 그래프에서 거리 문제에 대한 매개변수화 알고리즘에 대한 열린 질문을 해결한다.

ABSTRACT

Coudert et al. (SODA'18) proved that under the Strong Exponential-Time Hypothesis, for any $ε>0$, there is no ${\cal O}(2^{o(k)}n^{2-ε})$-time algorithm for computing the diameter within the $n$-vertex cubic graphs of clique-width at most $k$. We present an algorithm which given an $n$-vertex $m$-edge graph $G$ and a $k$-expression, computes all the eccentricities in ${\cal O}(2^{{\cal O}(k)}(n+m)^{1+o(1)})$ time, thus matching their conditional lower bound. It can be modified in order to compute the Wiener index and the median set of $G$ within the same amount of time. On our way, we get a distance-labeling scheme for $n$-vertex $m$-edge graphs of clique-width at most $k$, using ${\cal O}(k\log^2{n})$ bits per vertex and constructible in ${\cal O}(k(n+m)\log{n})$ time from a given $k$-expression. Doing so, we match the label size obtained by Courcelle and Vanicat (DAM 2016), while we considerably improve the dependency on $k$ in their scheme. As a corollary, we get an ${\cal O}(kn^2\log{n})$-time algorithm for computing All-Pairs Shortest-Paths on $n$-vertex graphs of clique-width at most $k$. This partially answers an open question of Kratsch and Nelles (STACS'20).

연구 동기 및 목표

• 유계 클리크너비 그래프에서 지름을 계산하기 위한 조건부 하한과 기존 알고리즘 사이의 격차를 메우기.
• 이전 작업에 비해 k에 대한 더 나은 의존도를 가지는 유계 클리크너비 그래프를 위한 거리 레이블링 체계 개발.
• SETH 기반 하한과 일치하는, 클리크너비가 유계인 그래프에서 거리 문제에 대한 준선형 시간 매개변수화 알고리즘 제공.
• 유계 클리크너비 그래프에서 All-Pairs Shortest-Paths의 매개변수 복잡도에 대한 열린 질문에 답하기.

제안 방법

• 트리 분해와 k-표현을 기반으로 한 재귀 알고리즘 설계를 통해, 효율적으로 원주율을 계산.
• 정점당 O(k log²n) 비트를 할당하는 새로운 거리 레이블링 체계를 사용하여, k-표현에서 O(k(n + m) log n) 시간 내에 구성 가능.
• 직교 범위 질의 프레임워크를 적용하여, 유계 클리크너비 그래프에서의 전쌍 거리 계산.
• 레이블링 체계가 효율적인 거리 질의를 지원하고, 위너 지수 및 중앙집합 계산을 가능하게 함을 증명.
• 동일한 레이블링 및 분해 구조를 활용하여, 위너 지수 및 중앙집합 계산을 확장.
• 그래프의 재귀 분해에 대한 귀납법을 사용하여 k-모듈을 유지하고, 레이블링 및 거리 계산의 정확성을 보장.

실험 결과

연구 질문

• RQ1 클리크너비가 최대 k인 그래프에서 지름을 계산하기 위한 O(2^O(k)(n + m)^{1+o(1)})-시간 알고리즘을 설계할 수 있는가? 이는 SETH 기반 하한과 일치해야 한다.
• RQ2 정점당 O(k log²n) 비트를 사용하고, k에 대해 지수적 의존도를 가지지 않는, 유계 클리크너비 그래프를 위한 거리 레이블링 체계를 구성할 수 있는가?
• RQ3 제안된 프레임워크는 유계 클리크너비 그래프에서 All-Pairs Shortest-Paths 알고리즘을 O(kn² log n) 시간 내에 효율적으로 수행할 수 있는가?
• RQ4 동일한 기법을 활용하여, 동일한 시간 복잡도 내에서 위너 지수 및 중앙집합을 계산할 수 있는가?
• RQ5 클리크너비에 대해 단일 지수적 의존도를 가지는, 거리 문제에 대한 진정으로 비제곱 시간 매개변수화 알고리즘을 유계 클리크너비 그래프에서 달성할 수 있는가?

주요 결과

• 논문은 Coudert 등이 제시한 SETH 기반 조건부 하한과 일치하는 첫 번째 알고리즘을 제시한다. 이 알고리즘은 O(2^O(k)(n + m)^{1+o(1)}) 시간 내에 지름 계산을 수행한다.
• Courcelle와 Vanicat의 체계에 비해 k에 대한 의존도를 향상시키면서도 동일한 레이블 크기를 유지하는, 정점당 O(k log²n) 비트를 사용하는 거리 레이블링 체계를 구성하였다.
• 지름 계산과 동일한 시간 복잡도 내에서 위너 지수 및 중앙집합을 계산할 수 있어, 거리 불변량에 대한 광범위한 적용 가능성을 입증한다.
• 클리크너비가 최대 k인 n개 정점 그래프에서 All-Pairs Shortest-Paths에 대해 O(kn² log n)-시간 알고리즘을 확보하여, Kratsch와 Nelles의 열린 질문을 부분적으로 해결한다.
• 재귀적 구조를 통해, 노드 수의 (2/3)^r 감쇠를 통해 재귀 수준 간의 부분 문제 합계를 유 bounds로 제한함으로써 총 실행 시간이 O(2^O(k)(n + m)^{1+o(1)}) 내에 유지됨을 보장한다.
• k-모듈과 트리 표현에서의 최소 공통 조상의 성질에 기반한 재귀 분해에 대한 귀납법을 통해 알고리즘의 정확성을 확립한다.