We use existential Diophantine predicates carefully reinterpreted over the reals and the time complexity of Tarski algebra to show that 3-CNF SAT is in n^O(log^{gamma} n) time for an absolute positive constant gamma.
翻译:我们使用对塔尔斯基代数的真数和时间复杂性进行仔细重新解释的原状原状原状,以表明3-CNF SAT在绝对正常数伽马时值为n ⁇ O(log ⁇ gamma} n)。