Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013)

Короткая ссылка: Minimal-closed-classes-in-pk

Содержание

1 Аннотация
2 Видео
3 Статья
4 Примечания и отзывы

Аннотация

Докладчик: Владимир Атаманов

В моей работе рассматривается задача поиска минимальных существенных замкнутых классов многозначных логик. Доказано, что данная задача сводится к рассмотрению конечного числа функций.
Тем не менее уже для случая трехзначной логики полный переборне представляется возможным. Но в некоторых случаях поиск можно свести к разбору относительно небольшого набора функций, который проще всего произвести при помощи ЭВМ.
На языке C был разработан ряд программ, позволяющий решать задачу поиска замыкания некоторого набора функций с фиксированным числом аргументов.
Произведена сложностная оценка алгоритма замыкания функции и доказана его остановка через конечное время.
В процессе исследования алгоритмы существенно изменились, что позволило за приемлемое время полностью решить поставленную задачу для случая трёхзначной логики.