CC BY
27
УДК 519.714
Б. Р. Данилов
ОБ ОДНОВРЕМЕННОЙ ОПТИМИЗАЦИИ ФОРМУЛ ПО СЛОЖНОСТИ И ЗАДЕРЖКЕ НА НАБОРАХ В МОДЕЛИ С ЗАДЕРЖКАМИ СОЕДИНЕНИЙ МЕЖДУ ЭЛЕМЕНТАМИ1
Аннотация.
Актуальность и цели. Проблема синтеза дискретных управляющих систем является одной из основных проблем математической кибернетики. В общем виде она состоит в построении для заданной дискретной функции ее оптимальной (в том или ином смысле) структурной реализации в рассматриваемом классе управляющих систем. Теоретические результаты, полученные при решении указанной проблемы, находят применение в различных прикладных областях, к числу которых относятся задачи проектирования современных интегральных схем. Традиционная задача синтеза в рассматриваемой в работе постановке относится к изучению функции Шеннона для задержки, т.е. задержки самой «плохой» функции алгебры логики, зависящей от заданных п переменных. К рассматриваемой задаче относится ряд классических результатов теории дискретных управляющих систем, связанных, в частности, с нахождением схем асимптотически оптимальных одновременно по нескольким параметрам. Целью данной работы является перенесение известных результатов в области синтеза схем, связанных с одновременной оптимизацией схем по сложности и задержке на уровне асимптотических оценок, на новые модели задержки, отражающие емкостную специфику взаимосвязей элементов в интегральных схемах, а также различия временных характеристик элементов на различных наборах входных сигналов. Так, в работе изучается модель задержки в произвольном конечном полном базисе, в которой задержка базисного элемента - положительная действительная величина - по любому из его входов зависит от сигналов, подаваемых на остальные входы этого функционального элемента, и складывается из двух компонентов: задержки межэлементного соединения входа с выходом предыдущего элемента и, собственно, внутренней задержки рассматриваемого элемента. При этом задержки элемента по разным входам, вообще говоря, считаются независимыми величинами.
Материалы и методы. Используемые инструменты включают в себя технику универсальных множеств функций и технику моделирования булевых функций переменными на компонентах специальных разбиений булевого куба. Метод синтеза схем формульного типа асимптотически оптимальных одновременно как по задержке, так и по сложности применяется к синтезу схем в рассматриваемой модели задержки.
Результаты. Получена линейная относительно величины п асимптотика функции Шеннона для задержки функций алгебры логики от заданных п переменных. Оказалось, что привлечение дополнительной зависимости задержки от функциональной составляющей элементов базиса не приводит к изменению поведения функции Шеннона на уровне асимптотики. Построены схемы формульного типа, асимптотически оптимальные как по сложности, так и по задержке.
Выводы. Установленные результаты позволяют сделать вывод о возможности перенесения классических результатов, связанных с одновременной оптимизацией схем формульного типа по сложности и по задержке, на новую модель задержки.
1 Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект № 15-01-07474-а.
Ключевые слова: сложность, задержка, глубина, схемы из функциональных элементов, мультиплексорная функция.
B. R Danilov
ON SIMULTANEOUS OPTIMIZATION OF FORMULAS BY COMPLEXITY AND DELAY IN A MODEL WITH INTERGATE AND GATE'S INPUTS DELAYS
Abstract.
Background. The problem of synthesis of discrete control systems is one of the main problems of mathematical cybernetics. In general, it consists in construction of the optimal (in a varying sense) structural implementation of the given discrete function in the given class of control systems. The theoretical results, obtained while solving the mentioned problem, find their applications in different applied areas, among which are the problems of integral circuits design. The traditional synthesis problem, according to its formulation in this particular work, concerns the study of the Shannon function for delay, i.e. the delay of the "worst" Boolean function that depends on the given set of n variables. The problem under investigation also includes a number of classic results in the theory of discrete control systems, concerning construction of circuits that are asymptotically optimal according to several parameters simultaneously. The goal of the work is to transfer the known results in the area of circuit synthesis, associated with simultaneous optimization of circuits by several parameters, over to circuit models that reflect capacitive peculiarity of gate interconnections with greater accuracy and also reflect timing parameters of gates under different input signals. The work considers a delay model over an arbitrary finite complete basis, where the gate delay (a positive real quantity) over any of its inputs depend on signals passed on its other inputs and is composed of two components: the gates interconnection delay of the input with the output of the previous gate, and the inner delay of the gate. Meanwhile, delays of a gate over its different inputs are, generally speaking, considered to be independent values.
Materials and methods. The instruments used in the research included a technique of universal sets of Boolean functions and a technique of Boolean functions modelling on components of Boolean cube special partitions. The synthesis method of formula type circuits that are asymptotically optimal both by complexity and by delay was implemented for circuit synthesis in the described delay model.
Results. The author obtained Shannon function asymptotics, linear in regard to n, for the delay of Boolean functions that depend on the given n variables. It turns out that incorporation of an additional delay component, such as its input signals dependence, doesn't lead to a change of Shannon function asymptotical behavior. Formula type circuits, asymptotically optimal both by complexity and by delay, were constructed.
Conclusions. The established results allow to educe the applicability of the earlier known results, concerning simultaneous formula type circuits optimization by several parameters to a wider class of delay models.
Key words: complexity, delay, depth, function element circuits, multiplexor function.
Введение
Рассматривается задача реализации функций алгебры логики (ФАЛ) асимптотически оптимальными одновременно по двум параметрам формула-
ми над произвольным конечным полным базисом. В качестве оптимизируемых функционалов сложности формул изучаются обобщенная сложность (в ее традиционном понимании) и один из вариантов обобщения глубины (так называемая задержка на наборах [1], которая базируется на понятии задержки [2]). Таким образом, для функционала задержки рассматриваемого типа устанавливается возможность получения результатов, аналогичных классическим результатам О. Б. Лупанова [3], которые относятся к одновременной оптимизации функционалов обобщенной сложности и глубины схем из функциональных элементов (далее СФЭ или просто схем) в их традиционном понимании. С использованием методов С. А. Ложкина [4, 5] аналогичные результаты получаются и для формул. Мы также используем эту технику в наших построениях.
Пусть конечный полный базис Б состоит из функциональных элементов (ФЭ) различных типов £1,...,£ь . Элемент типа £, 1 < 7 < Ь , имеет кг , кг > 1, входов и реализует ФАЛ ф7(Х1,...,хк ), которая в случае к7 > 2
существенно зависит от всех своих булевых переменных, заданных на множестве В = {0,1} .
Сформулируем наши основные определения для схем, считая формулы (так называемые схемы формульного типа) их частным случаем. Определение СФЭ и формулы над базисом Б традиционны1. Будем также пользоваться понятием блок-схемы - СФЭ, входы которой помечены произвольными ФАЛ, естественным образом учитывающиеся при определении вектор-функции, реализуемой данной блок-схемой. Переменные, от которых зависят ФАЛ-пометки входов блок-схемы, считаются ее входными переменными. Схемы из функциональных элементов будем считать частным случаем блок-схем. При определении блок-подсхемы будем следить за тем, чтобы пометки ее входов были согласованы с ФАЛ, реализуемыми на соответствующих вершинах объемлющей схемы (блок-схемы).
Ниже нам понадобится понятие схем специального вида: назовем схему инициальной цепью (далее просто цепь), если она представляет собой последовательность функциональных элементов £¿1,.,£¿5 , в которой:
1) у каждого элемента выделен ровно один вход;
2) выход каждого элемента, кроме последнего, поступает на выделенный вход следующего элемента и только на него.
Выделенным входом цепи будем называть ее входную дугу, соответствующую выделенному входу ее первого элемента £¿1 , а число 5
назовем структурной глубиной цепи.
Будем считать, что для каждого функционального элемента £7 задана положительная действительная величина Ц, которую будем называть весом этого элемента. Сумма весов всех функциональных элементов схемы Ъ образует величину Ц(Ъ), которую назовем сложностью схемы Ъ по аналогии с ее структурной сложностью £(Ъ), равной количеству элементов схемы Ъ.
1 Понятия, которые в данной работе не определяются, см., например, в [6, 7].
Как отмечалось выше, задержка на наборах типа [1] базируется на понятии задержки из работы [2]. Для разграничения этих понятий задержку [2] далее будем называть глубиной1. Будем считать, что для каждой тройки целых чисел 1, у, 5 (1 < 1 < Ь , 1 < у < к^ ,1 < 5 < Ь ) и каждого булевого набора
~ (ах)
а = (аь...,ак.) задана действительная положительная величина -
I ^
задержка переключения ФЭ е. по входу с номером у на наборе а значений его входных переменных, когда к указанному входу подключен ФЭ е5 . Рассматриваемую величину будем считать равной нулю, когда ФАЛ ф. (аь..., а у -1, Ху, а у+1,..., «к.) совпадает с константой (переключения не
происходит), а в противном случае полагать ее независимой от значения
тЧЙ') гт(&')
сигнала а у, пропускаемого по входу с номером у: = 1у5 , когда
наборы а', а"е Вк1 отличаются только в у -й компоненте. Величину Оу5,
равную наименьшей из задержек 1>у5 ', взятых по всевозможным двоичным наборам а рассматриваемого вида, назовем глубиной ФЭ типа е. по входу с номером у с подключенным по этому входу ФЭ типа е5 .
Набор глубин элементов можно рассматривать сам по себе в качестве самостоятельной модели [2], однако теперь, когда глубины элементов подчинены указанному выше условию, будем говорить, что функционалы глубины и задержки базиса согласованы. Нам удобно рассматривать согласованную с задержкой глубину, потому что именно она определяет главную константу в асимптотическом поведении функций, рассматриваемых ниже. В терминологии работы [1] задержка определяет «основную» модель, а согласованная с ней глубина - модель «дополнительную».
Для придания смысла задержкам и глубинам элементов по входам, являющимся входами схемы, аналогично [2] будем соотносить с входами рассматриваемых нами СФЭ выходы каких-либо ФЭ базиса Б и определять недостающие задержки и глубины аналогично тому, как они определялись для двух последовательно соединенных ФЭ. Указанные дополнительные пометки входов СФЭ типами ФЭ базиса учитываются при изоморфизме (равенстве) рассматриваемых СФЭ.
Глубина (обобщенная) ^(ю) цепи ю - это сумма глубин ее ФЭ по выделенным входам. Пусть цепь ю является блок-схемой. Назовем цепь ю существенной на наборе а ее входных переменных, если при замене пометки выделенной дуги цепи ю на новую для этой цепи переменную полученная цепь существенно зависит от этой новой переменной. Задержкой на наборе а существенной на этом наборе цепи ю назовем величину, равную сумме задержек, составляющих цепь ю ФЭ по выделенным входам в предположении, что на входы этих элементов поступают значения, реализуемые ю на наборе а . Если цепь не является существенной на а, то
1 В качестве базового понятия глубины для задержки на наборах можно было бы взять модель глубины [8], в которой глубина межэлементного соединения определяется над схемой ограниченного размера. Принципиальных изменений это бы не повлекло.
ее задержку на наборе а будем считать равной нулю. Просто задержкой Т(ю) цепи ю назовем наибольшую из задержек этой цепи, взятых по всевозможным наборам ее входных переменных. Аналогично, инициальная цепь просто существенна, если она существенна на каком-либо наборе указанного вида. Подсхему без ФЭ, состоящую из единственной вершины, являющейся одновременно ее входом и выходом, следует считать тривиальной цепью нулевой задержки и глубины.
Понятия задержки и глубины распространяются на схемы общего вида с помощью так называемых главных цепей. Инициальную цепь СФЭ Ъ, выделенный вход которой является входом Ъ, а выход - выходом Ъ, назовем главной цепью схемы Ъ. Глубина О(Ъ) и задержка Т(Ъ) СФЭ Ъ равна наибольшей глубине и соответственно задержке главных цепей схемы Ъ, в случае задержки рассматриваемых как ее блок-подсхемы. Аналогично, структурной глубиной 5(Ъ) СФЭ Ъ назовем наибольшую структурную глубину ее главных цепей.
Следует заметить, что произвольная СФЭ с одним выходом может быть преобразована к эквивалентной формуле путем применения операций1 удаления висячей вершины и поднятия ветвления выхода ФЭ ко входам схемы, а также что указанное преобразование происходит без изменения глубины и задержки исходной схемы.
Определенная нами задержка СФЭ является попыткой на модельном уровне описать зависимость скорости зарядки или разрядки емкости связанного с выходом ФЭ проводника от набора значений, поступающих на входы элемента в момент переключения. Негативным свойством определенной таким образом задержки СФЭ является то, что без дополнительных ограничений любая ФАЛ реализуема «вырожденной» схемой с нулевой задержкой. Причиной такого положения вещей в «вырожденных» схемах являются множества цепей, несущественных каждая по отдельности, но реализующих в совокупности существенные ФАЛ. Детальное изучение этого эффекта в данной работе не проводится, однако в классе формул оказывается достаточным ограничиться лишь схемами, которые не содержат несущественных цепей. В самом деле, схемы формульного типа с несущественными цепями могут рассматриваться с содержательной точки зрения как избыточные: выделенные входы несущественных цепей можно заземлить (подать на них константу ноль) или закоротить (подать константу единица), не изменив при этом реализуемую схемой ФАЛ. С модельной точки зрения это означает, что наряду с ФЭ £1,.,£ь нам доступны все (существенные) ФЭ, которые получаются из них путем всевозможных подстановок2 констант на входы этих элементов и которые вместе с элементами исходного базиса образуют расширенный базис Б. При этом, если элемент £7 порождает описанным способом элемент £, то сложностные характеристики последнего индуцируются элементом £7 : его сложность Ц совпадает с Ц, а задержка по входам на наборе входных переменных £ совпадает
1 Подробнее про удаление висячих вершин и поднятие ветвлений см. [6, с. 93, 148-149].
2 Так называемое «забивание» входов константами.
с задержкой по соответствующим входам элемента £г- на наборе, дополненном по «забиваемым» входам соответствующими константами. Таким образом, постановка задачи синтеза оптимальных по задержке схем
приобретает смысл среди класса формул UФ над базисом Ё, не содержащих
TTC
несущественных цепей, а также класса схем Uё , получаемых из таких формул путем отождествления изоморфных подсхем. Именно в такой форме необходимо трактовать постановку задачи о задержке из работы [1], а также полученные в этой работе результаты. Заметим, что все построенные в [1]
C
схемы, на которых достигаются верхние оценки, принадлежат классам Uё ,
UФ, а вносимая поправка необходима лишь для исключения «вырожденности» функционалов глубины и задержки.
Глубина Og (f) ФАЛ f , ее задержка Тё (f) и сложность ¿¡Ё (f) при
реализации в классе UФ, а также функции Шеннона D (n), Тё (n), ¿Ф(n) для соответственно глубины, задержки, сложности ФАЛ, зависящих от
Ф
переменных xi,...,xn, при их реализации в классе Uё определяются обыкновенно:
Оё (f ) = minO(Z), Тё(f) = minT(Е), ¿f(f ) = minL(Z),
z z z
Оё(n)= max Оё (f), Тё(n) = max Тё (f), Lф(n) = max Lф(f), feP2( n) feP2( n) feP2(n)
где минимумы берутся по множеству тех СФЭ Е из Ug , которые реализуют ФАЛ f, а через р (n) обозначено множество всех ФАЛ, зависящих от переменных xi,...,xn .
В работе [2] была установлена следующая асимптотическая оценка1: Og (n) ~ Tgn , где константа Tg - приведенная глубина базиса ё - задается набором глубин его элементов. В настоящей работе показано, что также Tg (n) ~ Tg с той же самой константой Tg при условии, что глубина и
задержка базиса ё согласованы. В случае задержки константа Tg называется приведенной задержкой базиса ё . Таким образом, приведенная глубина и задержка базиса с согласованными праметрами глубины и задержки совпадают. Ёолее того, устанавливается, что формула, на которой достигаются асимптотически оптимальная задержка и глубина, может быть выбрана также асимптотически оптимальной по сложности, а именно верна следующая основная теорема.
Теорема 1. Пусть ё - конечный полный базис произвольного вида с согласованными параметрами глубины и задержки. Тогда для любого
1 Асимптотическое равенство h(n) ~ g(n) понимается нами как равенство вида h(n) = g(n) ± o(g(n)) , которое означает, что | h(n) — g(n) |= o(g(n)) . Функции g и h положительны при достаточно больших значениях аргумента. Аналогичным образом надо понимать соотношение h(n) = g (n ) ± O(g (n)) и другие подобные им.
натурального n и любой ФАЛ f е Pj (n) существует формула j е Uф , для которой выполняются асимптотические соотношения вида
D(J) ~ тБп, T(J) ~ тБп, L(J) ~ Рб(n/logjn), (1)
в которых Тб , Рб - положительные константы, задаваемые наборами глубин и весов элементов базиса Б соответственно.
Константа Рб называется приведенным весом базиса Б и согласно [3] определяется из соотношений
Рб = min Р j, Р j = Lj / (Ь -1). (2)
1<j<b J J J J kj
1. Приведенная глубина базиса. Нижние мощностные оценки функций Шеннона
Далее мы рассматриваем исключительно формулы. Назовем формулу J абсолютной (бесповторной), если каждая ее переменная (соответственно каждая ее существенная переменная) входит в J ровно один раз. Определим ранг R(J) формулы J как число символов переменных в ее записи.
C базисом Б связана так называемая ранговая функция RБ (t) действительного аргумента t, t > 0 , значение которой равно наибольшему рангу формул, имеющих задержку, не превосходящую t . Определим связанные с базисом Б основные константы:
kmin- min ki, kmax = max ki, 1<i < b, ki 1<i <b
(a)
min min ijs> max max ^ js •
Dmin - min Dijs, Tmax - max Ti
1<i<b,1<s<b 1<i<b,1<s<b,
1<j <ki 1< j <ki, aeBk
Приведенная глубина Tg базиса Б согласно [2] определяется соотношением
t
тБ = lim "j-r— • (3)
t logR (t)
Заметим, что расширение базиса Б до базиса Б не приводит к изменению главных констант, определяющих асимптотические соотношения (1): Тб = тб , Рб = Рб • Для константы Рб это очевидно из определения (2), а для константы Tg вытекает из того, что Rg (t + Tmax) < Rg(t), так как,
«восстановив» ФЭ исходного базиса Б, любую формулу над Б можно заменить формулой над Б, при этом не уменьшив ранг формулы и не увеличив ее задержку более чем на Tmax . Следовательно, Tg < тg • С другой стороны, непосредственно из определения (3) следует, что при расширении базиса константа Tg не увеличивается.
Рассматриваемая далее лемма 2 является более сильным аналогом леммы 3 из работы [2] и позволяет установить существование формул наперед
заданного ранга с «хорошей» глубиной. Ее доказательство аналогично доказательству указанной выше леммы.
Лемма 1. Для любого натурального числа т в (конечном, полном) базисе Б найдется формула ^ = ^гт, для которой выполняются соотношения
т < ) < т1+о(1), ) = Т Б ± т).
Нижние оценки функции Шеннона получаются обыкновенным образом на основе мощностных соображений. Доказательство следующих двух лемм также традиционно.
Лемма 2. Для любых неотрицательного действительного ^ и
натурального п число попарно неэквивалентных формул из VФ, которые
зависят от переменных Х1,...,хп и глубина (задержка, сложность) которых не
1 / чЯд(0 , , ЧЯБ и+С3)
больше ^, не превосходит (с^п) л (соответственно (с2п) Б 3 ,
^,+1
(С5П)РБ ).
Лемма 3. Для любого (конечного, полного) базиса Б выполняются следующие асимптотические соотношения:
Б (п) >ТБп(1 -о(1)), Тб (п) >ТБп(1 -о(1)), Ьф (п) >рБ (2п/^)(1 -о(1)).
2. Реализация мультиплексорных ФАЛ на основе обобщенного разложения
При доказательстве верхних асимптотических оценок будем опираться на методы, разработанные в [9]. Приведем определения основных понятий и сформулируем без доказательства утверждения лемм 4, 5, доказательства которых повторяют доказательство аналогичных утверждений [9].
Будем называть стандартным базис Бд, который состоит из трех функциональных элементов е&, еу, £_, реализующих соответственно ФАЛ Х1 • Х2 , Х1 V Х2 , Х1. Число, двоичной записью которого является набор а,
ае Вп, будем записывать через v(а). Назовем альтернированием аЬ(/) ФАЛ / минимальное число отрезков постоянства, уменьшенное на единицу, на которые распадается набор, составленный из значений ФАЛ / , взятых на наборах значений ее аргументов, расположенных в порядке следования задаваемых ими с помощью V -нумерации чисел.
Пусть А = (61,...,) - разбиение булевого куба Вп от булевых переменных группы ХХ = (1,..., Хп) на попарно непересекающиеся непустые подмножества 61,.,6^ (компоненты разбиения), объединение которых
1 Буквой c с целочисленными индексами обозначаются абсолютные константы, одно-начно задаваемые базисом ё .
равно Вп. Определим мультиплексорную ФАЛ Цд, соответствующую разбиению Д, равенством
а
Цд(х, ыь...,иа) = уХу(х)«,-,
У=1
в котором % у - характеристическая ФАЛ компоненты 5 у. Заметим, что стандартную мультиплексорную ФАЛ Цп порядка п,
Цп(х ul,.,и2п)= V хГ1 "."х«п 'uv(o)+1, о=(о1,.,оп )еВп
можно рассматривать как мультиплексорную ФАЛ Цд, связанную с тривиальным разбиением Д, т.е. таким разбиением, что 5,у(С)+1 = {с} для
каждого се Вп .
Лемма 4 (см. [9], лемма 2). Для целого п > 2 и отличной от константы ФАЛ g , g е Р2(п), найдется реализующая g формула Т над стандартным базисом Б0, для которой справедливы неравенства:
5(т) < 2 ] + |_1с82(а11 (g)) ] +1, (4)
£(Т) < | • п ]а11(g). (5)
Лемма 5 (см. [9], следствия из лемм 6, 7). Пусть Д - разбиение куба
Вп переменных х = (х1,...,хп) на а , а <р , компонент, а ФАЛ ф(л,...,Ур)
реализуется абсолютной формулой Т над базисом Б. Тогда в базисе Б найдется бесповторная формула Ф(и,#), и = (1,...,иа), м> = (1,..,м>р+а),
такая, что для некоторых ФАЛ g1 (х),..., g р+а (х) блок-формула
Ф' = Ф(и, g1 (х),..., g р+а (х)) реализует ФАЛ Цд (х, и) и выполняются
соотношения1:
1(ф ) < 1(Т)+с4а, (6)
В(т) < В(Ф) < В(т) + С7, (7)
В(т) < Ти(Ф') < В(Т) + с8, (8)
В(т) < Тх(Ф') < С9В(т) + С8. (9)
Если, кроме того, Д - разбиение куба Вп на последовательные отрезки, а в записи формулы Т = Т(У1,...у„) переменная У1 появляется
1 Через (Ф') обозначена задержка блок-формулы Ф' по тем ее главным цепям, которые начинаются на входах, помеченных ФАЛ зависящими существенно или несущественно от какой-либо переменной группы х .
левее переменной уг тогда и только тогда, когда I < г, то альтернирование каждой из ФАЛ g{(Х),...,+^(Х) не превосходит £тах 6(Т).
Лемма 6. Для натуральных чисел п, р, связанных неравенством р < п , и некоторого числа й = й(п, р) найдется бесповторная формула Ф(й, у\>) над базисом Б, существенно зависящая от переменных групп й = («!,...,«2п), я = (щ,...,), и найдутся ФАЛ gl(Х),...,gd(Х),
ХХ = (Х1,...,Хп) такие, что блок-формула Ф(й,gl(ХХ),...,gd(Х)) реализует
мультиплексорную ФАЛ цп (ХХ, й). При этом сложность формулы Ф, ее
глубина, задержка блок-формулы Ф', натуральное число й удовлетворяют для некоторых бесконечно малых функций а , у соотношениям:
£(Ф) < с62п+а(п/р)гп/р1, (10)
ТБп(1 - у(п / р)) < Б(Ф) < тбп(1 + у(п / р)) + с7р, (11)
ТБп(1 - У(п / р)) < Тй(Ф') < Тбп(1 + 1(п / р)) + с8р, (12)
Тбп(1 - у(п / р)) < Тх(Ф') < Тбп(1 + у(п / р)) + С8р + С -1) |_п / р], (13)
2р • 2-п/р^ < й < 2р • 2Гп/р1(1+а(п /р)). (14)
Кроме того, для альтернирования ФАЛ gl(Х),...,gd(Х) справедливы оценки
а11(gi) < сю • (п / ?) (1 < I < й). (15)
Доказательство. Используя лемму 1, найдем в базисе Б формулы Т', Т", для которых при некоторых бесконечно малых ад, Уо выполняются соотношения:
2-п/р] < я(Т') < 2-п/р1(1+ао(_п/р), (16)
2гп/р 1 < ") < 2-п/р](1+ао(гп/р])), (17)
Б (т) = Тб -п / р1 (1 ±Уо(-п / р _])), (18)
Б(т) = Тб Гп /р 1 (1 ±Уо(-п /р 1)). (19)
Без ограничения общности будем считать формулы Т', Т" абсолютными, так как переименование переменных не изменяет глубину формулы.
Представим число п в виде п = р • -п/р 1 + q , где о < q < р . Определим числа п1,...,пр равенстами1:
1 Если q = о, то все числа п1,... п„ надо считать равными (п / р) .
Щ = ... = пр-г = \п / р\, пр-г+х = ... = пр = |"и / р].
Пусть формулы Л,.--,Л> заданы равенствами1:
р-г ' 1р-г+1 "р
Л = . • • = Лр - д = Л , Лр - д+1 = . = Лр = Л .
Определим для каждого целого г , 1 < г < р , вспомогательные величины ^(г), йг равенствами:
Х(г) = п - ¿п,-, (20)
,=1
г
ir =
= ^(() + ) (21)
г =1
и положим ^(0) = п , ^о = 0.
Введем обозначения для групп переменных:
хг = (x;м»+ъ.••,хп ), Хг = (xA,(r)+1,.••,хА,(г-1)), (22)
иг,з = [" „„п-А/г), л,.--,и „п-Х(г) I 5 (23)
^ ^ и( 5 -1)2п-Х( г)+1,., V1-Х( г)
> = (wl,.,wdг ), > = (-1 +ь...,wdг ). (24)
Опишем последовательный процесс построения формулы Ф, состоящий из р шагов. На первом шаге для каждого у!, 1 < д < 2^(1), примененяя лемму 5 к формуле Л\ и тривиальному разбиению куба Вп ^(1)
от переменных х^ положив в лемме 5 величину й равной 2п ^(1), а величину р - равной Я(Л), получим бесповторную формулу л^о^^, ) и ФАЛ gi (Х1), 1 <, < ^1, которые согласно заключительной
части утверждения леммы 5, в силу того что 6(л) < В (л) / Втп, удовлетворяют соотношению (15). Согласно (6)-(9) при I = 1 справедливы следующие утверждения:
Л1]1 (и1,}1, &1(х/ (^/)) реализует Цп-Х(/)(^/,и/,.// X (25)
/ /
¿В(Л-) < В(Л1д)) < ¿В(л) + с7!, (26) ,=1 ,=1
/ /
¿В(л) < Тй (л,д) < ¿В(л-) + с8/, (27)
,=1 ,=1
1 В случае д = 0 все формулы Л[,...,Л„ совпадают с формулой Л'.
I I
£Я(ъ) < Гц1 (ъ,н) < + (<9 -!)^(ъ) + <81, (28)
г=/ г=/
/ / ) < ~Х(г)£(ъ) + <4~Х(г-1). (29)
г=1 г =1
Рассмотрим шаг с номером г , 2 < г < р . Применим лемму 5 к формуле
Ъг и тривиальному разбиению куба ВВпПр^ от переменных хг, положив
в лемме 5 величину ё равной 2пр^, а величину р — равной Л(ъ), в результате чего получим бесповторную формулу Яг (у, г), У = (Уъ---,У2|"п1р]), и ФАЛ gi(Хг), йг-1 +1 < г < йг, аналогично
рассмотреному выше, удовлетворяющие соотношению (15), такие что блок-формула Яг (у, gd 1+1 (ххг),___, gd (хг)) реализует мультиплексорную ФАЛ
М-1п1р] (Хг, У). Для каждого 1г, 1 < 1г < 2^(г), определим формулу ъ,^ равенством
( \
Ъ,}г (йг,]г , *г ) = Яг
-1)2ГИ 7 р 1+Г"" -1, / р V' -
г
V
Нетрудно убедиться в том, что если для бесповторых формул
Ъ-1 > , 1 < ]г-1 < 2^(г-1), построенных на предыдущем шаге, выполнены '■>г-1
утверждения (25)-(29), взятые для I = г -1, то они выполнены и для формулы Ъ 1 при I = г, которая также будет бесповторной.
г
На последнем шаге, когда г = р, получаем искомую бесповторную формулу Ф = Ър 1, для которой неравенства (26)-(28) с учетом (18), (19) дают (11)—(13). ФАЛ gi (х), 1 < г < ё = ёр , из условия леммы с точностью до
несущественных переменных совпадают с одноименными ФАЛ, построенными по ходу доказательства, для которых справедливость соотношений (15) нами установлена. При помощи (21), используя соотношения (16), (17), для оценки величины Л(Ъ), имея в виду (20), получим неравенства (14). Кроме того, для структурной сложности формулы Ъ записывается оценка
*(Ъ) <'Ц,Ъ )--11, (30)
кшт 1
которая вместе с соотношениями (16), (17), (29) при <6 =2- (2 + С4) дает нам неравенства (10). Лемма доказана.
Из леммы 6 при приближении параметра р сколь угодно близко к конечной доли числа п вытекает следующее утверждение.
Лемма 7. В обозначениях леммы 6 для любой сколь угодно медленно растущей функции £, отделенной от нуля числом е > 0, любого натураль-
ного п и некоторого числа ё = ё(п) в базисе Б можно построить такую бесповторную формулу Ф(й, #), что для некоторых ФАЛ gl(х),_, gё (х) блок-формула Ф' = Ф(й,gl(х),_,gё(х)) реализует мультиплексорную ФАЛ Мп (х, й). При этом структурная сложность формулы Ф, ее глубина, задержка блок-формулы Ф', число ё удовлетворяют соотношениям:
£(Ф) < (с6/е)-С(п)2п, (31)
В (Ф ) = т Бп ± о(п), (32)
Т (Ф') = Тбп ± о(п), (33)
ё = о(п -£(п)). (34)
Для альтернирования ФАЛ gl (х), _, gё (х) выполняются неравенства
ай(&) < сп1ов2(С(п)/е) (1 <г <ё). (35)
3. Верхние оценки функций Шеннона. Построение формул, асимптотически оптимальных по глубине, задержке и сложности
Для доказательства утверждений, связанных с реализацией произвольной ФАЛ, используется техника [4, 5] и в этой связи нам понадобится ряд дополнительных понятий, первое из которых — понятие универсального множества ФАЛ. Рассмотрим произвольную ФАЛ ф(У1,_, Ур), которая
существенно зависит от всех своих переменных. Множество ФАЛ О с р (т) будем называть ф -универсальным порядка т, если любая ФАЛ g е Р2(т) представима в виде суперпозиции «внешней» ФАЛ ф и «внутренних» ФАЛ
gl,_,gp е О вида
g = Ф( gl,_, gp). (36)
Следуя [6], будем строить ф -универсальное множество на основе разбиения А = (б1,_,5ё), ё < р, булевого куба Вт . Для каждого г, 1 < г < р, в силу существенной зависимости ФАЛ ф по переменной уг найдется набор булевых констант аг-1, _, аг- р такой, что
ф(аг,1, _, а,г -1, Уг, а,г+1, _, а, р) = Уг © а,г.
Для каждого указанного г рассмотрим множество О(г) всех тех ФАЛ из р (т), которые на множестве наборов 5у, 1 < у < ё и у Ф г, равны аг- у .
Положим по определению О = О( ) и _ и О(р). Нетрудно убедиться, что теперь равенство (36) имеет место для любой ФАЛ g , если в качестве ФАЛ
g¡■, 1 < у < ё , выбрать ФАЛ из о( уу), которая на 5 у совпадает с ФАЛ
g ©а у у, а в случае ё < р положить ФАЛ gi, ё < г < р, равной той
единственной ФАЛ, которая составляет множество О(,). Следовательно, построенное таким образом по разбиению А множество О является ф-универсальным порядка т . Мы доказали следующее утверждение.
Утверждение 1. Для любой существенной ФАЛ ф(л,...,Ур) и любого
разбиения А = (61,..,5р) куба Вт на р компонент существует ф-универсальное множество О ФАЛ из Р2(т) мощности не превосходящей
261| +... + 2|6 р1.
Замечание. Как мы видели, утверждение 1 применимо и в том случае, когда количество компонент й разбиения А меньше р. В этом случае необходимо формально считать недостающие комоненты пустыми: 6^+1 = .•• = 6р = 0 . Соответствующие пустым компонентам множества
О(й+1),..., О(р) содержат каждое по одной ФАЛ.
Второе понятие, которое необходимо нам для дальнейших построений -это понятие регулярного множества двоичных наборов. Пусть т < д , назовем
множество наборов 6 с Вд т-регулярным, если 16 |=2т и все префиксы длины т наборов из 6 различны. Регуляное множество наборов 6 интересно тем, что любая ФАЛ из р (я) на нем совпадает с некоторой ФАЛ из р (т), если рассматривать р (т) как множество всех ФАЛ из р (я) с несущественными переменными хт+1,...,Хд. При этом некоторые ФАЛ из Р2(т) совпадают на 6 с переменными Х1,...,Хд или их отрицаниями,
а именно: этим свойством обладают ФАЛ системы у е р2 т (т) такой, что двоичный набор у = (а,(3), где а е Вт, (3 е Вд-т , принадлежит 6 тогда и только тогда, когда ту (а) = (3 .
В связи с указанными свойствами регулярных множеств дадим следующее определение о моделировании ФАЛ. Пусть О - множество, содержащее ровно X ФАЛ из Р2(т), а А = (60,.--,6^д-т 1) - разбиение куба
Вд на т -регулярные компоненты. Скажем, что разбиение А моделирует ФАЛ множества О с помощью переменных или их отрицаний, если для
любого у, 0 < у < 2д-т -1, любая ФАЛ g из О совпадает на 6у с некоторой переменной Х1,...,Хд, или ее отрицанием. При этом компонента 6у считается хорошей компонентой разбиения А относительно множества О в том случае, когда любая ФАЛ g из О совпадает на 6у с некоторой переменной Х1,...,хд
в чистом виде (без отрицания). Если компонента не является хорошей, то мы называем ее плохой. Справедливо утверждение (см. по этому поводу также
[4, § 2]).
Утверждение 2. Для любых натуральных чисел т, X, д, связанных соотношением т + Х < д, и любого множества О ФАЛ из Р> (т) мощности
X найдется разбиение A = (6q, •• •, 1) куба Bq на m -регулярные
компоненты, моделирующее ФАЛ множества G с помощью переменных или их отрицаний и такое, что компонента 5V(p), (3 е Bq-m, является хорошей
относительно G , когда число нулей в наборе (3 не меньше X .
Утверждение 3. Если в условиях утверждения 2 q > m + 3X, то для некоторой положительной константы c, меньшей единицы, число плохих
компонент разбиения A не превосходит cq m .
Лемма 8. Для любой сколь угодно медленно растущей функции
Z = o(2n) и любого натурального числа n в (конечном, полном) базисе Б найдется формула М = Mn , которая реализует мультиплексорную ФАЛ Цп(X,y), зависящую от переменных X = (xi,..,xn), y = (yo,---,y n 1), является бесповторной по переменным y, и для глубины, задержки, сложности которой выполняются соотношения:
D(m) <Тбп + o(n), (37)
T(м) <Тбп +o(n), (38)
L(m) = O (Z(n)2n). (39)
Доказательство. Используем лемму 7 для построения приведенных в ее утверждении формулы Ф и ФАЛ g1(X),...,gd(X). Для установления соотношений (37), (38) необходимо для каждого j, 1 < j < d , построить формулу С/j, которая реализует ФАЛ gj со структурной глубиной b(£j) = o(n), так как глубина и задержка отличаются от структурной
глубины не более чем в константу раз. После этого вследствие (32), (33) формула Mn = Ф( y ,(,...,(у) будет искомой.
Найдем для каждого указанного j по лемме 4 формулу (j, реализующую gj над стандартным базисом Б0, для которой из (4), (5), (35) вытекает
8(() = O(log(n • log Z(n))), t(() = O(n(logn)(logZ(n))). (40)
Формулу (j над базисом Б получим из формулы (j заменой всех функциональных элементов е&, £v, £— на моделирующие их в базисе Б бесповторные по существенным переменным формулы /С&, /Cv, /С—. Окончательно для глубины, задержки, сложности формулы (j имеем
D(() = O(8(()), T(() = O(6((')), L((j) = O(£((')),
что вместе с (31), (34), (40) при условии Z = o(2n) завершает доказательство.
Лемма доказана.
Лемма 9. Пусть п — натуральное число, тогда для любой ФАЛ / е Р(п) найдется реализующая ее над (конечным, полным) базисом Б формула ^ = , для глубины, задержки, сложности которой выполняются соотношения:
) < тБп + о(п), (41)
Т(^) <Тбп + о(п), (42)
n
L(f) <Рб -"g- +
log2n
Г 2n ^
1og п
(43)
Доказательство. Пусть приведенный вес базиса Б достигается (2) на функциональном элементе ег, т.е. Рб = ^ / (кг -1) . Построим из t, где t — натуральный параметр, элементов ег абсолютную формулу Ф(^1,_, гр) с р входами, которая реализует ФАЛ ф(^1,_, гр) и имеет вид квазиполного
log kP
ярусов. По построению формулы Ф
дерева, состоящего из величина р определяется равенством
р = t (кг -1) +1.
Рассмотрим в качестве параметров натуральные числа т = т(п), 5 = s(n), которые будем считать основными параметрами, и подчиним им величину t = t (т, 5) таким образом, чтобы р = р(т, 5) оказалось наименьшим
числом, большим или равным 2т /5. Очевидно, между числами т ,5 , р выполняются отношения
2т 2т
— < р < — + (кг -1).
Рассмотрим разбиение П = (П1,.., Пё) куба Вт на ё = 2т /5
последовательных отрезков такое, что П1 = _ = Пё = 5 , Пё < 5 . Используя утверждение 1, построим на основе разбиения П ф -универсальное
множество ФАЛ О с р (т), мощность X которого не превосходит р • 25.
Положим натуральное число д = д(т, 5) равным (т + 3р • 25), тогда будут выполняться неравенства
т + 3Х < д < п,
если предположить число п достаточно большим для того, чтобы выбор параметров т, 5 представлялся возможным. Построим с использованием
утверждений 2, 3 разбиение А = (51, _ 5^-т) куба Вд от переменных группы х' = (х1,. ,,х„) на т -регулярные компоненты и рассмотрим
следующее разложение ФАЛ / по последним (п - д) переменным группы
х = (хд+1, _, хп ) :
/ (х1,_, хп )= V Ко (х') • /о (х'), (44)
оеВп-д
в котором через Ко(х'), о = (01,_,оп-д), обозначена элементарная х01 • • х°п
+1 _ Хп ~ • 1азиияшм ^Уо'
там разбиения А :
конъюнкция вида х +1 • _• хпп д . Разложим ФАЛ /о е р (д) по компонен-
-т
/о(х')= V ху(х') • /о,у(х'), (45)
у=1
где ху — характеристическая ФАЛ компоненты 5у . В силу т -регулярности
разбиения А для любых набора ое Вп-д и номера у е[1,2т-д ] ФАЛ /о у(х') совпадает на 5у с некоторой ФАЛ gо у(х), х = (х;,_,хт), т.е.
х у (х') • /о, у (х') = х у (х') • gо, у (х), (46)
а в силу ф -универсальности множества О для указанных о, у, найдутся ФАЛ gо у 1, _, gо у р е О такие, что верно представление
gо,у(х) = ф(gо,у,1 (х),_ , gо, у, р
(х)). (47)
Однако ФАЛ gоуl,_, gо у р на компоненте 5у разбиения А совпадают с некоторыми переменными хт+1,_,хд или их отрицаниями, т.е.
совпадают соответственно с ФАЛ х^'у,1,_,х**0'1,р , где аоу1,_,ао у р —
некоторые булевские константы, а Уоу1,_, у р — натуральные числа отрезка [т +1, д], поэтому из (47) следует
gо, у (х)=ф((,;,---, х аст,'-р). (48)
\ о, у ,1 •'о, у, р /
Из соотношений (44)—(46), (48), меняя порядок суммирования в дизъюнкциях, получаем следующее представление ФАЛ / :
/(хь...,xn)= V Xj(Х')•
j=1
2^ —М Г
2 (1
va, j, P
V ^a (Х') •ф ( x^0"7'1,---,;
V a, j ,1
_V! —П V
ae£n—q
(49)
Искомая формула ^ получается на основе представления (49) ФАЛ / следующим образом. Воспользуемся леммой 1 для построения над Б формулы ¥, для которой при некоторых бесконечно малых а, у выполняются соотношения
Известия высших учебных заведений. Поволжский регион
2«-т < я(¥) < 2(Ч-т)(1+а(Ч-т)) (50)
Б(¥) <тб (Ч - т)(1 + у(ч - т)). (51)
Используя лемму 5, подберем для формулы ¥, реализуемой ею ФАЛ, разбиения А, формулу Фо и ФАЛ Х'),... Х'), ^о = Я(¥) + 2Ч-т такие
что блок-формула Фо, заданная равенством Фо = Фо(и',,1(X'),.,Х')),
реализует связанную с разложением (45) мультиплексорную ФАЛ Ца (и', Х'). Из (6)-(9) с использованием неравенств (5о), (51), а также неравенств (3о), записанных для формулы ¥ , вытекают соотношения:
d0= О (2( ч - т )(1+а( Ч - т))), £(Фо) = О (2( Ч-т)(1+а( Ч - т))),
Б(Фо) < Б(¥) + с7,
ТДФ'о) < Б(¥) + с8,
Гх-(Ф'о) < С9Б(¥) + С8.
Пусть построенная над Б формула ^, 1 < I < dо, реализует ФАЛ , (Х') моделированием ее совершенной дизъюнктивной нормальной формы при помощи полученных в формул /&, /у , X—, реализующих соответственно ФАЛ
Х1 • Х2 , Х1 V Х2 , Х1 бесповторно по своим существенным переменным, тогда
ВД) = о(ч• 2Ч), Б($) = о(Ч), Т($) = о(Ч) (1< / <).
В соответствии с вышесказанным бесповторная по информационным переменным и формула УУо= Фо(й\Й.,---,&о) реализует ФАЛ Ца("',Х'),
для нее выполняются соотношения:
д^)) = о (Ч • 2( Ч - т )(1+а( Ч - т))+Ч),
Бй' (М)) = Тб (Ч - т)(1 ± у1(ч - т)), Тц(М)) = Тб (Ч - т)(1 ± у2(ч - т)), 0~х'(Мо) = О(ч), Тх'(^)) = О(ч). (52)
Мультиплексорная ФАЛ Цп-4(и,Х'), связанная с разложением (44),
реализуется с помощью леммы 8, бесповторной по информационным переменным формулой Л4у, для которой при выборе С,(п) = °(1°ёп) выполняются соотношения:
Д^) = о(1с8(п - ч) • 2п-Ч),
£(^) = тб (п - ч)(1 ±7з(п - Ч)),
T (У) = Тб (n — q)(1 ±T4(n — q)). (53)
Из вышесказанного следует, что при выполнении условий q — т = ю(1), n — q = ю(1), q = o(2n/logn)
для сложности, глубины, задержки формулы F, построенной на основе
разложения (49) с использованием формул У0, У}, Ф, /С—, для некоторой
положительной константы c <1 выполняются следующие соотношения:
D(F) <Тб(n — м)(1 ± o(1)) + O(log p), T(F) <Тб(n — т)(1 ± o(1)) + O(log p),
L(F) < L(M0) + 2q—mL(M1) + 2n—mL(0)(1 + O(p • cq—т)),
откуда при выборе параметров
m = [2log2log2nJ, 5 = [log2n — 2log2log2nJ
из (52), (53) вытекают (41)-(43). Лемма доказана.
Теорема 1 следует из лемм 3, 9.
Список литературы
1. Ложкин, С. А. О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам и входным наборам / С. А. Ложкин, Б. Р. Данилов // Вестник Московского университета. Сер. 15. Вычислительная математика и кибернетика. - 2013. - № 4. - С. 25-33.
2. Данилов, Б. Р. О поведении функции Шеннона для задержки схем в модели, где задержка соединений определяется типами соединяемых элементов / Б. Р. Данилов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2014. - № 3 ( 31). - С. 78-100.
3. Лупанов, О. Б. О схемах функциональных элементов с задержками / О. Б. Лу-панов // Проблемы кибернетики. - Вып. 23. - М. : Наука, 1970. - С. 43-82.
4. Ложкин, С. А. Оценки высокой степени точности для сложности управляющих систем из некоторых классов / С. А. Ложкин // Математические вопросы кибернетики. - Вып. 6. - М. : Наука, 1996. - С. 189-214.
5. Ложкин, С. А. О глубине функций алгебры логики в произвольном полном базисе / С. А. Ложкин // Вестник Московского университета. Сер. Математика. Механика. - 1996. - № 2 - С. 80-82.
6. Ложкин, С. А. Основы кибернетики / С. А. Ложкин. - М. : Изд. отдел ф-та ВМиК МГУ, 2004. - 251 с.
7. Яблонский, С. В. Введение в дискретную математику : учеб. пособие для вузов / С. В. Яблонский ; под ред. В. А. Садовничего. - 4-е изд., стер. - М. : Высшая школа, 2003. - 384 с.
8. Данилов, Б. Р. О поведении функции Шеннона для обобщенной глубины схем в модели, где глубина межэлементного соединения определяется над схемой ограниченного размера / Б. Р. Данилов // Материалы X молодежной научной школы по дискретной математике и ее приложениям (Москва, 6-8 октября 2015 г.). -М. : ИПМ им. М. В. Келдыша, 2015. - С. 18-23.
9. Ложкин, С. А. О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам /
С. А. Ложкин, Б. Р. Данилов // Прикладная математика и информатика. - 2011. -№ 39. - С. 107-129.
References
1. Lozhkin S. A., Danilov B. R. Vestnik Moskovskogo universiteta. Ser. 15. Vychislitel'naya matematika i kibernetika [Bulletin of Moscow University. Series 15. Calculus mathematics and cybernetics]. 2013, no. 4, pp. 25-33.
2. Danilov B. R. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2014, no. 3 ( 31), pp. 78-100.
3. Lupanov O. B. Problemy kibernetiki [Problems of cybernetics]. Issue 23. Moscow: Nauka, 1970, pp. 43-82.
4. Lozhkin S. A. Matematicheskie voprosy kibernetiki [Mathematical problems of cybernetics]. Issue 6. Moscow: Nauka, 1996, pp. 189-214.
5. Lozhkin S. A. Vestnik Moskovskogo universiteta. Ser. Matematika. Mekhanika [Bulletin Moscow University. Series: Mathematics. Mechanics]. 1996, no. 2, pp. 80-82.
6. Lozhkin S. A. Osnovy kibernetiki [Fundamentals of cybernetics]. Moscow: Izd. otdel f-ta VMiK MGU, 2004, 251 p.
7. Yablonskiy S. V. Vvedenie v diskretnuyu matematiku: ucheb. posobie dlya vuzov [Introduction into discrete mathematics: tutorial for universities]. 4th ed. Moscow: Vysshaya shkola, 2003, 384 p.
8. Danilov B. R. Materialy X molodezhnoy nauchnoy shkoly po diskretnoy matematike i ee prilozheniyam (Moskva, 6-8 oktyabrya 2015 g.) [Proceedings of X youth scientific school on discrete mathematics and application thereof (Moscow, 6-8 October 2015)]. Moscow: IPM im. M. V. Keldysha, 2015, pp. 18-23.
9. Lozhkin S. A., Danilov B. R. Prikladnaya matematika i informatika [Applied mathematics and informatics]. 2011, no. 39, pp. 107-129.
Данилов Борис Радиславович
младший научный сотрудник, Московский государственный университет имени М. В. Ломоносова (Россия, г. Москва, Ленинские горы, 1)
Danilov Boris Radislavovich
Research assistant, Lomonosov Moscow State University (1 Leninskie gory street, Moscow, Russia)
E-mail: [email protected]
УДК 519.714 Данилов, Б. Р.
Об одновременной оптимизации формул по сложности и задержке на наборах в модели с задержками соединений между элементами /
Б. Р. Данилов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2015. - № 4 (36). - С. 55-74.
