吴算法呢?应该只是Buchberger's algorithm和Grobners Basis片段,或许计算复杂性会低一些。我没兴趣去看,因为有Buchberger's algorithm和Hilbert Nullstellensatz,还有Tarski定理,这问题在理论上已经没有意义,在算法上应该也没有超过Buchberger's algorithm。而且是因为官员操作而炒起来的,所以让人很难愿意花时间。princeton 写了: 2023年 11月 20日 21:19 吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广,Groubner basis 更系统,Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控,没有上界。
国内数理逻辑界有人私下表明了态度,但吴也去世,私下表态度的也去世,就算了吧。不说了。
Tarski的算法计算复杂度是双指数的。我估计Buchberger's algorithm也是。Tarski是逻辑的方法,Buchberger's algorithm是用代数几何的方法或者代数方法得出来的,运气好啊,唉。