论文标题
部分可观测时空混沌系统的无模型预测
Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle and the Ordering Principle
论文作者
论文摘要
在本文中，我们研究了零史塔兹证明的总系数大小。我们表明，$ n $ pigeons上的nullstellensatz对鸽子孔原理的证明要求总系数尺寸$ 2^{ω（n）} $，并且存在$ n $元素的订购原理的nullstellensatz证明，总数尺寸尺寸$ 2^n -n $。
In this paper, we investigate the total coefficient size of Nullstellensatz proofs. We show that Nullstellensatz proofs of the pigeonhole principle on $n$ pigeons require total coefficient size $2^{Ω(n)}$ and that there exist Nullstellensatz proofs of the ordering principle on $n$ elements with total coefficient size $2^n - n$.
