Продолжение предыдущей темы...
1. Ограничения могут быть не только равенствами, но и неравенствами. Например,

Строить «полу»-конверты с учетом данного обстоятельства.
2. Когда решается релаксационная задача линейного программирования, полученная с помощью декомпозиции и заворачивания в конверты, обычно часть ограничений нарушается. Требуется построить, если возможно, отсекающую недопустимое решение плоскость. Т.е. имеем точку

, для которой не выполняется:

Обычно отсекающая плоскость (прямая) – это касательная к

, перпендикуляр в точке касания проходит через точку

. Или прямая, касающаяся

в двух точках, или на краях. Не для всех функций данную задачу можно решить аналитически, поэтому важно, с учетом погрешности, не отрезать лишнего.
-- Пн янв 31, 2011 01:33:30 --Сокращенный перебор функцийПусть функция составлена из элементарных функций, констант и переменных. Требуются быстрые правила, которые определяет, является ли данная функция тождественной другой, записанной в более простом виде, либо имеющей большую область определения. Речь, конечно, не идет о том, чтобы это сделать для любой функции. Нужно чтобы правила в совокупности находили как можно больший процент «изоморфных» формул.
Например,
1. для функции

существует более «простая» форма

,
2. для функции

существует более «простая» форма

3. для функции

существует более «простая» форма

4. для функции

существует более «простая» форма

И т.д.
Для того, чтобы правило работало, необязательно преобразовывать исходную формулу. Например, обнаруживающее правило для примера 1 – «суммирование должно проводиться подряд», а здесь сначала суммируются второй (

) и третий(

) операнды.
Для примера 2 - минус перед скобкой и минус внутри скобок (перед

) – признак того, что функция может быть записана короче.
Для примера 3 – в умножениях константа должна предшествовать другим операндам
Для примера 4 – в сумме одинаковые слагаемые

Область приложения данной задачи – сокращение объема перебора в регулярном перечислении формул при подборе моделей по исходному множеству данных.