非线性同余求解器（模块化算法）

Question

有没有一种算法可以解决模算术中的非线性同余？我读到这样的问题被归类为 NP-complete。

在我的具体情况下，同余的形式如下：

x^3 + ax + b congruent to 0 (mod 2^64)

其中 a 和 b 是已知常数，我需要为 x 求解它。

Answer 1

看看Hensel 的引理。