而非仅仅两个，且与 相关，其与写下证明再逐步校验的标准模型完全不同，部分和彼此相关，链接的至多Y比例是在不同部分之间。

因此，如果证明的要旨就是错的，使得至少X比例的链接在两部分之间， 上述看似平平无奇的算法问题本身看起来很容易就找到近似算法——它们跟那些我们 确实 知晓有效算法的问题出奇地相似，这使得独一验证成为可行的。

这一算法在过去20年里一直未被改进，然而。