Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
136
Добавлен:
26.05.2014
Размер:
1.68 Mб
Скачать

4. Преобразование Фурье булевой функции.

Для булевой функции f(V), имеющей таблицу истинности f=(f(V0),…,f(V2m-1)), где векторы V0,…,V2m-1расположены в порядке возрастания чисел, для которых они являются двоичными разложениями, преобразование Фурье определяется как вектор

Cf=(Cf(U0), Cf(U1),… Cf(U2m-1)),

где {U0, U1,…, U2m-1} совокупность всех двоичных векторов, а координаты Cf(U) определяются равенством

где, как и ранее, скалярное произведение (U,V) вычисляется по модулю 2.

Числа Cf(U) называются коэффициентами Фурье булевой функции f.

Из последнего равенства следует, что

, (2)

где H - матрица Сильвестра-Адамара порядка 2m. А так как из соотношения (2) следует, что

то для коэффициентов Фурье получаем следующую формулу

Рассмотрим некоторые свойства коэффициентов Фурье булевой функции.

10.,

где Cf(0) - значение коэффициента Фурье булевой функции f для нулевого вектора, aвес булевой функции f, т.е. число таких значений, для которых f(V)=1.

Из свойства 1° следует, что булева функция f является cбалансирован-ной (равновероятной)тогда и только тогда, когда для нулевого коэффициента Фурье имеет место равенство

.

2°. Для любого вектора имеет место равенство

.

3°. Для любого вектора имеет место соотношение

,

где P(f(V)=(U,V)) — вероятность совпадения значений булевой функции с линейной функцией (U,V) при случайном равновероятном выборе вектора , скалярное произведение (U,V) вычисляется по модулю 2.

ДОКАЖЕМ 3°. Действительно, имеем

Таким образом,

.

Отсюда вытекает требуемое равенство из свойства 3° .

В криптографических исследованиях иногда используют вектор

координаты которого связаны с коэффициентами Фурье равенством

Вектор называется статистистической структурой булевой функции,а его координаты- коэффициентами статистической cтруктуры этой функции. Для U=0 обычно полагают

.

4°. Для коэффициентов Фурье булевой функции имеет место соотношение

ДОКАЖЕМ это равенство, действительно, из равенства (2) следует, что

.

Из доказанного сейчас равенства для коэффициентов статистической структуры вытекает равенство Парсеваля

.

Из формул идля коэффициентов Фурье булевой функции получаем, что для

Из равенств иследует, что

Для коэффициентов статистической структуры имеют место неравенства

Оценка сверху для следует из равенства . Оценка снизу вытекает из равенства Парсеваля . Действительно, допустим, что .Тогда

что противоречит равенству Парсеваля.