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

О глубине функций k-значной логики в конечных базисах (60,00 руб.)

0   0
Первый авторКочергин
Страниц4
ID361101
АннотацияРассматриваются схемы из функциональных элементов, реализующие функции k-значной логики над произвольным конечным полным базисом B.
УДК519.7
Кочергин, А.В. О глубине функций k-значной логики в конечных базисах / А.В. Кочергин // Вестник Московского университета. Серия 1. Математика. Механика .— 2013 .— №1 .— С. 58-61 .— URL: https://rucont.ru/efd/361101 (дата обращения: 19.04.2024)

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

Существует такая положительная константа c, что при любом натуральном n справедливо неравенство DB(n)  cn. <...> Каждой булевой квазифункции f сопоставим некоторую функцию f∗ (выбранную произвольным образом) k-значной логики, порождающую булеву квазифункцию f и удовлетворяющую условию DB(f∗)= DB(f). виде  γ =( γ1,. ,  γs), где  γ1,. ,  γs — наборы длины R = log2 n (последний набор может иметь меньшую Лемма 7. <...> Рассмотрим произвольный наборимно однозначное кодирование Ka,b (т.е. такое, что разным наборам из Ea δ из Ea из Ea слова). <...> Заметим, что различным наборамk-значной логики g1 Пусть h = h(x1,x2,. ,xn) — произвольная функция k-значной логики. <...> Легко видеть, что при каждом a существует некоторое взаk соответствуют разные кодовые k обозначим соответствующее ему кодовое слово при кодировании k . <...> Поэтому для произвольной функции h от n переменных справедливы соотношения DB(h)  DB(t∗ Лемма 7 доказана. <...> Теорема 1 в произвольном конечном полном базисе B функций k-значной логики для функцииШеннона глубины устанавливает асимптотику роста вида αBn, однако ни из формулировки, ни даже из доказательства не извлекается информация о способе нахождения константы αB. <...> Существует алгоритм нахождения по произвольному базису B функций k-значной ценные замечания. <...> Работа выполнена при финансовой поддержке РФФИ (проект № 11–01–00508) и программы фундаментальных исследований Отделения математических наук РАН “Алгебраические и комбинаторные методы математической кибернетики и информационные системы нового поколения” (проект “Задачи оптимального синтеза управляющих систем”). <...> О схемах из функциональных элементов с задержками // Проблемы кибернетики. <...> О синтезе некоторых классов управляющих систем // Проблемы кибернетики. <...> Поступила в редакцию 20.06.2012 УДК 514.853 УСТОЙЧИВОСТЬ СТАЦИОНАРНЫХ ВРАЩЕНИЙ МНОГОМЕРНОГО ТВЕРДОГО ТЕЛА А.М. <...> Изосимов1 Хорошо известно, что свободное вращение трехмерного твердого тела вокруг большой и малой осей инерции устойчиво <...>