Научная статья на тему 'Построение классов совершенно уравновешенных булевых функций без барьера'

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

CC BY
187
71
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
БУЛЕВЫ ФУНКЦИИ БЕЗ ЗАПРЕТА / СОВЕРШЕННО УРАВНОВЕШЕННЫЕ ФУНКЦИИ / БАРЬЕРЫ БУЛЕВЫХ ФУНКЦИЙ / ФИЛЬТРУЮЩИЙ ГЕНЕРАТОР / КРИПТОГРАФИЯ / PERFECTLY BALANCED FUNCTIONS / BARRIERS OF BOOLEAN FUNCTIONS / FILTERING GENERATOR / CRYPTOGRAPHY

Аннотация научной статьи по математике, автор научной работы — Смышляев Станислав Витальевич

Из результатов предыдущих работ, посвященных классу совершенно уравновешенных булевых функций (булевых функций без запрета), можно сделать вывод, что в данном классе особый интерес представляет подкласс функций без барьера. Ранее было доказано, что он не является пустым, тем не менее никаких оценок его мощности, отличных от тривиальных, предложено не было. В настоящей работе рассматриваются методы построения совершенно уравновешенных булевых функций без барьера, основанные на специального вида операции композиции булевых функций и на важных свойствах данной операции. Как следствие применения одного из методов получена нижняя оценка числа совершенно уравновешенных функций без барьера n переменных: 22n-3 -n+2.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

From the results of the previous papers dedicated to the set of perfectly balanced Boolean functions, one can conclude that the subset of Boolean functions without barriers is of prior interest in this set. Such a subset was considered previously, and the nonemptiness of it was proven, but no nontrivial estimations of the cardinality of this subset were found. In the current paper, some methods for constructing perfectly balanced Boolean functions without barriers are considered. They are based on the composition of Boolean functions of a special form and on certain important properties of such composition.

Текст научной работы на тему «Построение классов совершенно уравновешенных булевых функций без барьера»

2010 Теоретические основы прикладной дискретной математики №3(9)

УДК 519.7

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

С. В. Смышляев

Московский государственный университет им. М. В. Ломоносова, г. Москва, Россия

E-mail: smyshsv@gmail.com

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

Ранее было доказано, что он не является пустым, тем не менее никаких оценок его мощности, отличных от тривиальных, предложено не было. В настоящей работе рассматриваются методы построения совершенно уравновешенных булевых функций без барьера, основанные на специального вида операции композиции булевых функций и на важных свойствах данной операции. Как следствие применения одного из методов получена нижняя оценка числа совершенно уравновешенных функций без барьера n переменных: 22" -n+2.

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

Введение

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

В работе [4] было введено понятие свойства наличия у булевой функции барьера, достаточного для совершенной уравновешенности; были доказаны некоторые утверждения о данном классе функций. В частности, был получен результат о существовании совершенно уравновешенных функций без барьера, однако каких-либо нетривиальных оценок числа таких функций получено не было.

Изучение свойств функций с барьером было продолжено в [5, 6], и из результатов данных работ (а также работы [7]) следует наличие определенных криптографических слабостей у таких функций. Ввиду этих результатов особый интерес стала представлять задача построения широких классов совершенно уравновешенных функций без барьера.

Благодаря результатам работ [8, 9] некоторые примеры таких классов удалось получить [5, 10, 11], однако общих методов построения предложено не было, так же как и каких-либо оценок мощности таких классов.

В настоящей работе на основе общей схемы построения совершенно уравновешенных функций без барьера по определенным классам функций с барьером (классам функций с левым барьером без правого барьера) приводится важный для теорети-

хРабота поддержана РФФИ (проект №09-01-00653-а).

ческих исследований класс таких функций, явно заданных в полиномиальной форме (очень узким подклассом которого является представленный в [5] класс).

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

В заключительной части работы приводится ряд новых результатов о совершенно уравновешенных функциях, в частности доказывается существование при произвольном п не менее 22" -п+2 совершенно уравновешенных булевых функций п переменных без барьера.

1. Основные определения и обозначения

Для множества двоичных наборов длины п будем использовать обозначение Уп = = {0,1}п. Через Тп будем обозначать множество булевых функций от п переменных.

Пусть п,т Е N f Е Тп. Рассмотрим систему булевых уравнений:

f (ж^жз+ь ... ,х8+п-1) = Уз, 5 = 1, 2,..., т. (1)

Обозначим для f Е Тп через Ут следующее отображение из ^^+п-1 в Ут

Ут(ж1, ж2> . . . , жт+п-1) (У (ж1, . . . , жп) , У (ж2, . . . , жп+1) , . . . , f (жm, . . . ,жт+п-1)). (2)

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

Определение 1 [2]. Булева функция У Е Тп называется функцией без запрета (функцией дефекта нуль), если соотношение

(ут)-1(у) = ^

выполняется для любого т Е N и любого у Е У^.

Определение 2 [2]. Булева функция У Е Тп называется совершенно уравновешенной, если соотношение

й(Ут)-1(у) = 2п-1

выполняется для любого т Е N и любого у Е У^. Множество совершенно уравновешенных функций из Тп обозначим через РВп.

Введем понятие барьера булевой функции, тесно связанное с понятием совершенной уравновешенности.

Определение 3 [4]. Булева функция У Е Тп называется функцией с правым барьером длины Ь, если система уравнений

У(Ж1 ,Ж2, . . . ,Жп) = У(¿1 ,¿2, . . . ,*п),

У(Ж2,Жз, . . . ,Жп+1) = У(¿2,23, . . . , ¿п+1),

... (3)

У (жЬ-1, жЬ, . . . , жЬ+п-2) У (2Ь-1, ¿¿, . . . , 2Ь+п-2) , ж1 ¿1, . . . , жп-1 2п-1, жп ° 2п 1

имеет решение, а система

/ (Х ,Х2, . . . ,Жга) = / (^1 ,^2, . . .,£„),

/(Х2,Хз,... ,Жга+і) = /(^2,^3, ... ,гга+і),

1 (х6—1, . . . , х6+га—2) 1 (2'Ь—1, . . . , ^Ь+га— 2) ,

1 Х6+1, . . . , х6+га—1) 1 (^Ь, ^6+1, . . . , ^Ь+га—1) ,

1^1 = ¿1,

іхга—1 ^га—1,хп

1

решений не имеет.

Булева функция У Е ^п называется функцией с левым барьером длины Ь, если У/(ж1,... , жп) = У(жп,... , ж1) является функцией с правым барьером длины Ь.

Булева функция У Е ^п имеет барьер, если она имеет правый или левый барьер, или оба сразу. При этом длиной барьера функции называется соответственно длина правого барьера, левого барьера или меньшая из длин барьеров.

Замечание 1. Нетрудно заметить, что наличие правого (левого) барьера длины 1 означает линейность функции по последнему (первому) аргументу.

Для длины правого (левого) барьера функции У будем использовать обозначение Ь/ (Ь/). Случай отсутствия у функции У правого (левого) барьера будем формально обозначать Ь/ = то (Ь/ = то соответственно).

Отметим, что для всех утверждений, в которых упоминается длина правого барьера некоторых функций, могут быть очевидным образом построены аналоги с использованием понятия левого барьера. Ввиду этого далее будем говорить только о правых барьерах функций.

2. Предварительные результаты

Утверждение 1 [2,4]. Следующие преобразования множества ^п оставляют инвариантным множество РВп:

1°. 7с 2°. 71 3°. 72

: У(ж1,...,жп) ^ У(ж1,...,жп) 0 1;

: У(ж1,..., жп) ^ У(ж1 0 1,..., жп 0 1);

: У(ж1,... ,Жп) ^ У(жп,... ,Ж1).

Для исследования свойств совершенно уравновешенных функций важен следующий критерий.

Теорема 1 [2, 12]. Пусть п Е N и У Е ^п. Тогда следующие утверждения эквивалентны:

— У является совершенно уравновешенной;

— У является функцией без запрета;

— не существует двух различных двоичных последовательностей

к

(х1, х2,..., хг), z = (г1, £2,..., гг) Є Уг, г ^ 2п — 1,

таких, что

Х1 = ¿1,Ж2 = ^2,

іхга—1 ^га—1; хг—га+2 ^г—га+2, хг—га+3

Уг—га+1(х) Д—„+1^.

^г—п+3,

, Хг = ^г;

Теорема 2 [4]. Наличие барьера у булевой функции является достаточным условием совершенной уравновешенности функции.

Замечание 2. В работе [4], кроме того, было показано, что наличие барьера не является необходимым условием совершенной уравновешенности.

Для построения классов совершенно уравновешенных булевых функций удобно пользоваться следующей конструкцией. Пусть д Е ^ш, к Е ^п. Тогда определим функцию У = д [к] Е ^ш+п-1 следующим образом:

У (ж1, • • • , жт+п-1) д [к](ж1, • • • , жш+п-1)

= д(к(ж1, • • • ,жп), к(ж2, • • • ,жп+1), • • •, к(жт, • • •

, жт+п-1)) •

Для данной конструкции верны следующие два утверждения.

Теорема 3 [8]. Пусть д Е ^ш, к Е Функция У = д[к] Е ^ш+п-1 совершенно уравновешена тогда и только тогда, когда функции д и к совершенно уравновешены.

Теорема 4 [9]. Пусть д Е ^ш, к Е ^п, У = д[к]. Тогда выполнено соотношение шах(6/, Ь/} ^ Ь/ ^ 6^ + Ь/ — 1.

3. Основные результаты

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

Лемма 1. Пусть д, к совершенно уравновешены и принадлежат некоторому классу функций без правого барьера или получены из них с помощью преобразования 71. Тогда функции д [к72 ] и д72 [к] являются совершенно уравновешенными функциями без барьера.

В следующем утверждении представлен класс совершенно уравновешенных функций без правого барьера, явно заданных в полиномиальной форме. Доказательство не отличается существенно от доказательства аналогичного утверждения для узкого подмножества данного класса, приведенного в работе [5].

Теорема 5. Пусть

У = ж1 0 жш1 жтх + 1

• к^) (жш1+2, жш1+3, • • • , жп) 0 0 жш2 жш2+1 •

к(2)( ЖШ2+2, ЖШ2+3, • • • , жп) 0 • • • 0

0 жш^жш^+1 • к^ ^ (жш^ +2, жш^ +3, • • • , жп) ,

где к(г) Е ^п-ш4-1, г = 1, 2, • • • , к, — произвольные булевы функции; ш*+1 ^ + 2,

г = 1, 2, • • •, к — 1; т1 ^ 2; тк ^ п — 1. Тогда если среди функций к(г), г = 1, 2, • • • , к, нечетное число функций принимает на единичном наборе значение 1, то У является совершенно уравновешенной функцией без правого барьера.

Для изложения метода, позволяющего строить значительно более широкие классы совершенно уравновешенных булевых функций без правого барьера, нам понадобится понятие графа сдвигов булевой функции. Данное понятие было введено в [4]; здесь приведем его в несколько другой форме, более удобной для требуемых построений.

Определение 4. Дополненным графом сдвигов функции У Е ^п называется ориентированный граф Г/ = (V, Е), = 22п-2 (без кратных ребер, с петлями), вершины

которого поставлены во взаимно однозначное соответствие упорядоченным парам двоичных наборов длины п — 1, причем для всяких ж1, • • •, жп-1, г1, • • •, £п-1, и1, • • •, ип-1, ^1, • • •, ^п-1 верно, что дуга

ж1 , • • • , жп-1 \ ^ ^ и1, • • • , ип—1

^1 ,•••,2^- 1 I V ^•••^п- 1

присутствует в графе тогда и только тогда, когда выполнено следующее условие:

/ (ж2, • • • , жп-1) (и1, • • • , ип—2) ,

|(^2, • • • ,^п-1) = (^1, • • • , г>п-2)-

// ж1, • • • , жп—1 \ / ж2, • • • , жп \ \

При этом каждая дуга —М помечается значением

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

\ \ • • • , ^п— 1 / \ ^, • • • , ^п / /

У(ж1,ж2, • • •, жп—1,жп) 0 У(г1, г2, • • • , гп— 1, гп). Каждому ориентированному пути в дополненном графе сдвигов Г/ естественным образом соответствует пара двоичных последовательностей, составленных из меток вершин.

Через I/ С Г/ обозначим подграф дополненного графа сдвигов, отвечающий множеству пар равных наборов длины п — 1; через Г£ — граф, полученный из графа Г/ удалением всех ребер, лежащих внутри I/• Г£ называется графом сдвигов функции У.

С использованием теоремы 1 легко доказать следующее утверждение.

Лемма 2. Функция У совершенно уравновешена и не имеет правого барьера в том и только в том случае, когда выполнены следующие условия:

1) в Г/ нет пути ненулевой длины по дугам, помеченным нулем, с началом и концом в подграфе I/;

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

Учитывая данное утверждение, опишем общую схему метода построения булевых функций из РВп без правого барьера. Рассмотрим граф Г*п), представляющий собой граф сдвигов произвольной булевой функции из ^п без пометок дуг; аналогично введем графы Г(п) и 1(п). Для построения множества графов сдвигов Г£ некоторого класса совершенно уравновешенных булевых функций без правого барьера производятся следующие действия:

1) выделяется некоторый цикл в графе Г*п^;

2) выделяется некоторая вершина в графе 1(п) и выбирается некоторый путь из этой вершины в выделенный цикл по дугам графа Г*п);

3) выделяется некоторое сечение графа Г*п), пересекающее все пути ненулевой длины, имеющие начало и конец в подграфе 1(п);

4) производится частичная разметка дуг Г*п) таким образом, что:

— все дуги выделенного цикла становятся помечены нулями;

— все дуги выбранного пути от выделенной вершины в цикл становятся помечены нулями;

— все дуги выбранного сечения становятся помечены единицами;

— остается возможной корректная разметка оставшихся дуг графа до графа сдвигов некоторой булевой функции.

Выбор и соответствующая разметка цикла в графе Г*п) и пути до этого цикла гарантируют отсутствие правого барьера у любой функции У, до графа сдвигов которой разметкой оставшихся дуг можно достроить получившийся граф; разметка сечения гарантирует совершенную уравновешенность любой такой функции.

Таким образом, центральным вопросом становится возможность разметить оставшиеся дуги графа Г*п) так, чтобы получить граф сдвигов некоторой булевой функции У.

Определение 5. Пусть Г*п) = (V, Е*). Разметка дуг графа Г*п) ^: Е* м {0,1}

называется корректной, если она удовлетворяет следующим условиям:

1) для любых х1, х2,... , хп, 2^ 22,... , 2п верно равенство

/V Х1, . . . ,ж„— 1 \ _^ / Х2, . . . ,Хп \\ = /V 21, . . . ,2п— 1 \ _^ / 22, . . . ,2„ \\ ;

\\ 21 ,...,2п— 1) V 22, ... , 2га у у Х1, . . . ,Ж„— 1) ^ Ж2,...,Ж^у ;

2) при любых х1, х2,... , хп, и1, и2,... , ип, 21, 22,... , 2п верно равенство

{ ( Ж1,...,Жга— 1 \ ____^ / Х2,...,Ж^\ =

^ V V 21, . . . ,2п—1 ) у 22, . . . , 2га у )

2п— 1 N __^ / 22,..., 2п \\ // Ж1,...,Жга— 1 \ _^ / Х2, . . . , Ж„ \ \

ип— 1 ) у и2, . . . , у у \ \ и 1, . . . , ип— 1 у у и2, . . . , у у

Нетрудно доказать следующее утверждение.

Лемма 3. Граф Г*п) с пометками на дугах, соответствующими разметке <^, является графом сдвигов некоторой булевой функции / (а точнее, ровно двух, отличающихся только свободными членами их полиномов) тогда и только тогда, когда ^ — корректная разметка.

Таким образом, по корректной разметке ^ графа Г*п) мы можем однозначно (если, например, дополнительно потребуем /(0,0,... , 0) = 0, т. е. / Є Тс) восстановить функцию /, такую, что Г* совпадает с размеченным в соответствии с ^ графом Г*п).

Чтобы выделять просто устроенные классы корректных разметок, будем использовать следующее понятие.

Определение 6. Пусть п Є N О = (У',Е') — неориентированный граф (без кратных ребер и петель) на 2п вершинах, вершины которого поставлены во взаимно однозначное соответствие наборам из ^ и ребрам которого приписаны значения 0 и 1 в соответствии с функцией ф: Е' м {0,1}. Через </5(с,^>) будем обозначать частичную разметку графа Г*п), полученную в соответствии со следующим правилом: для любых ж1, х2,... , хп, 21, 22,... , 2п, таких, что в графе G есть ребро е между вершинами (ж1, . . . , Хп) и (21, . . . , 2п), выполнено

( ( Ж1,...,Жга— 1 \ / Х2 ,...,Жга \\ и ,

^1,- -,2„_1 ) ,2,...,2„ )) = Ф(Є)-

Лемма 4. Пусть О = (V', Е') — неориентированный граф без петель и кратных ребер на 2п вершинах, вершинам которого поставлены во взаимно однозначное соответствие наборы из . Частичная разметка </5(с,^>) при любом выборе функции ф: Е' м {0,1} однозначным образом дополнима до корректной разметки графа Г*п) (в таком случае будем обозначать ее через ^(с,^)) тогда и только тогда, когда О является деревом.

Следствие 1. С учетом лемм 3 и 4 легко получить, что если граф О = (У',Е') удовлетворяет условиям леммы 4, то при любом выборе функции ф: Е' м {0,1} пара (О, ф) однозначно определяет пару булевых функций {/, / ф 1}.

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

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

. г\2п 1

ющий условиям леммы 4, определяет взаимно однозначное соответствие между 22 —1 функциями ф, определяющими разметку графа О, и функциями / Є ^П, лежащими в классе Тс.

Замечание 4. Пусть О удовлетворяет условиям леммы 4. Исходя из определений 4-6, легко построить алгоритм вычисления значений функции / по паре (О, ф). Для вычисления / (х) требуется

1) найти в графе О путь (единственный, так как О — дерево) из вершины (0, 0,... , 0) в вершину х;

2) вычислить значения функции ф на всех ребрах данного пути;

3) положить значение / (х) равным сумме по mod 2 всех вычисленных на предыдущем шаге значений.

Будем описывать классы булевых функций в следующих терминах. Построим граф О (являющийся деревом) на вершинах, соответствующих элементам множества ^, и частичную разметку ф графа О. Таким образом мы определим класс £(С ^) булевых функций, соответствующих всем возможным доопределениям ф до полной разметки ребер О. Покажем, как построить граф О и его частичную разметку ф так, чтобы в множество £(С ^) входили только совершенно уравновешенные функции без правого барьера.

Теорема 6. Для всякого п существует граф О, удовлетворяющий условиям теоремы 4, и частичная разметка ф этого графа, такие, что множество £(С ^) и {/ : / ф 1 Є Є ^(С ^)} состоит из 22" 1—п совершенно уравновешенных функций п переменных без правого барьера.

Доказательство. Соединим в О попарно все вершины вида (0, а2,..., ап) и (1, а2,... , ап) с помощью 2п—1 ребер. Значения ф на данных ребрах выберем равными 1, обеспечив линейность всех функций из £(С ^) по первой переменной. Далее соединим в О ребром вершины (0,1, 0,1,..., 0,1) и (1, 0,1, 0,... , 1, 0), соответствующее значение ф положим равным 0, обеспечив таким образом существование в графах сдвига Г* всех функций из £(С ^) циклов по дугам с пометкой 0. Для обеспечения отсутствия у всех функций из £(С ^) правого барьера осталось создать пути по нулевым дугам из графов // в полученные циклы в Г*. Для этого соединим в О пары вершин ((0, 0, 0,... , 0, 0), (0, 0,0,... , 0,1)), ((0, 0,0,..., 0, 0), (0, 0, 0,..., 0,1,1)), ((0, 0,0,..., 0,1), (0, 0, 0,..., 0,1,1, 0)), а затем пары ((0, 0,0,..., 0,1, 0), (0, 0, 0,..., 0,1,1, 0,1)), ((0, 0, 0,..., 0,1, 0,1), (0, 0, 0,..., 0,1,1, 0, 1, 0)), ((0, 0, 0,..., 0,1, 0,1,0), (0, 0, 0,..., 0,1,1, 0,1, 0,1)) и так далее до пары ((0, 0, 0,1, 0,1,0,1,..., 0,1, 0,1, 0), (0,1,1, 0,1, 0,1, 0,1,..., 0,1, 0,1, 0)). Все соответствующие значения ф положим также нулями. При этом пометка в графе сдвигов любой функции из $(С ^) на паре ((0, 0,1, 0,1, 0,1, 0 ..., 0, 0), (1,1, 0,1, 0,1, 0,1,..., 0,1)) станет нулевой автоматически, обеспечив путь из // в созданный цикл Г*. Легко проверить, что в О циклов не появилось, причем, чтобы достроить его до дерева, требуется в точности (2п — 1) — (2п—1 + п) = 2п—1 — п — 1 ребер, пометки на которых в частичной разметке ф фиксировать не будем.

Таким образом, все функции из £(С ^) не имеют правого барьера и имеют левый барьер длины 1 , то есть являются совершенно уравновешенными. С учетом того, что для доопределения ф требуется задать (независимым образом) 2п—1 — п — 1 значений,

С1 С\2п 1__П__1

получим, что мощность класса 0(С ^ в точности равна 22 ' , откуда и следует

требуемое утверждение. ■

Замечание 5. Для простоты при доказательстве теоремы 6 для обеспечения отсутствия правого барьера у всех функций из порождаемого класса мы явно задавали

0,1, 0,1, 0,1,..., 0,1,..

в графе сдвигов каждой функции из данного класса цикл , 1 0 1 0 1 0 1 0

проходимый по помеченным нулями дугам. Пользуясь аналогичными приемами, нетрудно доказать, что для произвольной пары периодических последовательностей, таких, что для наименьшего общего кратного Т их минимальных периодов выполняются неравенства 2 ^ Т ^ п — 3 — 2^2((п — 3)(п — 5) + 1), можно построить класс $(С^ из 22" 1 - п совершенно уравновешенных функций без правого барьера, каждая из которых в графе сдвигов содержит цикл (по помеченным нулями дугам), образованный выбранной парой, и путь к нему из подграфа // по помеченным нулями дугам.

Рассмотрим некоторые свойства описанной выше операции композиции специального вида (/ = д[к]).

Лемма 5. Пусть п € N к € ^п. Тогда к € РВп тогда и только тогда, когда ни при каком т € N не существует двух различных функций д(1), д(2) € ^т, для которых выполняется д(1)[к] = д(2)[к].

Доказательство. Если к € РВп, то, как следует из теоремы 1, при некотором т* € N существует набор z € , не принадлежащий образу отображения кт*.

Положим т = т* и рассмотрим произвольную пару функций д(1),д(2) € ^т, совпадающих на всех наборах, за исключением набора z. Нетрудно заметить, что д(1) = д(2) и д(1)[к] = д(2)[к].

Пусть теперь к € РВп, т € N д(1),д(2) — произвольная пара различных функций из ^т, /(1) = д(1)[к],/(2) = д(2)[к]. Зафиксируем набор z € ^, такой, что д(1)^) = = д(2)^). Так как функция к совершенно уравновешена, то найдется х € ^+п-1, такой, что кт(х) = z. Отсюда /(1)(х) = д(1)(кт(х)) = д(1)^) = д(2)^) = д(2)(кт(х)) = /(2)(х) и /(1) = /(2).-

Лемма 6. Пусть п € N к(1), к(2), к(3) € ^п, причем к(г) = к^ при г = ]. Пусть т € N, д € РВт, /(г) = д[к(г)], г = 1, 2, 3. Тогда по меньшей мере две из функций /(1), / , /(3) различны.

Доказательство. Очевидно, что среди функций к(1), к(2), к(3) найдутся две, к(г) и к^, г = ], совпадающие на нулевом наборе. Так как, по условию, к(г) = к^, то найдется набор х = (Х1,Х2,... ,Хп) € Уп, такой, что к(г)(х) = к(:?)(х).

Рассмотрим набор х € ^т+3п-4, х = (0,0,..., 0, Х1, Х2,..., Хп, 0, 0,..., 0). Оче-

т+п-2 т+п-2

видно, что для доказательства утверждения достаточно показать, что /т+2п-2(х) =

=ут+2п-2(х)^

Предположим противное: /т+2п-2(х) = /т+2п-2(х). Тогда выполнена следующая система (приведем общий вид системы для случая т ^ п +1):

"д(к(*) (0, 0,..., 0), к« (0, 0,..., 0),..., к« (0, 0,..., 0), к« (0, 0,..., 0, £1)) =

= д(к(^(0,0,..., 0), к(^(0,0,..., 0),..., к(^(0,0,..., 0), к(^(0,0,..., 0, £1)), д(к«(0, 0,..., 0),..., к«(0,0,..., 0, £1), к«(0,0,..., 0, £1, £2)) =

= д(к(^(0,0,..., 0),..., к(^(0,0,..., 0,£1), к(^(0,0,..., 0, £1, £2)),

д(к(г)(0, 0,..., 0),..., к(г)(0,£ь£2,... ,£п-1), к(г)(£,£2,... ,£п)) =

\ (5)

= д(к(:?)(0, 0,..., 0),..., к(:?)(0, £1, £2,..., £п-1), к(^')(£1, £2,..., £п)),

д(к«(£п, 0,..., 0), к«(0, 0,..., 0),..., к«(0, 0,..., 0)) =

= д(к(Л(£п, 0,..., 0), к(Л(0, 0,..., 0),..., к(^(0, 0,..., 0)); к«(0, 0,..., 0) = к(:/)(0, 0,..., 0), к(г) (£1, £2,..., £п) = к^ (£1 , £2,..., £п).

Нетрудно видеть, что система (5) по теореме 1 не может быть выполнена в случае совершенно уравновешенной д. Полученное противоречие с условием завершает доказательство утверждения. ■

Замечание 6. Заметим, что более сильное утверждение о том, что в случае совершенно уравновешенной д из неравенства к(1) = к(2) следует д[к(1)] = д[к(2)], вообще говоря, верным не является. Для построения контрпримера достаточно рассмотреть функции д(£1,£2) = £1 ф £2 € РВ2 и к(2) = к(1) ф 1, где к(1) — произвольная булева функция.

Теорема 7. Пусть п € N Ь € N или Ь = то. Мощность множества функций из РВп+2 с левым барьером длины Ь без правого барьера не меньше мощности множества функций из РВп с левым барьером длины Ь.

Доказательство. Нетрудно заметить, что для доказательства утверждения достаточно построить для всякого п € N отображение Фп: РВп м РВп+2, удовлетворяющее следующим условиям:

1) для всякой / € РВп верно Ь^(^) = то;

2) для всякой / € РВп верно Ь|и(^) = Ь^;

3) Фп инъективно.

Для всякой / € РВп положим Фп(/) = /[к], где к(£1,£2,£3) = £1 ф £2£3. По теореме 3 если / € РВп, то Фп(/) € РВп+2. Как следует из теоремы 5, Ь^ = то, поэтому,

как следует из теоремы 4, Ьфи(^) = то для любой / € РВп, и условие 1 выполнено.

Функция к линейна по первой переменной, то есть Ь^ =1, поэтому, по теореме 4, для всякой / € РВп выполняется соотношение тах{Ьр 1} ^ Ьфп(^) ^ Ь^ +1 — 1, Ьфи(^) = Ьр и условие 2 выполнено. Чтобы доказать, что определенное таким образом Фп является инъективным, достаточно заметить, что к € РВ3, и применить лемму 5. ■

Следствие 2. При любом п € N число функций из РВп+2 без правого барьера больше числа функций из РВп с правым барьером.

Доказательство. При п = 1, 2 данный результат можно получить непосредственно из полученной в работе [4] классификации. Пусть теперь п ^ 3. Булевых функций с правым барьером в множестве РВп ровно столько же, сколько функций

с левым барьером, каждой из которых, как показано в теореме 7, можно поставить в соответствие с помощью отображения Фп свою функцию с левым барьером без правого барьера из множества PBn+2. Учитывая при всяком n ^ 3 существование в множестве PBn+2 функций без барьера (которые, в соответствии с теоремой 4, не могут быть получены отображением Фп ни из каких функций с левым барьером), получим требуемое утверждение. ■

Непосредственно из теоремы 7 легко получить следующее утверждение.

Следствие 3. При любом n ^ 5 существует не менее 22" 3-n+2 совершенно уравновешенных булевых функций без барьера.

ЛИТЕРАТУРА

1. Hedlund G. A. Endomorphisms and automorphisms of the shift dynamical system // Math. Sys. Theory. 1969. No.3. P. 320-375.

2. Сумароков С. Н. Запреты двоичных функций и обратимость для одного класса кодирующих устройств // Обозрение прикладной и промышленной математики. 1994. Т. 1. Вып. 1. С. 33-55.

3. Anderson R. J. Searching for the Optimum Correlation Attack // LNCS. 1995. V. 1008. P. 137-143.

4. Логачев О. А., Смышляев С. В., Ященко В. В. Новые методы изучения совершенно уравновешенных булевых функций // Дискретная математика. 2009. Т. 21. Вып. 2. С. 51-74.

5. Смышляев С. В. О некоторых свойствах совершенно уравновешенных булевых функций // Материалы Четвертой Междунар. научн. конф. по проблемам безопасности и противодействия терроризму (МГУ им. М. В. Ломоносова, Москва, 30-31 октября 2008). М.: МЦНМО, 2009. С. 57-64.

6. Смышляев С. В. О криптографических слабостях некоторых классов преобразований двоичных последовательностей // Прикладная дискретная математика. 2010. №1(7). С. 5-15.

7. GolicDj.J. On the Security of Nonlinear Filter Generators // LNCS. 1996. V. 1039. P. 173-188.

8. Логачев О. А. Об одном классе совершенно уравновешенных булевых функций // Материалы Третьей Междунар. научн. конф. по проблемам безопасности и противодействия терроризму (МГУ им. М. В. Ломоносова, Москва, 25-27 октября 2007). М.: МЦНМО, 2008. С. 137-141.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

9. Смышляев С. В. Барьеры совершенно уравновешенных булевых функций // Дискретная математика. 2010. Т. 22. Вып. 2. С. 66-79.

10. Смышляев С. В. О совершенно уравновешенных булевых функциях без барьера // Материалы Восьмой Междунар. научн. конф. «Дискретные модели в теории управляющих систем» (МГУ им. М. В. Ломоносова, Москва, 6-9 апреля 2009). М.: МАКС Пресс, 2009. С.278-284.

11. Смышляев С. В. О преобразовании двоичных последовательностей с помощью совершенно уравновешенных булевых функций // Материалы Пятой Междунар. на-учн. конференции по проблемам безопасности и противодействия терроризму (МГУ им. М. В. Ломоносова, Москва, 29-30 октября 2009). М.: МЦНМО, 2010. С. 31-41.

12. Логачев О. А., Сальников А. А., Ященко В. В. Булевы функции в теории кодирования и криптологии. М.: МЦНМО, 2004.

i Надоели баннеры? Вы всегда можете отключить рекламу.