1 research outputs found

    NE is not NP Turing Reducible to Nonexpoentially Dense NP Sets

    Full text link
    A long standing open problem in the computational complexity theory is to separate NE from BPP, which is a subclass of NPT(NP∩P/poly)NP_T(NP\cap P/poly). In this paper, we show that NEβŠ†ΜΈNP(NP∩NE\not\subseteq NP_(NP \cap Nonexponentially-Dense-Class), where Nonexponentially-Dense-Class is the class of languages A without exponential density (for each constant c>0,∣A≀nβˆ£β‰€2nc|A^{\le n}|\le 2^{n^c} for infinitely many integers n). Our result implies NEβŠ†ΜΈNPT(pad(NP,g(n)))NE\not\subseteq NP_T({pad(NP, g(n))}) for every time constructible super-polynomial function g(n) such as g(n)=n^{\ceiling{\log\ceiling{\log n}}}, where Pad(NP, g(n)) is class of all languages LB={s10g(∣s∣)βˆ’βˆ£sβˆ£βˆ’1:s∈B}L_B=\{s10^{g(|s|)-|s|-1}:s\in B\} for B∈NPB\in NP. We also show NEβŠ†ΜΈNPT(Ptt(NP)∩Tally)NE\not\subseteq NP_T(P_{tt}(NP)\cap Tally)
    corecore