[論文レビュー] A Simple Effective Heuristic for Embedded Mixed-Integer Quadratic Programming

Reza Takapoui, Nicholas Moehle+2 more|IMT Institutional Repository (IMT School for Advanced Studies Lucca)|Sep 28, 2015

Advanced Optimization Algorithms Research参考文献 81被引用数 4

ひとこと要約

本稿では、非凸制約を伴う埋め込み型混合整数二次計画問題を迅速に解くための、ADMMに基づく高速ヒューリスティクスを提案する。この手法により、高速な収束が実現され、高品質な実行可能解が得られる。埋め込みプラットフォーム上では数秒で近似的なグローバル最適解が得られ、分枝限定法を上回る速度を発揮するとともに、車両制御、電力変換、信号復号化のタスクにおいて、リラックス・アンド・ラウンド法と同等またはそれ以上の解の品質を達成する。

ABSTRACT

In this paper we propose a fast optimization algorithm for approximately minimizing convex quadratic functions over the intersection of affine and separable constraints (i.e., the Cartesian product of possibly nonconvex real sets). This problem class contains many NP-hard problems such as mixed-integer quadratic programming. Our heuristic is based on a variation of the alternating direction method of multipliers (ADMM), an algorithm for solving convex optimization problems. We discuss the favorable computational aspects of our algorithm, which allow it to run quickly even on very modest computational platforms such as embedded processors. We give several examples for which an approximate solution should be found very quickly, such as management of a hybrid-electric vehicle drivetrain and control of switched-mode power converters. Our numerical experiments suggest that our method is very effective in finding a feasible point with small objective value; indeed, we find that in many cases, it finds the global solution.

研究の動機と目的

• 埋め込みシステムにおける非凸制約を伴う混合整数二次計画問題を、計算的に効率的なヒューリスティクスで解くこと。
• 分枝限定法のような正確な手法における多項式時間でない最悪計算時間の課題に対処すること。これは、リアルタイムの埋め込み応用には実用的でない。
• q、b、Xのパラメータが実行ごとに変化するが、PとAが一定であるような問題インスタンスを迅速に解けるようにすること。
• 解の品質、実行時間、実装の単純さのバランスを取った、リアルタイム制御および信号処理のための正確な手法の実用的代替手段を提供すること。
• ハイブリッド車両制御、スイッチモード電力コンバータ、MIMO信号復号化などの埋め込み応用における有効性を示すこと。

提案手法

• 本手法は、元の非凸問題の凸緩和問題を解くために、修正された交替方向乗数法（ADMM）を採用する。
• 最小二乗解からの逸脱をペナルティ化する正則化項を組み込み、収束性と解の品質を向上させる。
• 増大ラグランジュ双対勾配上昇ステップを用いて、プライマル変数と双対変数を交互に更新する。
• 非凸制約は、ADMMの各更新後に射影ステップを実行することで強制され、最終反復で実行可能となることを保証する。
• 初期化は1つの初期点から行われ、固定回数の反復で実行されるため、埋め込みデプロイメントに適している。
• 計算コストが低減された設計となっており、厳密な時間制約がある中程度の性能を持つ埋め込みプロセッサでも実行可能である。

実験結果

リサーチクエスチョン

• RQ1 シンプルなADMMベースのヒューリスティクスは、リアルタイムの埋め込みシステムにおいて、非凸制約を伴う混合整数二次計画問題に対して近似的なグローバル解を達成できるか？
• RQ2 埋め込み制御および信号復号タスクにおいて、提案手法の解の品質と実行時間は、リラックス・アンド・ラウンド法および分枝限定法と比べてどの程度か？
• RQ3 実用的な埋め込み応用において、このヒューリスティクスがグローバル解または小さな目的値を持つ実行可能点をどの程度の範囲で見つけられるか？
• RQ4 異なる初期化戦略やパラメータセットが異なる問題インスタンスに対して、この手法はどのように性能を示すか？
• RQ5 モデル予測制御のような、PとAは一定だがq、b、Xが変化する問題に、このヒューリスティクスは効果的に適用可能か？

主な発見

• スイッチモード電力コンバータの制御問題において、ヒューリスティクスは2秒未塔で小さな目的値を持つ実行可能解を発見したが、MOSEKはグローバル解を発見するまで4時間以上を要した。
• 1,000件のMIMO信号復号インスタンスの95％において、ADMMベースのヒューリスティクスはリラックス・アンド・ラウンド法と同等以上のビット誤り率（BER）を達成した。
• 目的値の差のヒストグラムから、ADMM解の目的値がリラックス・アンド・ラウンド解の目的値以上であるケースが95％で確認された。
• 前処理を含めた1インスタンスあたりの平均実行時間はわずか80ミリ秒であり、分枝限定法よりも著しく高速であった。
• ハイブリッド車両駆動系制御問題において、ヒューリスティクスはグローバル最適解と実質的に区別できない性能を発揮した。
• 複数の初期化および問題タイプにわたって、本手法は一貫して高品質な実行可能解を、埋め込みシステムの時間制約内で得ることができた。