多方额头数字模型中的不相交性困难
摘要：不相交性在一般的k方数量在前额模型中需要随机通信Omega(n^{1/(k+1)}/2^{2^k})。对于k>=3，先前的最佳下界是log(n)/(k-1)。我们的结果在k=log log n - O(log log log n)个玩家中提供了非确定性和随机多方数量在前额通信复杂性之间的差异。此外，通过Beame，Pitassi和Segerlind的归约，这些结果还意味着在广泛的证明系统类中证明反驳某些不可满足CNF所需证据的规模具有次指数下界，包括树形Lovasz-Schrijver证明。
作者：Troy Lee, Adi Shraibman
论文ID：0712.4279
分类：Computational Complexity
分类简称：cs.CC
提交时间：2009-06-09