数理最適化
数学の計算機科学やオペレーションズリサーチの分野における数理最適化（すうりさいてきか、）とは、（ある条件に関して）最もよい元を、利用可能な集合から選択することをいう。
最も簡単な最適化問題には、ある許された集合から入力をシステマティックに選び、函数の値を計算することによるの最大化と最小化がある。最適化理論とその手法の、他の形式への一般化は応用数学の広範な分野をなすものである。より一般に、最適化はある与えられた定義域（あるいは制約の集合）についてある目的函数の「利用可能な最も良い」値を見つけることも含む。そのような目的函数と定義域は多様な異なるタイプのものも含む。
最適化問題は、次のように表現される：
このような問題は最適化問題あるいは数理計画問題（コンピュータプログラミングとは直接的には関係ないが、例えば線型計画法では用いられる）と呼ばれる。多くの実世界での問題や理論的問題は、一般的な枠組みでモデル化される。物理学やコンピュータビジョンの分野における、この手法による問題は、エネルギー最小化（energy minimization）と呼ばれることもある。この場合、函数 "f" の値はモデル化されるシステムのエネルギーを表す。
典型的に "A" はユークリッド空間 R の部分集合であり、しばしばあるの集合によって特徴づけられ、"A" の元は求められる等式あるいは不等式を満たす必要がある。"f" の定義域 "A" は探索空間（search space）あるいは選択集合（choice set）と呼ばれ、"A" の元は可能解（candidate solution, feasible solution）と呼ばれる。
函数 "f" は、目的函数（objective function）や損失函数（loss function）、費用函数（cost function）、効用函数（utility function）、適合函数（fitness function）、エネルギー函数（energy function）あるいはエネルギー汎函数（energy functional）と呼ばれる。目的函数を最小化（あるいは最大化）する可能解は、最適解と呼ばれる。
数学において慣習的な最適化問題は、通常、最小化に関するものである。一般に、最小化問題において目的函数と可能領域が両方とも凸でない限り、いくつかの局所最小解が存在しうる。ここで局所最小解 x は、ある定数 δ > 0 が存在して、
を満たすすべての x に対して次が成立するもののことをいう。
すなわち、x のまわりのある領域における函数のすべての値は、その点での値よりも大きいか等しくなる。局所最大解も同様に定義される。
最適化問題では、しばしば特殊な記号が用いられる。ここではそれらのいくつかを紹介する。
次の記号を考える：
これは "x" を実数の集合 formula_5 から選んだときの目的函数 formula_6 の最小値を意味する。この場合の最小値は formula_7 のときの formula_8 である。
同様に、記号
は、任意の実数 "x" に対する目的函数 2"x" の最大値を意味する。この場合、目的函数は非有界なのでそのような最大値は存在せず、「無限大」あるいは「定義されない」が答えとなる。
次の記号を考える。
あるいは、次の同値なものを考える。
これは、区間 formula_12 において目的函数 "x" + 1 を最小化する引数 "x" の値を与える（その函数の最小値がどのような値であるかはここでは問題とされない）。この場合、"x" = 0 は不可能、すなわちに属さないため、答えは "x" = -1 となる。
同様に
は、"x" が区間 formula_15 に属するという制約の下で、目的函数 formula_16 の値を最大化する formula_17 のペアを意味する（再び、その実際の最大値は問題とされない）。この場合の解は、すべての整数 "k" に対する (5, 2kπ) と (−5,(2k+1)π) である。
arg min と arg max はしばしば、argmin および argmax と書かれることもあり、それらは「最小値の引数」および「最大値の引数」を意味する。
フェルマーとラグランジュは最適解を求める上で微分積分学に基づく方法を発見した。一方でニュートンとガウスは最適解へ収束する反復法を提唱した。
ある種の最適化に関する線型計画法という語はによるものである。一方で、1939年にレオニート・カントロヴィチによって多くの理論が構築された（この文脈における「計画法（programming）」はコンピュータ・プログラミングとは異なり、アメリカ軍隊によって訓練や物流のスケジュールを表すために用いられていた "program" が語源である。ダンツィクは当時その研究をしていた）。ダンツィクは1947年に Simplex Algorithm（シンプレックス法）を出版し、ジョン・フォン・ノイマンは同年に双対性の理論を発展させた。
その他の主要な数理最適化の研究者は以下に挙げられる：