Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) () |
StasFomin (обсуждение | вклад) (Batch edit: remove Category:ToPublish) |
||
== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->
<references/>
[[Category:OSEDUCONF-2013]]
[[Category:ToPublish]]
[[Category:Наука]]
<!-- topub --> | |||
Версия 18:59, 13 ноября 2015
Содержание
Аннотация
- Докладчик
- Владимир Атаманов
В моей работе рассматривается задача поиска минимальных существенных замкнутых классов многозначных логик. Доказано, что данная задача сводится к рассмотрению конечного числа функций.
Тем не менее уже для случая трехзначной логики полный переборне представляется возможным. Но в некоторых случаях поиск можно свести к разбору относительно небольшого набора функций, который проще всего произвести при помощи ЭВМ.
На языке C был разработан ряд программ, позволяющий решать задачу поиска замыкания некоторого набора функций с фиксированным числом аргументов.
Произведена сложностная оценка алгоритма замыкания функции и доказана его остановка через конечное время.
В процессе исследования алгоритмы существенно изменились, что позволило за приемлемое время полностью решить поставленную задачу для случая трёхзначной логики.
Видео
Статья
