[論文レビュー] A Tutorial on Formulating QUBO Models.

Fred Glover, Gary Kochenberger|arXiv (Cornell University)|Nov 13, 2018

Operations Management Techniques被引用数 20

ひとこと要約

この論文は、組合せ最適化問題を二次無制約バイナリ最適化（QUBO）モデルに定式化するための体系的チュートリアルを提示している。古典的な最適化問題をQUBO形式に変換することで、専用のQUBOソルバーを用いて効率的に解けるようになり、QUBOが多様な産業的・政府的最適化課題の統合的フレームワークとしての役割を果たすことが示された。

ABSTRACT

The field of Combinatorial Optimization (CO) is one of the most important areas in the general field of optimization, with important applications found in every industry, including both the private and public sectors. It is also one of the most active research areas pursued by the research communities of Operations Research, Computer Science, and Analytics as they work to design and test new methods for solving real world CO problems. In recent years, we have discovered that a mathematical formulation known as QUBO, an acronym for a Quadratic Unconstrained Binary Optimization problem, can embrace a large variety of important CO problems found in industry and government. Through special reformulation techniques that are easy to apply, the power of QUBO solvers can be used to efficiently solve many important problems once they are put into the QUBO framework. This two-step process of first re-casting an original model into the form of a QUBO model and then solving it with appropriate software enables the QUBO model to become a unifying framework for combinatorial optimization. The alternative path that results for effectively modeling and solving many important problems is a new development in the field of combinatorial optimization. The materials provided in subsequent sections illustrate the process of reformulating important optimization problems as QUBO models through a series of explicit examples. Collectively these examples highlight the application breadth of the QUBO model. We do not focus here on modeling a given problem in the form classically adopted in the optimization community. Rather, our examples disclose the methods that can be used to recast a given problem, perhaps existing in a classical mathematical form, into an equivalent QUBO model.

研究の動機と目的

• 幅広い組合せ最適化問題がQUBO形式に再定式化可能であることを示すこと。
• 多様な現実世界の問題にQUBOソルバーを適用できる統一されたモデリングフレームワークを提供すること。
• 古典的最適化モデリングからQUBO再定式化への焦点のシフトを促し、強力な代替手法としての価値を強調すること。
• 明確な段階的例を通じて、QUBOの広範な適用可能性を提示すること。
• 研究者および実務家が既存のモデルをQUBO互換形式に変換するためのツールを提供すること。

提案手法

• 論文は、組合せ最適化問題の古典的数学的モデルを、同等のQUBO形式に変換する再定式化技術を用いる。
• 離散的選択を表現するためにバイナリ変数を導入し、論理的および組合せ的制約を二次形式で表現可能にする。
• 制約をペナルティ項を用いて目的関数に統合することで、QUBO定式化における妥当性を維持する。
• 数学的変換により、元の問題とQUBOモデルとの間の同等性を保証する。
• 例を用いてプロセスを示し、集合分割問題やグラフ分割問題などの異なる問題タイプがQUBOにどのようにマッピングできるかを示す。
• 従来の最適化モデリング形式に依存せず、代わりにQUBO固有の再定式化に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 古典的な組合せ最適化問題は、どのように体系的にQUBOモデルに変換できるか？
• RQ2 制約および目的関数を二次バイナリ形式に変換するのに効果的な再定式化技術は何か？
• RQ3 QUBOは、多様な最適化問題にわたって統合的フレームワークとしてどの程度有効に機能するか？
• RQ4 元のモデルとそのQUBO再定式化との間の同等性を保証するための主なステップと原則は何か？
• RQ5 量子にインspiredされた最適化に精通していない実務家は、どのようにQUBOモデリングを現実世界の問題に適用できるか？

主な発見

• QUBOフレームワークは、産業界および政府分野における多様な組合せ最適化問題を表現可能である。
• QUBO形式への再定式化により、専用のQUBOソルバーを用いて効率的な解法が可能となり、問題解決の拡張性が向上する。
• 変換プロセスは体系的かつアクセス可能であり、さまざまな問題タイプに適用可能な明確な技術に依存する。
• この手法は問題の同等性を保持しており、QUBOモデルの解が元の問題の有効な解であることを保証する。
• チュートリアルにより、QUBOモデリングが古典的最適化モデリング手法の代替として実用的かつ強力であることが示された。
• このアプローチは、組合せ最適化におけるQUBOの統合的パラダイムとしての可能性を浮き彫りにしている。