n – мерный вектор x, для которого x_i=x_i0 при i є Iδ, и x_j=0 при i ∉ Iδ, и при этом выполняются условия: Δj ≥ 0, j=1,...,n;, называется:

Пусть f(x) и все g_i(x) выпуклы и все функции g_i(x) удовлетворяют условию регулярности Слейтера. Вектор x^* решением задачи нелинейного программирования: минимизировать f(x) при условиях g_i(x) ≤ 0, i = 1,...,m тогда и только тогда, когда существует такой вектор Δ^* ≥ 0, для которого выполняются условия:

Дана функция F(x). Известно, что x' доставляет некоторый экстремум функции F(x) на интервале [a; b] с заданной точностью ξ. При этом F₁ и F₂ – значения функции F(x) в окрестности ±ξ вычисленной точки x=(a+b)/2. Если F₁ < F₂, т.е. b = x, то:

Дана функция F(x). Пусть x' доставляет минимум функции F(x) на интервале [a; b] с заданной точностью ξ. Известно, что F₁ и F₂ – значения функции F(x) в окрестности ±ξ вычисленной точки x=(a+b)/2. При поиске минимума был отброшен отрезок [x; b], т.е. b = x. Это значит, что:

Дана функция F(x). Пусть x' доставляет минимум функции F(x) на интервале [a; b] с заданной точностью ξ. Известно, что F₁ и F₂ - значения функции F(x) в окрестности ±ξ вычисленной точки x=(a+b)/2. Если F₁ < F₂, то:

Пусть f(x) и все g_i(x) выпуклы и все функции g_i(x) удовлетворяют условию регулярности Слейтера. Задача нелинейного программирования задана следующим образом: минимизировать f(x) при условиях g_i(x) ≤ 0, i = 1,...,m. Пусть существует некоторый вектор Δ^* ≥ 0, такой, что L(x^*,Δ) ≤ L(x^*,Δ^*) ≤ L(x,Δ^*) и . Тогда вектор Δ^*:

Предположим, что имеется интервал неопределенности (x₁; x₃) и известно значение f(x₂) внутри этого интервала. Положим x₂–x₁ = L и x₃–x₂ = R. Если x₄ находится в интервале (x₁; x₂) и новым интервалом неопределенности будет (x₁; x₂) длиной x₂–x₁ = L, то в этом случае:

Пусть некоторое открытое множество Rⁿ содержит точку x^*. Известно, что x^* является точкой минимума функции f(x) при ограничениях g_i(x) ≤ 0, i=1,...,m, удовлетворяющих условию регулярности в виде линейной независимости векторов Δg_i(x^*), и существуют такие неотрицательные множители Лагранжа λ₁,...,λ_m, что Δf(x^*) + Σλ_iΔg_i(x^*) = 0;Σλ_ig_i(x^*) = 0, λ_i ≥ 0, i = 1,...,m. Тогда функции g_i(x), i = 1,...,m:

Пусть n – мерный вектор x является псевдопланом, для которого выполняются условия: Δj ≥ 0, j=1,...,n;. Тогда справедливы равенства:

Пусть функции g_i(x), i=1,...,m имеют непрерывные частные производные на некотором открытом множестве Rⁿ, содержащем точку x^*. Если для функции f(x) ограничения g_i(x) ≤ 0, i=1,...,m удовлетворяют условию регулярности в виде линейной независимости векторов Δg_i(x^*), и существуют такие неотрицательные множители Лагранжа λ₁,...,λ_m, что Δf(x^*) + Σλ_iΔg_i(x^*) = 0;Σλ_ig_i(x^*) = 0, λ_i ≥ 0, i = 1,...,m является:

Пусть функции g_i(x), i=1,...,m имеют непрерывные частные производные на некотором открытом множестве Rⁿ, содержащем точку x^*. Если x^* является точкой минимума функции f(x) при ограничениях g_i(x) ≤ 0, i=1,...,m, удовлетворяющих условию регулярности в виде линейной независимости векторов Δg_i(x^*), то существуют такие неотрицательные множители Лагранжа λ₁,...,λ_m, что справедливы соотношения: