[論文レビュー] Parameterized Lower Bounds for Problems in P via Fine-Grained Cross-Compositions

Klaus Heeger, André Nichterlein+1 more|arXiv (Cornell University)|Jan 1, 2023

Algorithms and Data Compression被引用数 1

ひとこと要約

この論文は、細かく分類されたクロスコンpositionsを用いた一般枠組みを導入し、いくつかの多項式時間で解ける問題に対して、効率的なパラメータ付きアルゴリズムを条件付きで除外する。細かく分類された複雑性仮説の下で、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.

研究の動機と目的

• パラメータ付きアルゴリズムの条件付き下界を、O(ℓβ + nγ) の形をとる実行時間で P に属する問題に対して確立すること。
• NP 困難問題から多項式時間で解ける問題へ、細かく分類された複雑性技術を拡張すること。
• Longest Common Subsequence や Negative Triangle といった問題に対する既知のアルゴリズムが、一般的な複雑性仮説の下でおそらく最適であることを示すこと。
• LCS や Negative Triangle のような問題に対して、O(ℓβ + nγ) 時間で動作するカーネル化ベースのアプローチが存在しない可能性が高いことを示すこと。

提案手法

• 著者たちは、パラメータ付き複雑性からのクロスコンポジションを用い、NP 困難問題からの難易度を P に属する問題へと移転する。
• SETH や 3SUM などの仮説の下で細かく分類された還元を適用し、条件付き下界を導出する。
• 既知の多項式時間下界を持つ問題を対象とし、構造的複雑性を捉えるパラメータ ℓ を導入する。
• 複数の入力に対してインスタンスを合成することで、実行時間における ℓ の指数の下界を導出する。
• パラメータ ℓ と入力サイズ n の間のトレードオフを確立し、1 < γ < 2 の場合に β = γ/(γ−1) がタイトであることを示す。
• 高次元の依存関係を持つ問題へと一般化され、1 < γ < 3 の場合に β = 2γ/(γ−1) が得られる。

実験結果

リサーチクエスチョン

• RQ1 特定の β と γ に対して、P に属する問題におけるパラメータ付きアルゴリズムが、O(ℓβ + nγ) 実行時間で条件付きで除外可能か？
• 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 は、任意の 1 < γ < 3 および ε > 0 に対して O(ℓ2γ/(γ−1)−ε + nγ) 時間で解けない、SETH の下で証明された。
• 実行時間の下界はタイトであり、それぞれの問題に対して O(ℓγ/(γ−1) + nγ) および O(ℓ2γ/(γ−1) + nγ) 時間で動作するアルゴリズムが既に知られている。
• このようなカーネル化がこれらの問題に対して存在しない可能性が高い。なぜなら、それらのカーネルが現在信じられているより速いアルゴリズムを意味するからである。
• このフレームワークは、NP 困難問題から P に属する問題へ、細かく分類された下界を移転する一般化された方法を提供し、条件付き複雑性結果の適用範囲を拡張した。