УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
Том 151, кн. 2
Физико-математические пауки
2009
УДК 519.714
ОЦЕНКИ ВЫСОКОЙ СТЕПЕНИ ТОЧНОСТИ ДЛЯ СЛОЖНОСТИ ПРЕДИКАТНЫХ СХЕМ В НЕКОТОРЫХ БАЗИСАХ
М.С. Шуплецов
Аннотация
Рассматривается задача синтеза для специального класса управляющих систем класса так называемых предикатных схем. который обобщает многие из традиционных классов схем (схемы из функциональных элементов, контактные схемы и др.). Даппые схемы строятся па основе предикатных элементов и зачастую не имеют заранее фиксированного направления протекания сигналов.
Исследуется асимптотическое поведение функции Шеннона Св (п) для сложности реализации предикатов от п переменных предикатными схемами в полном базисе В специального вида. Для Св (п) получены следующие асимптотические оценки высокой степени точности
/
(и) = р<в — п
1 +
2 +
кв - 1
1о§2 п ± О (1)
V /
где рв и кв - константы, зависящие от базиса.
Ключевые слова: схемы из предикатных элементов, сложность, функция Шеннона, оценки высокой степени точности.
1. Основные определения и формулировка результатов
В данной работе рассматривается задача синтеза [1. 2] для специального класса управляющих систем класса так называемых предикатных схем [3]. В ней содержится развернутое изложение и развитие результатов [4]. которые характеризуют поведение функции Шеннона для сложности предикатных схем в ряде базисов. Напомним, что в традиционных классах управляющих систем (схемы из функциональных элементов, контактные схемы и др.) поведение функции Шеннона для сложности схем на уровне асимптотики было установлено О.Б. Лупановым [1]. а на уровне оценок высокой степени точности С.А. Ложкиным [5. 6].
Предикатная схема представляет собой двудольный граф. у которого все вершины одной доли помечены символами базисных предикатных элементов, а вершины другой доли символами внутренних и входных переменных. Функционирование предикатного элемента с к полюсами задается его характеристической функцией от к переменных, связанных с этими полюсами, и определяется тем, что элемент находится в допустимом состоянии, если данная функция равна 1. Схема находится в допустимом состоянии на некотором наборе значений входных переменных тогда и только тогда, когда существует набор значений внутренних переменных такой, что все предикатные элементы, из которых построена схема, находятся в допустимых состояниях. Соответствующий набор входных переменных схемы будем называть допустимым.
Суперпозиция схем, как обычно, сводится к переименованию переменных, добавлению и изъятию переменных, а также к объединению схем с возможным отождествлением некоторых вершин, помеченных символами переменных, и соответствующим переименованием этих переменных.
Вопросы полноты для модели предикатных схем были решены в [7]. Схемная интерпретация для рассматриваемой модели, которая существенно упрощает постановку задачи синтеза, была предложена С.А. Ложкиным [3].
Класс предикатных схем достаточно близок к модели неявных и параметрических представлений функций, предложенной A.B. Кузнецовым [8]. в рамках которой рассматриваются системы функциональных уравнений, построенные над заданной системой функций. Основные результаты, связанные с решением задачи синтеза для модели неявных и параметрических представлений функций, были получены О.М. Касим-Заде [9].
В дальнейшем, если это не вызывает разночтений, мы не будем различать предикат и его характеристическую функцию и будем считать, что предикат ,..., xn) существенно зависит от переменной Xj, если его характеристическая функция хп существенно зависит от пер еменной xj. Рассмотрим произвольный базис B = {nj}b=1, где каждому предикату nj; i = 1,...,b, с k полюсами сопоставлено положительное число L, которое характеризует вес этого предиката. Для каждого базисного предиката с двумя и более полюсами определим его приве-
данный вес следующим образом: pi = -—:—. Тогда приведенным весом р<з базиса
kj - l
B назовем величину
pB = mm
Li
¿: £¿>1 I — 1
а через кв обозначим максимальное число полюсов у базисных предикатов, па которых достигается приведенный вес базиса. Для описания предикатной схемы £ в базисе В с п полюсами и т внутренними переменными, которая реализует предикат п, будем использовать запись вида
b r'i
n(xi, . . . ,Xn) = 3 y 1 . . . 3 ym Д Д nj
z (jj) z(jj) z1 , ..., zki
=1 j=0
где у1,..., ут — внутренние переменные схемы, г - число вершин-предикатов, помеченных символом щ, I = 1,..., к» - переменная, которая совпадает с
некоторой внутренней или входной переменной схемы £.
Рассмотрим предикат у>(ж1,..., жп), п ^ 3, и выделим две переменные этого предиката. Не ограничивая общности рассуждений, будем считать, что это переменные х1 и ж2. Пусть для любого г, г = 3,..., п, существует такой набор аг = («з,..., «¿_1, «¿+1,..., ап), что характеристическая функция Х^(ж1, ж2, «з,..., «¿_1, XV, «¿+1,..., а„) равна1 ж-1 Уж-2 Ух-^и ж-1 У(ж1 ©ж^©74), а также существует набор в = (вз,...,вп) такой, что х^(ж1, ж2, вз,..., вп) = = ж-5 V ж-16 • Предикат ^, который обладает указанными свойствами, будем называть проводящим, его полюс, соответствующий первой выделенной переменной, стоком, второй переменной затвором, а полюса, соответствующие остальным переменным, - истоками данного предиката. При этом набор г = 3,..., п, будем
гв го предиката . Базис В, приведенный вес которого достигается на проводящем предикате, будем называть обобщенно-проводящим, базисом.
^Символом а с различными индексами будем обозначать булевы константы.
Пусть 1Лв - класс предикатных схем, построенных в базисе В, а П2(п) - множество всех булевых предикатов от п переменных х\ ,...,!„. Под сложностью С(£) предикатной схемы £, £ € ив, понимается сумма весов её предикатов, а под сложностью Св(ф) предиката ф - минимальная из сложностей реализующих его схем в базисе В. Введем обычным образом функцию Шеннона
Св(п)
тах Св(ф)
ФеЩ(п)
для класса Цв относительно функционала с ложности С.
Основным результатом работы является следующее утверждение.
Теорема. Если В - обобщенно-проводящий базис, то для функции Шеннона Св (п) имеет место следующее равенство2
(
£<з(п) = р<з — п
1 +
1
кв - 1
log п ± О (1)
2. Верхняя оценка функции Шеннона Св(п)
Для получения верхней оценки функции Шеннона модифицируем для модели предикатных схем технику получения оценок высокой степени точности, предложенную С.А. Ложкиным в работах [5, 6].
Рассмотрим произвольный предикат у(х1,..., хп), и выделим некоторую переменную хх1, г = 1,..., п. Разбиение В = (Х1,..., Х^) множества Х = = (х1,..., Хг-1, Хг+1,..., хп) всех остальных переменных предпката у назовем селекторным относительно х^, если для любого ], ] = 1,...,^, и для любой переменной х € Х^ найдутся константы «1,..., 1, ..., а^ такие, что при подстановке их соответственно вместо переменных из Х1,..., Х^_1, Х^+1,..., Х^ характеристическая функция предиката у становится равной х^1 V хСТ2 или х^ © х © <73 .
Рассмотрим проводящий предикат у(х1? х2,..., хп), п ^ 3, и, не ограничивая общности рассуждений, будем считать, что стоку предиката соответствует переменная х1, а затвору - переменная х2. Тогда возьмем р предикатов у(х^1 , ...,х^„), г = 1,... ,р, и построим предикат ф(у, х1;2,..., х1,п,..., хр,2,..., хр,п), который получается отождествлением стоков всех этих предикатов
и приписыванием полученному полюсу переменной у. Предикат ф будем называть ур
у
менной соответственно.
Лемма 1. Пусть предикат ф(у, х1;2,..., х1;П,..., хр,2,..., хр,п) - у(х1;..., хп) -
р
но центральной переменной у разбиение В = (Х1;..., Х^) всех остальных переменных предиката ф, что
а = р + п - 2, |Х11 = ... = |Хр| =1 и |Хр+1| = ... = |Хр+п_21 = р.
Доказательство. Не ограничивая общности рассуждений, считаем, что переменные х^2, ] = 1,..., р, отвечают затворам проводящих предикатов у,
2 Все логарифмы в работе берутся по основанию 2, поэтому основание логарифма будем опус-
из которых составлена проводящая звезда ф. Рассмотрим такое разбиение Б = = (Хь ... ,Хр+п_2) переменных X = {ж^,..., ж^,..., жр,2,...,жр,п}, что X» = = {ж»,2}, г = 1,... ,р, и XV = {ж1,г_р+2,... ,жр,г_р+2}, г = р + 1,... ,р + п — 2. Покажем, что разбиение Б является селекторным.
Зафиксируем сначала некоторое г, г € [ 1, р]. По определению проводящего предиката найдется затворный набор в = (вз,..., вп) такой, что, подставляя на места всех переменных из компоненты Хр+й, к = 1,..., (п — 2), константу вк+2 , получим равенство
Х^ (у, ж1,2, вз,. .., вп, .. ., жр,2, вз, .. ., вп) = (у-1 V ж^) Л •••Л (у-1 V ж-22).
Далее, подставляя значение <2 > на места переменных из компонент Х&, к = г, к = 1,... ,р, го характеристической функции Хф получаем функцию у-1 V ж-7!.
Теперь зафиксируем г, г € [р + 1, р + п — 2], и произвольное ^ € [1, р]. Тогда существует такой проводящий набор (аз,..., а»_р+1, а»_р+з,..., ап) с номером (г — —р+2), что, подставляя та места всех переменных из компоненты Хр+£, к = (г—р), к = 1,..., (п — 2), константу ак+2, для характеристической функции х^ можно получить следующее представление:
Х^ = 01(у,ж1,2,ж1,*_р+2) Л ... Л 5р(у, жр,2,жр,4_р+2),
€ {ж^ V у-4 V у-Д_р+2, ж-,32 V (у © жм_р+2 © <6)} , г = 1, .. . ,р.
Остается подставить константу <7з та место перемеиной ж^,2 € Х^- и так подставить константы на места переменных жг,2 € Хг, г = 1,... ,р, чтобы функции дг при г = ^ иг = 1,..., р стали тождественно равными 1. При этом характеристическая функция х^ становится равной у-4 V у © ж^_р+2 © <6.
Лемма доказана. □
Пусть /(ж1,..., жп) - произвольная ФАЛ от п переменных и п(г, ж1,..., жп) -предикат от (п + 1) переменной. Тогда будем говорить, что п моделирует, /, если
ХП ж1, . . . , жп) г ^ / (ж1, . . . , жп).
Введем также более общее определение моделирования. Пусть ^(ж1,... ,жп) — ФАЛ от п переменных, а п(г, ж1,..., жп) — предикат от (п + 1) переменной. Будем говорить, что пара р = п) слабо моделирует фу нацию /, если для любого набора а € Вп значений переме иных ж1,...,жп и характеристической функции п
Хп(г, а) = /(а) © г © ^(а^ щи Хп(г, а) = /(а) V (г ~ ^(а)).
При этом функцию ^ будем называть сигнальной функцией моделирования р.
Пусть Р2 (п) — множество всех ФАЛ от п переменных ж1,..., жп. Тогда обобщим понятие универсального множества [1, 5, 6] на случай произвольного предиката у(ж0, ж1,..., жр) от (р +1) переменной.
Множество ФАЛ С, С С Р2(т), называется у-универсальным множеством (у-УМ) порядка т и ранга р, если существует такая ФАЛ ^(ж1, ..., жт) от т переменных, что для любой ФАЛ /(ж1, ..., жт) из Р2(т) существуют ФАЛ Зь ..., 5р € С и предикат п такие, что пара п) слабо моделирует ФАЛ / и верно равенство:
р
п(г, ж1,...,жт) = 3 у 1... 3 уру(г,уь...,ур) Д (у» ~ 3»(жь ..., жт)). (1)
Г=1
Лемма 2. Пусть у(у, xi,..., xp) - предикат от (p + 1) переменно и и D = = (Xi;..., Xd) - селекторное относительно y разбиение переменных X = = |xi,...,xp} предиката у, где |Xj| = i = 1, ...,d. Пусть, кроме того, si;..., sd - чётные числа, удовлетворяют,ие условию sipi +... + sdpd > 2m. Тогда существует у-УМ G порядка m и ранга p такое, что |G| < 2S1 + ... + 2Sd и существует система предикатов G, моделирующих все функции G, каждая из которых может быть реализована предикатной схемой в базисе B со сложностью не больше, чем, cB|G| + O(d • 2m+s/2), где s = max s^ и cB - константа,
i<i<d
зависящая от базиса B.
Доказательство. По определению селекторного разбиения существует набор констант таких, что для всякого j, j = 1,..., d, и любого k, k = = 1, ...,pj, при подстановке в функцию у констант ai,jlfc, i = 1,..., j — 1, j + + 1,..., d соответственно на места всех переменных из Xi,..., Xj-i, Xj+i,..., Xd получается, что w равна xj^'1 V yCTjfc-2 или xj,k Ф У Ф aj,k,2, где Xj^ - k-я переменная компоненты Xj. Разобьём куб Bm на подмножества (полосы) ¿i.i,..., ¿i,pi, ..., ^2,^2,..., ..., 5d,Pd , состоящие из наборов с подряд идущими номерами и обладающие тем свойством, что номер любого набора из предшествующего множества меньше, чем номер любого набора из последующего множества. Указанное разбиение выберем так, чтобы мощность полосы Sj,k была равна Sj при всex k, k = 1,... ,pj. При этом суммарная мощность всех полос равна
Y1 Sjpj ^ 2m, следовательно куб Bm будет полностью покрываться данными по-j
лосами. Рассмотрим при каждом i, i = 1,..., d, множество Gi всех функций, принимающих значение ai,j,fc та поло се Sj,k при j = i, k = 1, ...,pj, и принимающих одинаковые значения на наборах с одинаковыми номерами из полос ^,2,..., • При этом |Gi| = si, i = 1,..., d. Пусть h(xi,...,xm) - ФАЛ, которая па всех наборах компоненты Sj,k, j = 1,...,d, k = 1,...,pj, принимает значение 0"j,fc,2 ■ Покажем, что множество G = Gi U • • • U Gd является у-УМ. Пусть f £ P2(m) - произвольная функция. Рассмотрим предикат n(z, xi,..., xm), получающийся при помощи суперпозиции (1), в которой функция gr, r = 1,... ,p, совпадает с одной из функций множества Gi, i = 1,..., d, если переменная yr
у Xi D
и по построению множеств Gi,..., Gj-i, Gj+i,..., Gd для любого набора в £ Bm, принадлежащего полосе , и предикатов ру верпы следующие представления:
в) = у(^ gi^..., gp^^ у(г, gi(e),..., gp(e)) £ {g3'1 V (z Ф h(e)), g Ф z Ф h(e)} ,
где g — функция, подставленная на место k-й переменной из множества Xj. В случае, когда n(z, в) = g3'1 V (z Ф h(e)), функцию g £ Gj выберем так, чтобы при в £ £j,fc было выполнено равепство g(e) = f (в) Ф aj,M j а в случае, когда n(z, в) =
= g Ф z Ф ^(в), - равенст во g^) = f (в) • Тогда та множестве тар a (h, п) будет
f
Действуя подобным образом, можно выбрать оставшиеся функции gi,...,gp так, чтобы пара (h, п) слабо моделировала функцию f та всём кубе Bm.
G
из функциональных элементов при помощи метода каскадов со сложностью, не превосходящей c|G| + d • 2m+s/2 , где c - некоторая константа. Так как рассматриваемая модель обобщает этот класс и для нее существует аналог метода каскадов, то, используя технику моделирования, эту оценку можно перенести на систему
предикатов ^ при увеличении сложности в константу раз. Таким образом, можно построить предикатную схему Е^ со сложностью не больше, чем св|О| + < • 2т+я/2 .
Лемма доказана. □
Предикат Qn(z,x1,... ,хп,у0,... ,у2п-1) будем называть предикатным мультиплексором. если для него допустимыми являются только такие наборы (ао,а1,...,ап,ёо,...,б2п-1), что = ао, где ^(а1,...,ап) - номер на-
бора (а1,..., ап), а остальные переменные 5г, г = 0, . . . , 2п — 1, г = и(а1,..., ап), принимают произвольные булевы значения. Используя предикатные аналоги замыкающего контакта и инвертора (см. [3]), предикатный мультиплексор можно реализовать на основе контактного дерева со сложностью не большей, чем
2п+1 +
+ п — 1.
Теорема 1. Если В - обобщенно-проводящий базис, то для любого предиката Ф, Ф е П2(п), существует реализующая его предикатная схема Еф, Еф е ТЛв,
2п
£(Е0) < /Э®-
п
п
Доказательство. Рассмотрим разложение предиката ф(х1,... ,хп) по части его переменных
ф (х', х") = 3 zЗ уо ... 3 У2П-Г-1 Qn-r х" , У0,..., У2п-г—) ^ - Н (х'))
Д Па" (у^{а"),х'), (2)
а" = (аг+1,...,ап)
где х' = (х1,..., хг), х'' = (хг+1,..., хп) и для всех а'', а'' е вп-г, тара (Н, Па") слабо моделирует характеристическую функцию так называемого остаточного предиката фа" (х') = ф(х', а''). Пусть пг(х1,..., xki), г е [1,6],- базисный предикат с максимальным числом полюсов, па котором достигается приведенный вес. Тогда кг = кв и предикат пг является проводящим, так как В - обобщенно-проводящий
х1
диката пг является центральной переменной. Тогда на основе этого предиката построим пг -проводящую зв езду ф(х1,х1,2,..., ,..., хр,2,..., хр,кв) порядка р, где р - параметр, значение которого будет определено далее. Для предиката ф
х1
Б = (Хь... ,Ха) переменных X = {х^2,... ,... ,хр,2,..., хр,кв }, что < = р +
+ кв — 2, |Хг| = 1, г = 1,...,р, и |Х3-1 = р, з = (р +1),..., (р + п — 2). Пусть в', в''
а
и в;[,..., - такие параметры, что ^ вгрг ^ 2Г, в1 = ... = вр = в', вр+1 = ... =
г=1
= вр+п-2 = в'' и в ' , в'' - четные, тогда по лемме 2 существует ф-УМ О порядка г и ранга р(к — 1).
Таким образом, для получения всех предикатов ца", а'' е Вп-Г в представлении (2) необходимо соответствующим образом соединить 2п-г проводящих звезд ф со гаем ой Ее, которая моделирует все ф ункции ф-УМ О.
Оценим сложность схемы Еф, получаемой па основе разложения (2) с использованием ф-УМ О. Пусть ЕQ, Е^ и Е^ - подсхемы, реализующие предикатный
Н
ализующая 2п-г проводящих звезд ф, соответственно. Так как в силу [3] функция
Шеннона Гв(п) имеет порядок 2"/п, то схему Е^ можно построить со сложно-2Г
стыо 3 £<в(Е/,) ^ с® —• Так как предикатный мультиплексор можно реализовать г
на основе контактного дерева, то для подсхемы Ец и для подсхемы Е^ по построению выполняются следующие неравенства:
По лемм 2 подсхема может быть реализована со сложностью, не превосходящей с2 ^р2я + (кв — 2) 2я ^ + О (р2г+я/2), где в = тах{в', в''}. Определим параметры в' в'' и г следующим образом:
в' = [п — п] + сз, в'' = [п — 2^ п] + с4, г = [2^ п],
где константы сз и С4 подбираются так, чтобы в' и в'' были четными числами, и по-2Г 1
. Тогда для сложности всей схемы верны следующие
ложим р = неравенства:
в' + (кв — 2)в''
Г-2" / 2
г .2" / 2Г ' 'Д
< -7-^-+ ° — О*" 1 +---
п~ (2+ + ^ п \
Теорема доказана. □
3. Нижняя оценка функции Шеннона Гв(п)
Рассмотрим предикатные схемы, которые реализуют предикаты, отличные от тождественно ложного предиката. Предикатной схеме £ сопоставим граф О с помеченными ребрами и вершинами, который получается из схемы £ применением ко всем вершинам-предикатам схемы следующих преобразований:
1) выберем некоторую вершину-предикат, которая отвечает предикату у;
2) выберем пару различных вершин-переменных, которые соединены ребром с выбранной вершиной-предикатом (если таких вершин не существует, то выбираем единственную вершину-переменную, связанную с выбранной вершиной-предикатом):
3) удалим из схемы выбранную вершину-предикат и все инцидентные ей ребра:
4) выбранную пару вершин-переменных соединяем ребром, которое помечено символом предиката у, индексами переменных, которые отвечают выбранным вершннам-переменных, и набором символов, который соответствует остальным переменным предиката (если была выбрана единственная вершина, то помечаем её символом предиката у);
5) удалим все изолированные вершины внутренних и входных переменных.
3Символом с с различными индексами будем обозначать действительные положительные константы .
Граф G, полученный в результате такого преобразования, будем называть преобразованной схемой, при этом граф G не содержит петель и изолированных вершин, его вершины соответствуют некоторым внутренним и внешним переменным исходной схемы Е, а ребра - базисным предикатам схемы. Нетрудно видеть, что по графу G можно восстановить исходную схему Е с точностью до эквивалентности, и что число вершин в схеме Е не более чем в константу раз больше, чем вершин в G
Для получения нижней оценки воспользуемся мощностными соображениями. Пусть \\UB(L, n)|| - число попарно неэквивалентных схем из класса UB сложности не более L от n переменных xi,...,xn; тогда, используя приведенную в [5, 6] технику, число попарно неэквивалентных предикатных схем можно оценить сверху через число попарно неизоморфных преобразованных схем.
Лемма 3. Для любого полного базиса B = {nj}b=1, натурального nu L выполняется неравенство
£
( сС
\ШС,п)\\ < ^log(c/£))fcW(fcB_1}j , (3)
где a, a', c и c' некоторые положительные константы, зависящие от базиса B.
G
произвольной схемы Е £ Ub сложности L с n входными полюсами. Пусть L = b
= Y^ si - число ребер в схеме G. Тогда для того, чтобы задать схему G с точностью i=i
до изоморфизма, достаточно:
1) для всех i, i = 1,..., b, выбрать целое число si, si ^ 0, - число базисных предикатов типа щ в схеме G - так, чтобы
Lisi + ••• + LbSb < L; (4)
2) зафиксировать R, R £ [1, L], и Y, Y £ [2R, L + R], - число компонент связ-
GG
3) в каждой компоненте связности с номером i, i = 1,..., R, выбрать Yi, Yi ^ 2, - число вершин графа G, которые попали в эту компоненту, и выбрать полюса схемы среди всех её вершин:
4) в каждой компоненте связности выбрать остовное дерево, а потом распре-
1 R
делить оставшиеся ребра схемы G по N = — Yi{Yi — 1) парам вершин
2 i=i
с возможными повторениями:
5) приписать каждому ребру соответствующий символ предиката ni, i = = 1,... ,b, пару индексов, которые задают положение инцидентных вершин-переменных н набор символов переменных и специальных символов, который соответствует остальным (ki — 2) переменным данного предиката;
6) приписать некоторым вершинам наборы символов-преднкатов.
Число различных решений неравенства (4) в целых неотрицательных числах не
(L + b — 1\ L А
превосходит, очевидно, величины I ь ) ^ c1 . Аналогично, число распределений вершин схемы по компонентам связности можно оценить сверху значением
/Ъ + Д - 1\ т тт
I д I ^ е2 . Число различных вариантов выбора полюсов схемы, очевидно, не превосходит У" ^ (е3 • Ъ)", а число способов выбора остовпых деревьев в
я
компонентах связности можно оценить сверху величиной П = 4^-я ^ е^ .
¿=1
Нисло различных приписываний наборов снмволов-преднкатов вершинам не превосходит С5 .
Число возможных распределений оставшихся Ъ — (У—Д) ребер по N парам вершин можно оценить сверху числом сочетаний длины Ъ — (У — Д) из N элементов с возможными повторениями. Решая соответствующую задачу целочисленной оптимизации, нетрудно показать, что максимум числа пар вершин, по которым можно распределять оставшиеся ребра, достигается в случае, когда во все компоненты связности, кроме одной, попало ровно две вершины, а в оставшуюся компоненту попали все остальные вершины. Положим у = У — Д; в силу того, что в каждую компоненту связности входит не менее двух вершин, то Д < у и выполняются
следующие неравенства:
1 я 1
М = У: - 1) < Д - 1 + - Д + - Д) < У + Г < 2 Г- (5)
¿=1
Используя неравенство (5) и свойства биномиальных коэффициентов, для числа возможных распределений оставшихся ребер можно получить следующие неравенства*
Далее, если — < 1. то из (6) следует, что число распределений ребер не превос-Ъ — У
п
ходит Ср . а в противном случае это число не превосходит —- . Пользуясь
\Ъ — У/
условиями леммы, число возможных распределений меток ребер при выбранном наборе целых чисел (в1, ..., вь) можно оценить сверху следующим образом: число приписываний ребрам символов предикатов и специальных индексов не больше,
чем , а число приписываний ребрам символов переменных не превосходит Ь ь
-I—г пот £ тах{й» —2,0}
П(сдУГ тах{^-2'0} < (еюу)^=1 . (7)
¿=1
Пусть а, т, т, а — действительные параметры такие, что а ^ 2, т ^ 1, т ^ 1, а ^ 0, тогда выполняется следующее неравенство (см. [6]):
Д(у)= тах V™ < {{Ята{\о&Га-ТТ , (8)
О^у^т у т — у у
где в = в(а, т), £ = атт-1. Для набора в = (в1?..., вь) введем следующие функции:
в' £
= в! н-----Ь вь, = н-----ь £ь«ь, А(й) =
— Р?
¿: £¿>1
где Pi = 1—■—, 1 ^ г ^ Ь, ki, определенный выше приведенный вес г-ro преди-ki — 1
ката.
Пусть \\U(s,Y, R)\\ - число попарно неизоморфных схем с зафиксированным набором s = (s1?..., sb) и параметрами Y и R; введем следующую величину
\\U (s,n)\\ = max \\U (s,Y,R)\\. (9)
l^R^^(s), 2R^Y <tp(s) + R
Тогда число попарно неизоморфных преобразованных схем можно оценить следующим образом:
if(s) ip(s) + R
\\мв(Ап)\\ < ]т £ ]г max \\u(s,«)\\. (io)
ф(з)^£ R=1 Y=2R ^ ^
В силу предыдущих рассуждений и неравенств (6) (8) значение величины (9) можно оценить сверху следующим образом
, „„ ( СГУ2 YiS)-y ¿Simax{fci-2,0}
(c3w{s)) max ——-
\\U(s, n) || < c$a> (с3ф)Т max ^ ( ) у ^ <
\ К*)
^ 4>(s)( , и» ( Cl2y(s)
< Cli J(c3cp(s)) -——
\{\оёс13ф)) ^.
(11)
Из этой оценки вытекает, что для того, чтобы получить максимум величины (9). среди всех наборов чисел ..., вь) удовлетворяющих неравенству (4) нужно сначала отобрать те наборы, у которых = 0, г = 1,... ,Ь, тогда и только тогда, когда приведенный вес базиса достигается на г-м базисном предикате. Далее среди этих наборов необходимо выбрать те, у которых ненулевые компоненты соответствуют предикатам с кв полюсами. Тогда из (11) вытекает справедливость неравенства (3).
Лемма доказана. □
Теорема 2. Если В - произвольный полный базис, то справедлива следующая нижняя оценка:
2п
С<з(п) > р<з — n
n
V }
(12)
Доказательство. Для доказательства теоремы воспользуемся «мощност-ным» тождеством \\WB(£B,n)\\ = 22 , которое вытекает непосредственно из определений, а так же результатами леммы 3. Так как в работе [3] доказано, что порядок функции Шеннона £®(n) равен 2n/n, то, очевидно, выполняются следующие неравенства:
log LB (n) ^ n — log n + c1, log log LB(n) ^ log n + c2. Тогда справедливо неравенство
L&(n)/p&
" . / „ , I С L,<B(n) \
(log(c"£sH)r"B"-" '
Используя технику получения нижних оценок [1. 5. 6]. из (13) получаем оценку (12). Теорема доказана. □
Таким образом из утверждений теоремы 1 и теоремы 2 вытекает справедливость основной теоремы данной работы.
Автор искренне признателен и благодарен профессору, доктору физико-математических наук С.А. Ложкину за внимание к процессу подготовки материала. руководство, обсуждение результатов и ценные замечания, которые позволили улучшить содержание статьи.
Работа выполнена при финансовой поддержке РФФИ (проект Л*1' 09-01-00817а).
Summary
M.S. Shupletsuv. High Accuracy Asymptotic Bounds for Predicate Circuits over a Class of Specific Predicate Bases.
Synthesis problem for a specific class of control systems called predicate circuits is considered. This class generalizes most of well-known control-system classes (such as circuit of functional elements, contact circuits etc.). Predicate circuits are constructed with the use or predicate elements and therefore usually have no predefined direction of signal distribution.
Asymptotic behavior of the Shannon's function LB (n) is investigated for complexity of n-variable predicate implementation with the use of predicate circuits over basis B of specific structure. The following high accuracy asymptotic bounds are acquired
/
£<8 (??) = P<B 1
1 +
2 +
km - 1
log n ± O (1)
\
/
where pa and fca are basis-dependent constants.
Key words: circuits of predicate elements, complexity. Shannon's function, high accuracy asymptotic bounds.
Литература
1. Лупанов О.Б. Асимптотические оцепки сложности управляющих систем. М.: Изд-во Моск. уп-та, 1984. 136 с.
2. Shannon С.Е. The synthet.his of two-terminal switching circuits // Bell Syst. Teclin. J. 1949. V. 28, No 1. P. 59 98.
3. Ложкин G.A., Шуп.лецоо M.G. Асимптотические оцепки высокой степени точности для сложности предикатных схем из одного класса // Материалы XVI Междупар. школы-семипара «Синтез и сложность управляющих систем» (Санкт-Петербург, 26 30 июня 2006 г.). М.: Изд-во мех.-матем. фак-та МГУ, 2006. С. 72 77.
4. Шуп.лецоо М. С. Оцепки сложности предикатных схем в некоторых базисах // Проблемы теоретической кибернетики: Тез. докл. XV Междупар. копф. (Казань, 2 7 июня 2008 г.) / Под ред. Ю.И. Журавлева. Казань: Отечество, 2008. С. 134 135.
5. Ложкин С.А. Оцепки высокой степени точности для сложности управляющих систем из некоторых классов // Матем. вопр. кибернетики. М.: Наука, 1996. Вып. 6. С. 189 214.
6. Ложкин С.А. Оцепки высокой степени точности для сложности управляющих систем из некоторых классов: Дне. .. .д-ра физ.-мат. паук, М., 1997.
7. Бодиарчук В.Г., Калужиии H.A., Котов В.Н., Ромов Б.А. Теория Галуа для алгебр Поста // Киберпетика. 1969. Л» 3. С. 1 10: Л» 5. С. 1 9.
8. Кузнецов A.B. О средствах для обнаружения певыводимости или невыразимости // Логический вывод. М.: Наука, 1979. С. 5 33.
9. Касим-Заде О.A4. О сложности параметрических представлений булевых функций // Матем. вопр. кибернетики. М.: Наука, 1998. Вып. 7. С. 85 160.
Поступила в редакцию 25.02.09
Шуплецов Михаил Сергеевич аспирант кафедры математической кибернетики факультета вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова. Е-шаП: тЛ1е.чк 0,ч1тр1еЛ,чuv.ru