摘要:$k$变量的断言在[q]域上的近似可能性,以及在唯一游戏猜想下,给出了这样的断言近似抵抗的新充分条件。具体来说,我们证明了如果存在一个平衡的两两独立的分布在[q]^k上,其支持集包含在满足P的赋值集合中,那么谓词P是近似抵抗的。
作者:Per Austrin and Elchanan Mossel
论文ID:0802.2300
分类:Computational Complexity
分类简称:cs.CC
提交时间:2008-02-19
PDF 下载: 英文版 中文版pdf翻译中