不可分性与不相交NP对的强假设
摘要：存在于计算复杂性中不可分离的NP语言的不相交对以及相关的强假设的研究。我们的主要定理表明，如果在EXP中，NP不为0，则存在NP语言的不相交对是P-不可分离的，事实上，它们是TIME（2 ^（n^k））不可分离的。我们还将这些条件与关于不相交对的随机性和普遍性的强假设联系起来。
作者：Lance Fortnow, Jack H. Lutz, Elvira Mayordomo
论文ID：0902.2674
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-02-03