Mu

Mu anlamına ? $\mathsf{EXP}=\mathsf{NEXP}$ $\mathsf{E}=\mathsf{NE}$

— argentpepper
kaynak

Evet, E = NE, dolgu argümanı kullanılarak kanıtlanabilen EXP = NEXP'yi ifade eder.

— Mohammad Al-Turkistany

EXP = NEXP'nin neden E = NE'yi ima ettiği açık değil. Bu doğruysa, Succinct3SAT için herhangi bir

zamanlı algoritma, Succinct3SAT için bir

-zamanlı algoritmaya dönüştürülebilir. Belki bir şeyleri tersine çevirdiniz ve diğer sonuçları sormak istediniz?

2^{n^{k}}

$2^{n^k}$

2^{O (n)}

$2^{O(n)}$

— Ryan Williams

Ve sonra P = 0 veya N = 1 ise P = NP!

— Daniel Apon

Evet. Sanırım bu bir ev ödevi problemi.

— Mohammad Al-Turkistany

Bu sorunun kapatılmasını makul bir soru üzerine düzenlendikten sonra (sorunun ifadesi ilginç olmasa da) “gerçek bir soru” olarak anlamıyorum. Örneğin, Ryan Williams'ın yorumu buna bir cevap olabilir.

— Tsuyoshi Ito

Bu bildiğim kadarıyla açık. Kanıtlanabilir (hipotezi yanlış olabilir) ya da Succinct3SAT için herhangi bir zamanlı algoritmanın Succinct3SAT için bir -zamanlı algoritmaya dönüştürülebildiğini göstermek zor olabilir . $2^{n^k}$ $2^{O(n)}$

Genel olarak, bu tür teoremlere "aşağı doğru çökmeler" denir; bu, iki "büyük" sınıf eşitse iki "küçük" sınıfın eşit olduğunu söyler. Bu teoremler nadirdir. Genellikle ya bir "yukarı doğru çökme" (küçük sınıflar eşit, daha büyük sınıflar eşittir, örneğin ima eder ) ya da onun çelişkili bir "aşağıya doğru ayrılma" olduğunu kanıtlayabilirsiniz. $P = NP$ $NEXP = EXP$

İstediğiniz şeyin çizgisinde Hartmanis, Immerman ve Sewelson ( http://dl.acm.org/citation.cfm?id=808769 ) teorisi $NE = E$ $\iff$ $NP$ $P$ $poly(n)$ $n$

— Ryan Williams
kaynak