双対問題
非線型計画問題では、制約条件が線型である必要はない。それ以外は線型計画問題とほぼ同じ原則が適用される。
非線型問題が一意な広域最適解を持つかどうかを確認するには、凸性(convexity)などに単純化する方法が便利である。制約条件や目的関数の曲率が適当な領域で常に凸なら、一意な広域最適解があるといえる。
ここでカルーシュ・クーン・タッカー条件 (KKT条件) が重要となる。これは、非線型計画問題が一意な大域最適解を持つかどうかを判定するのに、凸性に基づいた十分条件を提供する。最適解の方向を定義できるようにするために必要な追加の条件が存在する。最適解は局所解であって、大域最適解ではない可能性もある。