DOES

DOES 意味するものでは？ $\mathsf{EXP}=\mathsf{NEXP}$ $\mathsf{E}=\mathsf{NE}$

cc.complexity-theory conditional-results nexp structural-complexity

はい、E = NEはEXP = NEXPを意味し、パディング引数を使用して証明できます。

— Mohammad Al-Turkistany

EXP = NEXPがE = NEを意味する理由は私には明らかではありません。それが真である場合、Succinct3SATの

時間アルゴリズムはSuccinct3SATの

時間アルゴリズムに変換できます。多分あなたは物事が逆転していて、あなたは他の影響について尋ねるつもりでしたか？

2^{n^{k}}

$2^{n^k}$

2^{O (n)}

$2^{O(n)}$

— ライアンウィリアムズ

そして、P = 0またはN = 1の場合、P = NP！

— ダニエルアポン

はい。宿題の問題だと思います。

— Mohammad Al-Turkistany

この質問を合理的な質問に編集した後、その質問の終了を「本当の質問ではない」と理解していません（ただし、質問の文言は面白くありません）。たとえば、ライアンウィリアムズのコメントは、その答えになる可能性があります。

— 伊藤剛

$2^{n^k}$ $2^{O(n)}$

$P = NP$ $NEXP = EXP$

$NE = E$ $\iff$ $NP$ $P$ $poly(n)$ $n$

— ライアン・ウィリアムス
ソース