求解線性丟番剔不等式系統的算法

這research paper看起來像你想讀的東西。

2011-07-10 04:59:06 Blender

這就是我正在尋找的東西，除了一個問題：他們在第350-351頁給出算法，但步驟（3）的一部分似乎缺失。 –

哇。讓我試着找出算法來自的問題，因爲這是非常糟糕的審查... – Blender

我不確定您是否可以查看此PDF，但本文似乎涵蓋了相同的主題（系統的解決方案，但不包括對於不平等），所以你可能能夠找到它的用途：http://www.springerlink.com/content/t8qa7gumcly3ua2m/ – Blender

我剛剛從www.numbertheory.org移植了一個算法，使用SymPy（任意精度）或Numpy（更快但受到整數溢出）從PHP進入Python，在這裏您可以找到https://github.com/tclose/Diophantine。這取決於你的系統有多大，速度相當快。

我會推薦使用SymPy分支，儘管它有點慢。如果性能是一個問題，那麼可以使用PyPy解釋器加速它，因爲它是用純Python編寫的。

2015-07-17 14:20:13

回答