一个证明要多长时间？- 一份简短说明
How long is a Proof? - A short note
摘要：
撤回愚蠢的想法和断章取义。
英文摘要：
Withdrawn. Silly notion and out of context.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
关于素域上半代数证明和高斯消去的注记
A Note on Semi-Algebraic Proofs and Gaussian Elimination over Prime Fields
在本说明中，我们表明，不可满足的线性方程组与一个常数的变量，每个方程在素有限域的多项式大小的常数度半代数证明的不可满足性。这些证明操纵变量范围在$\{0,1\}$的实数上的多项式不等式。这个上界是要放在与已知的事实，即某些显式系统的线性方程在两个元素的领域，这种反驳需要线性度和指数大小，如果他们被限制在所谓的静态半代数证明，甚至树状半代数和平方和证明。我们的上界是一个或多或少的直接翻译的论点，由于格里戈里耶夫，赫希和Pasechnik（莫斯科数学杂志，2002年）谁做了它的一个家庭的线性系统的兴趣在命题证明的复杂性。我们指出，他们的方法是更一般的，可以被认为是模拟高斯消除。
cs.CCcs.LO
关于子集和的Merlin-Arthur协议的一个注记
A short note on Merlin-Arthur protocols for subset sum
在子集和问题中，我们给定n个正整数和一个目标整数t。一个解就是这些整数之和为t的子集。在这个简短的说明中，我们表明，对于一个给定的子集和实例，有一个证明的大小$O^*(\sqrt{t})$的解决方案的数量是什么，可以在$O^*(t)$时间构造，并可以在时间概率验证$O^*(\sqrt{t})$与最恒定的错误概率。这里，$O^*()$表示法省略了输入大小$n\log(t)$中的多项式因子。
cs.CCcs.DS
关于合取查询的计算复杂度的一个简短说明
A short note on the counting complexity of conjunctive queries
这说明关闭了一个小的差距，在文献中的计算复杂性的合取查询显示，查询，不是自由连接没有一个线性时间计数算法在标准的复杂性假设。更一般地，它表明，所谓的量化的星大小是一个下界的指数在运行时的任何计数算法的合取查询。
cs.CCcs.DBcs.LO
