スレーターの条件とは？わかりやすく解説

数学において、スレーターの条件（スレーターのじょうけん、英: Slater's condition）とは、凸最適化に対して強双対性が成立するための十分条件である。モートン・L・スレーターの名にちなむ^[1]。スレーターの条件では、実行可能領域は必ず内点を持つ（下記の技術的な詳細を参照）ということが述べられている。

スレーターの条件は、制約想定の特別な例の一つである。特に、主問題に対してスレーターの条件が成立するなら、双対性のギャップ（英語版）は 0 であり、双対値が有限であるなら、それは達成される^[2]。