합니까

합니까 의미 ? $\mathsf{EXP}=\mathsf{NEXP}$ $\mathsf{E}=\mathsf{NE}$

— 아르헨티나
소스

예, 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)}$

— Ryan Williams

그리고 P = 0 또는 N = 1 인 경우 P = NP!

— Daniel Apon

예. 숙제 문제인 것 같아요.

— Mohammad Al-Turkistany

이 질문을 합리적인 질문으로 편집 한 후에는이 질문을 "실제 질문이 아님"으로 이해하지 못합니다 (질문의 문구가 흥미롭지는 않지만). 예를 들어 Ryan Williams의 의견이 이에 대한 답이 될 수 있습니다.

— 이토 쓰요시

내가 아는 한 이것은 열려 있습니다. (가설이 거짓 일 수 있기 때문에) 입증 될 수 있거나 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$

— 라이언 윌리엄스
소스