Научная статья на тему 'Нижняя оценка сложности функций над конечным полем порядка 4 в классе поляризованных полиномов'

Нижняя оценка сложности функций над конечным полем порядка 4 в классе поляризованных полиномов Текст научной статьи по специальности «Математика»

CC BY
90
11
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КОНЕЧНОЕ ПОЛЕ / ПОЛЯРИЗОВАННЫЙ ПОЛИНОМ / КРОНЕКЕРОВА ФОРМА / НИЖНЯЯ ОЦЕНКА СЛОЖНОСТИ / FINITE FIELD / POLARIZED POLYNOMIAL / KRONEKER FORM / COMPLEXITY / LOWER BOUNDS

Аннотация научной статьи по математике, автор научной работы — Балюк Александр Сергеевич, Зинченко Анна Сергеевна

Представления функций над конечными полями, в том числе полиномиальные, в настоящее время активно исследуются. Одним из основных направлений этих исследований является сложность таких представлений. Вопросы полиномиальных представлений булевых функций довольно хорошо изучены. Для многих классов полиномов найдены точные значения сложности таких представлений.В последнее время возрос интерес к полиномиальным представлениям функций над конечными полями порядка больше двух и кольцами вычетов по составному модулю. Исследование сложности таких представлений сопряжено с определенными трудностями, и даже в довольно простых классах полиномиальных форм найдены только несовпадающие верхние и нижние оценки сложности. В настоящей работе внимание уделено поляризованным полиномам над конечным полем порядка 4. Полиномы этого класса представляют собой суммы произведений множителей определенного вида. Каждый полином реализует некоторую n-местную функцию над конечным полем. Под сложностью полинома понимается число ненулевых слагаемых в нем. Каждая функция может быть реализована несколькими различными полиномами из одного класса. Под сложностью функции в классе полиномов понимается минимально возможная сложность реализующего ее полинома из этого класса.Ранее были известны эффективные нижние оценки сложности в классе поляризованных полиномов для случая булевых и трехзначных функций и более слабая мощностная оценка для случая функций над конечным полем простого порядка. В настоящей статье получена эффективная нижняя оценка сложности функций над конечным полем порядка 4, аналогичная ранее известным оценкам для булевых и трехзначных функций.

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

Lower Bound of the Complexity of Functions over Finite Field of Order 4 in the Class of Polarized Polynomials

The representations, including polynomial, of functions over final fields have been actively investigated. The complexity of such representations is the main stream of research. Polynomial representations of Boolean functions have been studied well enough. The exact values of the complexity have been found for a lot of polynomial classes.Recently, the interest to polynomial representations of functions over finite fields and over finite rings is being increased. There are a lot of difficulties in studying of the complexity of these representations. Only not equal upper and lower bounds has been obtained, even for sagnificantly simple classes of polynomials.This paper is about polarized polynomials over finite field of order 4. Such a polynomial is a finite sum of products. Every polynomial represents an n-variable function over finite field. A complexity of a polynomial is a number of nonzero summands in it. Every function can be represented by several polynomials, which are belongs to the same class. A complexity of a function in a class of polynomials is the minimal complexity of polynomials in the class, which represent this function.Previously, the constructive lower bounds in the class of polarized polynomials have been known only for the case of Boolean and three-valued functions. Also, the weaker, non-constructive lower bound has been known for the case of functions over arbitrary prime finite field.In this paper the constructive lower bound has been obtained for functions over finite field of order 4 in the class of polarized polynomials. The lower bound is equivalent to previously known lower bound for Boolean and three-valued functions.

Текст научной работы на тему «Нижняя оценка сложности функций над конечным полем порядка 4 в классе поляризованных полиномов»

Серия «Математика» 2016. Т. 16. С. 19—29

Онлайн-доступ к журналу: http://isu.ru/izvestia

ИЗВЕСТИЯ

Иркутского государственного университета

УДК 519.714.4 ЫБС 68д17

Нижняя оценка сложности

функций над конечным полем порядка 4

в классе поляризованных полиномов

А. С. Балюк, А. С. Зинченко

Иркутский государственный университет

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

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

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

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

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

Ключевые слова: конечное поле, поляризованный полином, кронекерова форма, нижняя оценка сложности.

1. Обозначения и определения

Будем использовать следующие обозначения и соглашения:

- #5 — число элементов конечного множества 5;

- N = {0,1, 2,...} — множество натуральных чисел;

- шт 5 обозначает наименьший, а тах 5 — наибольший элемент конечного непустого множества 5 С N

- если а ^ 0 — действительное число, то [а] = тах{г £ N | г ^ а};

- нотация Айверсона [3]: если Я — некоторое утверждение, то

Я I 1, если Я истинно, I 0, если Я ложно;

- условимся, что если г < 3, то биномиальный коэффициент (*) = 0;

- если М — матрица размера тхк, 1 ^ г ^ т, 1 ^ 3 ^ к, то М[г,]] — элемент, стоящий на пересечении г-й строки и ]-го столбца М; если М1 — матрица размера т1хк1, М2 — матрица размера т2хк2, то матрица М = М1 ® М2 размера т1т2хк1к2, в которой для всех 11,12,31,32, 1 ^ ^ т1, 1 ^ ¿2 ^ т2, 1 ^ л ^ кь 1 ^ л ^ к2,

выполняется М[(г1 - 1)т2 + %2, (л - 1)к2 + 32] = М^1,л]М[12,32], называется кронекеровым произведением матриц М1 и М2; Fq — конечное поле порядка д, 1 — единица, а 0 — ноль поля Fq; условимся, что а0 = 1 для всех а £ Fq;

Мд[тхк] — множество всех матриц размера тхк с элементами из ^;

1т £ Мд[тхт] — единичная матрица, 1т[г,]] = [г = ]];

= {у I V = (у1,..., ут), уг £ Fq, 1 ^ г ^ т} — т-мерное векторное пространство над Fq с операциями покомпонентного сложения и умножения на элементы из Fq;

если и £ шт, V £ Fk, то запись ■ = (и, у) обозначает вектор ■ £ Fm+fc, Где ■ = иг[г ^ т] + Уг-т[г > т] для всех 1 ^ г ^ т + к; 2(у) = #{г | Уг = 0, 1 ^ г ^ т} — количество нулевых элементов вектора V £ Fm;

функцию / : F™ — Fq будем отождествлять с вектором / £ , / = (/1,...,/м), полагая /к = /(ак) для всех к, 1 ^ к ^ N = дп, где а1,..., ам — все векторы из Fn, упорядоченные лексикографически, и вместо / : Fn — Fq будем писать / £ FN. Далее будем считать, что д — степень простого числа, Fq — конечное поле порядка д, п £ N и N = дп.

Определение 1. Пусть V £ Выражение

Ф1(х1,...,хп) = ^ С4(Ж1 + У1)а1 ...(хп + Уп)ап, (1.1)

где с € , а все операции сложения и умножения выполняются в поле ^, назовем поляризованным полиномом переменных х1,...,хп над полем Fg с поляризацией V и вектором коэффициентов с.

Если переменным х1,...,хп придавать всевозможные значения из Fg, то полином ФС из (1.1) задает некоторую функцию ФС € FN. Сложностью полинома назовем величину Ь(ФС) = #{сг | сг = 0, 1 ^ í ^ N}.

Сложностью функции / € FN в классе поляризованных полиномов назовем величину Ьр(/) = шт{Ь(ФС) | с € FN, V € Fn, ФС = /}.

Сложностью множества функций Е С FN в классе поляризованных полиномов назовем величину Ьр(Е) = тах{Ьр(/) | / € Е}. Для оценки сложности класса всех п-местных функций введем величину Ьр (п) = Ьр ^).

Понятие поляризованного полинома использовалось в работах [1; 4; 5; 6]. В работе [5] было показано, что Ь-р(п) = |_§2га] для д = 2. В работе [4] было показано, что Ь-р(п) ^ |_|Зга] для д = 3. В работе [1] для простого д было показано, что Ь-р(п) ^ дп — о(дп). В настоящей работе для случая д = 4 устанавливается оценка Ь-р(п) ^ 4га].

Пусть К С Мд [дхд] — множество невырожденных матриц. Определим множество К®п следующим образом

К ®п = {М1 Мп I М1 ,...,Мп € К}.

Пусть М € К®п, с € FN. Пару (М,с) назовем кронекеровой формой, порожденной множеством К. Кронекерова форма (М, с) задает некоторую функцию / € FN, определяемую равенством / = Мс. Под сложностью кронекеровой формы будем понимать величину

Ь((М,с))=#{сг | сг = 0, 1 < г < N}.

Сложностью функции / € FN в классе кронекеровых форм, порожденных множеством К, назовем величину

Ькв (/) = шт{Ь((М, с)) | М € К®п, с € FN, / = Мс}.

Сложностью множества функций Е С FN в классе кронекеровых форм, порожденных множеством К, назовем величину

Ькв(Е) = тах{Ькв(/) | / € Е}.

Также введем обозначение Ьк в (п) = Ьк в ).

Понятие кронекеровой формы было введено в [2]. Там же для поля Fg было показано, что если Тр = {Та € Мд[дхд] | Та[г, ^ = а^-1, а € Fg}, то Ьр (п) = Ьтв (п).

А. С. БАЛЮК, А. С. ЗИНЧЕНКО 2. Основной результат

Положим д = 4, п € М, N = 4п. Элементы поля F4 обозначим цифрами 0, 1, 2, 3, набранными курсивом. Сложение и умножение в поле F4 зададим следующими таблицами

+ 0 1 2 3 X 0 1 2 3

0 0 1 2 3 0 0 0 0 0

1 1 0 3 2 1 0 1 2 3

2 2 3 0 1 2 0 2 3 1

3 3 2 1 0 3 0 3 1 2

Целое число к в контексте операций с элементами поля F4 будем отождествлять с 0, если к четное, и с 1, если к нечетное.

Далее будем считать, что все операции с матрицами и векторами выполняются в поле F4.

Определим функции дп € FN и Нп € FN рекуррентно следующим образом:

д0 = (0), Н0 = (1),

дП+1 = (дп, дП + ^ 3 д^Ь + ^^ + 3 ^ ) ^

Кп+1 = (Кп, 2дп , 2дп + 2Нп,дп + 2Кп). Определим функции ¡Щ € FN рекуррентно следующим образом:

Я = дп, ¡п = ьп, ¡п+2 = ¡п+1 + 2¡п.

Обратим внимание, что ¡п+5 = 2¡¿п. Действительно,

п п п п п п п п

1 4+5 = 1 4+4 + 214+3 = 314+3 + 214+2 = 14+2 + 14+1 = 2Л .

Выпишем несколько начальных значений Ц1:

(2.1)

(2.2)

^ = дп, К = № = 2 дп + Нп

^ = 2 дп + 3 Нп, Ц = дп + Нп, ^ = 2 дп.

(2.3)

Обратим внимание, что последовательность функций Ц1 является периодической с периодом 15, так как ¡n+15 = 23Ц1 = ^п1.

Лемма 1. Пусть п ^ 1, М1 е М4[ЖхЖ], М2 € М4[^ х^]7 и пусть ^ 1,...,¿4 € N и а1,...,а4 € F4 таковы, что выполняются векторные равенства

М1дп+1= (а^Ц .., а4И2Ц), М^^ (а^Л^, а^Ц+г)-Тогда для всех Ь € N выполняется М114п+1 = (а1М2Цг1+4,..., а4М2^п+4).

Доказательство. Доказательство индукцией по Ь.

Базис индукции. При Ь = 0 и Ь = 1 утверждение очевидно, поскольку

/оП+1 = 9п+1,а 1П+1 =

Шаг индукции. Пусть Ь ^ 2. По предположению индукции

М1/П+1 = (а 1М/П1+-2, ■ ■ М/ +—), М1/-11 = {аМ/^,.. .,а4М/П+_1).

Пусть М1/П+1 = (и1, и2, и3, и4). Поскольку /п+1 = /п_л + 2/—2, имеем:

иг = аг М/П+ _1 + 2 аг М2/Пг+_2 = аг М2{/П+_ _1 + 2 /Пг+_2) = агМ2/П+

при 1 ^ г ^ 4. Что и требовалось доказать. □

Для каждого а € F4 определим матрицу Та € М4 [4 х 4], элементы которой определены следующим образом:

Та[г,3] = (—¿а^, 1 < г,з < 4. (2.4)

Зададим множество Тр С М4[4х4] как Тр = {Та | а € F4}. Обратим

внимание, что

= 0 при г > з, поэтому матрицы из множества Тр

верхние треугольные и имеют следующий вид

Тп =

Кроме того, выполняются следующие матричные равенства.

'1 0 0 0 1 1 1 1 1 2 3 1 1 3 2 1

0 1 0 0 ,Т1 = 0 1 0 1 ,Т2 = 0 1 0 3 ,Тз = 0 1 0 2

0 0 1 0 0 0 1 1 0 0 1 2 0 0 1 3

0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1

Тп

Т1

То

Тз

■ дП Кп~ дп Кп~ п /о п /1

нп 2дп+ Нп Нп 2 дп+ Нп /1 /2

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

2дп+ Нп 2 дп+3 Нп 2дп+ Нп 2 дп+3 Нп /2 /3

2 дп+3 Нп дп+ Нп 2 дп+3 Нп дп+ Нп п /3 /4

дп Нп~ ' дп+3 Кп дп+2 Ъп~ '3 /п 3 /п

Нп 2дп+ Нп 2 дп+2 Нп 3дп 2 /2 2 /п

2дп+ Нп 2 дп+3 Нп 2 Нп 3 дп+2 Нп 2 /п 2 /п

2 дп+3 Нп дп+ Нп 2 дп+3 Нп дп+ Нп п 13 п ¡4

дп Нп~ '2 дп+2 Кп 3дп "2 /п 2 /п

Нп 2дп+ Нп дп+3 Нп дп+2 Нп 3 /п 3 /п

2дп+ Нп 2 дп+3 Нп дп Нп /о /1

2 дп+3 Нп дп+ Нп 2 дп+3 Нп дп+ Нп /3 /4

дп пп~ 2 Нп 3 дп+2 Нп~ '2 /п 2 /п

Нп 2дп+ Нп 3дп 3 Нп 3 /п 3 /п

2дп+ Нп 2 дп+3 Нп 3 дп+3 Нп дп+3 Нп 3 /п 3 /п

2 дп+3 Нп дп+ Нп 2 дп+3 Нп дп+ Нп /3 /4

(2.5)

(2.6)

(2.7)

(2.8)

Пусть V е¥2+\у = (и1,и2,и3,и4)1 где и1,...,и4 € МеМ4[|х|] и М0 € М4 [4x4]. Тогда по определению кронекерова произведения при 1 ^ г ^ N и 1 ^ Ь ^ 4 имеем

4 N

((Мо ® М)и)(4-^+< = Мо[Ь,к]М[г,^-^

к=1¿=1

4 N 4

= Мо[Ь, к] ^ М[г, $]ик = ^ Мо[Ь, к](Мик)г, к=1 ]=1 к=1 что в матричном виде можно записать как

(Mq ® m)

К! "Mu1 "

u2 = Mq Mu2

и3 Mu3

_u4_ Mu4

Лемма 2. Пусть M1, любого t € N

,Mn е TP, M = Mi

(2.9)

® Мп. Тогда для

¿Z (M/r+,) = 4™.

i=Q

Доказательство. Поскольку по (2.2)

4 4 4

£ Z(M/t+i) = £ Z(M/n+i) mod 5) = £ z(M/n),

i=Q i=Q

достаточно доказать, что

4

i=0

Ez (M/П) = 4n

(2.10)

(2.11)

t=0

Доказательство проведем индукцией по п.

Базис индукции. Пусть п = 0. Тогда М состоит из одного элемента М[1,1] = 1, и М14 = Л°. Из (2.1) и (2.3) получаем $ = (0), /0 = (1), $ = (1), ¿0 = (3), ХО = (1). Откуда,

£ Я(МЛ0) = 1 = 40. =0

Шаг индукции. Пусть п ^ 0, М = М1 ■ -®Мп, где М1,..., Мп € Тр. По предположению индукции выполняется (2.11).

Пусть М0 € Тр. Рассмотрим матрицу М/ = М0 ® М и покажем, что

4

^^ (М/¡4n+1) = 4п+1. =0

По определению (2.1) имеем gn+1 = (gn,gn + hn, 3gn + hn,gn + 3hn), hn+1 = (hn, 2gn, 2gn + 2hn,gn + 2hn). Тогда, учитывая (2.9) и (2.5)^(2.8), а также лемму 1, получаем

Mfr1 = (To 0 M)fn+1 = (Mftn,Mft+i,Mfn+2,Mf+3), Mfr1 = (Ti 0 M)ftn+1 = (3Mfn+2, 2Mftn+4, 2Mftn+1, Mft+3), M'fr1 = T 0 M)ftn+1 = (2Mfn+4,3Mfn+2, Mftn, Mf+),

Mfr1 = T 0 M)ftn+1 = (2Mft+1,3Mftn, 3Mfn+4, Mftn+3)

в случаях Mo = To, Mo = Ti, Mo = Tg, Mo = T3 соответственно. Учитывая (2.10) и предположение индукции, во всех случаях получаем

44

^ Z(M/ftn+1) = 4 ^ Z(Mf) = 4 • 4n = 4n+1. □

t=o t=o

Лемма 3. Пусть M1,...,Mn e TP, M = M1 ® • • • 0 Mn. Тогда для любого t e N

4n (4 \

Z(Mf?) = - + {-l)n ^--[t + b^O (mods)]J , (2.12)

где b = -bo + b2 + 2b3, ba = #{i | 1 < i < n, Mi = T„}7 a e F4.

Доказательство. Доказательство проведем индукцией по n.

Базис индукции. Пусть n = 0. f^k = 2kgo = (0) для всех k e N. Если же t = 5k + i, где k e N и 1 ^ i ^ 4, то, поскольку 2k = 0 и (0) ef I 1 < i < 4} = {(1), (3)}, имеем f° = 2kf° = (0). Матрица M состоит из единственного элемента M [1,1] = 1, и поэтому Mv = v для всех v e F1, а значит, Z(Mft0) = [t = 0 (mod 5)].

Пусть Pt + (-1)" (| - [t + b ф 0 (mod 5)]). Поскольку n = 0, то ba = 0, для всех a e F4, а следовательно, b = 0. Тогда

= \ + \ - [t ф 0 (mod5)] = [t = 0 (mod5)].

55

Значит, fito = [t = 0 (mod 5)] = Z(Mft0), и базис индукции выполнен.

Шаг индукции. Пусть n ^ 0, M1, ...,Mn e TP, M = M10 • • • 0Mn. По предположению индукции для всех t e N выполняется равенство (2.12).

Пусть Mo e Tp. Рассмотрим матрицу M/ = Mo 0 M и покажем, что утверждение леммы выполняется для M/, то есть, для всех t e N

Z(M'f?+l) = + (-l)ra+1 0 - [t + b' ф 0 (mod5)]^ , (2.13) где b/ = -b0 + b2 + 2b3, ba = ba + [Mo = Ta], a e F4.

Если дп+1 = (и1,...,и4), Кп+1 = (ь1,...,у4) и векторы М'дп+1 и М'Кп+1 представимы в виде

(M'gn+1)t = ^Mo[i,j]Muj = M^Mo[i,j]uj = auMf

j=i

4

j=1

4

(2.14)

(М 'Нп+1)г = ^ М0[1,з ]Му3 = М^Мо[г,] ]у3 = аи М%+1,

3=1 3=1

то по лемме 1 выполняется

М'/П+1 = КМГП+Ь1.., аиМ1П+и). (2.15)

В свою очередь, равенства (2.14) выполняются, если справедливо следующее матричное равенство

Mo[1,1] ... Mo[1,4]

Mo[4,1] ... M0[4,4]

Ui Vi

u4 v4

ан ftl ati fri+i

at4 ft4 at4 ft4 + i

(2.16)

Из (2.5)-(2.8) следует, что (2.16) выполняется для любой М0 е Тр. Учитывая конкретные значения Ь1 ,...,Ь4 из (2.5)-(2.8), получаем

Z((То ® M)fn+i) = Z(Mftn

+ Z (Mft+i) + Z (Mf+2) + Z (Mfn+з),

Z((T ® M)f

n+l) = f'n+l\ _

Z (Mf+2) + Z (Mft+4) + Z (Mft+i) + Z (Mf?+3),

Z((Т ® М)/п+1) = z(М/п+4) + z(М!П+2) + z(Мт ) + z(М/+),

z((Тз ® М)/п+1) = z(МГП+1) + z(МГП ) + z(М/п+4) + z(М/п+3).

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

Применяя лемму 2 и предположение индукции, имеем

Z ((То ®M )f

n+!\ _ rn

4n-Z(MfT+4) = 4n-f -(-ir(|-[i+6 ф 1 (mod 5)]),

Z{{T1®M)j?+l)=An-Z{MjГ ) = 4ra-f-(-ir(|-[i+6^0(mod5)])

Z ((T2 ®M )fn +l)=4n-Z (Mft+i) +i

5

= _(_l)n(4_[i+6 ф 4 (mod 5)])j

5

Z{(J3®M)iri) =r-Z(Mf?+2) = r-f -(-im-it+b Ф 3 (mod 5)]).

Как легко проверить, b = b' + [Mo = То] - [Mo = T2] - 2[Mo = Ts]. Поэтому,

Z((То ® M)fn+i) z((T ® m)fn+i) Z(T ® m)fn+i)

z((Ts ® m)fn+i)

4 n+l

—ЁГ"

4 n + l ~~~

4«+l ~~~

4П+1

(-1Г+1 (¡-[t + b'^0 (mod 5)]) (-1Г+1 (f-[i + 6'^0 (mod 5)])

+ +

+ (-l)ra+1 (¡-[t + b'^o (mod 5)]) , + (-l)ra+1 (¡-[t + b'^0 (mod 5)]) .

Таким образом, для любого доказана.

Mo Е Tp выполняется (2.13). Лемма

5

НИЖНЯЯ ОЦЕНКА СЛОЖНОСТИ ФУНКЦИЙ НАД ПОЛЕМ ПОРЯДКА 4 27 Теорема 1. В поле F4 справедлива оценка L^® (n) ^ |_|4raJ.

Доказательство. Для начала заметим, что T-1 = T-a. Действительно, при 1 ^ i ^ j ^ q выполняется (см., например, таблицу 199 в [3])

(T-aTa)[i,j] = £ (t;)(-a)lfc-<l(i:i)alj-fcl = £ (t;)(-a)fc-i(i:i)aj-k =

k=1 k=i

= aj-i(j-) £ (-1 )k-i(— = aj-i(j:i)(1 - 1 )j-i = [i = j].

k=i

Таким образом, T-aTa = Iq, в силу верхней треугольности матриц Ta и T-a. Тогда, TP = {M-1 | M e Tp} и Tf = {M-1 | M e Tpf}.

По лемме 3, учитывая целочисленность функции Z(v), v e Fn, имеем max{Z(Mgn) M e Гр®} ^ f + | + e 0 (mod 2)]. Поскольку L((M, c)) = 4n - Z(c), имеем

LT® (gn) = min{L((M, c)) | M e Tpf, c e F^, Mc = gn} = тт{4™ - Z(M-1gn) | M e Tpf} = 4n - max{Z(Mgn) | M e Tpf}

> 4'П ~ (f+1+1 in = 0 (mod 2)l) = in = 0 (mod 2)1 = И4'П\ ■

Следовательно, LT®(n) = max{LT®(/) | / ^ |_§4ra_|. □

Следствие 1. В поле F4 справедлива оценка

Доказательство. Из лемм 1 и 4 работы [2] следует, что Lp (n) = Lt® (n). Значит требуемая оценка следует из теоремы 1. □

Список литературы

1. Алексеев В. Б. О сложности реализации функций &-значной логики поляризованными полиномами / В. Б. Алексеев, А. А. Вороненко, С. Н. Селезнева // Дискретные модели в теории управляющих систем : тр. V Междунар. конф., Ратмино, 26-29 мая 2003 г. - М. : МАКС Пресс, 2003. - С. 8-9.

2. Балюк А. С. Верхние оценки сложности функций над конечными полями в некоторых классах кронекеровых форм / А. С. Балюк, Г. В. Янушковский // Изв. Иркут. гос. ун-та. Сер. Математика. - 2015. - Т. 14. - С. 3-17.

3. Грэхем Р. Конкретная математика. Основание информатики : пер. с англ. / Р. Грэхем, Д. Кнут, О. Паташник. - М. : Мир, 1998. - 703 с.

4. Маркелов Н. К. Нижняя оценка сложности функций трехзначной логики в классе поляризованных полиномов / Н. К. Маркелов // Вестн. Моск. ун-та. Сер. 15. Вычисл. математика и кибернетика. - 2012. - № 3. - С. 40-45.

5. Перязев Н. А. Сложность булевых функций в классе полиномиальных поляризованных форм / Н. А. Перязев // Алгебра и логика. - 1995. - Т. 34, № 3. -С. 323-326.

6. Селезнева С. Н. О сложности представления функций многозначных логик поляризованными полиномами / С. Н. Селезнева // Дискрет. математика. -2002. - Т. 14, № 2. - С. 48-53.

Балюк Александр Сергеевич, кандидат физико-математических наук, доцент, Институт математики, экономики и информатики, Иркутский государственный университет, 664003, Иркутск, ул. К. Маркса, 1, тел.: (3952)242210 (e-mail: sacha@hotmail.ru)

Зинченко Анна Сергеевна, кандидат физико-математических наук, доцент, Институт математики, экономики и информатики, Иркутский государственный университет, 664003, Иркутск, ул. К. Маркса, 1, тел.: (3952)242210 (e-mail: azinchenko@gmail.com)

A. S. Baliuk, A. S. Zinchenko

Lower Bound of the Complexity of Functions over Finite Field of Order 4 in the Class of Polarized Polynomials

Abstract. The representations, including polynomial, of functions over final fields have been actively investigated. The complexity of such representations is the main stream of research. Polynomial representations of Boolean functions have been studied well enough. The exact values of the complexity have been found for a lot of polynomial classes.

Recently, the interest to polynomial representations of functions over finite fields and over finite rings is being increased. There are a lot of difficulties in studying of the complexity of these representations. Only not equal upper and lower bounds has been obtained, even for sagnificantly simple classes of polynomials.

This paper is about polarized polynomials over finite field of order 4. Such a polynomial is a finite sum of products. Every polynomial represents an n-variable function over finite field. A complexity of a polynomial is a number of nonzero summands in it. Every function can be represented by several polynomials, which are belongs to the same class. A complexity of a function in a class of polynomials is the minimal complexity of polynomials in the class, which represent this function.

Previously, the constructive lower bounds in the class of polarized polynomials have been known only for the case of Boolean and three-valued functions. Also, the weaker, non-constructive lower bound has been known for the case of functions over arbitrary prime finite field.

In this paper the constructive lower bound has been obtained for functions over finite field of order 4 in the class of polarized polynomials. The lower bound is equivalent to previously known lower bound for Boolean and three-valued functions.

Keywords: finite field,polarized polynomial,Kroneker form,complexity,lower bounds.

References

1. Alekseev V.B., Voronenko A.A., Selezneva S.N. On the complexity of representations of fc-valued functions by polarized polynomials (in Russian). In proceedings of V International conference «Discrete models in theory of control systems», Ratmino, May 26-29 2003, 2003, pp. 8-9.

2. Baliuk A.S., Yanushkovsky G.V. Upper bounds of the complexity of functions over finite fields in some classes of Kroneker forms (in Russian). IIGU Ser. Matematika, 2015, vol. 14, pp. 3-17.

3. Graham R., Knuth D., Patashnik O. Concrete Mathematics. A Foundation for Computer Science. Addison Wesley, 1994. 672 p.

4. Markelov N.K. A lower estimate of the complexity of three-valued logic functions in the class of polarized polynomials. Moscow University Computational Mathematics and Cybernetics, 2012, vol. 36, issue 3, pp. 150-154.

5. Peryazev N.A. Complexity of Boolean functions in the class of polarized polynomial forms. Algebra and Logic, 1995, vol. 34, issue 3, pp. 177-179.

6. Selezneva S.N. On the complexity of the representation of functions of many-valued logics by polarized polynomials. Discrete Mathematics and Applications, 2002, vol. 12, no 3, pp. 229-234.

Baliuk Aleksandr Sergeevich, Candidate of Sciences (Physics and Mathematics), Irkutsk State University, 1, K. Marx st., Irkutsk, 664003 tel.: (3952)242210 (e-mail: sacha@hotmail.ru).

Zinchenko Anna Sergeevna, Candidate of Sciences (Physics and Mathematics), Irkutsk State University, 1, K. Marx st., Irkutsk, 664003 tel.: (3952)242210 (e-mail: azinchenko@gmail.com).

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