[論文レビュー] New reformulations for 0-1 quadratic programming problem using quadratic nonconvex reformulation techniques and valid inequalities

Cheng Lu, Fei Yu+3 more|arXiv (Cornell University)|Feb 22, 2026

Advanced Optimization Algorithms Research被引用数 0

ひとこと要約

本論文は 0-1 二次計画問題の二次非凸リフォームレーション（QNR）を提案し、既存の二次凸リフォームレーション（QCR）と比較しつつ、McCormick界を緩和する境界を厳密化する妥当な不等式を組み込んでいる。

ABSTRACT

It is well-known that the quadratic convex reformulation (QCR) technique can speed up some general-purpose solvers such as CPLEX and Gurobi. Recently, the method of quadratic nonconvex reformulation (QNR) was proposed, which provides an alternative way for accelerating a solver via reformulation technique. This paper proposes several new reformulations for 0-1 quadratic programming problems using the QNR technique. Such a technique provides more flexibility in adding nonconvex quadratic constraints into the problem formulation, so that some valid inequalities, such as the triangle inequalities, can be incorporated into the formulation to tighten the lower bound of the problem. We analyze the effects of the proposed reformulations on the lower bounds implemented in the solver, and propose some methods to maximize the McCormick relaxation bounds of the reformulations. Our numerical experiments compare the proposed reformulations with the existing quadratic convex reformulations, showing the effectiveness of the proposed reformulations on 0-1 quadratic programming problems.

研究の動機と目的

• 改革技術を用いた 0-1 二次計画問題（BQP）解法の加速を動機付ける。
• 非凸二次制約を緩和して下界を厳密化できる QNR フレームワークを導入する。
• 三角不等式などの妥当な不等式を組み込み、緩和の厳密さをさらに向上させる。
• モダンなソルバにおける McCormick 緩和界の reformulation の影響を分析する。
• 数値実験を通じて QNR ベースの reformulation を既存の QCR アプローチと比較する。

提案手法

• 既存の二次凸リフォームレーション（QCR および QCRE）とそれらの SDP および SDP+RLT 緩和との関連をレビューする。
• 非凸項と連結制約 w ≥ x^T Z x を持つ単純な二次非凸リフォームレーション（QNR）を提案し、McCormick 緩和を用いて w ≥ Z•X に緩和する。
• 一般的な QNRE/QAgg リフォームレーションを定義し、g_t(x) ≤ 0 による非凸の妥当な不等式を追加して境界を厳しくする。
• McCormick 緩和境界を最大化するパラメータ最適化フレームワークを開発し、semi-definite プログラム（SDP）形式で λ*, Z*, γ* を得る。
• 拡張変数を減らしつつ境界品質を維持する簡略化された QNRE-AGG 変種を導入する。
• 三角不等式に基づく reformulation（TRI）を導出し、 SDP+RLT+TRI 緩和と同等の境界強度を達成できる。

実験結果

リサーチクエスチョン

• RQ1 quadratic nonconvex reformulations (QNR) は 0-1 BQP において convex reformulations よりも厳密な McCormick 緩和境界を与え得るか？
• RQ2 妥当な不等式（三角不等式を含む）は QNR ベースの reformulations の有効性にどのように影響するか？
• RQ3 QNR と QCRE の reformulations の変数数と計算コストのトレードオフはどうなるか？
• RQ4 QNR ベースの reformulations は SDP+RLT 緩和と同等またはそれ以上の境界を達成するか？

主な発見

• QNR ベースの reformulations は convex SDP+RLT 緩和と同等の高品質な McCormick 緩和境界を生み出し得る。
• 妥当な不等式を QNR リフォームに組み込むと下界が厳密化され、ソルバの性能が向上する可能性がある。
• QNR-AGG は境界品質を完全な QNR 設計と同等に保ちつつ補助変数の数を減らす。
• 三角不等式は特定の QNRE-AGG リフォームを SDP+RLT+TRI 緩和の強さに近づける。
• 公開 BQP インスタンスに対する QNR と QCR アプローチの数値実験を行い有効性を評価（論文で結果を報告）。