| |
Львов, М. С.
Алгоритм поповнення в алгебрах множин [Текст] / М. С. Львов, Ю. Г. Тарасіч
// Кібернетика та системний аналіз. – 2021. – Т. 57, № 5. – С. 168-174.
Описано алгоритм, який за аналогією з алгоритмами Бухбергера і Кнута-Бендикса можна назвати алгоритмом поповнення. Наведено конкретні реалізації теоретичної конструкції (абстрактної системи редукцій) в алгебрах скінчених, числових, лінійних напівалгебраїчних множин та алгебри мультимножин. Розглянуто задачу елементарної теорії чисел, яка може бути інтерпретована як задача алгебри мультимножин. Основна мета роботи — привернути увагу до простих прикладів застосування алгоритму поповнення. |
