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

Пусть $K$ – класс функций вида $f\colon R^n\to R$, где $n=1,2,3,\dots$, и $S(K,N)$ – множество начальных отрезков длины $N$ рекуррентных последовательностей, построенных при помощи функций из $K$. Рассматривается задача распознавания свойства "$x\in S(K,N)$" для произвольной последовательности $x\in R^N$. В случае, когда $K$ – класс консервативных функций над кольцом $R=\mathbb Z_{p^n}$, предлагается алгоритм решения этой задачи, битовая сложность которого $\mathrm O(N\log^2N)$.