[論文レビュー] A subquadratic approximation scheme for partition

Marcin Mucha, Karol Węgrzycki+1 more|arXiv (Cornell University)|Jan 6, 2019

Complexity and Algorithms in Graphs被引用数 7

ひとこと要約

この論文は、NP困難なPARTITION問題に対する最初のサブクアドラティック近似スキームを提示する。SUBSET SUMを構造的で簡略化された部分インスタンスに還元し、近似アルゴリズム、擬似多項式手法、加法的組合せ論の技術を統合することで、O(n + 1/ε⁵/³)時間の確率的FPTASを達成した。主な結果は、このクラスの問題における長年のクアドラティックバリアを打ち破った時間計算量の飛躍的改善である。

ABSTRACT

The subject of this paper is the time complexity of approximating KNAPSACK, SUBSET SUM, PARTITION, and some other related problems. The main result is an O(n + 1/e5/3) time randomized FPTAS for PARTITION, which is derived from a certain relaxed form of a randomized FPTAS for SUBSET SUM. To the best of our knowledge, this is the first NP-hard problem that has been shown to admit a subquadratic time approximation scheme, i.e., one with time complexity of O((n + 1/e)2-δ) for some δ > 0. To put these developments in context, note that a quadratic FPTAS for PARTITION has been known for 40 years.Our main contribution lies in designing a mechanism that reduces an instance of SUBSET SUM to several simpler instances, each with some special structure, and keeps track of interactions between them. This allows us to combine techniques from approximation algorithms, pseudo-polynomial algorithms, and additive combinatorics.We also prove several related results. Notably, we improve approximation schemes for 3SUM, (min, +)− convolution, and TREESPARSITY. Finally, we argue why breaking the quadratic barrier for approximate KNAPSACK is unlikely by giving an Ω((n + 1/e)2−o(1)) conditional lower bound.

研究の動機と目的

• NP困難な問題、たとえばPARTITION、KNAPSACK、SUBSET SUMに対してサブクアドラティック近似スキームを開発すること。
• これらの問題の近似スキームにおいて長年のクアドラティック時間バリアを打ち破ること。
• SUBSET SUMをより単純で構造的な部分インスタンスに還元するメカニズムを設計し、インスタンス間の相互作用を追跡すること。
• 近似アルゴリズム、擬似多項式アルゴリズム、加法的組合せ論の技術を統合して、計算効率を向上させること。
• さらなる近似時間計算量の改善の限界を理解するために、条件付き下界を確立すること。

提案手法

• 著者たちは、元のインスタンスを特別な構造的性質を持つより単純な部分インスタンスに還元することで、SUBSET SUMの確率的FPTASを設計した。
• これらの部分インスタンス間の相互作用を追跡・管理するメカニズムを導入し、近似保証を維持した。
• 部分インスタンスの構造を制御し、計算を効率的に行うために、加法的組合せ論の技術を組み合わせた。
• SUBSET SUMの確率的FPTASの緩和形を採用し、PARTITIONのサブクアドラティックFPTASを導出する。
• 構造的で部分インスタンス上で擬似多項式アルゴリズムを活用することで、全体の実行時間を高速化した。
• このフレームワークは、3SUM、(min, +)-convolution、TREESPARSITYの近似スキームの改善にも拡張された。

実験結果

リサーチクエスチョン

• RQ1 NP困難なPARTITION問題に対して、クアドラティック時間バリアを打ち破るサブクアドラティック近似スキームを達成できるか？
• RQ2 SUBSET SUMのどの構造的還元が、正確性を保ちながらより高速な近似を可能にするか？
• RQ3 近似アルゴリズム、擬似多項式手法、加法的組合せ論の技術をどのように統合することで実行時間を改善できるか？
• RQ4 KNAPSACKをサブクアドラティック時間で近似する場合の条件付き下界は何か？
• RQ5 このフレームワークは、3SUM や (min, +)-convolution などの他の問題の近似スキームの改善に一般化可能か？

主な発見

• 本論文は、時間計算量O(n + 1/ε⁵/³)の最初のサブクアドラティックFPTASをPARTITION問題に提示し、40年前に知られていたクアドラティックFPTASより実行時間の改善を達成した。
• この結果は、近似保証を維持したまま構造的で部分インスタンスに還元可能な、SUBSET SUMの緩和形の確率的FPTASから導出された。
• 同じコアメカニズムを活用することで、3SUM、(min, +)-convolution、TREESPARSITYの近似スキームが向上した。
• Ω((n + 1/ε)²⁻ᵒ⁽¹⁾)の条件付き下界が確立され、近似KNAPSACKのクアドラティックバリアを打ち破ることはおそらく不可能であることが示された。
• 近似アルゴリズムと擬似多項式手法に加法的組合せ論を統合することで、NP困難問題に対するサブクアドラティックアルゴリズムへの新しい道筋が開かれた。