Изменения

Рассмотрим <tex> (k+1 ) </tex>-местную функцию <tex> f(x_1,\ldots,x_k,y) </tex>. Тогда после преобразования у нас появится <tex> k </tex> - местная функция <tex> g(x_1,\ldots,x_k) = </tex> минимальное <tex> y </tex> при котором <tex> f(x_1,\ldots,x_k,y) = 0 </tex>. Это правило называется '''правилом минимизации''' и часто для него используют обозначения <tex> g(x_1,\ldots,x_k) = \mu y (f(x_1,\ldots,x_k,y) = 0) </tex>. Также отметим, что в дальнейшем мы будем сравнивать значение функции не только с нулем.