Львов М. С.
Алгебраический подход к задаче решения систем линейных неравенств

Викладено алгебричний підхід до побудови алгоритму розв'язання системи лінійних нерівностей. Суть цього підходу полягає у тому, що в термінах багатосортних алгебричних систем конструктивно визначається спеціальна алгебра <$E A sub roman constr>, у якій система лінійних нерівностей представлена як вираз. Розв'язання цієї системи полягає в обчисленні значення даного виразу як елемента алгебри <$E A sub roman constr>-канонічної форми системи лінійних нерівностей. Результат застосування цього підходу до задачі, яка розглядається, - алгебричні специфікації алгебри <$E A sub roman constr>.

PDF

Бібліографічний опис:
Львов М. С.  Алгебраический подход к задаче решения систем линейных неравенств. Кибернетика и системный анализ. 2010. Т. 46, № 2. С. 175-188. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000468127