NE不能通过Turing归约转化为非指数稠密的NP集合。
摘要：计算复杂性理论中一个长期存在的问题是将NE与BPP分开，BPP是NP_T(NPcap P/poly)的子类。在本文中，我们展示了NE∉NP_(NPcap Nonexponentially-Dense-Class)，其中Nonexponentially-Dense-Class是没有指数密度的语言A的类（对于每个常数c>0，|A^(len)|≤2^(n^c)对于无穷多个整数n）。我们的结果暗示了对于每个可构造出超多项式函数g(n)（如g(n)=n^(ceiling(log(ceiling(log n)))）都有NE∉NP_T(pad(NP, g(n)))，其中Pad(NP, g(n))是所有语言L_B={s10^(g(|s|)-|s|-1):sin B}的类，其中B∈NP。我们还展示了NE∉NP_T(P_tt(NP)cap Tally)。
作者：Bin Fu
论文ID：1012.2394
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-12-14