1998 г., Том 3, № 2, с.45-54

Многие задачи, возникающие перед исследователями в азличных областях, можно сформулировать в терминах задач удовлетворения ограничений. Недоопределенные модели представляют собой мощный аппарат для нахождения внешней оценки множества всех решений произвольной задачи этого класса. В статье рассматривaется модификация данного аппарата, позволяющая находить оценку оптимального решения задачи, т. е. решать задачу математичес программирования. Приводятся несколько алгоритмов с обоснованием их свойств и оценками сложности. В контексте данной работы интервальное расширение рассматривается как частный случай более общего понятия недоопределенного расширения, что позволяет производить оценку значений не только интервалами, но и другими подходящими множествами простой структуры.

*65G30 Интервальная и конечная арифметика

65K05 Математическое программирование

90C05 Linear programming

*G.1.0 General (Numerical Analysis)

G.1.6 Optimization