通常，确定双色子方程是否具有任何整数解等同于停止问题。我相信，确定二次泛函方程是否具有任何解都是NP完全的。在所涉及的方程式上是否存在进一步的限制，从而产生一个P完全问题？
1
我认为与gcd相关的问题已显示为P完整。
—
T ....
@EmilJeřábek糟糕，我误报了结果。解决的办法必须是积极的理性。它在1991年的P的《问题完整大全》中列为问题A.4.2 。Greenlaw等人的报告。
—
mhum
@EmilJeřábek当然，在整数上这只是整数编程。我的意思是说通过说您想要一个合理的解来使线性编程听起来像二阶方程式问题，这有点误导，因为坚持一个有理的解对这个问题没有任何约束。即，如果您问线性方程组是否对非负实数有解，则问题将完全相同。
—
萨绍·尼科洛夫
@SashoNikolov这不是一个约束。如果不指定解决方案的域，那么问题就很容易形成，除非可以从上下文中推断出该域。这里的上下文是这样的，隐含域将是整数，因此需要明确声明它是不同的。是的，这里选择是理性，实在还是特征0的任何其他字段都没有关系。姆胡姆选择“理性”的选择与您选择“现实”的选择同样有效。
—
EmilJeřábek'17
@EmilJeřábek我基本上同意你的意思。我无法以某种方式传达的是，对我而言，线性编程缺少色粉方程问题的数论方面。
—
Sasho Nikolov