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

• Published in: Кибернетика и системный анализ
• Date: 2010
• Main Author: Львов, М.С.
• Format: Article
• Language: Russian
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2010
• Subjects: Программно-технические комплексы
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/45154
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Алгебраический подход к задаче решения систем линейных неравенств / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 2. — С. 175-188. — Бібліогр.: 19 назв. — рос.

Викладено алгебраїчний підхід до побудови алгоритму розв’язання системи лінійних нерівностей. Суть цього підходу полягає у тому, що в термінах багатосортних алгебраїчних систем конструктивно визначається спеціальна алгебра Aconstr, у якій система лінійних нерівностей представлена як вираз. Розв’язання цієї системи полягає в обчисленні значення даного виразу як елемента алгебри Aconstr — канонічної форми системи лінійних нерівностей. Результат застосування цього підходу до задачі, яка розглядається, — алгебраїчні специфікації алгебри Aconstr. The paper outlines an algebraic approach to designing a solution algorithm for a system of linear inequalities. The approach implies that a special algebra Aconstr , where the system of linear inequalities (SLI) is presented as an expression is constructively defined in terms of multisorted algebraic systems. The SLI is solved by computing the value of this expression as an element of Aconstr algebra (canonical form expressions). The result of applying this approach is algebraic specifications of Aconstr .