确实意味着？

确实意味着？ $\mathsf{EXP}=\mathsf{NEXP}$ $\mathsf{E}=\mathsf{NE}$

— 阿根廷胡椒
source

是的，E = NE表示EXP = NEXP，可以使用padding参数证明。

— Mohammad Al-Turkistany 2012年

对我而言，为什么EXP = NEXP隐含E = NE并不明显。如果是真的，则可以将用于Succinct3SAT的任何 -时间算法转换为用于Succinct3SAT的 -时间算法。也许您的情况发生了逆转，您是否想询问其他含义？

2^{n^{k}}

$2^{n^k}$

2^{O (n)}

$2^{O(n)}$

— 瑞安·威廉姆斯

如果P = 0或N = 1，则P = NP！

— Daniel Apon 2012年

是。我想这是一个作业问题。

— Mohammad Al-Turkistany 2012年

在将该问题编辑成一个合理的问题之后，我不认为该问题的结束是“不是一个真正的问题”（尽管问题的措辞并不有趣）。例如，赖安·威廉姆斯的评论可以解决这个问题。

— 伊藤刚（Tsuyoshi Ito）

据我所知，这是开放的。这可能是可以证明的（因为其假设可能是错误的），或者只是很难证明Succinct3SAT的任何算法都可以转换为算法。 Succinct3SAT。 $2^{n^k}$ $2^{O(n)}$

通常，此类定理称为“向下折叠”，表示如果两个“大”类相等，则两个“小”类相等。这些定理很少见。通常，您可以证明“向上崩溃”（较小的类别等于较大的类别，例如意味着）或其对立面，即“向下分离”。 $P = NP$ $NEXP = EXP$

符合您需要的定理是Hartmanis，Immerman和Sewelson的定理（http://dl.acm.org/citation.cfm?id=808769），其中中包含的每个稀疏集合都包含在其中。这给出了“向下折叠”，但仅适用于稀疏集（那些仅包含长度为字符串的集）。 $NE = E$ $\iff$ $NP$ $P$ $poly(n)$ $n$

— 瑞安·威廉姆斯（Ryan Williams）
source