|
О сложности поиска периодов функций, заданных многочленами над конечным простым полем
С. Н. Селезнева Московский гос. университет им. М. В. Ломоносова, Ленинские горы, 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$-значной логики), конечное поле, простое поле, многочлен над полем, периодичность, алгоритм, сложность.
Статья поступила: 14.11.2021 Переработанный вариант: 14.11.2021 Принята к публикации: 26.11.2021
Образец цитирования:
С. Н. Селезнева, “О сложности поиска периодов функций, заданных многочленами над конечным простым полем”, Дискретн. анализ и исслед. опер., 29:1 (2022), 56–73
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da1293 https://www.mathnet.ru/rus/da/v29/i1/p56
|
|