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