P (PTime) ve Tip 1 (bağlama duyarlı) diller arasındaki tahmin edilen ilişki nedir?


10

Olup olmadığı bilinmiyor PCSL veya PCSL, nerede

  • P , deterministik bir Turing makinesinde polinom zamanında karar verilebilen tüm diller kümesidir ve
  • CSL , lineer sınırlı otomata tarafından karar verilen diller olan ile eşdeğer olduğu bilinen içeriğe duyarlı diller .N-SPbirCE(Ö(n))

Birçok açık soru için, bir cevap eğilimi vardır ( la "çoğu uzman inanır "). Bu soru için böyle bir şey var mı?PN-P

Özellikle, cevaplardan herhangi birinin beklenmedik sonuçları olur mu? Sadece beklenen (ancak kanıtlanmamış) sonuçları görebiliyorum:

  • Eğer , daha sonra (boşluk hiyerarşi teoremi), bu nedenle .PCSLPN-SPbirCE(Ö(n))N-SPbirCE(Ö(n2))PPSpbirce
  • Eğer , daha sonra bir dil yoktur ve bu yüzden , dolayısıyla .PCSLlPN-SPbirCE(Ö(n))lPN-LN-LP

(Teşekkür: Bu ikisinin ikinci sonucu Yuval Filmus tarafından /cs/69614/ adresinde belirtilmiştir )

Yanıtlar:


12

Eğer , daha sonra . Bir dolgu argümanı ile, bu, her iyi davranışlı işlev için ve every . Zaman içinde böylesine güçlü bir alan avantajının doğru olmayacağına inanıyorum. Bu yönde şu anda bilinen en iyi sonuç Hopcroft, Paul ve Valiant nedeniyle .PCSLPDSPbirCE(n2)

DTbenME(t(n))DSPbirCE(t(n)ε)
t(n)ε>0
DTbenME(t(n))DSPbirCE(t(n)/günlükt(n)),

Teşekkürler, bu soruyu şimdi kabul ettim, ancak bu sorunun doğası göz önüne alındığında, elbette başka cevaplar da memnuniyetle karşılanacaktır.
mak
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.