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

О СЛОЖНОСТИ ПСЕВДОЛИНЕЙНЫХ ФУНКЦИЙ (60,00 руб.)

0   0
Первый авторДагаев
Страниц4
ID360041
АннотацияВ работе получены верхние и нижние оценки сложности функций трехзначной логики, которые принимают значения из множества {0, 1} и ограничения которых на множестве наборов из нулей и единиц являются линейными функциями.
УДК519.714
Дагаев, Д.А. О СЛОЖНОСТИ ПСЕВДОЛИНЕЙНЫХ ФУНКЦИЙ / Д.А. Дагаев // Вестник Московского университета. Серия 1. Математика. Механика .— 2010 .— №2 .— С. 56-59 .— URL: https://rucont.ru/efd/360041 (дата обращения: 19.05.2024)

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

№2 55 принадлежит множеству Z2,a в том и только в том случае, если она удовлетворяет следующему условию: если  Определим следующие подмножества множества L.Положим L2 = {f ∈L|Kf ⊆{κI,J ∈ K||I|  1}}, 2 ,  β ∈ En 3 и набор  α получается из набора  Пусть a ∈ E2. <...> При этом каждый из перечисленных замкнутых классов, кроме класса L2,∞, имеет конечный базис. <...> Ниже устанавливаются оценки функцийШеннона для всех конечно-порожденных замкнутых классов место следующие соотношения: F ⊆ P3,2, таких, что prF = L. <...> Равенство LE(U(n)) = n +1 имеет место из соображений двойственности. <...> Очевидно, что |Jθn| + |Hθn переменных, n  2, устанавливается неравенство LC(f)  |Yf | + B(f),где B(f) — некоторая величина, которая однозначно вычисляется по функции f. <...> Затем показывается, что |Yf |  n2n−1+2n, B(f)  2n−1, При доказательстве равенства (4) сначала для любой функции f ∈ L2, существенно зависящей от n n +C2 n +. <...> Наконец, рассматривается такая функция τn(x1,. ,xn) из L2, у которой в представлении (1) все коэффициенты равны 1, и показывается, что ее сложность удовлетворяет неравенству LC(τn)  n2n−1 +2n+1 −1. n + . <...> Верхняя оценка в соотношении (5) получается с помощью модификации асимптотически оптимального метода синтеза формул над базисом {&,∨, } [8] (другие обобщения см. в [10, 11]). <...> Доказательство опирается на существование специального разбиения Y множенад полем GF(3),где m — параметр вида m =(3r − 1)/2, r ∈ N.Разбиение Y обладает следующими свойствами: число наборов, содержащихся в множестве Γ0, “достаточно мало”, и для каждого множества Γi, i =1,. ,t, найдется номер ji  m, такой, что для любого набора  равенство αji =2. <...> i выполняется аналогичен методу синтеза формул из [8]. <...> При этом вместо функций x ∨ y и x&y используются функции j1(x)+ j1(y) и j1(x)j1(y)j2(xji ΦA, которая реализует функцию f|A и имеет <...>