[논문 리뷰] Parameterized Lower Bounds for Problems in P via Fine-Grained Cross-Compositions

Klaus Heeger, André Nichterlein외 1명|arXiv (Cornell University)|2023. 01. 01.

Algorithms and Data Compression인용 수 1

한 줄 요약

이 논문은 여러 다항식 시간 내에서 해결 가능한 문제들에 대해 효율적인 매개변수화 알고리즘을 조건부로 배제하기 위한 세밀한 교차 구성의 일반적 프레임워크를 제안한다. 세밀한 복잡도 가정 하에 1 < γ < 2 인 경우 O(ℓγ/(γ−1)−ε + nγ) 및 1 < γ < 3 인 경우 O(ℓ2γ/(γ−1)−ε + nγ) 시간 내에 실행되는 알고리즘은 불가능하다고 증명하며, 이는 매개변수 ℓ와 입력 크기 n 사이의 단순한 트레이드오프가 종종 최적이 되며, 이는 일반적으로 최적임을 보여준다.

ABSTRACT

We provide a general framework to exclude parameterized running times of the form $O(\ell^β+ n^γ)$ for problems that have polynomial running time lower bounds under hypotheses from fine-grained complexity. Our framework is based on cross-compositions from parameterized complexity. We (conditionally) exclude running times of the form $O(\ell^{γ/{(γ-1)} - ε} + n^γ)$ for any $1&lt;γ&lt;2$ and $ε&gt;0$ for the following problems: - Longest Common Subsequence: Given two length-$n$ strings and $\ell\in\mathbb{N}$, is there a common subsequence of length $\ell$? - Discrete Fréchet Distance: Given two lists of $n$ points each and $k\in \mathbb{N}$, is the Fréchet distance of the lists at most $k$? Here $\ell$ is the maximum number of points which one list is ahead of the other list in an optimum traversal. Moreover, we exclude running times $O(\ell^{{2γ}/{(γ-1)}-ε} + n^γ)$ for any $1&lt;γ&lt;3$ and $ε&gt;0$ for: - Negative Triangle: Given an edge-weighted graph with $n$ vertices, is there a triangle whose sum of edge-weights is negative? Here $\ell$ is the order of a maximum connected component. - Triangle Collection: Given a vertex-colored graph with $n$ vertices, is there for each triple of colors a triangle whose vertices have these three colors? Here $\ell$ is the order of a maximum connected component. - 2nd Shortest Path: Given an $n$-vertex edge-weighted directed graph, two vertices $s$ and $t$, and $k \in \mathbb{N}$, has the second longest $s$-$t$-path length at most $k$? Here $\ell$ is the directed feedback vertex set. Except for 2nd Shortest Path all these running time bounds are tight, that is, algorithms with running time $O(\ell^{γ/{(γ-1)}} + n^γ)$ for any $1 &lt; γ&lt; 2$ and $O(\ell^{{2γ}/{(γ-1)}} + n^γ)$ for any $1 &lt; γ&lt; 3$, respectively, are known.

연구 동기 및 목표

• 매개변수화 알고리즘의 조건부 하한을 P 내에서 O(ℓβ + nγ) 형태의 실행 시간을 갖는 문제들에 대해 수립하기 위해.
• NP-난해 문제에서 유도된 세밀한 복잡도 기법을 다항식 시간 내에서 해결 가능한 문제들로 확장하기 위해.
• Longest Common Subsequence 및 Negative Triangle와 같은 문제들에 대해 알려진 알고리즘이 일반적인 복잡도 가정 하에 실제로 최적일 가능성이 있음을 보여주기 위해.
• LCS 및 Negative Triangle와 같은 문제들에 대해 O(ℓβ + nγ) 시간을 갖는 커퍼니제이션 기반 접근법이 존재하지 않을 가능성이 있음을 보여주기 위해.

제안 방법

• 저자들은 매개변수화 복잡도에서 유래한 교차 구성 기법을 사용하여 NP-난해 문제의 난이도를 P 내 문제들로 이전한다.
• SETH 및 3SUM과 같은 가정 하에 세밀한 감소를 적용하여 조건부 하한을 도출한다.
• 이 프레임워크는 알려진 다항식 시간 하한을 갖는 문제들을 대상으로 하며, 구조적 복잡도를 캡처하는 매개변수 ℓ를 도입한다.
• 다중 입력 간의 인스턴스를 조합함으로써, 실행 시간에서 ℓ의 지수에 대한 하한을 도출한다.
• 이 방법은 매개변수 ℓ와 입력 크기 n 사이의 트레이드오프를 수립하며, 1 < γ < 2 인 경우 β = γ/(γ−1) 가 최적이 됨을 보여준다.
• 이것은 고차원 의존성 문제로 일반화되며, 1 < γ < 3 인 경우 β = 2γ/(γ−1) 를 도출한다.

실험 결과

연구 질문

• RQ1 특정 β 및 γ 에 대해 O(ℓβ + nγ) 실행 시간을 갖는 매개변수화 알고리즘을 P 내 문제들에 대해 조건부로 배제할 수 있는가?
• RQ2 Longest Common Subsequence 및 Discrete Fréchet Distance와 같은 문제들에 대해 세밀한 복잡도 가정 하에 알려진 알고리즘이 점근적으로 최적일 수 있는가?
• RQ3 P 내 문제들에 대해 매개변수 ℓ 와 입력 크기 n 사이의 최적 트레이드오프는 무엇인가?
• RQ4 매개변수화 복잡도에서 유래한 교차 구성 기법을 다항식 시간 내에서 해결 가능한 문제들에 하한을 도출하는 데 사용할 수 있는가?
• RQ5 LCS 및 Negative Triangle와 같은 문제들에 대해 입력 크기를 O(ℓ)로 줄이는 커퍼니제이션이 불가능한가?

주요 결과

• 논문은 SETH 가정 하에 Longest Common (Increasing) Subsequence 문제가 어떤 1 < γ < 2 및 ε > 0 에 대해 O(ℓγ/(γ−1)−ε + nγ) 시간 내에 해결될 수 없음을 증명한다.
• Discrete Fréchet Distance 및 Planar Motion Planning 문제에 대해서도 동일한 실행 시간 하한이 조건부로 배제된다.
• Negative Triangle 및 Triangle Collection 문제는 SETH 가정 하에 어떤 1 < γ < 3 및 ε > 0 에 대해 O(ℓ2γ/(γ−1)−ε + nγ) 시간 내에 해결될 수 없다.
• 실행 시간 하한은 날카로우며, 해당 문제들에 대해 O(ℓγ/(γ−1) + nγ) 및 O(ℓ2γ/(γ−1) + nγ) 시간을 달성하는 알고리즘이 알려져 있다.
• 입력을 크기 O(ℓ)로 줄이는 커퍼니제이션은 이러한 문제들에 대해 불가능할 가능성이 높으며, 이러한 커널이 존재한다면 현재 믿어지는 것보다 더 빠른 알고리즘이 가능해지기 때문이다.
• 이 프레임워크는 NP-난해 문제에서 유도된 세밀한 하한을 P 내 문제들로 이전하는 일반적인 방법을 제공하며, 조건부 복잡도 결과의 적용 범위를 확장한다.