Önemsiz olan herhangi bir şey için çalışma zamanı sınırları kararlaştırılabilir mi?

Sorun Giriş uzunluğu ile ilgili olarak çalışma zamanını bilen   bir Turing makinesi verildiğinde , nin çalışma zamanı midir?$M$${O}(g(n))$$n$$M \in {O}(f(n))$

Yukarıdaki problem bazı önemsiz ve çiftleri için karar verilebilir mi? ise bir çözüm önemsizdir .$g$$f$$g(n) \in O(f(n))$

Bu sorunla ilgilidir P çalışma zamanı sınırları karar verilebilir mi? (cevap: hayır) . Bir türetmek için Viola'nın yanıt eğer ve daha sonra bir sorun undecidable.$f(n)\not \in o(n)$$f(n)\not \in O(g(n))$

Uygun olduğu veya için bir Viola dayanıklı bir ihtiyaç olarak zamanda, giriş numarası bulmak için. Bu nedenle, olduğunda Viola'nın kanıtı işe yaramadı .$f(n)\not \in o(n)$$M'$$O(n)$$f(n)=1$

Alt doğrusal zaman algoritmalarının çalışma süresine karar verebilirsek ilginç olurdu. Özel bir durum keyfi ve .$g(n)$$f(n)=1$

Alakalı olabilecek birkaç açıklama:

1. Kobayashi, zamanında çalışan bir TM'nin normal bir dili kabul ettiğini (ve böylece zamanında çalıştığını kanıtladı ; son zamanlarda bu belirleyici olmayan TM'lere ( Tadaki, Yamakami ve Lin ) genişletildi .$o(n\log n)$$O(n)$
2. Zaman içinde çalışan makineler aslında sabit zamanda çalıştırın (herhangi düşünün çalışma süresi daha kısa olduğu için ; TM etkilemez sonuna karakterleri ekleme).$o(n)$$n$$n$