[논문 리뷰] Improved SETH-hardness of unweighted Diameter

Ray Li|arXiv (Cornell University)|2020. 08. 12.

Complexity and Algorithms in Graphs인용 수 3

한 줄 요약

이 논문은 강한 지수 시간 가설(SETH) 하에 무방향 무가중치 그래프의 지름을 근사화하는 데 거의 날것 같은 하한을 확립한다. 어떤 $\delta > 0$에 대해서도 $5/3 - \delta$ 근사화를 달성하기 위해서는 $n^{3/2 - o(1)}$ 시간이 필요하며, 이는 이전의 SETH 기반의 난이도 결과를 향상시키고, 추측된 최적의 임계값에 가까운 갭을 메운다.

ABSTRACT

We prove that, assuming the Strong Exponential Time Hypothesis, for any $\delta>0$, a $5/3-\delta$ approximation of the diameter of an undirected unweighted graph with $n$ vertices needs $n^{3/2-o(1)}$ time. This result improves on lower bounds of Backurs, Roditty, Segal, Vassilevska-Williams, and Wein.

연구 동기 및 목표

• 무방향 무가중치 그래프의 지름을 근사화하는 데 더 강력한 조건부 하한을 확립하기 위해.
• 이전의 $5/3$-근사화 장벽을 넘어서는 기존의 SETH 기반 난이도 결과를 향상시키기 위해.
• 무가중치 지름 문제에 대해 알려진 알고리즘과 조건부 하한 사이의 갭을 메우기 위해.
• 무가중치 설정에서 그래프 지름의 미세 복잡도에 대한 이해를 정교화하기 위해.

제안 방법

• 저자들은 3-SUM 문제와 3-집합 다중커버 문제에서의 감소를 활용하여, SETH를 이용해 난이도를 확립한다.
• 어려운 문제의 인스턴스를 제어 가능한 지름 성질을 가진 무가중치 그래프의 새로운 구성법을 설계한다.
• 어떤 $5/3 - \delta$ 근사화 알고리즘이 존재한다면, SETH 하에 어려운 문제에 대해 더 빠른 알고리즘이 존재하게 된다는 것을 보장하는 감소를 수행한다.
• 감소 과정에서 지름의 행동을 정교하게 추적하여, 작은 근사 비율은 초과 제곱 시간이 필요하다는 것을 보여준다.
• 구성된 그래프의 구조를 정교하게 분석하여 지름이 엄격하게 제어되고, 상당한 시간 비용이 들지 않으면 근사화될 수 없다는 것을 보장한다.

실험 결과

연구 질문

• RQ1 무가중치 그래프의 지름을 근사화하는 데 더 강력한 SETH 기반 하한을 증명할 수 있는가?
• RQ2 SETH 하에 $5/3$-근사화 임계값은 날것인가?
• RQ3 기존의 감소를 강화하여 $n^{3/2 - o(1)}$ 시간 내에 $5/3 - \delta$ 근사화를 배제할 수 있는가?
• RQ4 SETH 하에 무가중치 그래프의 지름에 대해 근사 비율과 실행 시간 사이의 정확한 트레이드오프는 무엇인가?

주요 결과

• 모든 $\delta > 0$에 대해, SETH 하에 무방향 무가중치 그래프의 지름에 대해 $5/3 - \delta$ 근사화를 달성하기 위해서는 $n^{3/2 - o(1)}$ 시간이 필요하다.
• 이 결과는 이전의 SETH 기반 지름 근사화 하한을 향상시켜, 추측된 최적의 임계값에 가까운 갭을 메운다.
• 이 하한은 거의 날것이며, $5/3$-근사화는 $O(n^{3/2})$ 시간 내에 계산 가능하므로, 이 하한은 거의 최적이다.
• 이 결과는 무가중치 지름 문제의 미세 복잡도에 대한 이해를 강화한다.