О сложности поиска периодов функций, заданных многочленами над конечным простым полем
С. Н. Селезнева Московский гос. университет им. М. В. Ломоносова, Ленинские горы, 1, 119991 Москва, Россия
Аннотация:
Рассматриваются многочлены над конечным простым полем
$F_p = (E_p; +, \cdot),$ содержащим
$p$ элементов, при этом с каждым таким многочленом
$f(x_1, \ldots, x_n)$ связывается
$p$-значная функция
$f\colon E_p^n \to E_p,$ которую этот многочлен определяет. Периодом
$p$" значной функции
$f(x_1, \ldots, x_n)$ называется набор
$a = (a_1, \ldots, a_n)$ элементов из
$E_p$ такой, что имеет место равенство
$f(x_1+a_1, \ldots,$ $x_n+a_n) = f(x_1, \ldots, x_n).$ В работе предложен алгоритм, который для простого
$p$ и произвольной
$p$-значной функции
$f(x_1, \ldots, x_n),$ заданной многочленом над полем
$F_p,$ находит базис линейного пространства всех периодов этой функции
$f,$ при этом сложность алгоритма равна
$n^{O(d)},$ где
$d$ — степень многочлена, задающего функцию
$f.$ Как следствие, показано, что в случае простого
$p$ при каждом заданном числе
$d$ задача поиска базиса линейного пространства всех периодов
$p$-значной функции, заданной многочленом степени не выше
$d,$ может быть решена полиномиальным алгоритмом относительно числа переменных этой функции. Библиогр. 11.
Ключевые слова:
$p$-значная функция (функция
$p$-значной логики), конечное поле, простое поле, многочлен над полем, периодичность, алгоритм, сложность.
УДК:
519.712.3+
512.622+
510.52 Статья поступила: 14.11.2021
Переработанный вариант: 14.11.2021
Принята к публикации: 26.11.2021
DOI:
10.33048/daio.2022.29.727