arXiv論文メモ
新着一覧
cs.DM / cs.DS · 査読状況未確認

整数性ギャップを保つ縮約で組合せ最適化を解析

Integrality gap preserving reductions

Koppány István Encz, Monaldo Mastrolilli, Eleonora Vercesi

この論文をやさしく読む

ひとことで言うと

整数最適化と線形緩和の解の差を、最悪の例を失わず問題の候補を絞って求める手法です。

何に役立つ?

近似解法の限界や線形計画の緩和の強さを、体系的に分析するための道具になります。

この研究の面白いところ

最大の整数性ギャップを生む例を残しながら入力集合を縮めます。頂点被覆、複数ナップサック、機械割当などへ応用し、制限付き割当の3つの部分クラスでギャップ1を証明します。

どこまで分かった?

ギャップは固定した線形計画定式化に対する性質です。一部で下界を改善しますが、対象問題のすべてのケースで正確な値を解明したという主張ではありません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

固定した線形計画定式化に対する組合せ最適化問題の整数性ギャップを、体系的に調べるための枠組みを提案する。「整数性ギャップ保存縮約」と呼ぶこの方法は、ギャップを最大にする問題例が残ることを保証しながら、問題の入力全体の集合を反復的に縮小する。残る問題例の部分集合が十分に限定された段階で、整数性ギャップを明示的に計算する。 標準的な線形計画定式化を通じて、よく知られた3つの最適化問題、すなわち重み付き頂点被覆問題、多重ナップサック問題、無関連並列機械スケジューリング問題にこの縮約を適用する。加えて、制限付き割当問題を構成LP緩和によって解析する。 この問題の3つの「容易な」部分クラスでは、整数性ギャップが1に等しいことを証明する。これらは多項式時間で解けるか、多項式時間近似スキーム(PTAS)を持つもので、例えば処理時間がすべて1の場合が含まれる。残る一部の場合では、本手法を使って現在の下界を改善する。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-17(UTC)
最新改訂
2026-09-17 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

We propose a framework for the systematic study of integrality gaps of combinatorial optimization problems with respect to a fixed linear programming formulation. The method, called \emph{integrality gap preserving reduction}, consists of iteratively shrinking the input universe of the problem while guaranteeing that gap-maximizing instances remain selected. When the subset of remaining instances becomes specific enough, we calculate the integrality gap explicitly. Besides applying integrality gap preserving reductions to three well-known optimization problems via their standard linear programming formulations (weighted vertex cover problem, multiple knapsack problem, and unrelated machine scheduling problem), we analyse the restricted assignment problem via its configuration LP relaxation. We prove that the integrality gap is equal to $1$ for three ``easy'' subclasses of the problem that are either solvable in polynomial time or admit a PTAS (e.g., the all-one processing time case). For some remaining cases, we improve the current lower bound using our technique.

著者のコメント

30 pages, 2 figures

arXiv ID: 2609.19967 / 要約の誤りについて