[論文レビュー] Nonlinear Optimization over a Weighted Independence System

Jon Lee, Shmuel Onn+1 more|ArXiv.org|May 7, 2008

Polynomial and algebraic computation参考文献 5被引用数 6

ひとこと要約

本稿では、重み付き独立集合系上の非線形最適化問題に対して、r番目の最良解を求める多項式時間アルゴリズムを提示する。ここで r は重みのフロベニウス数に依存し、基底集合のサイズとは無関係である。一般に最適解（0-best解）を求めるには指数時間が必要であるが、r(a)-best解は効率的に計算可能であり、r(a) は重みの部分タプルのフロベニウス数を用いて明示的に上限が与えられる。

ABSTRACT

We consider the problem of optimizing a nonlinear objective function over a weighted independence system presented by a linear-optimization oracle. We provide a polynomial-time algorithm that determines an r-best solution for nonlinear functions of the total weight of an independent set, where r is a constant that depends on certain Frobenius numbers of the individual weights and is independent of the size of the ground set. In contrast, we show that finding an optimal (0-best) solution requires exponential time even in a very special case of the problem.

研究の動機と目的

• 正確な最適化が困難な場合に、重み付き独立集合系上での非線形最適化を近似する多項式時間アルゴリズムの開発。
• 最適性の近似度を重み集合のフロベニウス数に基づいて特徴づけ、有界な劣化を保証する。
• 重み集合 {2,3} のような単純な場合ですら、最適（0-best）解を求めることが指数的時間で難しいことを示す。
• 異なる関数クラスとオラクルモデルの下での多項式時間解法の限界を調査する。
• 準凸関数や準凹関数のような構造的関数へ一般化可能なフレームワークを提供する。

提案手法

• アルゴリズムは、重み付きベクトルに対して線形最適化オラクルを繰り返し照会することで解空間を段階的に縮小する、単純な戦略の洗練版を用いる。
• 重み集合の構造的性質と重みによって生成されるモノイドの性質を活用して、独立集合系を扱いやすい部分に分割する。
• 部分タプルのフロベニウス数に対する境界を適用することで、潜在的に劣化した解の数を制御し、r(a) が有限かつ多項式的に有界であることを保証する。
• 目的関数 f の比較オラクルを活用して、f の明示的知識なしに値を比較可能にし、オラクルベースの最適化を実現する。
• 準凸関数 f の場合、最大重み解からゼロ解へ向かうパスを探索することで、(max(a)−1)-best 解が得られることを示した。
• 特定の重み集合（例：a_i が a_{i+1} を割り切るとき）ではフロベニウス数がゼロとなるため、正確な最適性が達成可能であるという事実に依拠している。

実験結果

リサーチクエスチョン

• RQ1 重みにのみ依存し問題サイズとは無関係な r に対して、重み付き独立集合系上での非線形最適化問題の r-best 解を多項式時間で計算できるか？
• RQ2 重みが {2,3} である非線形最適化問題に対して、最適（0-best）解を多項式時間で計算できるか？
• RQ3 与えられた重み集合に対して、多項式時間で保証可能な劣化解の数（r）の最もタイトな境界は何か？
• RQ4 重み集合の構造（例：割り切り関係、フロベニウス数）が最適化問題の複雑さにどのように影響するか？
• RQ5 本アルゴリズムは、準凸関数や準凹関数などの他の関数クラスへ拡張可能であり、より良い近似保証を得られるか？

主な発見

• r(a)-best 解は、重み集合 a の部分タプルのフロベニウス数によって上限が与えられるため、多項式時間で計算可能である。
• a = (2,3) の場合、アルゴリズムは1-best解を保証する。これは、最適な目的値をわずか1つまでしか持たないことを意味する。
• 重みが完全順序で割り切り関係にある場合（a_i が a_{i+1} を割り切る）、アルゴリズムは最適解を計算する。
• 重み集合 {2,3} のような単純な場合ですら、最適解を求める問題は NP 困難であるため、P=NP でない限り多項式時間アルゴリズムは存在しない。
• 準凸関数 f の場合、より単純なアルゴリズムにより (max(a)−1)-best 解が得られ、f に構造的仮定がある場合に近似度が向上することを示した。
• メンバーーシップオラクルは、定数重みの場合ですら、未照会の妥当解に基づく下界の議論により、多項式時間最適化をサポートするには弱すぎる。