[論文レビュー] Tight Hardness Results for Maximum Weight Rectangles

Artūrs Bačkurs, Nishanth Dikkala+1 more|arXiv (Cornell University)|Jan 1, 2016

Complexity and Algorithms in Graphs参考文献 19被引用数 12

ひとこと要約

本稿は、d次元における最大重み長方形問題とその特殊ケースである最大部分配列問題について、タイトな条件付き下界を確立している。これにより、より高速なアルゴリズムが得られれば、すべての対間最短路問題や最大重みkクリーク問題といった基本的問題における飛躍的進展が得られることを示している。著者らは、2次元における最大重み長方形問題に対してO(N^{2−ε})のアルゴリズムや、最大部分配列問題に対してO(n^{3−ε})のアルゴリズムが存在すれば、広く受け入れられている困難性仮定を覆すことになると証明しており、これにより既存のアルゴリズムが多項式的要因を除いて最適であることが示された。

ABSTRACT

Given $n$ weighted points (positive or negative) in $d$ dimensions, what is the axis-aligned box which maximizes the total weight of the points it contains? The best known algorithm for this problem is based on a reduction to a related problem, the Weighted Depth problem [T. M. Chan, FOCS'13], and runs in time $O(n^d)$. It was conjectured [Barbay et al., CCCG'13] that this runtime is tight up to subpolynomial factors. We answer this conjecture affirmatively by providing a matching conditional lower bound. We also provide conditional lower bounds for the special case when points are arranged in a grid (a well studied problem known as Maximum Subarray problem) as well as for other related problems. All our lower bounds are based on assumptions that the best known algorithms for the All-Pairs Shortest Paths problem (APSP) and for the Max-Weight k-Clique problem in edge-weighted graphs are essentially optimal.

研究の動機と目的

• 2次元における最大重み長方形問題のO(N²)アルゴリズムが多項式的要因を除いて最適であるという長年の予想を解消すること。
• 2次元およびそれ以上の次元における最大部分配列問題の条件付き下界を確立し、O(n^{3−ε})のアルゴリズムが存在すればすべての対間最短路問題をより速く解けることの証明。
• 重み付き深さ問題や辺に重みが付いたグラフにおける最大重みkクリーク問題といった関連問題へもこれらの下界結果を拡張すること。
• 標準的な複雑性仮定の下で、幾何最適化問題と基本的グラフ問題との間の関係を明確に定式化すること。

提案手法

• クリークの頂点を基数nの数値として符号化し、それをd次元空間に埋め込むことで、最大重みkクリーク問題をd次元における最大重み長方形問題に還元する。
• 任意の軸に平行なボックスの重み総和が、それが表すクリークの重みに丁度一致するように、重み付きの点集合を巧みに構築する。
• 還元の連鎖を用いる：最大組み合わせ → 最大正方形部分配列 → 中央最大組み合わせ → 中央最大和。境界条件を扱うために符号反転とオフセットを適用する。
• 重み付き深さ問題に対して、グラフの辺と長方形を関連付ける新しい構成を採用し、最も重い点が最も重いdクリークに対応するようにする。
• すべての対間最短路（APSP）と最大重みkクリーク問題が、それぞれ強くサブキュービック時間、強くサブクadratic時間で解けないという仮定を用いる。
• 幾何問題に対するより速いアルゴリズムが存在すれば、これらの核心的グラフ問題に対してもより速いアルゴリズムが得られることを示し、一致する下界を証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元における最大重み長方形問題のO(N²)アルゴリズムは、多項式的要因を除いて最適であるか？
• RQ2 最大部分配列問題のO(n³)アルゴリズムをO(n^{3−ε})に改善できるか、その場合、基本的複雑性仮定を破ることなく可能か？
• RQ3 高次元における最大重み長方形問題の本質的困難性は何か？ そして、既知の上界と一致するか？
• RQ4 最大部分配列問題を、実行時間の複雑性を保ったまますべての対間最短路問題に還元できるか？
• RQ5 重み付き深さ問題と最大重み長方形問題は同じ条件付き困難性を持つのか？ そして、タイトな還元によってこれを証明できるか？

主な発見

• 2次元における最大重み長方形問題に対してO(N^{2−ε})のアルゴリズムが存在すれば、最大重み⌈4/ε⌉-クリーク問題に対してO(n^{⌈4/ε⌉−ε})のアルゴリズムが得られ、現在の最良の実行時間仮定を覆すことになる。
• d次元における最大重み長方形問題に対してO(N^{d−ε})のアルゴリズムが存在すれば、k = ⌈d²/ε⌉として、最大重みkクリーク問題に対してO(n^{k−ε})のアルゴリズムが得られ、既知の上界と多項式的要因を除いて一致する。
• n×n行列における最大部分配列問題に対してO(n^{3−ε})のアルゴリズムが存在すれば、すべての対間最短路問題に対してO(n^{3−ε/10})のアルゴリズムが得られ、現在のO(n³)の境界が条件付きで最適であることが示される。
• 重み付き深さ問題に対しても一致する条件付き下界が成立する：O(N^{d/2−ε})のアルゴリズムが存在すれば、最大重みdクリーク問題に対してO(n^{d−2ε})のアルゴリズムが得られる。
• 還元はタイトであり、実行時間の複雑性を保っている。これにより、幾何問題における改善が、基本的グラフ問題における飛躍的進展をもたらすことが示された。
• これらの結果により、最大重み長方形、最大部分配列、重み付き深さ問題に対する最良の既知のアルゴリズムが、標準的な複雑性仮定の下で本質的に最適であることが確立された。