Бент-функции и линейные коды в CDMA Текст научной статьи по специальности «Математика»

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

Утверждение 3. Существуют непустые сжатые графы, свободные от зафиксированных клик, имеющие p(G) = р и A(G) = А, где А и р — произвольные натуральные числа, удовлетворяющие ограничениям: р ^ 3, А ^ р + 1.

ЛИТЕРАТУРА

1. Cavers M. S. Clique partitions and coverings of graphs. University of Waterloo, 2005.

2. Kou L. T., Stockmeyer L. J., Wong C.K. Covering edges by cliques with regard to keyword

conflicts and intersection graphs // Communicat. ACM. 1978. V. 21. No. 2. P. 135-139.

3. Orlin J. Contentment in graph theory: Covering graphs with cliques // Indagationes Math.

1977. V. 39. P. 406-424.

УДК 519.7

БЕНТ-ФУНКЦИИ И ЛИНЕЙНЫЕ КОДЫ В CDMA1

А. В. Павлов

Булева функция от четного числа переменных называется бент-функцией, если она максимально удалена от класса аффинных булевых функций. Задача построения бент-функций возникает во многих областях, в том числе в теории кодирования, где находит свое применение в системах коллективного доступа, таких, как стандарты цифровой сотовой связи CDMA. Данные стандарты используют бент-функции для построения кодов постоянной амплитуды, что позволяет предельно снизить коэффициент отношения пиковой и средней мощностей сигнала. Такие коды состоят из векторов значений бент-функций. И как известно, предпочтение отдается линейным кодам, так как они довольно просты в реализации.

Так возникла задача построения максимального линейного кода на основе заданной бент-функции, такого, что при сдвиге данной бент-функции на любое кодовое слово не нарушалось бы свойство «бент». В [1] предлагается использовать для построения кода конструкцию Мак-Фарланда [2] f (x,y) = {x,n(y)) + g(y), где x,y E En/2; g(y) — булева функция от n/2 переменных; п — подстановка на En/2; En/2 — булев куб размерности n/2. Рассмотрим линейный код длины 2n, состоящий из векторов значений функций h(x,y) = g(y) и всех аффинных функций от n переменных. Размерность данного кода равна k = 2n/2 + n/2, кодовое расстояние равно d = 2n/2. Например, для любой бент-функции из класса Мак-Фарланда от 6 переменных имеем линейный код с параметрами [26,11, 8], а для 8 переменных — с параметрами [28, 20,16].

В [3] было доказано, что две бент-функции находятся на минимальном расстоянии 2n/2 друг от друга тогда и только тогда, когда они отличаются на аффинном подпространстве размерности n/2 и обе на нём аффинны. Исходя из этого критерия, предложен следующий алгоритм построения максимального линейного кода.

Алгоритм

1) Вход: бент-функция f.

2) Добавляем f в список функций functionList.

1 Работа выполнена при финансовой поддержке гранта Президента РФ для молодых российских

ученых (грант МК №1250.2009.1).

3) Строим все аффинные подпространства размерности n/2, на которых данная бент-функция аффинна (см. [3]), и добавляем их в список /¿si.

4) Далее вызываем рекурсивную функцию findCode(/, list, /unctionList).

findCode(/, /¿si, /unctionList)

1) Вход: бент-функция /; список аффинных подпространств, на которых / аффинна; список бент-функций.

2) Для каждого аффинного подпространства из list строим бент-функцию g на минимальном расстоянии от /.

3) Если g линейно независима со всеми функциям из /unctionList, то добавляем g в /unctionList.

4) Далее формируем список аффинных подпространств newList. Для каждого аффинного подпространства из list проверяем условие: если функция g аффинна на данном аффинном подпространстве, добавляем это аффинное подпространство в newList.

5) Вызываем рекурсивную функцию findCode(g, newList, /unctionList).

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

Нетрудно показать, что для аффинно эквивалентных функций размерности таких кодов будут одинаковыми. Далее приведём таблицу с аффинно неэквивалентными бент-функциями и размерностями кодов, построенных для них.

n Бент-функция Размерность кода

6 Ж1Ж2Ж3 ф Ж2Ж4Ж5 ф Ж3Ж4Ж6 ф Ж1Ж4 ф Ж2Ж6 ф Ж3Ж4Ф ФЖ3Ж5 ф Ж3Ж6 ф Ж4Ж5 ф Ж4Ж6 15

6 Ж1Ж2Ж3 ф Ж2Ж4Ж5 ф Ж1Ж2 ф Ж1Ж4 ф X2Х ф Ж3Ж5 ф Ж4Ж5 15

6 Ж1Ж2Ж3 ф Ж1Ж4 ф Х2£5 ф Ж3Ж6 15

6 Ж1Ж2 ф Ж3Ж4 ф Ж5Ж6 15

8 Ж1Ж2Ж3 ф Ж2Ж4Ж5 ф Ж3Ж4Ж6 ф Ж1Ж4Ж7 ф Ж3^5ф фЖ2^7 ф Ж1Ж5 ф Ж1Ж6 ф Ж4Ж8 29

8 Ж1Ж2Ж3 ф Ж2Ж4Ж5 ф Ж3Ж4Ж6 ф Ж3Ж5 ф Ж2^6ф фЖ2^5 ф Ж1Ж7 ф Ж4Ж8 28

8 Ж1Ж2Ж3 ф Ж2Ж4Ж5 ф Ж3Ж4Ж6 ф Ж3Ж5 ф Х^ф фХ 1Ж4 ф Ж2Ж7 ф Ж6Ж8 30

8 Ж1Ж2Ж3 ф Ж2Ж4Ж5 ф Ж3Ж4Ж6 ф Ж3Ж5 ф Ж2^6ф фХ2Х5 ф Ж1Ж2 ф Ж1Ж3 ф Ж1Ж4 ф Ж7Ж8 30

8 Ж1Ж2Ж3 ф Ж2Ж4Ж5 ф Ж3Ж4Ж6 ф Ж3Ж5 ф Ж1Ж6 ф Ж2Ж7 ф Ж4Ж8 28

8 Ж1Ж2Ж7 ф Ж3Ж4Ж7 ф Ж5Ж6Ж7 ф Ж1Ж4 ф Ж3^6ф фХ2Х5 ф Ж4Ж5 ф Ж7Ж8 29

8 Ж1Ж2Ж3 ф Ж2Ж4Ж5 ф Ж3Ж4 ф Ж2Ж6 ф Х1Х7 ф Ж5Ж8 28

8 Ж1Ж2Ж3 ф Ж2Ж4Ж5 ф Ж1Ж3 ф Ж1Ж5 ф Х2Х6 ф Ж3Ж4 ф Ж7Ж8 30

8 Ж1Ж2Ж3 ф Ж1Ж4 ф Х2Х5 ф Ж3Ж6 ф Ж7Ж8 29

8 Ж1Ж2 ф Ж3Ж4 ф Ж5Ж6 ф Ж7Ж8 28

Так же как и в кодах, основанных на конструкции Мак-Фарланда, код, полученный с помощью предложенного алгоритма, имеет то же кодовое расстояние, равное

минимальному расстоянию между бент-функциями 2n/2. Особенностью метода является то, что он зависит от конкретного вида бент-функции, в отличие от конструкции Мак-Фарланда.

ЛИТЕРАТУРА

1. Paterson K. G. Sequences For OFDM and Multi-code CDMA: two problems in algebraic

Coding Theory // Sequences and their applications. Seta 2001. Second Int. Conference (Bergen,

Norway, May 13-17, 2001). Proc. Berlin: Springer, 2002. P. 46-71.

2. McFarland R. L. A family of difference sets in non-cyclic groups // J. Combin. Theory. Ser. A.

1973. V. 15. No. 1. P. 1-10.

3. Коломеец Н. А., Павлов А. В. Свойства бент-функций, находящихся на минимальном расстоянии друг от друга // Прикладная дискретная математика. 2009. №4. С. 5-20.

УДК 519.175.1

О НОВОМ ПОЛНОМ ИНВАРИАНТЕ АЦИКЛИЧЕСКИХ ГРАФОВ

А. В. Пролубников

В задаче проверки изоморфизма графов (задача ИГ) даны два обыкновенных графа с одинаковым числом вершин и ребер. Необходимо ответить на вопрос, существует ли такое биективное отображение (изоморфизм) множества вершин одного графа на множество вершин второго, которое сохраняло бы смежность соответствующих вершин?

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

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

Полные инварианты известны лишь для немногих относительно простых классов графов, поскольку наличие полиномиально вычислимого полного инварианта для графов из некоторого класса эквивалентно полиномиальной разрешимости задачи ИГ для графов из этого класса. Так, в работе [2] представлен полный инвариант для деревьев и в целом класса ациклических графов, в работе [3] —для планарных графов. Однако в этих работах, как и в большинстве работ, нацеленных на нахождение полного инварианта для ограниченного класса графов, полный инвариант ищется как результат канонизации графа — процесс, который может быть описан следующим образом. Пусть G — некоторый класс графов. Пусть f : G ^ {0,1}* —функция, отображающая граф в пространство битовых строк (канонических кодов), такая, что для всех G, H £ G имеем G ~ H ^ f (G) = f (H), то есть f — полный инвариант для графов из G. Если f дает для G граф f (G) такой, что G ~ f (G), то f (G) —канонический код графа, по которому восстанавливается сам граф.

В этой работе предлагается алгебраический полный инвариант ациклических графов, который не получается в результате канонизации графа, а представляет собой множество из 1 + n(n + 1)/2 числовых значений, каждое из которых есть произведе-