|
Львов, М. С. Диз'юнктивні базиси прикладних алгебр множин та їхнє використання в задачах комбінаторної геометрії [Текст] / М. С. Львов // Кібернетика та системний аналіз. – 2022. – Т. 58, № 5. – C. 149-162.
Введено поняття прикладної алгебри множин, стандартного диз'юнктивного базису прикладної алгебри і описано алгоритм побудови стандартного диз'юнктивного базису, який за аналогією з алгоритмом Бухбергера в теорії поліномінальних ідеалів і алгоритмів Кнута-Бендикса в теорії напівгруп називається алгоритмом критичної пари/поповнення. Наведено приклади різних прикладних алгебр множин. |