CC BY
35
ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА
2015
Теоретические основы прикладной дискретной математики №3(29)
ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРИКЛАДНОЙ ДИСКРЕТНОЙ МАТЕМАТИКИ
УДК 519.7
О НИЖНИХ ОЦЕНКАХ СЛОЖНОСТИ ФУНКЦИЙ МНОГОЗНАЧНОЙ ЛОГИКИ НАД БЕСКОНЕЧНЫМИ БАЗИСАМИ1
А. А. Андреев
Московский государственный университет им. М. В. Ломоносова, г. Москва, Россия
Рассматривается задача о сложности и глубине реализации функций многозначной логики формулами и схемами из функциональных элементов над бесконечными неполными базисами. Приводятся примеры бесконечных базисов, допускающих высокие (в том числе сверхэкспоненциальные) нижние оценки сложности.
Ключевые слова: функции многозначной логики, бесконечные базисы, неполные базисы, сверхэкспоненциальные оценки сложности формул, экспоненциальные оценки глубины.
DOI 10.17223/20710410/29/1
ON LOWER BOUNDS FOR COMPLEXITY OVER INFINITE BASISES FOR FUNCTIONS OF MULTI-VALUED LOGIC
A. A. Andreev
Lomonosov Moscow State University, Moscow, Russia E-mail: [email protected]
The complexity and the depth of multi-valued logic functions realization by formulas and by circuits of functional gates over infinite incomplete basises are estimated. Some examples of infinite basises allowing high (including overexponential) lower bounds for complexity are presented.
Keywords: functions of multi-valued logic, infinite basises, incomplete basises, overexponential complexity bounds, exponential depth bounds.
В работе исследуется задача получения высоких нижних оценок различных мер сложности реализации функций многозначной логики из замкнутых классов над бесконечными базисами, порождающими эти классы. Под базисом понимается любая порождающая система, не обязательно полная и не обязательно минимальная по включению. Бесконечным базисом называется базис, содержащий функции, существенно зависящие от сколь угодно большого числа переменных.
хРабота выполнена при поддержке РФФИ (проект № 14-01-00598-а) и Программы фундаментальных исследований ОМН РАН «Алгебраические и комбинаторные методы математической кибернетики и информационные системы нового поколения» (проект «Задачи оптимального синтеза управляющих систем»).
б
А. А. Андреев
В качестве основного модельного класса управляющих систем рассматриваются формулы [1], однако в некоторых случаях рассуждения проводятся и для схем из функциональных элементов [2]. В качестве мер сложности рассматриваются глубина и собственно сложность. Переменные и константы для удобства также будем считать формулами (будем называть их тривиальными). Под сложностью формулы понимается количество символов переменных и констант, входящих в формулу, под сложностью схемы из функциональных элементов (далее просто схемы) — число функциональных элементов в ней. Понятие глубины D(F) формулы F определим индуктивно. Если формула F тривиальная, то D(F) = 0, а если F = G(F1, ...,Fm), где G — некоторая функция, то D(F) = maxD(F^) + 1, где максимум берётся по всем i = 1,... ,m. Сложностью L^(/) функции / при реализации формулами над базисом B называется минимальная сложность формулы над базисом B, реализующей эту функцию. Аналогично определяются сложность LBBФ'Э(/) функции / при реализации схемами над базисом B и глубина функции DB(f) (понятие глубины функции не отличается для случаев реализации схемами и формулами). Функцией Шеннона LB(n) назовём максимальную сложность реализации формулами над базисом B функций от n переменных из замыкания [B] базиса B. Аналогично определим функцию Шеннона L^3(n) сложности реализации функций из класса [B] схемами над базисом B и функцию Шеннона глубины DB(n) реализации функций из класса [B] над базисом B.
Асимптотика роста функций Шеннона ЬВФЭ(п), LB(n) и DB(n) над произвольным полным конечным базисом булевых функций установлена О. Б. Лупановым [3-5]. Для всякого конечного полного базиса B функция Шеннона LB^(n) сложности реализации булевых функций схемами над этим базисом при n ^ то растёт по порядку как 2n/n, сложности реализации формулами LB(n) — как 2n/log n, а функция Шеннона глубины DB(n) —как n.
При переходе от конечного полного базиса к бесконечному полному базису булевых функций порядки роста введённых функций Шеннона понижаются. Из результатов О. Б. Лупанова непосредственно следует, что для любых полных базисов B1 и B2, где B1 — конечный, а B2 — бесконечный, справедливы соотношения LBфэ(п) = = o(LBфЭ(n)), LB2(n) = o(LB1(n)), DB2(n) = o(DBl(n)). На самом деле, О. М. Касим-Заде установлено [6, 7], что при переходе от конечных к бесконечным полным базисам булевых функций порядок роста функций Шеннона LB^(n) и DB(n) меняется качественно: в случае бесконечных базисов LB^ (n) растёт по порядку как 2n/2 или медленнее, а DB(n) имеет порядок роста не больше log n. В случае реализации функций k-значной логики при к ^ 3 для функции Шеннона глубины при переходе от конечных полных к бесконечным полным базисам имеет место аналогичное понижение порядка роста. Для любого конечного базиса B функций k-значной логики (к ^ 3) функция Шеннона глубины DB(n) при n ^ то растёт по порядку как линейная функция (для этого случая также известна асимптотика [8]). Для бесконечных базисов многозначной логики известно [9], что функция Шеннона глубины DB(n) растёт по порядку не быстрее, чем log n. Стоит отметить, что при переходе от конечных базисов, порождающих замкнутые классы булевых функций, к бесконечным может также иметь место аналогичный эффект понижения порядков роста соответствующих функций Шеннона (см., например, [10]). Однако, к примеру, для класса линейных функций и в случае конечного, и в случае бесконечного базиса, порождающего этот класс, функция Шеннона сложности реализации формулами растёт по порядку как n.
В связи с этим возникает вопрос о возможности получения высоких нижних оценок сложности (для всех трёх мер) над бесконечными базисами, аналогичных извест-
О нижних оценках сложности функций многозначной логики над бесконечными базисами 7
ным [11-13] высоким нижним оценкам сложности в конечных неполных базисах функций k-значной логики, k ф 3.
Стоит отметить, что в случае булевых функций все замкнутые классы конечнопорождённые. Это значит, что любой бесконечный базис будет избыточным и из него можно выделить конечную подсистему, порождающую тот же замкнутый класс. Следовательно, порядок роста при переходе от конечного базиса булевых функций к бесконечному не может увеличиться. В случае же функций многозначной логики ситуация иная. Существуют примеры замкнутых классов, не имеющих конечного базиса [14], что даёт дополнительные возможности для получения высоких нижних оценок в бесконечных базисах по сравнению с оценками в конечных базисах.
Покажем, как для произвольного конечного множества A функций k-значной логики и произвольной последовательности функций (п из класса [A] построить бесконечный базис B функций (k + 2)-значной логики и предъявить последовательность функций {цп} из класса [B], для которых справедливы равенства Ь‘СФЭ((п) = ЬВфЭ(цп), L2l(Cn) = LB(rln), Aa(Cn) = DB(nn).
Пусть Ek = {0,k - 1}; A = {^i(xi,... ,xh),уm (xb... ,xim)} — конечная система функций k-значной логики, а Z1(x1), Z2(x1, x2),..., Cn(x1;... , xn),... —последовательность функций k-значной логики. Рассмотрим следующие функции (k+2)-значной логики:
.., x\i), если X1,...,xZi е Ek, в остальных случаях;
. . , xn) , если x1, . . . , xn е Ek,
в остальных случаях;
если x1 = k + 1,...,xn = k + 1, в остальных случаях,
где i е {1,..., m}; n е N.
Пусть B = {ф1,..., фт, ^2,...}, B = {ф1,..., фт}. Покажем, что все рассмат-
риваемые меры сложности реализации функций (n над базисом A равны соответствующим мерам сложности реализации функций цп над базисом B.
Если в некоторой формуле над системой B для некоторого n есть хотя бы один элемент вида En, то очевидно, что такая формула на всех наборах переменных может принимать только значения k и k + 1. В то же время функции цп при некоторых значениях переменных принимают значения, отличные от этих двух. Значит, сложность реализации функций цп над системой B не изменится, если из этой системы убрать функции ^n (тем самым получив систему B).
Возьмем формулу над системой A, реализующую функцию Zn(x1,... , xn), и для всех i е {1,... , m} заменим в ней все вхождения функций yi(A1,... , Ai.) на функции фг(А1,... ,Ali) (A1,... , Ali — формулы). Очевидно, что мы получим формулу над системой B', реализующую функцию цп(x1,... , xn). И наоборот, если заменить все функции ф1,... , фт на функции у1,... , ут, то из формулы, реализующей функцию nn, получим формулу, реализующую функцию (n. Таким образом, доказаны следующие соотношения: Lf(Cn) = LB (nn), Da(Zn) = DB(nn). Аналогичным рассуждением получаем, что
ьСфэ(Сп) = lB^ (nn).
Стоит отметить, что класс, порождённый построенным базисом B, является конечно-порождённым. Однако не представляет особой трудности привести аналогичный
^(xb...,xii)
nn(x 1, ...,xn) En (x1 , . . . J xn)
Ei(x 1,
k
Cn(x1, k
k,
k+1
8
А. А. Андреев
пример класса, не имеющего конечного базиса (возможно, с увеличением значности логики ещё на единицу). Для этого достаточно в качестве функций у,n взять аналог функций из примера в [14].
Если в качестве A взять систему функций к-значной логики из [13], то приведённым способом будет построен бесконечный базис, сложность реализации некоторой последовательности функций над которым растёт сверхэкспоненциальным образом. Более точно, для соответствующей последовательности {yn} функций (к + 2)-значной логики справедливо равенство L<B(rqn) = (п + 1) ■ 2n((fc-3)"-(fc-4D — п, где функция (n зависит от п + 1 переменной. В этом же примере для глубины верна следующая формула: DB(nn) = (к — 3)n — (к — 4)n + п — 1. Если же взять в качестве A систему функций трёхзначной логики из [11], то для сложности соответствующей функции пятизначной логики цп в бесконечном базисе B справедливо равенство LB^3(yn) = 2C'n'/2] — 1.
Недостаток приведённого метода в том, что порождающую систему можно разделить на две практически не связанные части: одна доставляет необходимую оценку, а вторая обеспечивает бесконечность системы. Это делает систему сильно искусственной. Построим пример бесконечной системы функций с высокими нижними оценками сложности, лишённый этого и некоторых других недостатков. Для этого определим два базиса функций k-значной логики (к ^ 5): конечный A и бесконечный B, удовлетворяющие следующим условиям:
1) [A] = [B] (и, следовательно, класс [B] конечно порождён);
2) функции Шеннона глубины и сложности реализации формулами в этих базисах асимптотически равны (и растут соответственно экспоненциально и сверхэкспоненциально);
3) каждая функция базиса B используется хотя бы в одной минимальной формуле, реализующей функцию, на которой достигается значение функций Шеннона.
Для описания такого примера сначала рассмотрим пример из работы [13]. Обозначим через En (п ^ 1) множество всех наборов (а1,..., an), таких, что а\,... ,an G Ek, а через Qn множество всех наборов из E'n, состоящих только из символов 3,... ,к—1, причём хотя бы один символ 3 должен быть обязательно. Определим функции к-значной
логики X(x,y), y(x,y,z), Vm(x,y) и Zn(y,x 1,.. .,Xn), где m G {3,..., к — 1}, п G N, следующим образом:
M «Л, у ,
x, y, z) =
в противном случае;
l, если x = 0, y = 2,
\(x,y) = , если x = 0, y = 3 или если x = 1
в остальных случаях;
\(x, z), если x = y,
Zn(y,x 1 ,...,xn)= 1, если y = 0, (xi,...,xn) G Qn или если y =1
3, если x = 3, y = m,
Фm(x,y)
2 в остальных случаях;
Vm(x,y)
0, если y = 0, (xi,... ,xn) G Qn,
2 в остальных случаях.
n
Справедливо следующее утверждение.
О нижних оценках сложности функций многозначной логики над бесконечными базисами 9
Теорема 1 [13]. Пусть B = {у, <^3,... , pk-i, 2}, n ^ 1, k ^ 4. Тогда для функции k-значной логики (п справедливо равенство
L|(Cn) = (n +1) ■ 2n((fc-3)n-(fc-4)n) - n.
При доказательстве этой теоремы в [13] установлено, что любая формула F, реализующая функцию Zn, устроена строго определённым образом, а именно: формула F получается из некоторой формулы
G = Л(Л(...Л(Л (y,Zl),Z2),...),ZN), (1)
где Zi,...,ZN — формулы над B; N — натуральное, заменой всех подформул вида Л(А, B) формулами у (А, A, B). Во всех минимальных формулах над базисом B, реализующих функцию (п, подформулы Zi также устроены строго определённым образом: они все имеют вид <pmi (... ifims (Hs+1, Hs),... , H1), где H1,... , Hs+1 —различные переменные из множества {xi,... , жп}; каждая переменная из этого множества встречается в формуле Zi как минимум один раз. Кроме того, установлено, что количество N таких подформул Zi в формуле, реализующей функцию (п, удовлетворяет соотношению N ^ (k - 3)n - (k - 4)п.
Особенности строения формул, описанные выше, поясним, приведя ряд свойств формул над базисами B и A из работы [13], где A = B U {Л(х, y)}. Для этого введём следующие определения и обозначения.
Пусть F(y,x1}... ,хп) —некоторая формула над A. Поставим в соответствие формуле F дерево T с корнем v*, в котором висячим вершинам приписаны символы из множества {х1,... , хп, у, 2}. Между вершинами дерева T и подформулами формулы F естественным образом устанавливается взаимно однозначное соответствие, в частности, корневой вершине v* соответствует формула F, главным подформулам формулы F — вершины, смежные с корневой, и так далее, висячим вершинам — выражения вида Xi,y или 2, 1 ^ i ^ n. Если А — некоторая подформула формулы F, а v — некоторая вершина дерева T, то через va будем обозначать вершину дерева T, соответствующую подформуле А, а через Av —подформулу формулы F, соответствующую вершине v.
Раскрасим рёбра и вершины дерева T в белый, чёрный и зелёный цвета следующим образом. Пусть А — некоторая нетривиальная подформула формулы F. Если она имеет вид А = Л(В,С), где B,C — формулы над A, то раскрасим ребро (vA,vB) в белый цвет, а ребро (vA, vC) в чёрный. Если А — формула вида А = у(В, С, D), где B,C,D — формулы, то раскрасим рёбра (vA, vB), (vA, vC) в белый цвет, а ребро (vA, vD) в чёрный. И наконец, если А — формула вида ^m(B, С), где B, С — формулы, m € {3,..., k - 1}, то раскрасим ребро (vA,vB) в чёрный цвет, а ребро (vA,vC) в зелёный. Корень v* дерева T раскрашивается в белый цвет. Вершина v, отличная от корня, раскрашивается в белый цвет, если все рёбра цепи, соединяющей корень v* дерева T с вершиной v, раскрашены в белый цвет. Вершина v раскрашивается в чёрный цвет, если все рёбра цепи, соединяющей корень v* дерева T с вершиной v, раскрашены в белый или чёрный цвет, причем чёрные есть обязательно. Все остальные вершины раскрашиваются в зелёный цвет. Будем говорить, что подформула формулы F белого, чёрного или зелёного цвета, если сопоставленная ей вершина дерева T раскрашена в белый, чёрный или зелёный цвет соответственно. Обозначим через V(F) множество всех висячих вершин дерева T, раскрашенных в белый цвет, а через W(F) —множество символов, соответствующих вершинам из V(F). Очевидно, что имеет место соотношение W(F) С {x1;... , x,a, y, 2}.
10
А. А. Андреев
Нетрудно получить (аналогично [15]) следующие свойства формулы F:
1. Для любой белой подформулы A формулы F и любых наборов а, в G En+1, таких, что F(а) = 0, А(в) = 2, выполняются соотношения А(а) = 0, F(в) = 2.
2. Пусть формула F реализует функцию Zn(y, x1,..., xn), А — произвольная белая подформула формулы F, в = (во, ■■ ■ ,вп) — произвольный набор из En+1. Тогда выполняются следующие соотношения:
а) W(F) = {у};
б) если А(а) = 0, то а0 = 0;
в) если в0 = 1, то А(в) = 1;
г) формула А имеет вид Л(B, C) или y(B, C, D), где B,C,D — формулы.
Теперь зафиксируем некоторое к и построим базис C С Рк (где Рк — множество
функций k-значной логики). Для этого возьмём базис B С Рк и для всех натуральных n для всех минимальных формул над B для функций (n для всех подформул Z из (1) добавим в базис функции, реализуемые формулами Z (то есть все функции вида <рт1 (... >£тв (Hs+1, Hs),..., H1), где H1,..., Hs+1 —различные переменные из множества x1,... , xn). Получается, что бесконечный базис C порождает тот же замкнутый класс, что и базис B, и при реализации функций (n каждая функция базиса используется хотя бы в одной минимальной формуле (минимальные формулы в базисе C — это те же самые формулы, которые являются минимальными в базисе B, с возможной заменой подформул над {<^3,..., ^k-1j имеющейся в базисе функцией их суперпозиции), при этом формулы всё так же имеют описанные выше особенности строения. Это значит, что справедливо следующее утверждение.
Теорема 2. Пусть C — описанный выше бесконечный базис, n ^ 1, к ^ 4. Тогда для функции k-значной логики (n справедливо равенство
L?(Cn) = (n +1) ■ 2n((fc-3)n-(fc-4)n) - n.
Отметим, что для глубины рассматриваемых функций можно записать соответствующие соотношения:
D®(Zn) = (k - 3)n - (к - 4)n + n - 1,
Dc(Zn) = (к - 3)n - (к - 4)n + 1.
Кроме того, в замкнутом классе [B] = [C] функции Шеннона глубины и сложности реализации формулами над базисом B асимптотически равны соответствующим функциям Шеннона для формул над базисом C. Поясним этот факт.
Сначала отметим несколько очевидных свойств формул над базисом B:
1) если в некоторой формуле функция ^ подаётся на вход функции ipm для некоторого т, то при замене этой функции р константой 2 реализуемая формулой функция не изменится;
2) если в некоторой формуле функция ^m для некоторого т подаётся на вход функции р не в качестве последнего аргумента, то при замене этой функции ^m константой 2 реализуемая формулой функция не изменится;
3) для произвольных формул А и B справедливы равенства
Рт(А, 2) = ^m(2, А) = 2, М2, А, B) = р(А, 2, B) = 2.
Таким образом, для всех функций из класса [B] минимальные формулы могут иметь один из следующих видов: константа 2; формула над системой {^3,... ,рк-1};
О нижних оценках сложности функций многозначной логики над бесконечными базисами 11
формула, в которой все чёрные подформулы имеют один из двух предыдущих видов, а каждая белая подформула либо имеет вид ^(A, В, C), где A, B, C — формулы, либо является переменной.
Аналогичные свойства справедливы и для базиса C (мы добавили в базис только комбинации уже имеющихся функций), и минимальные формулы также имеют один из вышеперечисленных видов (с поправкой на то, что наряду с функциями |^3,... , ^k-i} присутствуют и их суперпозиции). Это значит, что для любой функции из класса [B] по любой её минимальной формуле над базисом C очевидным образом получается минимальная формула для этой же функции над базисом B. Поскольку с точки зрения функции Шеннона нас, очевидно, интересуют функции третьего вида, можно сделать вывод, что асимптотика функций Шеннона в базисах B и C одинакова.
Таким образом, приведён пример конечно-порождённого класса, а также конечного и бесконечного базисов, его порождающих, для которых совпадают асимптотики роста функций Шеннона глубины и сложности реализации формулами.
Теперь построим замкнутые классы функций многозначной логики, не являющиеся конечно-порождёнными, в которых для всех типов рассматриваемых функций Шеннона при соответствующем выборе базиса (очевидно, бесконечного) справедливы нижние оценки с более высоким порядком роста, чем у известных [11-13] соответствующих нижних оценок в случае конечно-порождённых классов.
Пусть ip(x) —функция трёхзначной логики, принимающая значение 1 при x = 2 и значение 0 в остальных случаях; П(Х) —отображение из E'n в En, которое набору (xi,... , xn) сопоставляет набор (<^(xi),... , <^(xn)); а — набор из Е2П. Определим функцию Л|(y,x1,..., xn) из P3 следующим образом:
если у = 0 и Q(x) = 55, или если у = 2, если у =1, или если у = 0 и Q(x) = 55.
Покажем, что для формул специального вида справедливы определённые свойства.
1. Пусть формула F выглядит следующим образом: F = Л|(A0,...,An), где A0,... , An — формулы, и для некоторого i е {1,... ,n} формула Aj имеет вид Aj = = Л~(В0,... , Bi). Тогда при замене формулы Aj на константу 0 функция, реализуемая
Р
формулой F, не изменится.
Действительно, формула Aj принимает значения 0 и 1. При этом равенство ^(xj) = = aj выполняется при xj = 1 тогда и только тогда, когда оно выполняется и при xj = 0. Значит, при замене формулы Aj константой 0 значение формулы F не изменится.
2. Пусть формула F = Л| (0, xj1,..., xjm), где i1,... ,im е {1,..., n}, реализует константу 0. Тогда верно равенство Л| (P~(Ao,..., Ai ),xj1 ,...,xjm) = P~(Ao,..., Ai), где A0, . . . , Ai — формулы.
Действительно, если на некотором наборе формула Л-^о,... , Ai) принимает зна-
Р
чение 1, то и формула Л| ^~(A0,..., Al ),xj1 ,...,xjm) также принимает значение 1.
Р
Если на этом наборе формула Л-^^ ... , Ai) равна нулю, то в силу тождества
Р
Л| (0,xj1 ,...,xjm) = 0 имеем Л| (Л~(Ao,... , Ai), xj1 ,...,xjm) = 0 на этом наборе. Значение 2 ни одна из этих формул принимать не может.
Пусть R2 = U Е'П. Из свойства 1 следует, что в семействе формул над базисом,
n€N
состоящим из константы 0 и функций Л|, где 55 е R2, в минимальных по сложности фомулах все подформулы могут иметь нетривиальные подформулы только в качестве
Ла (y,xi,...,xn)
0,
12
А. А. Андреев
первого аргумента, то есть в таких базисах все минимальные формулы «вытянуты в цепочку».
Определим функции трёхзначной логики £П(хь... , xn), n ^ 1, следующим образом. Функция (П принимает значение 0, если среди её аргументов чётное количество двоек, и значение 1, если нечётное. Рассмотрим неполный бесконечный базис А = {0} U {Л| : а £ R2}. Докажем следующее утверждение.
Теорема 3. Для функции трёхзначной логики (П, n ^ 1, выполняется равенство
Аа(СП)
2
П—1
Доказательство. Сначала отметим, что (П £ [А]. В процессе доказательства формула над А, реализующая указанную функцию, будет естественным образом получена.
Пусть формула F реализует функцию (Щ. Если у некоторой её подформулы есть нетривиальные подформулы не в качестве первого аргумента, то заменим их на константу 0. Согласно свойству 1, реализуемая формулой функция от этого не поменяется, а глубина и сложность не увеличатся. В дальнейшем считаем, что у всех подформул все аргументы, кроме первого, тривиальны.
Итак, формула F имеет вид
F= A1,0 :
Ad—1,0
ЛЙ1 (A1,0j A1,1j • • • , A1,mi ),
= Лй2 (A2,0j A2,1j • • • j A2,m2 )j
Л<5^ ( Ad,0, Ad, 1, • • • , Ad,md ) ,
(2)
где AM, • • • , A1,mi J • • • J Ad,1, • • • , Ad,md и Ad,0 — тривиальные формулы.
Из определения функций Л| следует, что если на некотором наборе формула Ai 0 (i £ {1, • • •, d}) принимает значение 1, то и формула F на нём также принимает значение 1 . Из определения также следует, что если на некотором наборе формула F принимает значение 0, то и для всех i £ {1, • • •, d — 1} формулы A^0 также принимают значение 0.
Пусть формула Ad 0 имеет вид xi для некоторого i. Тогда на наборе (1,1, • • • , 1) функция ^П(х1, • • •, xn) принимает значение 0, а формула F — значение 1. Следовательно, Ad,0 представляет из себя константу 0.
Рассмотрим формулы B = Л|1 (0, A1,1, • • • , A1,mi ),•••, Bd = Л^ (0, Ad,1, • • • , Ad,md ). Если какая-нибудь из них реализует константу 0, то, согласно свойству 2, можно удалить соответствующую ей подформулу из «цепочки» (2). При этом реализуемая функция не изменится, глубина формулы не увеличится, а сложность уменьшится. Проделаем такую операцию со всеми подформулами, реализующими ноль. Далее будем считать, что все формулы Bi не реализуют константу 0, а значит, равны единице на некотором наборе (значения 2 они принимать не могут). Для формулы Bi обозначим такой набор 5i. Заметим, что в силу показанных ранее соотношений формула F на всех наборах 5i (i = 1, • • •, d) принимает значение 1.
Пусть найдутся такие числа i и j, что в формулу Bi не входит переменная Xj (i £ {1, • • • , d}, j £ {1, • • • , n}). Тогда в наборе 5i заменим j-ю компоненту: если она равнялась двум, то заменим её нулём, а если нет, то заменим её двойкой. В результате получим набор 5i. С одной стороны, у этого набора и у набора 5i разная чётность количества двоек, и, следовательно, функция (П принимает на них разные значения.
О нижних оценках сложности функций многозначной логики над бесконечными базисами 13
С другой стороны, эти наборы отличаются только в j-й компоненте. А так как переменная Xj не входит в формулу Bj, то B^a) = B^crj). Значит, Bj (crj) = 1 и F(&[) = 1. Полученное противоречие показывает, что во всех формулах Bj присутствуют все переменные Xi,... , xn в качестве подформул.
Согласно определению функции А|, все наборы, на которых Bj принимает значение 1, отображением П переводятся в один и тот же набор из Р2 (если переменные упорядочены и встречаются по одному разу, то этот набор — а). Рассмотрим все наборы, на которых функция С3 принимает значение 1. При отображении П эти наборы перейдут в 2n-1 наборов из Р2. Принимая во внимание то, что для равенства формулы F единице на некотором наборе необходимо, чтобы на этом наборе хотя бы одна из формул Bj принимала значение 1, получаем, что количество d формул Bj удовлетворяет неравенству d ^ 2n-1.
В качестве примера формулы глубины 2n-1, реализующей функцию CL можно привести следующую: m1 = ... = md = n, Aj,j = Xj для всех i G {1,2,...,d},
j G {1, 2,... , n}, a1,..., &d — это все наборы длины n с чётным количеством единиц. ■
Заметим также, что сложность реализации функции схемами над некоторым базисом не меньше глубины этой функции над этим базисом. Поэтому приведённая выше формула доставляет пример минимальной схемы над базисом A для функции Cn, т. е.
гСФЭ/^3\ г)П— 1
(W = 2 ,
причём полученное значение сложности превосходит максимальные нижние оценки, известные [11] для случая конечных базисов.
Покажем теперь, как на основе этого примера построить бесконечный базис в Р4 и последовательность функций, сложность реализации которых формулами над этим базисом растёт сверхэкспоненциально (и быстрее известных рекордных высоких оценок для случая конечно-порождённых классов Р4).
Пусть <^(x) — функция четырёхзначной логики, принимающая значение 1 при x = 2 и значение 0 в остальных случаях; П(Х) —отображение из Е^ в Е'П, которое набору (x1,... , xn) сопоставляет набор (^(x1),... , <^(xn)); а — набор из Е2?. Определим функции А| (y,x1,... , xn) и (x1,..., xn+2) из Р4 следующим образом:
А1 (y,x 1,... ,xn) da (x1j . . . j xn+2)
А| (y,x1,...,xn),
3
3,
А|(x2 j . . . , xn+2)
если (y,x1,... ,xn) G E3n, иначе;
если xj = 3 для некоторого
i G {1,..., n + 2}, или если x1 = x2,
иначе.
Определим последовательность функций четырёхзначной логики Cn4 (x1,... , xn), n ^ 1, следующим образом. Если среди аргументов функции есть хотя бы одна тройка, то она принимает значение 3. Если же нет, то функция С4 принимает значение 0, если среди её аргументов чётное количество двоек, и значение 1, если нечётное. Рассмотрим неполный бесконечный базис A = {0} U {^й : а G R2}. Докажем следующее утверждение.
Теорема 4. Для функции четырёхзначной логики Cn, n ^ 1, верно равенство
ЬФ(С4) = 22"-1 - 1.
14
А. А. Андреев
Доказательство. Отметим, что функция лежит в замыкании системы A, и соответствующая формула для неё будет построена в процессе доказательства.
Очевидно, что если каждая переменная участвует в построении формулы, то условие равенства формулы тройке на всех наборах, содержащих тройку, выполняется всегда. Заметим также, что если какая-то подформула на некотором наборе принимает значение 3, то и вся формула на этом наборе также принимает значение 3. Это следует из определения функций .
Пусть F — формула над A, реализующая функцию ... , хп). Преобразуем фор-
мулу F без увеличения её сложности и глубины и одновременно построим по формуле F формулу G специального вида. Изначально возьмём G = F. Пусть формула F имеет вид A = (А1,..., Ап+2) (для некоторого а). На всех наборах, не содер-
жащих троек, формулы А1 и А2 принимают одинаковые значения. Пусть без ограничения общности Ь<ф(А1) ^ Ьф(А2). Тогда в формуле F заменим А выражением (А2, А2,..., Ап+2), а в формуле G — выражением А|(А2,..., Ап+2). На наборах, не содержащих троек, значения формул от такой замены не поменяются. Далее проведём подобную замену для всех подформул формулы F (и соответственно G), затем для всех их подформул, и так далее, пока формула G не перестанет содержать функции вида (для всех возможных а).
Теперь заметим, что поскольку получившиеся формулы на всех наборах, не содержащих троек, принимают значения, равные значениям (П на этих же наборах, и значения на этих наборах зависят от всех переменных, то в формулы F и G каждая переменная входит в качестве подформулы. Это значит, что и на всех наборах, содержащих тройки, значения получившихся формул и функции (П также равны. При ограничении на наборы без троек формула G реализует ранее определённую функцию трёхзначной логики и, следовательно, её глубина не меньше чем 2п-1. Очевидно, что у формулы F глубина такая же, а сложность удовлетворяет соотношению L^(F) = 2Da(f) — 1.
Пример формулы G, для которой полученная оценка достигается, такой же, как и в теореме 3. Формула F получается из неё тривиальной заменой А|(А1,... , Ап+1) на (А1,А1, А2,... , Ап+1). Легко видеть, что построенная таким образом формула
реализует функцию ■
Отметим, что установленный в теореме 4 рост сложности реализации последовательности функций формулами над бесконечным базисом A, порождающий замкнутый класс в P4, не имеющий конечного базиса, превосходит известную [12] рекордную оценку сложности реализации последовательности функций над конечным базисом в P4, имеющую вид
,-Jn/2]
2Cn ' ([n/2] + 1) — [n/2].
Конструкции из доказательств теоремы 3 (для функций трёхзначной логики) и теоремы 4 (для функций четырёхзначной логики) могут быть обобщены на случай функций k-значной логики для больших значений k. При k > 3, n ^ 1 можно привести пример замкнутого класса, не имеющего конечного базиса, и последовательности лежащих в нём функций от n переменных, глубина (и сложность реализации схемами) которых над некоторым бесконечным базисом, порождающим этот класс, равна (k — 1)п-1. При k > 4, n ^ 1 можно привести пример замкнутого класса, не имеющего конечного базиса, и последовательности лежащих в нём функций от n переменных, сложность реализации формулами которых над некоторым бесконечным базисом, порождающим этот класс, равна 2(fc-2)" — 1.
О нижних оценках сложности функций многозначной логики над бесконечными базисами 15
ЛИТЕРАТУРА
1. Яблонский С. В. Введение в дискретную математику. М.: Наука, 1986. 384 с.
2. Лупанов О. Б. Асимптотические оценки сложности управляющих систем. М.: Изд-во МГУ, 1984. 136 c.
3. Лупанов О. Б. Об одном методе синтеза схем // Изв. вузов. Радиофизика. 1958. Т. 1. № 1.
С. 120-140.
4. Лупанов О. Б. О сложности реализации функций алгебры логики формулами // Проблемы кибернетики. Вып. 3. М.: Физматгиз, 1960. С. 61-80.
5. Лупанов О. Б. О схемах из функциональных элементов с задержками // Проблемы кибернетики. Вып. 23. М.: Наука, 1970. С. 43-81.
6. Касим-Заде О. М. Общая верхняя оценка сложности схем в произвольном бесконечном полном базисе // Вестник Моск. ун-та. Сер. 1. Математика. Механика. 1997. №4.
С.59-61.
7. Касим-Заде О. М. О глубине булевых функций при реализации схемами над произвольным базисом // Вестник Моск. ун-та. Сер. 1. Математика. Механика. 2007. № 1. С. 18-21.
8. Кочергин А. В. О глубине функций k-значной логики в конечных базисах // Вестник Моск. ун-та. Сер. 1. Математика. Механика. 2013. №1. C. 56-59.
9. Кочергин А. В. О глубине функций k-значной логики в бесконечных базисах // Вестник Моск. ун-та. Сер. 1. Математика. Механика. 2011. №1. C. 22-26.
10. Угольников А. Б. Синтез схем и формул в неполных базисах // Препринт ИПМ АН СССР. М., 1980. №112.
11. Ткачёв Г. А. О сложности реализации одной последовательности функций k-значной логики // Вестник Моск. ун-та. Сер. 15. Вычислительная математика и кибернетика. 1977. №1. С. 45-47.
12. Угольников А. Б. О сложности реализации формулами одной последовательности функций 4-значной логики // Вестник Моск. ун-та. Сер. 1. Математика. Механика. 2004. №3.
C.52-55.
13. Андреев А. А. О нижних оценках сложности для некоторых последовательностей функций многозначной логики // Вестник Моск. ун-та. Сер. 1. Математика. Механика. 2013. №6. C. 25-30.
14. Янов Ю. И., Мучник А. А. О существовании k-значных замкнутых классов, не имеющих конечного базиса // ДАН СССР. 1959. Т. 127. №1. С. 44-46.
15. Андреев А. А. Об одной последовательности функций многозначной логики // Вестник Моск. ун-та. Сер. 1. Математика. Механика. 2011. №6. C. 52-57.
REFERENCES
1. Yablonskiy S. V. Vvedenie v diskretnuyu matematiku [Introduction to Discrete Mathematics]. Moscow, Nauka Publ., 1986. 384 p. (in Russian)
2. Lupanov O. B. Asimptoticheskie otsenki slozhnosti upravlyayushchikh sistem [Asymptotic Bounds for the Complexity of Control Systems]. Moscow, MSU Publ., 1984. 136 p. (in Russian)
3. Lupanov O.B. Ob odnom metode sinteza skhem [A method of circuits synthesis]. Izvestiya vuzov. Radiofizika, 1958, vol. 1, no. 1, pp. 120-140. (in Russian)
4. Lupanov O. B. O slozhnosti realizatsii funktsiy algebry logiki formulami [On the complexity of Boolean functions realization by formulas.] Problemy kibernetiki, iss. 3. Moscow, Fizmatgiz Publ., 1960, pp. 61-80. (in Russian)
5. Lupanov O. B. O skhemakh iz funktsional’nykh elementov s zaderzhkami [On circuits of functional elements with delays]. Problemy kibernetiki, iss.23. Moscow, Nauka Publ., 1970, pp. 43-81. (in Russian)
16
А. А. Андреев
6. Kasim-Zade O. M. Obshchaya verkhnyaya otsenka slozhnosti skhem v proizvol’nom beskonechnom polnom bazise [Total upper bound for the circuits complexity in any infinite complete basis]. Vestnik Mosk. un-ta. Ser. 1. Matematika. Mekhanika, 1997, no. 4, pp. 59-61. (in Russian)
7. Kasim-Zade O. M. O glubine bulevykh funktsiy pri realizatsii skhemami nad proizvol’nym bazisom [The depth of Boolean functions realized by circuits over an arbitrary basis]. Vestnik Mosk. un-ta. Ser. 1. Matematika. Mekhanika, 2007, no. 1, pp. 18-21. (in Russian)
8. Kochergin A. V. O glubine funktsiy k-znachnoy logiki v konechnykh bazisakh [Depth of k-valued logic functions in finite bases]. Vestnik Mosk. un-ta. Ser. 1. Matematika. Mekhanika, 2013, no. 1, pp. 56-59. (in Russian)
9. Kochergin A. V. O glubine funktsiy k-znachnoy logiki v beskonechnykh bazisakh [Depth of k-valued logic functions in infinite bases]. Vestnik Mosk. un-ta. Ser. 1. Matematika. Mekhanika, 2011, no. 1, pp. 22-26. (in Russian)
10. Ugol’nikov A. B. Sintez skhem i formul v nepolnykh bazisakh [The circuits and formulas synthesis in incomplete bases]. Preprint Keldysh Institute of Applied Mathematics, Moscow, 1980, no. 112. (in Russian)
11. Tkachev G. A. O slozhnosti realizatsii odnoy posledovatel’nosti funktsiy k-znachnoy logiki [On the complexity of a sequence of k-ary functions realization]. Vestnik Mosk. un-ta. Ser. 15. Vychislitel’naya matematika i kibernetika, 1977, no. 1, pp. 45-47. (in Russian)
12. Ugol’nikov A. B. O slozhnosti realizatsii formulami odnoy posledovatel’nosti funktsiy
4-znachnoy logiki [On the complexity of one sequence of 4-ary functions realization by formulas]. Vestnik Mosk. un-ta. Ser. 1. Matematika. Mekhanika, 2004, no.3, pp. 52-55. (in Russian)
13. Andreev A. A. O nizhnikh otsenkakh slozhnosti dlya nekotorykh posledovatel’nostey funktsiy mnogoznachnoy logiki [Lower complexity estimates for some sequences of functions of multivalued logic]. Vestnik Mosk. un-ta. Ser. 1. Matematika. Mekhanika, 2013, no. 6, pp. 25-30. (in Russian)
14. YanovYu.I., MuchnikA.A. O sushchestvovanii k-znachnykh zamknutykh klassov, ne imeyushchikh konechnogo bazisa [On the existence of k-valued closed classes without a finite basis]. Reports of the USSR Academy of Sciences, 1959, vol. 127, no. 1, pp. 44-46. (in Russian)
15. Andreev A. A. Ob odnoy posledovatel’nosti funktsiy mnogoznachnoy logiki [A sequence of functions of the multi-valued logic]. Vestnik Mosk. un-ta. Ser. 1. Matematika. Mekhanika, 2011, no. 6, pp. 52-57. (in Russian)
