大規模な疎半正定値計画を複数クリークに分けて解く
McADMM: A Multi-Clique Augmented Lagrangian-Based Algorithm for Large-Scale Sparse SDPs with Bound Constraints
この論文をやさしく読む
ひとことで言うと
大きな半正定値計画問題を小さな部分に分ける際に、部分の重なりを減らすことより、計算の重い射影処理を軽くすることを重視した方法です。
何に役立つ？
二次制約付き最適化問題をSDPに緩和して解く際、大規模で疎な問題を扱う計算方法の選択に役立ちます。GPUによる高速化も数値実験で検討しています。
この研究の面白いところ
重なりの多さを避ける代わりに、その制約を平均化で処理しやすくして、分解の選び方を変えています。分解の形と実際の計算費用を結び付けた点が特徴です。
どこまで分かった？
性能改善は分解に適した全体の疎構造を持つ問題を対象としています。具体的な高速化倍率や、あらゆるSDPで優位となることは要旨に示されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
sGS-PADMM［21, 14, 6］は、中規模の線形半正定値計画（SDP）問題に実装するための、強力で汎用的な、収束性を備えた複数ブロックADMMソルバーの一群である。本論文では、新しい複数クリーク分解の方法を提案してこのアルゴリズム群をさらに強化し、全体の疎構造が分解に適した大規模な疎SDP、例えばn＞1000の問題への適用を大幅に改善する。 一般的な分解アルゴリズムがクリーク間の重なりの最小化に制約されるのに対し、本SDP分解戦略は、分解後の半正定値（PSD）射影の推定費用を減らすことを主な目的とする。これは、多数の重なり制約を単純な平均化の手順によって効率的に処理できる、新しい線形空間への射影方法によって可能になる。 数値実験では、重要な二次制約付き二次計画（QCQP）問題の緩和から生じる複数の大規模SDPの実例で、Multi-clique ADMMに由来する名称のソルバーMcADMMの性能を示す。主要な貢献を明らかにするため、他の最先端の分解型ソルバーおよび分解しないsGS-PADMMと性能を比較する。さらに、McADMMのGPU実装を開発し、分解後のソルバーを大幅に高速化できることを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
sGS-PADMM [21, 14, 6] is a powerful and versatile class of convergent multi-block ADMM solvers for implementations on moderate-sized linear semidefinite programming (SDP) problems. In this paper, we further enhance this class of algorithms for solving SDP problems by proposing a new multi-clique decomposition approach, allowing substantial improvements in applications on large-scale sparse SDPs (e.g., where $n > 1000$) with conducive aggregate sparsity patterns. Our SDP decomposition strategy mainly aims to reduce the estimated PSD projection cost after decomposition, in contrast to common decomposition algorithms that are encumbered with minimizing the overlaps between cliques. This feature is made possible by our novel linear-space projection approach that is capable of efficiently processing a large number of overlap constraints via simple averaging steps. For the numerical experiments, we demonstrate the performance of our solver -- named McADMM for Multi-clique ADMM -- on a number of large-scale SDP instances that arise from relaxations of some important quadratically constrained quadratic programming (QCQP) problems. The performance of McADMM is contrasted against other state-of-the-art decomposition-based solvers as well as the non-decomposed sGS-PADMM to highlight our key contributions. We additionally develop a GPU implementation of McADMM and demonstrate that it can substantially accelerate the decomposed solver.
著者のコメント
38 pages, 2 figures
arXiv ID: 2610.01503 ／ 要約の誤りについて