Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Batch edit: add <!-- topub -->) |
StasFomin (обсуждение | вклад) () |
||
== Видео == {{vimeoembed|58698390|800|500}} {{youtubelink|oZRFsiORbQY}} {{webm-oseduconf|minimal-closed-classes-in-pk}} <poll> ALTERNATIVE REVOTE UNIQUE Оцените доклад «{{PAGENAME}}»: Отлично! Хорошо. Нормально… Не очень :( Просто хочу узнать результаты. </poll-- pollholder --> == Статья == [[File:Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf|left|page=-|256px]] {{----}} == Примечания и отзывы == <!-- <blockquote>[©]</blockquote> --> <references/> [[Category:OSEDUCONF-2013]] [[Category:ToPublish]] [[Category:Наука]] <!-- topub --> |
Версия 17:59, 16 июля 2015
Содержание
Аннотация
- Докладчик
- Владимир Атаманов
В моей работе рассматривается задача поиска минимальных существенных замкнутых классов многозначных логик. Доказано, что данная задача сводится к рассмотрению конечного числа функций.
Тем не менее уже для случая трехзначной логики полный переборне представляется возможным. Но в некоторых случаях поиск можно свести к разбору относительно небольшого набора функций, который проще всего произвести при помощи ЭВМ.
На языке C был разработан ряд программ, позволяющий решать задачу поиска замыкания некоторого набора функций с фиксированным числом аргументов.
Произведена сложностная оценка алгоритма замыкания функции и доказана его остановка через конечное время.
В процессе исследования алгоритмы существенно изменились, что позволило за приемлемое время полностью решить поставленную задачу для случая трёхзначной логики.
Видео