[논문 리뷰] Towards Sub-Quadratic Diameter Computation in Geometric Intersection Graphs

Karl Bringmann, ‪Sándor Kisfaludi-Bak외 3명|arXiv (Cornell University)|2022. 01. 01.

Computational Geometry and Mesh Generation인용 수 1

한 줄 요약

이 논문은 미세 복잡도 이론을 활용하여 기하 교차 그래프에서 지름 계산에 대한 조건부 하한을 설정한다. 하이퍼클리크 가설에 기반해, R³ 내 단위 구 또는 R² 내 합동인 정삼각형에서 지름 계산에 대한 부분 제곱 알고리즘이 조차도 가능하지 않음을 증명한다. 핵심 기여는 3-균일 초그래프 독립집합 문제를 기하 교차 그래프로의 환원을 통해, 많은 자연스러운 기하 형태에 대해 효율적인 지름 계산이 불가능함을 보여주는 것이다.

ABSTRACT

We initiate the study of diameter computation in geometric intersection graphs from the fine-grained complexity perspective. A geometric intersection graph is a graph whose vertices correspond to some shapes in $d$-dimensional Euclidean space, such as balls, segments, or hypercubes, and whose edges correspond to pairs of intersecting shapes. The diameter of a graph is the largest distance realized by a pair of vertices in the graph. Computing the diameter in near-quadratic time is possible in several classes of intersection graphs [Chan and Skrepetos 2019], but it is not at all clear if these algorithms are optimal, especially since in the related class of planar graphs the diameter can be computed in $\widetilde{\mathcal{O}}(n^{5/3})$ time [Cabello 2019, Gawrychowski et al. 2021]. In this work we (conditionally) rule out sub-quadratic algorithms in several classes of intersection graphs, i.e., algorithms of running time $\mathcal{O}(n^{2-δ})$ for some $δ>0$. In particular, there are no sub-quadratic algorithms already for fat objects in small dimensions: unit balls in $\mathbb{R}^3$ or congruent equilateral triangles in $\mathbb{R}^2$. For unit segments and congruent equilateral triangles, we can even rule out strong sub-quadratic approximations already in $\mathbb{R}^2$. It seems that the hardness of approximation may also depend on dimensionality: for axis-parallel unit hypercubes in~$\mathbb{R}^{12}$, distinguishing between diameter 2 and 3 needs quadratic time (ruling out $(3/2-\varepsilon)$- approximations), whereas for axis-parallel unit squares, we give an algorithm that distinguishes between diameter $2$ and $3$ in near-linear time. Note that many of our lower bounds match the best known algorithms up to sub-polynomial factors.

연구 동기 및 목표

• 기하 교차 그래프에서 지름 계산의 미세 복잡도를 조사한다.
• 이러한 그래프에서 지름을 계산하거나 근사하는 데 있어 효율적인(부분 제곱 이하의) 알고리즘이 존재하는지 여부를 규명한다.
• 표준 가설들인 하이퍼클리크 가설 및 수직 벡터 가설 기반으로 조건부 하한을 설정한다.
• 차원 수와 형태 기하학이 지름 계산의 해법 가능성에 미치는 영향을 명확히 한다.

제안 방법

• 고차원 공간 내 단위 입방체의 기하 교차 그래프로 3-균일 초그래프 독립집합 문제를 환원한다.
• 좌측 반부분, 우측 반부분, 간선 입방체를 구성하여 초그래프의 정점 및 간선 관계를 모델링한다.
• 입방체 중심 좌표를 사용해 정점과 간선를 인코딩하여, 교차가 초그래프의 인접성에 대응하도록 보장한다.
• 환원된 그래프의 지름이 2 이하임과 동시에 초그래프에 크기 6인 독립집합이 존재하지 않을 조건이 동치임을 증명한다.
• 하이퍼클리크 가설을 활용해, 환원된 그래프에서 지름 계산에 대한 부분 제곱 알고리즘의 존재를 배제한다.
• 특정 기하 형태인 단위 구, 정삼각형, 축에 평행한 입방체에 이 환원을 적용하여 형태별 복잡도 하한을 도출한다.

실험 결과

연구 질문

• RQ1 자연스러운 형태인 단위 구나 정삼각형에 대해 기하 교차 그래프의 지름을 부분 제곱 시간 내에 계산할 수 있는가?
• RQ2 특히 저차원에서 기하 교차 그래프의 지름에 대해 강력한 부분 제곱 근사 알고리즘이 존재하는가?
• RQ3 환경 공간의 차원 수가 기하 교차 그래프에서 지름 계산의 복잡도에 어떤 영향을 미치는가?
• RQ4 기하 교차 그래프에서 지름 계산의 난이도가 두꺼운 형태 또는 축에 평행한 형태와 같은 기하적 성질에 의해 결정되는가?
• RQ5 하이퍼클리크 가설을 사용해 기하 교차 그래프에서 지름 계산에 대해 날카운 하한을 설정할 수 있는가?

주요 결과

• 하이퍼클리크 가설이 성립하지 않는 한, R³ 내 단위 구의 지름 계산에 O(n²−δ) 알고리즘이 존재하지 않는다.
• R² 내 합동인 정삼각형에 대해서도, 강력한 (3/2−ε)-근사화조차 부분 제곱 알고리즘으로 존재하지 않는다.
• R¹²에서 축에 평행한 단위 초입방체의 지름이 2 또는 3인지 식별하는 데는 제곱 시간이 필요하며, 이는 (3/2−ε)-근사화의 존재를 배제한다.
• R² 내 축에 평행한 단위 정사각형에 대해서는 지름 2와 3을 구분하는 데 근선형 시간 알고리즘이 존재하여 고차원과 뚜렷한 대비를 보인다.
• 3-균일 초그래프 독립집합 문제에서 기하 교차 그래프로의 환원은 부분 다항 요소까지 일치하는 날카운 조건부 하한을 설정한다.
• 결과적으로 형태의 기하적 구조와 환경 차원 수가 지름 계산의 복잡도에 결정적인 영향을 미치며, 일부 형태는 다른 형태보다 본질적으로 더 어렵다.