О тестах относительно локальных линейных слипаний переменных в булевых функциях Текст научной статьи по специальности «Математика»

Математическое моделирование. Оптимальное управление Вестник Нижегородского университета им. Н.И. Лобачевского, 2012, № 5 (2), с. 153-158

УДК 519.718

О ТЕСТАХ ОТНОСИТЕЛЬНО ЛОКАЛЬНЫХ ЛИНЕЙНЫХ СЛИПАНИЙ ПЕРЕМЕННЫХ В БУЛЕВЫХ ФУНКЦИЯХ

© 2012 г. Е.В. Морозов, Д.С. Романов

Московский госуниверситет им. М.В. Ломоносова

morozov-msu@yandex.ru, romanov@cs.msu.ru

Поступила в редакцию 10.09.2012

Доказываются нетривиальные оценки функций Шеннона длины проверяющего теста (на уровне порядка роста) и длины диагностического теста (на уровне асимптотики при соблюдении ряда условий) относительно локальных Ажратных линейных слипаний переменных в булевых функциях.

Ключевые слова: булева функция, слипание переменных, проверяющий тест, диагностический тест, функция Шеннона длины теста.

Вводные определения

Пусть n, k, t - натуральные числа (2 < k < п,

2п

2 < t < 2 ), /(хп) - булева функция, формаль-

но зависящая от переменных х1,...,хп, и

Ф = Фt(yk) = {фг(У*) Iг = !>■■ ■,0 - система попарно неравных булевых функций к переменных y1,y2, ...,yn. Обозначим через 'И = (хи) систему функций, в которую

входят всевозможные функции

'VjAxn) = f(xi>->xj-i>

фг (Xj,..., х]+к_х) О. (.У. х]+к_х ),xj+k,...,xn),

к раз

где 1 < j <п-к + l,i <Е {1,...,?}.

Множество Т наборов значений переменных называется проверяющим (диагностическим) тестом относительно локальных k-кратных Ф-слипаний переменных булевой функции f (хп) тогда и только тогда, когда любая не равная fix") функция из 'F отличается от f на множестве T (соответственно, тогда и только тогда, когда любые две не равные друг другу функции из vFu{/(x”)} различаются на множестве T).

Длину теста T (число наборов в нем) будем обозначать через l(T) или |T|. Традиционным

образом введем функции Шеннона (п) и /.f ф‘" (п) длины проверяющего и диагностического (соответственно) тестов относительно локальных ^-кратных Ф-слипаний переменных

как максимум по всем булевым функциям fix") длины минимального теста требуемого типа для булевой функции/ Кроме того, введем функцию Шеннона Ldk^ct (п) длины проверяющего теста относительно локальных ^-кратных Ф-слипаний переменных как максимум по всем существенно зависящим от всех своих переменных булевым функциям f{xn) длины минимального теста данного типа для булевой функции / В случае, когда Ф есть система ф1т =ф^+1

(ук) всемозможных попарно неравных линейных функций k переменных (при

t = 2k+1), будем говорить о локальных к-крат-ных линейных слипаниях переменных функции f. Все не введенные в данной статье определения можно найти в книге [1].

В настоящей работе приводятся оценки для введенных функций Шеннона относительно локальных k-кратных линейных слипаний переменных булевой функции.

Ранее рядом авторов изучались некоторые близкие к рассматриваемым в данной работе тесты относительно источников неисправностей, воздействующих на переменные булевых функций (так называемые тесты для входов схем). Следует отметить [2], а также цикл работ В.Н. Носкова [3-6] (о тестах относительно константных неисправностей на входах схем и относительно произвольных неисправностей ограниченной кратности на входах схем), статью

Н.Н. Нурмеева [7], препринт Г.Р. Погосяна [8] (о тестах относительно константных и инверсных неисправностей на входах схем и относительно дизъюнктивных слипаний входов схем).

В настоящей статье изучаются тесты, близкие к исследуемым в статьях [9, 10].

Таблицу с 2к строками и t столбцами, состоящую из столбцов значений всех функций из Ф, обозначим через М(Ф), а поэлементное отрицание этой таблицы через М(Ф). Под под-

кубом , где а = (а1,...,а1_1), а Р=(Р;+к, ...,

Р„), будем понимать грань Гу, где у = = (а, 2,..., 2, в) (двойки стоят на местах переменных х}-,..., х}-+к_1 и обозначают произвольность значений этих переменных), то есть множество всех наборов из Вп , начинающихся с а и заканчивающихся в.

Зафиксируем число 1 (1< 1 < п _ к +1). Рассмотрим таблицу неисправностей, построенную для произвольной булевой функции /(хп) на всех (следующих в лексикографическом поряд-

ния переменных х}-,..., х ^+к_1 относительно выбранной системы функций. Если

/ (а1_10к ,рп_1 _к+1) = 0, / (а 1_11к ,р п_1 _ к+1) = 1,

то фрагмент таблицы неисправностей, связанный с проверкой переменной х1, на подкубе

В%’1 имеет вид М(Ф). Если же

ке) наборах подкуба Ва* = (а1 _\2к ,рп 1 к+1). Вектор значений функции /'(хп) на подкубе В^у обозначим через /'[В^у ]. Заметим, что

г/~ 1 _1 % к хп_ 1 _к+К /•/.... 1 _1 % к ?;п_ 1 _к+1Ч

если /(а1 \ 0 ,р у ) = /(а1 ‘,1 ,р У ) = а, то для любой функции уji вектор V11 [В^’р ] равен (а2 ) = (СТ’ . ’СТ). При этом, если существует такой булев набор 8к, что

/(а1 _1,8к,рп 1 к+1) * ст , то этот набор проверяет все функции неисправностей V 1-,1( хп),.,

V . к+1 (хп). В этом случае тройку наборов

1,2

(а 1_1’ 0к’рп_1_к+1), (11к,рп_1_к+1),

(а1 _1,8 к,р п_1 _к+1),

такую, что

/ (а1 _1,0к,р п_1 _к+1) = / (а1 _1,1к,рп_1 _ к+1) *

* / (18к’рп_1_к+1) ,

назовем замечательной тройкой для переменной х 1 булевой функции / а набор (а1 _1,8к,

рп 1 к+1) - особым набором для переменной х) булевой функции /.

Через gk (х1,..., хк) обозначим функцию х1 ©

© х2 © . ©хк .

Под проверкой переменной х относительно системы Ф будем понимать процесс построения множества наборов, обнаруживающих всевозможные линейные локальные к-кратные слипа-

= / (1,0к ,рп1к+*) = 1, / (11к ,рп1к+ *) = 0, то фрагмент таблицы неисправностей, связанный с проверкой переменной х на подкубе

Вк“’р, имеет вид М(Ф). В последних двух случаях для проверки функций неисправностей к+1 (хп) достаточно взять некоторые

1,2

к + 1 наборов куба В^ и еще один некоторый

набор. Для проверки функций неисправности

gk (х1,, хк), gk (х1,хк) © 1 достаточно взять

один произвольный набор куба В^ и еще один

к,]

некоторый набор.

Дадим несколько новых определений, связанных с классификацией векторов /[Б^у ] = = (^’...’^). Вектор называется константным,

если все его компоненты равны. Если первая компонента вектора не равна последней, то вектор будем называть вектором Г-типа, а ина-

че - вектором С-типа. Вектор называется замечательным, если он порождает замечательную тройку по Хр. Если в векторе найдутся две неравные компоненты, модуль разности номе-^к—1

ров которых есть 2 , то соответствующие

этой паре компонент входные наборы для / назовем перспективной парой. Если вектор Г-типа порождает перспективную пару, то такой вектор будем называть перспективным. Все другие векторы Г-типа назовем бесперспективными.

Два подкуба БаР и Б“ ’в

и соответствующие

им векторы /[В“1-р ] и /[В^13 ] назовем соседними, если наборы а' и а ' отличаются только последней компонентой.

О проверяющих тестах

Исследуем поведение функции Шеннона длины проверяющего теста относительно локальных к-кратных линейных слипаний переменных.

Теорема 1. ^ (п) <

п—к+1 к

•4к + 2к.

Доказательство. Пусть /(хп) - произвольная

булева функция. Организуем процесс построения проверяющего теста для /(хп) следующим образом. Будем последовательно строить множества наборов, проверяющих сначала переменную хп-к+1, затем - переменную хп-к, и т. д., наконец - переменную Х1 . Проверку каждой переменной будем называть шагом.

Под Ііп-наследованием наборов будем понимать следующий процесс добавления наборов при переходе от шага к шагу. Пусть на шагах,

связанных с проверкой переменных Хр, Хр-1 , ...,

х;-х+1, в проверяющий тест были добавлены некоторый набор П , 5 + к - 1 наборов, соседних с П по переменным Хр-5+1, Хр-5+2, ., Хр+к-1, и еще по одному какому-то набору для каждой из переменных Хр, Хр-Ь ..., Хр-5+1. Тогда для осуществления шага, связанного с проверкой переменной Хр-5, в проверяющий тест достаточно добавить набор, соседний с П по переменной Хр-5, и еще один какой-то набор. При этом набор П будем называть главным набором Ііп-наследования.

Пусть начинается очередной шаг построения теста и при этом проверяется переменная Хр. Рассмотрим различные случаи в зависимости от того, какие векторы порождаются различными

подкубами вида Б^р (для всевозможных а,в),

- далее просто «подкубами».

1. Для переменной Хр существует замечательная тройка. Тогда особый набор из нее включаем в тест, переходим к следующему шагу.

2. Замечательных троек нет, но есть перспективная пара наборов. Рассмотрим к подку-

бов Б“(1)’в(1) Б“(2)’в(2) Б“(к)’в(к) содержащих бов Бк, р , Бк, р—1 ’■■■ , Бк, р—к+1 , содержащих

эту пару. Заметим, что векторы значений функции / на всех этих подкубах неконстантные. Выберем входной набор, принадлежащий всем подкубам (главный набор Ііп-наследования), добавим в тест его и все соседние ему по компонентам Хр+к-і, ..., Хр-к+1 наборы. Если вектор

-(і) В (і)

/[Бкар-+ ] (і є{1,...’к}) — вектор Г-типа, то

так мы сможем отличить от исходной функции / все функции неисправностей, связанные с проверкой переменной Хр-к+1, кроме, быть может, одной. Добавим еще по одному некоторому набору для каждой переменной Хр-к+і (і є {1, ., к}). Так мы сможем отличить исходную функцию / от всех отличных от нее функций неисправностей, связанных с проверкой переменной

Хмт+1 (если /[Бк“(;— £”] - вектор С-типа, то следует добавлять его особый набор). Итого, сде-

лано к шагов, добавлено 3к наборов в тест. Это типичный пример Ііп-наследования.

3. Все подкубы Б“ р порождают константные векторы. В этом случае в тест добавить нечего, шаг завершен.

4. Пусть теперь среди векторов /[Бкар ]

встречаются только константные и бесперспективные, но не одни только константные.

4.1. Пусть для переменной Хр найдутся два соседних подкуба, порождающих различные бесперспективные векторы или же бесперспективный и константный векторы. Тогда на следующем шаге один из векторов значений, который «покрывается» двумя данными векторами (первая половина компонент принадлежит одному вектору, вторая половина - другому), будет либо перспективным, либо замечательным.

Выберем подкуб Бкар , соответствующий бесперспективному вектору данного шага, и добавим в тест тот набор П є Б%р3, который порождает перспективную пару наборов следующего шага, а также к соседних с П по переменным Хр, ., Хр+к-і наборов из этого подкуба и еще один набор для проверки переменной Хр . Затем выберем еще к подкубов, содержащих перспективную пару наборов следующего шага, и проведем в итоге к + 1 шаг с Ііп-наследованием (как в п. 2), - тогда, добавив в тест 3к + 2 набора, завершим к + 1 шаг.

4.2. Пусть для Хр есть только такие соседние подкубы, которые порождают либо равные бесперспективные векторы, либо константные векторы, но не только равные константные векторы. Тогда на данном шаге добавим к + 2 набора, необходимые для проверки переменной Хр , а на следующем один из векторов, покрываемый соседними различными константными векторами, будет перспективным. Проведем еще к шагов с Ііп-наследованием (как в п. 2). Итого, завершен к + 1 шаг, добавлено 4к + 2 набора в тест.

4.3. Пусть теперь среди векторов для Хр встречаются только соседние равные бесперспективные векторы и соседние равные константные векторы. Заметим, что при «склейке» равных константных векторов (порожденных соседними подкубами) на следующем шаге получаются равные константные векторы. При «склейке» равных бесперспективных векторов (порожденных соседними подкубами) на следующем шаге получаются два вектора, у каждого из которых первая половина значений равна второй. Эти векторы могут быть константными,

бесперспективными или замечательными. Возможны следующие варианты.

4.3.1. Можно провести некоторое количество р шагов с Ііп-наследованием, такое, что главный его набор п на всех этих шагах будет лежать в подкубах, порождающих бесперспективные или замечательные векторы, а на шаге р + 1 набор а будет лежать в подкубе, порождающем перспективную пару. Тогда следует выполнить еще к шагов с Ііп-наследованием (как в п. 2), выбирая за главный набор нового Ііп-наследования один из наборов перспективной пары. Итого, выполнено р + к шагов, добавлено 4к + 2р наборов в тест.

4.3.2. Пусть при любом таком Ііп-насле-довании, что главный его набор п на всех шагах лежит в подкубах, порождающих бесперспективные или замечательные векторы, оказывается, что на следующем шаге п лежит в под-кубе, порождающем константный вектор. Пусть р - максимальное число шагов в таком Ііп-наследовании. Если р > к, то зар = к + q шагов в тест добавлено к + 2р = 3к + 2q наборов. Пусть теперь р < к и на (р + 1)-м шаге проверяется переменная Хр-р.

4.3.2.1. Допустим, есть подкуб Б^ рв— , порождающий неконстантный вектор. Тогда в этом подкубе найдутся два набора п', П", соседних по какой-то переменной Хр-р + і-1 (і є {1, 2, ., к}) и таких, что /(ПО ^ /(п"). Еслир' -р + + і - 1 <р', то на шаге р - і + 2 наборы п' и п'' -перспективная пара. Далее можно провести, как в п. 2, еще к шагов Ііп-наследования: сделан р - і + к + 1 шаг, в тест добавлено 4к + 2(р - і) наборов. Если жер - р + і - 1 >р', то можно было бы провести р + 1 шаг такого Ііп-наследования с главным набором п', что на всех этих шагах п' лежит в подкубах, порождающих неконстантные векторы. Тогда либо имеет место случай, отличный от 4.3.2 (и рассмотренный выше), либо приходим к противоречию с максимальностью выбора р.

4.3.2.2. Теперь допустим, что переменная Хр-р непроверяема, но некоторая переменная Хр-і, р < І, проверяема (І выбирается наименьшим натуральным из возможных). Тогда у переменной Хр-І+і существует пара соседних различных константных векторов. В этом случае в тест за не менее чем р + 1 + к шагов добавится не более чем 4к + 2р наборов.

Легко видеть, что если проверка переменной Х1 не прерывает никакую из описанных выше серий шагов, то за каждые к шагов в тест добав-

ляется не более чем 4к наборов. Общее число наборов в тесте при этом не превзойдет |~(п _к + 1)/к"|-4к. Если проверка переменной х1 прервет последнюю серию шагов, то к полученной в предыдущем случае верхней оценке следует добавить еще 2к наборов. Построение теста и доказательство теоремы завершено.

Теперь докажем, что, рассматривая только

функции /(хп) без фиктивных переменных, верхнюю оценку можно в ряде случаев понизить.

Теорема 2. Пусть п, к е N 2 < к < п. Тогда п_к+1

Ьак%а (п) < 2п +

к

(к + 4) + 6.

Доказательство. Разобьем процесс построения теста на две части. В первой в качестве системы функций-слипаний фг- (ук) рассмотрим систему двух функций {у1 ©...©Ук,У1 © ... ©ук © 1} . Пусть /(х1 ,...,хп) — произвольная

булева функция. Организуем процесс построения теста для / аналогично предыдущей теореме, но вместо /ш-наследования будем использовать /ш*-наследование, заключающееся в следующем. Пусть на шагах, связанных с проверкой переменных х1, х1-1, ..., х1--5+1, в проверяющий тест были добавлен^1 некоторый набор П и еще по одному какому-то набору для каждой из переменных х/, х1-1, ., х1—+1. Тогда для осуществления шага, связанного с проверкой переменной х1-х, в проверяющий тест достаточно добавить еще один какой-то набор. При этом набор П будем называть главным набором /ш*-наследования.

Поскольку все рассматриваемые в этой части доказательства случаи буквально соответствуют случаям из доказательства теоремы 1, опустим их перебор, заметив, что если проверка переменной х1 не прерывает никакую из серий шагов одного случая, то за каждые к шагов в тест добавляется не более чем 4 + к наборов. Общее число наборов, добавленных в тест, при этом не превзойдет |~(п _ к +1)/ к| (4 + к). Если проверка переменной х1 прервет последнюю серию шагов, то к полученной в предыдущем случае оценке следует добавить еще 6 наборов.

Теперь рассмотрим в качестве системы

функций-слипаний фг- (ук) систему всех линейных функций к переменных, у каждой из кото-р^1х есть хотя бы одна фиктивная переменная. Так как функция / существенно зависит от всех своих переменных, то для каждой ее переменной существует пара соседних наборов, на ко-

торой значения функции различаются. Заметим, что если слипание произошло, то хотя бы одна переменная получившейся функции неисправности стала фиктивной, и на каждой паре соседних наборов ее значения совпадают. Таким образом, для построения проверяющего теста к построенному ранее множеству наборов следует добавить проверяющий тест существенности переменных функции / в котором не более 2п наборов.

Итого, получаем верхнюю оценку 2п -_[(п _ к +1)/ к| (4 + к) + 6 . Теорема доказана.

Замечание. В.Н. Носков [4] установил точное значение функции Шеннона -О(п) длины проверяющего теста относительно константных неисправностей переменных в булевых функциях (А е N и {0}):

I"2п _ 2А +1, если 2а_1 + А < п < 2А + А,

°(п) Ч м

[ 2п _ 2А, если п = 2 + А.

С использованием этого результата оценку в последней теореме можно понизить не менее чем на 21о§2 (п - 1о§2 п - 1) - 1.

Теорема 3. Каждая из функций Шеннона

(п), ЦкФ (п) не меньше величины п - к +

к ’Ф'

Ііп

+1, что при любом 1 е {к, ..., п - к + 1}: Х(11 _1,0,1п_1) = к, и что для всех остальных наборов ае Вп : х(а) < к _ 1. Теперь легко видеть, что для выполнения неравенства ./(Т) > (п - к + + 1)(к + 2) необходимо (поскольку J(Т) <

< (п _ к +1) + (п _ к)к + (| Т | _(п _ к +1)) х (к _ 1)), чтобы

|Т |> (п _к+1) +

(п _ к+1)( к + 2) _ (п _ к + 1)к _ (п _ к + 1)

к — 1

—п—к +1 +

п — к +1 к — 1

Из теорем 1-3 вытекает

Теорема 4. Пусть п, к е N 2 < к < п, п ^<», п - к ^ ж>. Тогда порядок роста каждой из

+ 1 + Г(п - к + 1)/(к - 1)1 .

Доказательство. Будем рассматривать

функцию к(хп) = х1 х2 • • • хп. Пусть Т — некоторое неупорядоченное множество наборов, 1 < 1 <

< п - к + 1. Всякий булев набор вида (1, ..., 1, а^, ..., а1>к-1, 1, ..., 1) назовем х-набором. Пусть Х(а) есть число тех переменных х^, для которых набор ае Вп является х^-набором. Пусть, далее, V (Т) есть число различных х,-наборов, входящих во множество Т. Нетрудно показать, что если найдется/ е {1, 2, ., п - к + 1}, такое, что V' (Т) < к + 2, то Т не является полным проверяющим тестом относительно локальных линейных к-кратных слипаний переменных для Ь(хп). Обозначим V 1-(Т) = 1 (Т), к + 2). То-

гда ясно, что для того, чтобы множество Т было проверяющим тестом относительно линейных локальных к-кратных слипаний переменных,

п_к+1

необходимо, чтобы величина I(Т) =

V1 (Т)

1=1

была бы не меньше (п - к + 1)(к + 2). А следовательно, и величина J (Т) = 1х(а) должна быть

аеТ

не меньше (п - к + 1)(к + 2) (так как

п _к+1

J(Т) = I V1 (Т)). Заметим, что х(1п) = п _ к +

1=1

функций Шеннона (п), ікефс (п) есть

0(п - к).

О диагностических тестах

Исследуем теперь поведение функции Шеннона длины диагностического теста относительно локальных к-кратных линейных слипаний переменных.

В работе [3] доказана следующая теорема.

Теорема 5. Пусть п, к є N 2 < к < п . Пусть, далее, І(Т) - длина минимального диагностического теста для матрицы, составленной из всех столбцов системы Т. Тогда начиная с некоторого п имеет место неравенство

4г’ФТ (п) > (і (т )—1)(п—к+1).

В случае линейных локальных слипаний І(ф ) = к + 1. Поэтому получаем нижнюю оценку функции Шеннона ЬЛа:іпп (п) > к(п — к +1).

к ’Ф

Лемма (см. [2]). Если строки теста Т в матрице М линейно зависимы относительно операций покоординатного сложения строк по модулю 2 и умножения строки на число 0 или 1, то тест Т не является тупиковым.

Через М (Ф) будем обозначать матрицу, полученную из М(Ф) добавлением снизу строки из единиц, через w(M) - максимальное число линейно независимых строкМ (рангМ).

Теорема 6. Пусть п, к є N 2 < к < п. Тогда имеет место неравенство Рг“‘8п (п) < (к +1) х

к ’Ф

х(п - к + 1) + 1.

Доказательство. Образуем линейное пространство Р’ как линейную оболочку всех строк

матрицы М+(Ф1г”) относительно операций покоординатного сложения строк по модулю 2 и умножения строки на число 0 или 1, а линейное пространство P” - как пространство из двух элементов 0, 1 относительно тех же операций.

Ясно, что dim P' = w(M+ (Фйи)), dim P" = 1. Рассмотрим произвольную булеву функцию f (xn). Легко видеть, что каждая строка таблицы неис-

/(л р'(1) £■(n-k+1)\ г\

правностеи имеет вид (У,^ ), где У е

е P”, |( j) е P' (j = 1,n - k +1). Линейную оболочку всех строк такого вида обозначим через P. Пусть линейное пространство P0 состоит из

/1 %2k+1(n—k+1) \ /п %2k+1(n—k+1)\

двух векторов (1, 0 v ;) и (0,0 v ;), а линейное пространство Pj - из векторов

(0,02k+1(j—1 02k+1(n—j)) deP', j=1,n—k+1).

Ясно, что P = P0 © Pj © ... © Pn—k+j (прямая сумма подпространств), а значит,

n—k+1

dim P = £ dim P} = dim P” +

j=0

n—k+1

+ £ dim P' = 1 + w(M + (Фйп ))(n — k +1).

j=1

Так как минимальный диагностический тест для f(Xj,...,xn) относительно локальных k-кратных слипаний переменных является минимальным (и, значит, тупиковым) для таблицы неисправностей, то, в силу произвольности выбора f (Xj,., xn), по лемме имеем:

Ld,agn (n) < W(M + (ф*«" ))(n — k + 1) + 1.

k ,Ф

Утверждение теоремы теперь следует из того, что w(M+ (Фйп )) < dim P = k +1.

Из теорем 5 и 6 получаем утверждение.

Теорема 7. Пусть n, k е N, 2 < k < n, n ^ да, k ^ да, k = o(n). Тогда Ldiag,n. (n) = k(n — k) x

k ,Ф

x(1 + o(1)).

Авторы выражают глубокую благодарность профессору Сергею Андреевичу Ложкину за обсуждение работы и ценные замечания.

Работа выполнена при финансовой поддержке грантов РФФИ № 10-01-00768-а и № 12-01-00964-а.

Список литературы

1. Редькин Н.П. Надежность и диагностика схем. М.: Изд-во МГУ, 1992. 192 с.

2. Соловьев Н.А. Тесты (теория, построение, применение). Новосибирск: Наука, СО, 1978. 192 с.

3. Носков В.Н. Диагностические тесты для входов логических устройств // Дискретный анализ. Новосибирск: ИМ СО АН СССР, 1974. № 26. С. 72-83.

4. Носков В. Н. О сложности тестов, контролирующих работу входов логических схем // Дискретный анализ. Новосибирск: ИМ СО АН СССР, 1975. № 27. С. 23-51.

5. Носков В.Н. О длинах минимальных единичных диагностических тестов, контролирующих работу входов логических схем // Методы дискретного анализа в синтезе управляющих систем. Новосибирск: ИМ СО АН СССР, 1978. № 32. С. 40-51.

6. Носков В.Н. Об универсальных тестах для диагностики одного класса неисправностей комбинационных схем // Методы дискретного анализа в решении экстремальных задач. Новосибирск: ИМ СО АН СССР, 1979. № 33. С. 41-52.

7. Нурмеев Н. Н. Об универсальных диагностических тестах для одного класса неисправностей комбинационных схем // Вероятностные методы и кибернетика. Вып. 18. Казань: КазГУ, 1982. С. 73-76.

8. Погосян Г.Р. О проверяющих тестах для логических схем // М.: Изд-во ВЦ АН СССР, 1982. 57 с.

9. Кузнецов И.А., Романов Д.С. О полных проверяющих тестах относительно локальных слипаний переменных в булевых функциях // Уч. зап. Казан. гос. ун-та. Сер. Физико-математические науки. 2009. Т. 151, кн. 2. С. 90-97.

10. Романов Д. С. О диагностических тестах относительно локальных слипаний переменных в булевых функциях // Прикладная математика и информатика. Тр. факультета Вычислительной математики и кибернетики МГУ им. М.В. Ломоносова. Вып. 36. М.: МАКС Пресс, 2010. С. 91-98.

ON THE TESTS FOR LOCAL LINEAR CONGLUTINATIONS OF VARIABLES IN BOOLEAN FUNCTIONS

E. V. Morozov, D.S. Romanov

Nontrivial bounds are proved for Shannon functions for checking test length (within the order of growth) and for diagnostic test length (within the asymptotics under certain conditions) for local k-adic linear conglutinations of variables in Boolean functions.

Keywords: boolean function, conglutination of variables, checking test, diagnostic test, test-length Shannon function.