[論文レビュー] Bringing Order to Special Cases of Klee's Measure Problem

Karl Bringmann|arXiv (Cornell University)|Jan 30, 2013

Computational Geometry and Mesh Generation参考文献 15被引用数 4

ひとこと要約

本稿は、Kleeの測度問題（KMP）の特殊ケースの間で、独自の還元を用いて包括的な階層を確立し、ハイパーボリュームが最も簡単な変種であることを示し、キューブ-KMPとユニットキューブ-KMPの実行時間が多項式的に関連していることを証明する。特に、KMPの任意のアルゴリズムが実行時間 $ T(n,d) $ を持つならば、一般ケースに対して実行時間 $ T(n,2d) $ を持つアルゴリズムが得られることを示し、Exponential Time Hypothesis（ETH）のもとで、$\textup{W}[1]$-hardness とタイトな下界がすべての特殊ケースに伝播することを示している。

ABSTRACT

Klee's Measure Problem (KMP) asks for the volume of the union of n axis-aligned boxes in d-space. Omitting logarithmic factors, the best algorithm has runtime O*(n^{d/2}) [Overmars,Yap'91]. There are faster algorithms known for several special cases: Cube-KMP (where all boxes are cubes), Unitcube-KMP (where all boxes are cubes of equal side length), Hypervolume (where all boxes share a vertex), and k-Grounded (where the projection onto the first k dimensions is a Hypervolume instance). In this paper we bring some order to these special cases by providing reductions among them. In addition to the trivial inclusions, we establish Hypervolume as the easiest of these special cases, and show that the runtimes of Unitcube-KMP and Cube-KMP are polynomially related. More importantly, we show that any algorithm for one of the special cases with runtime T(n,d) implies an algorithm for the general case with runtime T(n,2d), yielding the first non-trivial relation between KMP and its special cases. This allows to transfer W[1]-hardness of KMP to all special cases, proving that no n^{o(d)} algorithm exists for any of the special cases under reasonable complexity theoretic assumptions. Furthermore, assuming that there is no improved algorithm for the general case of KMP (no algorithm with runtime O(n^{d/2 - eps})) this reduction shows that there is no algorithm with runtime O(n^{floor(d/2)/2 - eps}) for any of the special cases. Under the same assumption we show a tight lower bound for a recent algorithm for 2-Grounded [Yildiz,Suri'12].

研究の動機と目的

• Kleeの測度問題の代表的な特殊ケースであるキューブ-KMP、ユニットキューブ-KMP、ハイパーボリューム、および $k$-Grounded の相対的な複雑さを明確化すること。
• アルゴリズム的還元を用いて、これらの特殊ケースの間で形式的な階層を確立すること。
• 一般KMPからの難易度結果を特殊ケースに伝播させ、Exponential Time Hypothesisのもとで、$ n^{o(d)} $ のアルゴリズムが存在しないことを証明すること。
• 特に2-Groundedの $ \mathcal{O}(n^{(d-1)/2}\log^2 n) $ アルゴリズムを含む特定のアルゴリズムに対するタイトな下界を提供すること。
• KMPおよびその変種の複雑さに関する未解決問題を特定すること、特に最適実行時間指数と一般化の問題について。

提案手法

• 一般KMPから $ 2k $-Grounded インスタンスへの還元により、$ k $-Grounded に対して実行時間 $ T(n,d) $ を持つアルゴリズムが存在するならば、一般KMPに対して実行時間 $ T(n,2d) $ を持つアルゴリズムが得られることを示した。
• 各次元ごとに反復的に座標を分割することで、KMPインスタンスを $ 2d+1 $ 個のより小さな $ k $-Grounded インスタンスに分解し、それぞれのインスタンスに含まれるボックス数は $ (1 - \alpha)n $ 以下となるようにした。
• すべての次元で自明なボックス（すなわち、固定されたボックス $[a_1,b_1] \times \cdots \times [a_d,b_d]$ と等しいもの）は、同じである場合にのみ体積に寄与することを用いて、残りのインスタンスを単純化した。
• サイズパラメータを強化するために還元を再帰的に適用し、再帰的関係式を用いて漸近的実行時間の上限を導出できた。
• 再帰的関係式 $ T_{\textsc{$k$-Grounded}}'(n,d) \leqslant \mathcal{O}(T_{\textsc{$k$-Grounded}}((1-\alpha)n,d)) $ を確立し、一般問題の実行時間を $ k $-Grounded の実行時間で上界で抑えられるようにした。
• $ k $-Clique への還元によるKMPの $ \textup{W}[1] $-hardness を用いて、Exponential Time Hypothesisのもとで、どの特殊ケースに対しても $ n^{o(d)} $ のアルゴリズムが存在しないことを導いた。

実験結果

リサーチクエスチョン

• RQ1 ハイパーボリュームとユニットキューブ-KMPの間にも、キューブ-KMPとユニットキューブ-KMPの間で知られているのと同様に、実行時間の多項式的関係が存在するか？
• RQ2 2-Groundedの $ \mathcal{O}(n^{(d-1)/2}\log^2 n) $ アルゴリズムを $ 2k $-Grounded に対して $ \mathcal{O}(n^{(d-k)/2+o(1)}) $ に一般化できるか？
• RQ3 ハイパーボリュームおよびキューブ-KMP／ユニットキューブ-KMPの最適実行時間 $ n^{c_d \cdot d \pm \mathcal{O}(1)} $ における指数 $ c_d $ の正確な値は何か？
• RQ4 一般KMPへの逆還元（$ d' < d $）が $ k $-Grounded から存在するか？ これにより、両者の間のより緊密な対応関係が確立されるか？
• RQ5 一般KMPに対して改善されたアルゴリズムが存在しないこと（つまり、$ \mathcal{O}(n^{d/2 - \varepsilon}) $ アルゴリズムが存在しないこと）が示された場合、すべての特殊ケースに対して $ \Omega(n^{\lfloor d/2\rfloor/2 - \varepsilon}) $ のタイトな下界が成立するか？

主な発見

• 本稿は、ハイパーボリュームが、利用可能な最速のアルゴリズムを備えており、他のケースから還元可能であるため、研究された特殊ケースの中で最も簡単であることを確立した。
• キューブ-KMPとユニットキューブ-KMPの実行時間は多項式的に関連しており、片方の改善がもう片方の改善を意味することを示した。
• $ k $-Grounded に対して実行時間 $ T(n,d) $ を持つ任意のアルゴリズムが、一般KMPに対して実行時間 $ T(n,2d) $ を持つアルゴリズムを導くことができることから、一般問題とその特殊ケースとの間の根本的な関係を確立した。
• Exponential Time Hypothesisのもとで、$\textup{W}[1]$-hardness がKMPから伝播するため、どの特殊ケースに対しても $ n^{o(d)} $ のアルゴリズムが存在しない。
• 一般KMPに対して改善されたアルゴリズムが存在しない（すなわち、$ \mathcal{O}(n^{d/2 - \varepsilon}) $ アルゴリズムが存在しない）と仮定すると、すべての特殊ケースに対して $ \Omega(n^{\lfloor d/2\rfloor/2 - \varepsilon}) $ のタイトな下界が証明された。
• 同じ仮定のもとで、すべての特殊ケースに対して約 $ n^{(d-1)/4} $ のタイトな下界が提供され、2-Groundedの $ \mathcal{O}(n^{(d-1)/2}\log^2 n) $ アルゴリズムの最適性が確認された。