üzerinde

Biz biliyoruz ki $\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}$ . Savitch Teoreminden, $\mathcal{N\!L}\subseteq\mathcal{L}^2$ Uzay Hiyerarşisi Teorem'den, $\mathcal{L}\neq\mathcal{L}^2$ . Yani, bilmediğimiz gibi $\mathcal L\neq\mathcal P$ , bilmiyoruz $\mathcal L^2\subseteq\mathcal P$ , ya da biliyor muyuz $\mathcal L^2\not\subseteq\mathcal P$ ? Herkes olduğunu kanıtlamaya çalışıyor mu? Bu şekilde en son sonuçlar veya çabalar nelerdir? Bu konu hakkında bir anket yazmaya çalışıyorum, ancak alakalı bir şey bulamadım. $\mathcal L^2\subseteq\mathcal P$

Ayrıca, ister mevcut olup, bir problem, değildir -Komple açık bir sorudur ve bu varlığı ima her olarak, sorunu için tamamlandıktan . Ama gerçekten bilmiyor muyuz ? Bunu kanıtlamaya çalışan var mı? Yine, bu şekilde en son sonuçlar veya çabalar nelerdir? $\mathcal{N\!P}$ $\mathcal{N\!P}$ $\mathcal L\neq\mathcal{N\!P}$ $\mathcal L$ $\mathcal L$ $\mathcal L\neq\mathcal{N\!P}$

Belki bir şey eksik veya yanlış arama yapıyorum, ancak ve soruları üzerinde çalışan kimseyi bulamadım . $\mathcal L^2\subseteq \mathcal P$ $\mathcal L\neq\mathcal{N\!P}$

— Leandro Zatesko
kaynak

Bu sorunun bir alt kümesini sordum: cstheory.stackexchange.com/q/14159/4193

— argentpepper

ve arasında herhangi bir ayrım bilmiyoruz . Bu nedenle, aralarındaki sınıflar arasındaki herhangi bir sıkı sınırlama bilinmiyor. Bu mu artı @ argentpepper oluyor sonuçları nelerdir ? soru sorularınızı cevaplamak?

T C^{0}

$\mathsf{TC^0}$

N E x p T i m e

$\mathsf{NExpTime}$

L^{2} \subseteq P

$\mathsf{L}^2 \subseteq \mathsf{P}$

— Kaveh

Steve Cook meslektaşlarıyla birlikte 'ı den ayırmak için bir yaklaşım üzerinde çalışıyor . Bence en son yayınlanan çalışmaları: Stephen Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, Rahul Santhanam, "Ağaç Değerlendirme için Çakıl ve Dallanma Programları" , 2012.

P

$\mathsf{P}$

L

$\mathsf{L}$

— Kaveh

@Kaveh Kesinlikle biliyoruz ki, UNIFORM , - cf'den farklıdır . Allender'ın devresi Daimi için alt sınırlar. (Üniforma . Mevcut tartışma ile ilgili olduğunu versiyonudur) Ama evet, hatta ayıran muntazam gelen açıktır.

T C^{0}

$TC^0$

P^{# P}

$P^{\#P}$

T C^{0}

$TC^0$

N P

$NP$

T C^{0}

$TC^0$

— Ryan Williams

@Ryan, haklısın, , burada önemli olan yazdığınız gibi tek biçimli sürüm.

T C^{0}

$\mathsf{TC^0}$

— Kaveh

Aşağıdaki kağıdı kontrol edebilirsiniz:

Çevirisel ödüller, polinom zamanı ve -uzey $(\log n)^j$ , Ronald V. Book (1976).

Makaledeki Şekil 1 ve 2, neyin bilinip neyin bilinmediğinin bir özetini vermektedir.

Teorem 3.10'u buradaki makaleye koydum:

$DTIME(poly(n)) \neq DSPACE(poly(\log n))$ ;
her , ; $j \geq 1$ $DTIME(n^j) \neq DSPACE(poly(\log n))$
her , . $j,k \geq 1$ $DTIME(n^j) \neq DSPACE( (\log n)^k )$

— Abuzer Yakaryilmaz
kaynak

Ücretsiz bir çevrimiçi kopya burada .

— Kaveh