CC BY
36
(ii) при deg(f) = t, где 4 ^ t ^ n/2, функция f является (t — 3)-существенно зависимой;
(iii) при deg(f) = t, где 4 ^ t ^ (n + 3)/3, функция f является (t — 2)-существенно зависимой.
Заметим, что если функция обладает свойством k-существенной зависимости, то она также является /-существенной зависимой для всех / < k. В силу этого интересен вопрос о максимально возможном k, для которого функция является k-существенно зависимой. По результатам непосредственного исследования функций Касами от малого числа переменных (до 14) и теоремы 2 сформулирована следующая
Гипотеза 1. Функция Касами степени t при числе переменных n ^ 8, где t ^ n/2, обладает свойством (t — 2)-существенной зависимости, но не обладает свойством (t — 1)-существенной зависимости.
Нетрудно заметить, что для доказательства гипотезы остаётся рассмотреть один случай, т. е. доказать, что при (n+3)/3 ^ t ^ n/2 функция является (t—2)-существенно зависимой.
ЛИТЕРАТУРА
1. Токарева Н. Н. Нелинейные булевы функции: бент-функции и их обобщения //
Saarbrücken, Germany: LAP LAMBERT Academic Publishing, 2011.
2. Carlet С. Boolean Functions for Cryptography and Error Correcting Codes // Chapter of the monograph “Boolean Methods and Models”, Cambridge Univ. Press / eds. P. Hammer and Y. Crama, to appear. www-rocq.inria.fr/secret/Claude.Carlet/chap-fcts-Bool.pdf.
3. Langevin P. and Leander G. Monomial Bent Function and Stickelberger’s Theorem // Finite Fields and Their Applications. 2008. V. 14. P. 727-742.
4. Dillon J. F. and Dobbertin H. New cyclic difference sets with Singer parameters // Finite Fields and Their Applications. 2004. V. 10. P. 342-389.
5. Sharma D. and Gangopadhyay S. On Kasami Bent Function // Cryptology ePrint Archive, Report 2008/426. http://eprint.iacr.org
УДК 519.816
ДЕКОМПОЗИЦИЯ И АППРОКСИМАЦИЯ НЕДООПРЕДЕЛЁННЫХ ДАННЫХ1
Л. А. Шоломов
Задан алфавит A0={a0, ai,... , am-1} основных символов. Пусть M={0,1,... , m— 1} и каждому непустому T С M сопоставлен символ ay. Символы алфавита A = {ay : T С M} называются недоопределёнными, и доопределением символа ay Е A считается всякий основной символ ßj, i Е T. Символ ам, доопределимый любым основным символом, называется неопределённым и обозначается *.
Источник X, порождающий символы ay Е A независимо с вероятностями рт, называется недоопределённым источником, а величина
H(X ) = mm{ — ^ Рт logE Qi\,
Q ^ тем iET J
1 Работа выполнена при поддержке ОНИТ РАН по проекту 1.1 программы «Интеллектуальные информационные технологии, системный анализ и автоматизация».
где logx = log2 x, минимум берется по наборам Q = (q^ i G M), qi ^ 0, qi = 1,
i£M
называется его энтропией. Для недоопределённых данных эта величина играет роль энтропии Шеннона [1].
Источники X и Y будем называть равносильными и записывать X — Y, если для любого источника Z выполнено H(XZ) = H(YZ). Будем говорить, что источник X не слабее Y (Y не сильнее X), и записывать X ^ Y, если XY — X. Можно показать, что X — Y тогда и только тогда, когда X ^ Y и X ^ Y. Существуют эффективные (т. е. полиномиальные) алгоритмы проверки соотношений X — Y и X ^ Y. Преобразования и отношения на множестве недоопределённых источников рассмотрены в [2].
Под алфавитом A источника X будем понимать множество символов ay, для которых ру > 0. Зададимся натуральным числом s и заменим в источнике X каждый символ ay G A некоторым набором ay G {0,1, *}s. Полученный источник X будем рассматривать как произведение X! • ... • Xs источников, порождающих символы 0, 1 и *, и будем называть разложением (соответствующим источнику X).
Разложение X назовем декомпозицией источника X, если X — X. Разложение X назовем аппроксимацией (нижней) источника X, если X ^ X и для всякого разложения X', такого, что X' ^ X, выполнено X ^ X'. Очевидно, что если аппроксимация существует, она единственна с точностью до равносильности, и если декомпозиция существует, аппроксимация является декомпозицией.
Теорема 1. Для всякого недоопределённого источника аппроксимация существует и может быть эффективно построена.
Источник Xi, i = 1,..., s, назовем устранимым из разложения Xi • ... • Xs, если Xi • ... • Xs - Xi • ... • Xi-iXi+1 • ... • Xs.
Теорема 2. Существует эффективный алгоритм проверки устранимости источника из разложения.
Используя его, можно путём последовательного удаления устранимых источников эффективно построить неизбыточную аппроксимацию (в частности, декомпозицию), из которой нельзя удалить ни одного источника без потери свойства быть аппроксимацией. Обобщением теоремы 2 является следующий факт.
Теорема 3. Существует эффективный алгоритм проверки равносильности двух различных разложений.
Эта теорема позволяет сравнивать заданные разложения, но не даёт возможности их порождать. Для порождения может быть использована система преобразований, гарантируемая следующей теоремой.
Теорема 4. Существует (явно описана) полная система равносильных преобразований, позволяющая по всякому разложению построить любое равносильное ему разложение.
Введём еще один вид декомпозиции. Рассмотрим разложение X = X1 • ... • Xs, построенное по источнику X. Пусть, как и раньше, йу G {0,1, *}s означает набор, соответствующий символу ay G A, и пусть каждому символу ai G A0 приписан набор й G {0,1}s. Наборы множества A0 = {ai : i G M} будем называть основными. Обозначим через {ay} множество доопределений набора йу и будем считать, что разложение X порождает (с вероятностями ру > 0) множества {йу}. Ограничением разложения X на множество основных наборов назовем источник X^o, который порождает
(с вероятностями рт) множества (йу} П А0. Скажем, что разложение X образует декомпозицию источника X на множестве основных наборов, если Ха0 изоморфно X. Это означает, что (йт} П А0 = (а : I € Т}.
Теорема 5. Для всякого недоопределённого источника существует и может быть эффективно построена декомпозиция на множестве основных наборов.
Число в источников в этой декомпозиции не превосходит тш(|А|, |Ао|), где | • | означает мощность множества, и эта оценка по порядку неулучшаема.
ЛИТЕРАТУРА
1. Шоломов Л. А. Элементы теории недоопределённой информации // Прикладная дискретная математика. Приложение. 2009. №2. С. 18-42.
2. Шоломов Л. А. Преобразование нечетких данных с сохранением информационных свойств // Дискрет. анализ и исслед. опер. Сер. 1. 2005. Т. 12. №3. С. 85-104.
