最適化の対象となったモデルに唯一の解を見い出すためには,制約関数で構成される関数曲面が凸性を持つことが要求されるが,一般には設計空間は複雑で,凸性を示すことはまれである.したがって,最適解を探索するときは極値を探ることが多い.数理的解法を用いるとき,設計変数をある点に移動させた後,もうこれ以上の移動をする必要がない点を,局所最適点と呼ぶことがある.これを判定する規準として有名なクン・タッカーの最適性規準があるが,これも関数曲面が凸性を持たない限り,最適である必要条件ではあるが十分条件にはならない.