CC BY
37
ки звучит так: существует ли алгоритм, определяющий по произвольным точкам x0,x1 G X принадлежность x1 G f*(x0). Ограничимся рассмотрением только рациональных точек X по следующим соображениям. Кусочно-аффинное отображение f (x) = 2x (mod 1) является хаотическим для почти всех x G X. Но ни одно число этого множества почти всех из X не представимо на компьютере, если под числом не понимать алгоритм, его порождающий. Если же под числом понимать произвольный порождающий его алгоритм, проблема достижимости для f (x) оказывается тривиально алгоритмически неразрешимой в общем случае, несмотря на то, что отображение очень простое. Стоит при этом заметить, что некоторые сопряжённые f (x) отображения показывают хаотическое поведение на множестве рациональных точек.
Теорема 1. Если f строго эргодическое, т. е. имеет единственную инвариантную меру, или, другими словами, плотности распределения орбит всех точек совпадают, то проблема достижимости алгоритмически разрешима.
Следствие 1. Если пространство инвариантных мер конечномерно, то проблема достижимости алгоритмически разрешима.
ЛИТЕРАТУРА
1. Savchenko A. Ya., KovalevA.M., Kozlovskii V. A., and ScherbakV.F. Inverse dynamical systems in secure communication and its discrete analogs for information transfer // Proc. NDES 2003, May 18-22, Scuol/Schuls, Switzerland. P. 112-116.
2. AsarinE., MysoreV., PnueliA., and Schneider G. Low dimensional hybrid systems — decidable, undecidable, don’t know // Inform. Comput. 2012. V. 211. P. 138-159.
3. Kurganskyy O., Potapov I., and Sancho-Caparrini F. Reachability problems in low-dimensional iterative maps // Int. J. Found. Comput. Sci. 2008. No. 19(4). P. 935-951.
УДК 519.7
О СТАТИСТИЧЕСКОЙ НЕЗАВИСИМОСТИ ПРОИЗВОЛЬНОЙ СУПЕРПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ
О. Л. Мироненко
Доказаны достаточные условия статистической независимости суперпозиции произвольного числа булевых функций от подмножества своих аргументов.
Ключевые слова: суперпозиция булевых функций, статистическая независимость от подмножества аргументов.
Определение 1. Для любой булевой функции f (x), где x — переменные со значениями в Zn, и для любого подмножества U её аргументов будем говорить, что f (x) статистически не зависит от переменных множества U, если для любой её подфункции f '(x'), полученной фиксированием значений всех переменный в U, имеет место равенство Pr[f'(x') = 0] = Pr[f(x) = 0].
В [1] доказано, что если булева функция f1(x) статистически не зависит от некоторого подмножества своих аргументов, то это свойство сохраняется для произвольной суперпозиции g(f1(x),y). Для суперпозиции g(f1(x), f2(x), y) в [2] доказано более сложное достаточное условие сохранения статистической независимости: этим свойством, помимо fi и f2, должна обладать и их сумма f1 ф f2. В данной работе условие из [2] обобщается на случай произвольного числа внутренних функций суперпозиции.
Утверждение 1. Пусть х,у,£ — переменные со значениями в ЖП, КТ- и Zk соответственно и для всех 1 ^ в ^ I и 1 ^ < ¿2 <...<¿5 ^ I функции /¿1 (х, у) ф ... ф
ФД, (х,у) статистически не зависят от переменных в х. Тогда для любой функции д от I + к переменных суперпозиция д(/^х,у),... ,/г(х,у),£) статистически не зависит от переменных в ж.
Замечание 1. В ряде случаев (для конкретных функций д и ограничений на функции /1,... , /г) можно сократить количество достаточных условий утверждения; этот вопрос составляет предмет дальнейших исследований.
ЛИТЕРАТУРА
1. Колчева О. Л., Панкратова И. А. О статистической независимости суперпозиции булевых функций // Прикладная дискретная математика. Приложение. 2011. №4. С. 11-12.
2. Колчева О. Л., Панкратова И. А. О статистической независимости суперпозиции булевых функций. II // Прикладная дискретная математика. Приложение. 2012. №5. С. 14-15.
УДК 519.7
ВЕРХНЯЯ ОЦЕНКА АЛГЕБРАИЧЕСКОЙ ИММУННОСТИ НЕКОТОРЫХ БЕНТ-ФУНКЦИЙ ДИЛЛОНА
С. Ю. Филюзин
Получена верхняя оценка алгебраической иммунности некоторых бент-функций Диллона. Приводится степень бент-функций максимальной алгебраической иммунности, предложенных З. Ту и Й. Денгом.
Ключевые слова: булева функция, нелинейность, бент-функция, алгебраическая иммунность.
Путём детального анализа успешных способов взлома блочных и поточных тттиф-ров были определены свойства булевой функции, которыми она должна обладать для использования её в криптографических приложениях. На данный момент остаётся открытым вопрос о том, как совмещаются различные криптографические свойства у одной булевой функции. Данная работа посвящена изучению алгебраической иммунности при максимальной нелинейности булевой функции.
Булева функция от п переменных представима единственным образом в виде алгеб-
П
раической нормальной формы (АНФ): /(ж1,... , хп) = (0 0 а^,...,^х^ ■... ■ х^) 0 а0,
к=1 %1,...,гк
где а0,а € К2. Степенью deg(/) булевой функции / называется число переменных в самом длинном слагаемом её АНФ. Алгебраической иммунностью А1(/) булевой функции / называется минимальное целое число й ^ 1, такое, что существует булева функция д степени й, для которой выполняется равенство /д = 0 или (/ ф 1)д = 0. Нелинейностью п1(/) булевой функции / от п переменных называется расстояние Хэмминга от данной функции до множества аффинных функций от п переменных. Бент-функция — булева функция от п переменных (п чётно), обладающая максимальной нелинейностью равной 2П-1 — 2(п/2)-1.
На сегодняшний день полная классификация бент-функций не произведена, но предложены способы построения таких функций. Функцию вида д : СЕ(2к) ^ СЕ(2) будем рассматривать как булеву, зафиксировав некоторый базис в поле СЕ(2к). В работе [1] Диллон приводит следующий способ построения бент-функций. Пусть
