求解线性丢番图不等式系统的算法

Question

是否有一个合理快速的算法来求解线性丢番图不等式系统？

Answer 1

此research paper看起来像是您想要阅读的内容。

Answer 2

我刚刚从www.numbertheory.org移植了一个算法，使用SymPy（任意精度）或Numpy（更快，但遭受整数溢出）从PHP进入Python，你可以在这里找到https://github.com/tclose/Diophantine 。它的速度相当快，具体取决于系统的大小。

我建议使用SymPy分支，尽管它有点慢。如果性能是一个问题，你可以使用PyPy解释器加速它，因为它是用纯python编写的。