双対問題とは、最適化問題において元の問題（主問題）とペアで定義される別の問題のことです。機械学習のサポートベクターマシンなどで広く活用されており、計算効率の向上や解の性質の解析に重要な役割を果たします。
双対問題とは
一言でいうと双対問題とは、ある最適化問題を裏側から見た別の表現であり、元の問題と密接に関連しながら効率的な解法や理論的な保証を提供する補完的な問題のことです。
詳しく解説
最適化問題において、最小化や最大化を目指す大元の問題は「主問題」と呼ばれます。双対問題は、この主問題の制約条件を目的関数に組み込むラグランジュの未定乗数法などの手法を用いて導出されます。機械学習の分野、特にサポートベクターマシン（SVM）では、データを高次元空間にマッピングして分類境界を求める際、主問題を直接解くよりも双対問題を解く方が計算上有利になる場合が多くあります。また、主問題の最適値と双対問題の最適値が一致する性質（強双対性）が成り立つ場合、元の問題が複雑であっても双対側からアプローチすることで解の正当性を証明しやすくなるという重要性があります。
具体例・使われ方
具体的な利用例として、サポートベクターマシンの学習プロセスが挙げられます。データの特徴量が非常に多い場合や次元数が膨大な場合、主問題のままだと変数が多くなりすぎて計算が困難になります。しかし、双対問題に変換して解くことで、計算量をデータ数依存に落とし込むことが可能になり、効率的に最適な分類境界を算出できるようになります。また、カーネルトリックを適用して非線形なデータを扱う際も、双対表現が不可欠となります。
似た用語との違い
混同されやすい概念として「主問題」がありますが、これらは表裏一体の関係にあります。主問題が直接解きたい最適化の目的そのものを表すのに対し、双対問題はその制約条件やラグランジュ乗数に着目して再構築された派生問題を指します。優双対性や強双対性といった理論的性質を通じてお互いの関係性が評価されます。
注意点
注意点として、すべての最適化問題において主問題と双対問題の最適値が完全に一致するわけではない点が挙げられます。非凸最適化問題などの一部のケースでは、主問題の最適値と双対問題の最適値の間にギャップ（双対ギャップ）が生じることがあり、双対問題を解くだけでは元の主問題の厳密な最適解が得られない場合があるため、適用条件を確認することが重要です。