相補性制約付き最適化で停留点を探すランダム分枝法
Randomized Branch Methods with Inexact Subproblems for Bouligand Stationarity in Linear and Quadratic Programs with Complementarity Constraints
この論文をやさしく読む
ひとことで言うと
相補性制約がある線形・二次最適化で、実行可能な分枝を無作為に調べ、B停留点を探す方法を示した研究です。
何に役立つ？
相補性制約を含む大規模な問題で、候補解を探す手法の選択や比較に役立ちます。要旨では二段階最適化などに由来する事例で目的関数値と実行時間を評価しています。
この研究の面白いところ
二次計画でも分枝ごとの二次部分問題を線形化した信頼領域問題に替え、線形計画の部分問題だけで進めます。有限終了と無限実行の両方について、条件付きでB停留性を解析しています。
どこまで分かった？
理論上の保証は論文で述べた仮定の下での結果です。実験は列挙された問題群とMacMPECの129件の試験によるもので、あらゆる相補性制約系での性能を保証するものではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
相補性制約を持つ線形計画問題（LPCC）と二次計画問題（QPCC）について、線形計画の部分問題だけを使ってブーリガン停留点（B停留点）を求めるランダム化分枝法を開発する。この方法は、実行可能集合が有限個の集合の和で表せる幾何学的構造を利用し、無作為に選んだ両立する分枝で一次の降下方向を探す。LPCCでは、厳密法は抽出した分枝上で最適化を行う。一方、非厳密なシンプレックス法は、抽出したペナルティ問題を最適に解き終える前でも、目的関数を改善する分枝実行可能な頂点を採用できる。 不定値の二次目的関数を含むQPCCでは、分枝ごとの二次計画問題を線形化した信頼領域部分問題に置き換える。比率判定によって実際の減少を保証し、しきい値を設けたサンプリングによって集積点で初めて現れる分枝を検出する。提示した仮定の下で、LPCCの方法は、ほぼ確実に有限回の変更後にB停留点で安定する。QPCCの方法は、有限回で終了すればB停留点を得られ、無限に実行した場合も、すべての集積点がほぼ確実にB停留点となる。二段階最適化から得た事例、逆二次計画に由来する事例、疎なアフィン一般化ナッシュ均衡の事例に加え、MacMPECへの埋め込みを用いた129件の試験では、大規模な相補性制約系に対して、目的関数値の質と実行時間の両面で競争力のある点が得られた。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We develop randomized branch methods for finding Bouligand-stationary (B-stationary) points of linear and quadratic programs with complementarity constraints (LPCCs and QPCCs) using only linear programming subproblems. The methods exploit the finite-union geometry of the feasible set and search for first-order descent on randomly selected compatible branches. For LPCCs, an exact method optimizes over sampled branches, while an inexact simplex method can accept an improving branch-feasible vertex before solving the sampled penalty problem to optimality. For QPCCs, including problems with indefinite quadratic objectives, branch quadratic programs are replaced by linearized trust-region subproblems; a ratio test ensures actual decrease, and thresholded sampling detects branches that emerge only at accumulation points. Under the stated assumptions, the LPCC methods stabilize after finitely many changes at B-stationary points almost surely. For the QPCC method, finite termination yields a B-stationary point, and every accumulation point of an infinite run is B-stationary almost surely. Experiments on bilevel-induced instances, instances arising from inverse quadratic programming, and sparse affine generalized Nash equilibrium instances, together with 129 MacMPEC embedding tests, show that the methods return points with competitive objective quality and runtimes on large-scale complementarity systems.
著者のコメント
54 pages, 2 figures
arXiv ID: 2609.29888 ／ 要約の誤りについて