「半正定値計画緩和」の版間の差分
(新しいページ: '【はんせいていちけいかくかんわ (semidefinite programming relaxation)】 組合せ最適化問題または非凸2次計画問題を半正定値計画で緩和す...') |
|||
| 1行目: | 1行目: | ||
| − | 【はんせいていちけいかくかんわ (semidefinite programming relaxation)】 | + | '''【はんせいていちけいかくかんわ (semidefinite programming relaxation)】''' |
| − | 組合せ最適化問題または非凸2次計画問題を半正定値計画で緩和すること.典型的な例としては, 問題 $\mathop{\mbox{min.}} x^{\top}Qx\ \mbox{s.t.}\ x \in \{-1, 1\}^n$($Q$ は $n\times n$ 行列)を $ \mathop{\mbox{min.}}\ \mbox{trace}(QX)\ \mbox{s.t.}\ X=xx^{\top},\ x\in\{-1, 1\}^n$ と表現し, この制約を $X$ が実対称半正定値の行列で,対角成分が$1$以下というより緩い制約に置き換える. 置き換えた後の問題は半正定値計画となる.半正定値緩和は理論的にも有力な下界を与えることが知られている. | + | 組合せ最適化問題または非凸2次計画問題を半正定値計画で緩和すること.典型的な例としては, 問題 $<math>\mathop{\mbox{min.}} x^{\top}Qx\ \mbox{s.t.}\ x \in \{-1, 1\}^n</math>$($<math>Q</math>$ は $<math>n\times n</math>$ 行列)を $ <math>\mathop{\mbox{min.}}\ \mbox{trace}(QX)\ \mbox{s.t.}\ X=xx^{\top},\ x\in\{-1, 1\}^n</math>$ と表現し, この制約を $<math>X</math>$ が実対称半正定値の行列で,対角成分が$<math>1</math>$以下というより緩い制約に置き換える. 置き換えた後の問題は半正定値計画となる.半正定値緩和は理論的にも有力な下界を与えることが知られている. |
2007年7月13日 (金) 10:32時点における版
【はんせいていちけいかくかんわ (semidefinite programming relaxation)】
組合せ最適化問題または非凸2次計画問題を半正定値計画で緩和すること.典型的な例としては, 問題 $構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathop{\mbox{min.}} x^{\top}Qx\ \mbox{s.t.}\ x \in \{-1, 1\}^n} $($構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q} $ は $構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n\times n} $ 行列)を $ 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathop{\mbox{min.}}\ \mbox{trace}(QX)\ \mbox{s.t.}\ X=xx^{\top},\ x\in\{-1, 1\}^n} $ と表現し, この制約を $構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X} $ が実対称半正定値の行列で,対角成分が$構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 1} $以下というより緩い制約に置き換える. 置き換えた後の問題は半正定値計画となる.半正定値緩和は理論的にも有力な下界を与えることが知られている.