МЕТОДЫ ПОИСКА НЕСКОЛЬКИХ РЕШЕНИЙ СИСТЕМЫ РАЗНОСТНЫХ И ИНТЕРВАЛЬНЫХ ОГРАНИЧЕНИЙ

Abstract

We develop two methods of solving DBM system. One method is based on Fourier – Motskinelimination scheme, it has complexity O(n3) for finding initial solve and complexity O(n3) for finding solve by changing one of variable value for some cases. The other method is based on the network of constraints approach, it has complexity O(n3) for finding initial solve and  O(n) or approximately for finding solve by changing one of variable value if it is limited by special bounds.  Рассматриваются методы поиска решений систем линейных неравенств специального вида, состоящих из разностных неравенств с двумя переменными и интервальных ограничений с одной переменной. Для решения таких систем предлагаются два подхода, с помощью которых могут быть найдены два экстремальных («максимальное» и «минимальное») решения, а также некоторые другие решения. Первый подход основан на методе Фурье – Моцкина, второй – на представлении системы в виде сети ограничений

    Similar works