[論文レビュー] Copositive Duality for Discrete Markets and Games

Cheng Guo, Merve Bodur+1 more|arXiv (Cornell University)|Jan 13, 2021

Electric Power System Optimization参考文献 32被引用数 6

ひとこと要約

本稿は、ユニット・コミットメントや整数プログラミングゲームなどの非凸設定において強い双対性を可能にする、離散最適化問題のためのコポジティブ双対性フレームワークを導入する。非凸問題においても強い双対性を実現するため、混合整数プログラミング（MIP）に基づく新しい切断平面アルゴリズムを提案し、コポジティブ・プログラムを正確に解けるようにする。これにより、バランスの取れた予算、個々の合理性を満たす価格設定メカニズムの設計や、KKT条件を用いた純戦略ナッシュ均衡の正確な計算が可能になる。

ABSTRACT

Optimization problems with discrete decisions are nonconvex and thus lack strong duality, which limits the usefulness of tools such as shadow prices and the KKT conditions. It was shown in Burer(2009) that mixed-binary quadratic programs can be written as completely positive programs, which are convex. Completely positive reformulations of discrete optimization problems therefore have strong duality if a constraint qualification is satisfied. We apply this perspective in two ways. First, we write unit commitment in power systems as a completely positive program, and use the dual copositive program to design a new pricing mechanism. Second, we reformulate integer programming games in terms of completely positive programming, and use the KKT conditions to solve for pure strategy Nash equilibria. To facilitate implementation, we also design a cutting plane algorithm for solving copositive programs exactly.

研究の動機と目的

• ユニット・コミットメントや整数プログラミングゲームなどの離散最適化問題において、強い双対性が欠如している問題に対処すること。
• 非凸な離散問題を扱う一般化された双対性フレームワークを、完全正定値プログラミング（CPP）およびコポジティブプログラミング（COP）に基づいて構築すること。
• 離散変数を含むコポジティブ・プログラムを正確に解ける、新たな実装可能なアルゴリズムを設計すること。
• 非凸電力市場における理論的裏付けのある価格設定メカニズムを、コポジティブ双対性を用いて構築すること。
• 整数プログラミングゲームにおける純戦略ナッシュ均衡を、コポジティブ双対のKKT条件を用いて特徴付けおよび計算すること。

提案手法

• Burer（2009）の結果を活用し、混合整数二次計画問題（MBQPs）を完全正定値プログラム（CPPs）に再定式化する。
• CPPの双対コポジティブ・プログラム（COP）を導出する。COPは凸であり、制約条件の適切さ（constraint qualification）のもとで強い双対性を実現可能である。
• 反復的に混合整数計画問題（MIPs）を解くことでCOPを正確に解く、新しい切断平面アルゴリズムを設計する。この手法は離散変数を扱える。
• 双対COPを用いて、ユニット・コミットメントにおける新しい価格設定メカニズムを構築し、特定の条件下で予算のバランスと個々の合理性を保証する。
• 整数プログラミングゲーム（IPGs）をコポジティブ・プログラムに再定式化し、KKT条件を適用して純戦略ナッシュ均衡を計算する。
• マスタープロブレムにMIPを用い、反復的に切断平面を追加することで緩和問題をタイトにし、収束まで繰り返すアルゴリズムを実装する。

実験結果

リサーチクエスチョン

• RQ1 コポジティブ双対性を用いて、バイナリ変数を含むユニット・コミットメント意思決定を伴う非凸電力市場において、効率的で理論的裏付けのある価格設定メカニズムを設計できるか？
• RQ2 コポジティブ双対のKKT条件を用いて、整数プログラミングゲームにおける純戦略ナッシュ均衡を特徴付けおよび計算できるか？
• RQ3 標準的なMIPソルバを用いて実装可能な、一般用途向けの離散変数を扱えるコポジティブ・プログラムを正確に解けるアルゴリズムを設計できるか？
• RQ4 コポジティブ双対性に基づく価格設定メカニズムにおいて、予算のバランスや個々の合理性といった理論的性質は、どのような条件下で保証されるか？
• RQ5 提案されたCOP用の切断平面アルゴリズムは、どのような条件下で正確な解に収束するか？

主な発見

• 提案された切断平面アルゴリズムは、コポジティブ・プログラムを正確に解くことができ、離散変数を扱える。これは、文献において初めての手法である。
• COPに基づくユニット・コミットメント用の価格設定メカニズムは、予算のバランスを満たし、適切な条件下では個々の合理性も満たす。上乗せ支払い（uplift payments）を排除する可能性を有する。
• 計算結果から、CDP（コポジティブ双対価格設定）メカニズムは収束時にゼロの前払い利益（pre-uplift profit）を達成しており、強い双対性と整合的である。
• 2人ゲーム（bimatrix games）において、コポジティブ定式化から導出されたKKT条件は、純ナッシュ均衡を正しく回復する。lrsnashソルバとの照合結果も確認済み。
• アルゴリズムは、テストされたすべての2人ゲーム（2〜5戦略）を7秒未満、90反復以内に解き、実用的な妥当性を示している。
• 本手法により、非凸離散ゲームへのKKT条件および強い双対性の適用範囲が拡張され、新たな理論的・計算的知見が得られた。