序原理的平方和界

本文中，我们分析了 $n$ 个元素上序原理的平方和层次（SOS）。我们证明 $O(\sqrt{n}log(n))$ 次的平方和可以证明序原理。随后我们证明该上界本质上紧：对任意 $\epsilon > 0$，平方和需要 $\Omega(n^{\frac{1}{2} - \epsilon})$ 次来证明 $n$ 个元素上的序原理。