Hesaplamalı karmaşıklık ve Chomsky hiyerarşisi

Genel olarak hesaplama karmaşıklığı ve Chomsky hiyerarşisi arasındaki ilişkiyi merak ediyorum.

Özellikle, bir sorunun NP-tamamlanmış olduğunu biliyorsam , bu sorunun dili bağlamdan bağımsız mıdır?

Örneğin, kırpma sorunu NP-tamamlandı. Klipsli modellere karşılık gelen dilin Chomsky hiyerarşisinde minimum düzeyde karmaşıklık taşıdığı (modelleri dizeler olarak kodlamanın tüm / bazı yolları için) takip ediyor mu?

complexity-theory formal-languages

— sjmc
kaynak

birçok ince ilişki vardır, ancak çoğunlukla dik kavramlardır. temel olarak her dil sınıfı ile ilgili farklı problemlerin farklı karmaşıklıkları olabilir. NP bütünlüğü için "seyrek diller" hakkında bir teorem vardır ....

— vzn

Chomsky hiyerarşisinde dört dil sınıfı vardır:

$\mathrm{TIME}(n)$ $\mathrm{TIME}(o(n\log n))$ $\mathrm{SPACE}(0)$ $\mathrm{SPACE}(o(\log\log n))$
$\mathrm{LOGCFL}$ $\mathrm{LOGCFL}$ $\mathrm{AC}^1$ $\mathrm{P}$
$\mathrm{NSPACE}(n)$
Sınırsız dilbilgisi - bu sınıf, yinelenen numaralandırılabilir tüm dillerden oluşur.

$\neq$

— Yuval Filmus
kaynak

Düzenli olmayan doğrusal zaman dilleri çoktur. Muhtemelen SPACE (0) veya SPACE (o (log log n)) demek istediniz.

— Emil Jeřábek

T I M E (f (n))

$\mathrm{TIME}(f(n))$