Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 634757)
Контекстум
.
Вестник Московского университета. Серия 1. Математика. Механика  / №4 2012

О сложности реализации функций из одного класса трехзначной логики формулами специального вида (60,00 руб.)

0   0
Первый авторТрущин
Страниц7
ID360555
АннотацияВ работе описан некоторый класс функций трехзначной логики, для которого получены верхние оценки функции Шеннона в классе формул специального вида. Приведены также примеры последовательностей функций из рассматриваемого класса, для которых установлены экспоненциальные относительно числа переменных нижние оценки сложности. При этом значения функции Шеннона для рассматриваемого класса найдены с точностью до аддитивной константы.
УДК519.95
Трущин, Д.В. О сложности реализации функций из одного класса трехзначной логики формулами специального вида / Д.В. Трущин // Вестник Московского университета. Серия 1. Математика. Механика .— 2012 .— №4 .— С. 22-28 .— URL: https://rucont.ru/efd/360555 (дата обращения: 25.04.2024)

Предпросмотр (выдержки из произведения)

№4 Работа частично поддержана грантом РФФИ № 12–01–00748-а, грантом программы “Ведущие научные школы РФ” НШ–3224.2010.1, грантом программы “Развитие научного потенциала высшей школы” РНП 2.1.1.3704 “Современная дифференциальная геометрия, топология и приложения” и грантом ФЦП “Научные и научно-педагогические кадры инновационной России” (контракт № 14.740.11.0794). <...> Равномерная лемма Морса и критерий изотопностифункций Морса на поверхностях // Вестн. <...> О гомотопическом типе пространств функций Морса на поверхностях // Матем. сб. <...> Топология пространств функций Морса на поверхностях // Матем. заметки. <...> Круглые функции Морса и изоэнергетические поверхности интегрируемых гамильтоновых систем // Матем. сб. <...> Поступила в редакцию 10.06.2011 УДК 519.95 О СЛОЖНОСТИ РЕАЛИЗАЦИИ ФУНКЦИЙ ИЗ ОДНОГО КЛАССА ТРЕХЗНАЧНОЙ ЛОГИКИ ФОРМУЛАМИ СПЕЦИАЛЬНОГО ВИДА Д. В. <...> Трущин1 В работе описан некоторый класс функций трехзначной логики, для которого получены верхние оценки функции Шеннона в классе формул специального вида. <...> Приведены также примеры последовательностей функций из рассматриваемого класса, для которых установлены экспоненциальные относительно числа переменных нижние оценки сложности. <...> При этом значения функции Шеннона для рассматриваемого класса найдены с точностью до аддитивной константы. <...> В данной работе рассматривается задача о реализации функций трехзначной логики α-формулами, нимающих значения из Ek.Через Pk обозначается множество всех функций k-значной логики. <...> Пусть т.е. такими формулами, в которых каждая подформула содержит не более одной нетривиальной главной подформулы. <...> В работе описан некоторый класс функций трехзначной логики, для которого получены верхние оценки функции Шеннона по α-глубине над системой из всех бинарных операций с правым сокращением. <...> Кроме того, приведены примеры последовательностей функций из рассматриваемого класса, для которых установлены экспоненциальные относительно числа переменных <...>