[論文レビュー] Unary Subset-Sum is in Logspace

Daniel M. Kane|arXiv (Cornell University)|Dec 6, 2010

Rough Sets and Fuzzy Logic参考文献 2被引用数 7

ひとこと要約

この論文は、生成関数と大きな素数における剰余算術を用いて、部分集合の存在を決定する、一進法によるサブセットサム問題のログスペースアルゴリズムを提示する。一進法サブセットサムが L（ログスペース）に属することを証明し、長年の未解決問題を解決した。さらに、中国剰余定理を用いて、ベクトル値入力への拡張と近似カウントを可能にする。

ABSTRACT

We present a simple Logspace algorithm that solves the Unary Subset-Sum problem.

研究の動機と目的

• 一進法サブセットサムが L（ログスペース）に属するかどうかという、小空間計算における根本的な未解決問題を解明すること。
• モジュラ算術と生成関数を用いて、一進法サブセットサムを解くシンプルで実装可能なアルゴリズムを TC⁰ で提供すること。
• 解の数に関する合同情報の計算とベクトル値入力のサポートを可能にするようにアルゴリズムを拡張すること。
• ログスペース技術を用いて、解の近似カウントと確率的サンプリングを可能にすること。

提案手法

• 部分集合の和を符号化するため、生成関数 ∏(1 + x^{m_i}) を用い、C より大きな素数 p を法として評価することで、非ゼロの解の数を検出する。
• 任意の素数 p > C に対して、∑_{x=1}^{p-1} x^{-B} ∏(1 + x^{m_i}) ≢ 0 mod p かどうかをテストすることで解の有無を確認する。
• この和が -A mod p に等しくなるという恒等式に依拠しており、ここで A は和が B に等ぶ部分集合の数であり、A ≢ 0 であることと解の存在が同値である。
• 素数判定と NextPrime の計算は、試行除算によりログスペースで行うことができ、これによりアルゴリズム全体がログスペースで実行可能である。
• ベクトル値入力の場合、ベクトルを整数に C 進数表現で変換することで、一進法サブセットサム問題に還元する。
• 複数の素数における結果を中国剰余定理を用いて組み合わせることで、A mod N を対数的精度で計算し、近似カウントを実現する。

実験結果

リサーチクエスチョン

• RQ1 一進法サブセットサムは L、つまり対数的空間で解けるクラスに属するか？
• RQ2 モジュラ算術と生成関数を用いて、一進法サブセットサムを解くシンプルで効率的なアルゴリズムを構築できるか？
• RQ3 このアルゴリズムを、解の数を m で割った剰余として計算するか、またはログスペースで近似解の数を計算するように拡張できるか？
• RQ4 この手法を k次元のベクトル値サブセットサム問題や 0-1 ナップサック問題などの関連問題に一般化できるか？

主な発見

• 一進法サブセットサムは L に属し、計算複雑性理論における長年の未解決問題が解決された。
• アルゴリズムはログスペースで実行可能であり、同時に TC⁰ に属することを示し、低次元の均一回路複雑性を示した。
• 任意の素数 p > C に対して、和の恒等式 ∑_{x=1}^{p-1} x^{-B} ∏(1 + x^{m_i}) ≡ -A mod p を用いて、A mod p をログスペースで計算可能である。
• 複数の素数における結果を組み合わせることで、A mod N を対数的精度で計算可能となり、近似カウントが可能になる。
• この手法は k次元のベクトル値入力に一般化され、O(k log C) の空間と C^{O(k)} の時間で問題を解ける。
• 解の空間からの確率的ログスペースサンプリングが、動的解の割合推定を用いて可能になる。