У меня появилась некая рабочая гипотеза. Пытаюсь доказать или опровергнуть.
Пусть
![f(x) \in \mathbb{Z}[x], \, \deg f = n, f(x) \in \mathbb{Z}[x], \, \deg f = n,](https://dxdy-04.korotkov.co.uk/f/b/7/3/b7301025d72919a8bd8c1d9858afeef782.png)
p - простое, и не все коэффициенты f делятся на p. Тогда сравнение

имеет не более

решений на отрезке
![[0, p^N] [0, p^N]](https://dxdy-01.korotkov.co.uk/f/8/6/e/86e6fb398fe9cab5dc9140a47459130082.png)
, где c - некоторая константа, не зависящая ни от n, ни от N, ни от многочлена f (возможно, зависящая от p).
Как видно из предыдущих постов, для хорошего многочлена справедлива просто оценка n. Если взять многочлен

, то решением соответствующего сравнения будут все числа вида

(если N/n - не целое, берем целую часть). Это конечно ничего не доказывает, но демонстрирует, откуда я взял рабочую гипотезу.
Приведите
код к корректному виду. В соответствии с правилами. //Администратор cepesh.