Научная статья на тему 'Перечисление функций, имеющих заданное число аффинных сомножителей'

Перечисление функций, имеющих заданное число аффинных сомножителей Текст научной статьи по специальности «Математика»

CC BY
149
20
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
BOOLEAN FUNCTION / AFFINE CLASSIFICATION / MOBIUS INVERSION / ДВОИЧНЫЕ ФУНКЦИИ / АФФИННАЯ КЛАССИФИКАЦИЯ / ФОРМУЛА ОБРАЩЕНИЯ МЁБИУСА

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

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

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

Enumeration of boolean functions with a fixed number of affine products

A recursive enumeration method for determining the number of Boolean functions with a fixed number of affine products and fixed function weights or nonlinearity degree is proposed.

Текст научной работы на тему «Перечисление функций, имеющих заданное число аффинных сомножителей»

11. Коломеец Н. А. Верхняя оценка числа бент-функций на расстоянии 2к от произвольной бент-функции от 2к переменных // Прикладная дискретная математика. 2014. №3.

С.28-39.

УДК 519.719.1 Б01 10.17223/2226308Х/8/17

ПЕРЕЧИСЛЕНИЕ ДВОИЧНЫХ ФУНКЦИЙ, ИМЕЮЩИХ ЗАДАННОЕ ЧИСЛО АФФИННЫХ СОМНОЖИТЕЛЕЙ

А. В. Черемушкин

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

Ключевые слова: двоичные функции, аффинная классификация, формула обращения Мёбиуса.

1. Случай обычных функций

Пусть п ^ 0. Подсчитаем число двоичных функций от п переменных заданного веса, имеющих аффинные сомножители. Функция / : ^(2) ^ {0,1} имеет аффинные сомножители, если найдутся такие функция /(ж) = (ж, а*) Ф Ь, ж Е ^(2), 0 = а* Е Е ^П(2)* (^(2)* — сопряжённое пространство), Ь Е {0,1} и функция Л, что / = / ■ Л.

Пусть к Е {0,..., п}. Обозначим через Тп(к) множество всех двоичных функций от п переменных, имеющих ровно к аффинных сомножителей. Функцию / = 0 не включаем ни в одно из множеств Тп(к). Легко видеть, что выполняется равенство

п

Т = и ^п(к) и {0}. (1)

к=О

Справедливы следующие свойства:

1. Множества Тп(к) при разных к не пересекаются, к = 0,..., п.

2. Множества Тп(к), к = 0, ...,п, инвариантны относительно действия полной аффинной группы ЛОЬ (п, 2) (и, следовательно, разбиваются на классы эквивалентности относительно этой группы).

3. Каждую функцию / Е Тп(к) можно привести с помощью некоторого аффинного преобразования к виду

Л(ж) = /(хф Ф Ь) = Х1... Хкд(хк+1,..., Жп), (2)

где д Е ^п-к(0).

4. Если к Е {0,... ,п} и / Е Тп(к), то 1 ^ ||/1| ^ 2п-к, где ||/1| —вес функции /.

5. Множество векторов, входящих в область истинности {а Е ^(2) : /(а) = 1} функции / вида (2), порождает смежный класс по подпространству размерности п — к.

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

|ЛОЬ (п, 2)/1 = |ЛОЬ (п, 2)л| = 2к(п-к)|ОЬ (к, 2)| ■ |ЛОЬ (п — к, 2)я|. (3)

Доказательство вытекает из инвариантности подпространства, порождённого областью истинности функции. При п ^ 1 числа

п к

к-1 2п — 2®

П тк—Тй, если к е {1,...,п}

г=0 2 — 2

1, если к = 0,

называются коэффициентами Гаусса (индекс 2 для простоты записи далее будем опускать).

Теорема 2. При 1 ^ к ^ п справедливо равенство

|^п(к)| = 2к

п к

' \?п-к

(4)

Доказательство. Для каждой функции / е ^П(к) число эквивалентных ей функций совпадает с индексом группы инерции

\/ась(п>2)\ = (АСЬ (п, 2) : ЛОЬ (п, 2)7),

который в силу теоремы 1 равен 2 для всех функций / е ^п(к), получаем формулу (4

п к

|дАСЬ (п к'2) |. Применяя данное равенство

Наряду с множествами Тп и ^п(к), к = 0,... , п, рассмотрим (2п + 1)-мерные вектор-столбцы Тп и ^п(к), з-я координата которых равна числу функций из соответствующего множества, имеющих вес з, з = 0,..., 2п. Для этих векторов справедливо аналогичное (1) соотношение

п

Я = £ ^(к) + {4}, к=0

где е0 — вектор, у которого первая координата равна 1, а остальные — нули. В силу свойства 4 у векторов ^(к) первая координата и последние 2п — 2п-к координат равны нулю. Заметим, что в (2) веса функций /, к и д совпадают. Поэтому равенства, аналогичные (4), выполняются между первыми 2п-к + 1 координатами вектор-столбцов Тп и к (0). Дополним вектор к(0), имеющий длину 2п-к + 1, до вектора длины 2п + 1, полагая координаты с номерами з, 2п-к + 1 ^ з ^ 2п, равными нулю. С учётом этого дополнения можно записать равенство (4) в векторном виде

^п(к) = 2к

п к

к (0).

(5)

В силу равенств (4) и (5) для вычисления значений ^(к), к = 0,... , п, достаточно вычислить лишь величины = |^т(0)| и 24 = ^4(0)^-, з = 0,... , 24, т = 0,... , п. Воспользуемся равенством

п

22П = £ |^п(к)| + 1,

к=0

которое непосредственно вытекает из равенства (1) и свойства 1.

2

Обозначая для краткости

п к

Л(п, к) = 2к

с учётом равенства (4) получаем рекуррентное соотношение

п

¿п = 22П — 1 — Е Л(п, к)^п-к.

п

к=1

Аналогично, с учётом равенства (5) имеем ¿п0 = 0 и для ] = 1,... , 2п

2п п

¿п = . — Е Л(п, к)^п-к,^-. (7)

V .7 / к=1

2п

При этом при всех п ^ 0 выполнено равенство Е ¿п = ¿п.

¿=0

Рекуррентные соотношения (6) и (7) позволяют вычислять значения величин ¿п и ¿п, ^ = 0,... , 2п, последовательно для п = 0,1, 2,... В табл. 1 приведены соответствующие значения при п = 3.

Таблица 1

0 |Тз| {0} |Тз(3)| |Тз(2)| |Тз (1)| |Тз(0)|

0 1 1 0 0 0 0

1 8 0 8 0 0 0

2 28 0 0 28 0 0

3 56 0 0 0 56 0

4 70 0 0 0 14 56

5 56 0 0 0 0 56

6 28 0 0 0 0 28

7 8 0 0 0 0 8

8 1 0 0 0 0 1

Всего 256 1 8 28 70 149

Найдём теперь общий вид решений рекуррентных уравнений (6) и (7). Формула обращения Мёбиуса в данном случае принимает следующий вид.

Утверждение 1 [1,2]. Если последовательности {ип} и {^п} связаны соотношением

п

п

«п = Е к=0

к

^п-к,

то

п

№п = Е (—1)к2к(к+1)/2

к=0

п к

Переписав рекуррентное соотношение (6) в виде

п ^ 0,

«п-к, п ^ 0. 22" - 1

2п

Е

к=0

п к

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

пк

-г, с помо-

2 п- к

щью формулы обращения получаем следующий окончательный результат. Теорема 3. При всех п ^ 0 справедлива формула

¿п

Е(—1)к 2к(к+1)/2 к=0

п к

(22 — 1)2к

Эта формула позволяет, например, оценить вероятность рп того, что у функции /(^1,... , хп) есть аффинные сомножители:

_ , zn

1 — •

Значения вероятности при 1 ^ n ^ 10 представлены в табл. 2.

Таблица 2

n Pn n Pn

1 0,75 6 2,9 ■ 10 -8

2 0,6875 7 1,3 10- -17

3 0,4218 8 1,4 10- -38

4 0,0809 9 8,8 10- -75

5 8,9 ■ 10-4 10 1,5 10- 151

2. Случай сравнения функций по модулю

При —1 ^ s ^ n — 1 обозначим Us подпространство функций, степень нелинейности которых не превышает s (степень нулевой функции полагаем равной —1).

Аналогично предыдущему случаю, при k € {0,..., n} обозначим через Fs)(k) множество всех двоичных функций, имеющих ровно k линейно независимых аффинных сомножителей по модулю Us. Функции f € Us не включаем ни в одно из множеств

, n. Легко видеть, что выполняется равенство

п

F = U Fs)(k) U Us. k=0

Заметим, что в работе [4] получена точная формула для числа функций от n переменных с алгебраической иммунностью равной 1, т. е. (f) = 1. Этот класс функций можно записать в виде

п

Bi = (J F0)(k). k=i

Справедливы следующие свойства:

1. Множества Fls) (k) при разных k не пересекаются, k = 0,..., n.

2. Множества Fns)(k), k = 0,..., n, инвариантны относительно действия группы AGL (n, 2)Us (и, следовательно, разбиваются на классы эквивалентности относительно этой группы).

3. Каждую функцию f € Fls)(k) можно привести с помощью некоторого аффинного преобразования к виду

h(x) = f (xQ 0 b) = xi ■ ■ ■ Xfcg(xfc+i,... ,xn) (modUs), (8)

где g € Firfck)(0).

Аналогично предыдущему случаю (подробнее см. [3]) доказываются:

Теорема 4. Пусть s ^ 0, 1 ^ k ^ n и функции f, h € F,ls) (k) и g € Fs_-fc)(0) удовлетворяют равенству (8). Тогда порядки групп инерции функций f, h и g по модулю Us связаны равенством

|AGL (n, 2)fs)| = |AGL (n, 2)<s)| =

2fc(n-fc+1) |gl (k, 2)| ■ | AGL (n — k, 2)gs-k) |, если s = deg f — 1, 2k(n-k)|GL (k, 2)| ■ |AGL (n — k, 2)gs-k)|, если s ^ degf — 2.

Теорема 5. При всех s ^ 0, 1 ^ k ^ n справедливо равенство

|Fs)(k)| =

n k

(s k)

n-k

|U

(n)|

17 /(n-k) I |Us-k

n k

1-Е

(s k)

n—k

|U

(n)|

|Us(n-k)|

если s = deg f — 1, если s ^ deg f — 2.

Равенство (9) позволяет составить соотношение рекуррентного типа, которое можно решить также с помощью формулы обращения Мёбиуса. Обозначим

= Йв)(0) п (Ц\Uj-i)|, з = 0,..., п.

Аналогично введём (п + 1)-мерные векторы з-я координата которых равна

числу функций из множества Лв) (к) степени нелинейности з, з = 0,... , п. Пусть п > з > в. Воспользуемся соотношением

(2(j

) — 1) |u?(n)i | = Е (Fs)(k)^-,

k=0

которое непосредственно вытекает из свойства 1. С учётом равенства (9) и теоремы 5 при фиксированных з и в получаем соотношение

(2(jj ) — 1)И™1|

Е

k=0

n

2k

k=0

n k

(s-k) |U

(n)

"n-kj-k, .(n-k)

если j = s + 1,

n k

|uTk |

(n)

(s-k) |Us | -^11

¿n-kj-k-^, еслиj>s + L

|Us-k |

В табл. 3 приведены для примера соответствующие значения при п = 3.

Таблица 3

k

2

s {Us} |Fs)(3)| |Fs)(2)| |Fs)(i)| |Fs)(0)|

—1 1 8 28 70 149

0 2 16 56 126 56

1 16 128 112 0 0

2 128 128 0 0 0

3 256 0 0 0 0

ЛИТЕРАТУРА

1. Comtet M. L. Nombres de Stirling généraux et fonctions symmetriques // C. R. Acad. Sc. Paris. 1972. V. 275. Ser.A. P. 747-750.

2. Bender E. A. and Goldman J. R. On the application of the Möbius inversion in combinatorial analysis // Amer. Math. Monthly. 1975. V.82. No. 8. P. 789-803.

3. Черемушкин А. В. Методы аффинной и линейной классификации двоичных функций // Труды по дискретной математике. Т. 4. М.: Физматлит, 2001. С. 273-314.

4. Tu Z. and Deng Y. Algebraic Immunity Hierarchy of Boolean Functions. Cryptology ePrint Archive, Report 2007/259, 2007. e-print.iacr.org. 6 p.

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