是否可以确定任何不平凡的运行时范围?


14

问题   给定图灵机相对于输入长度n已知运行时间Og n ,的运行时间是否是?中号ØGññ中号ØFñ

对于和一些非平凡的对,可以确定上述问题吗?如果则解决方案是微不足道的。˚F Ñ Ô ˚F Ñ GFGñØFñ

这与以下问题有关:P中的运行时边界是否可确定?(答案:否)。可以从Viola的答案得出,如果和那么问题是确定的。˚F Ñ Ô Ñ FñØñFñØGñ

的要求,即是由于中提琴的证明需要时间找到它的输入大小。因此,当f n = 1时,Viola的证明不起作用。中号' ø Ñ FñØñ中号ØñFñ=1个

如果我们可以决定亚线性时间算法的运行时间,那将很有趣。一种特殊情况是,当我们有任意的f n = 1时GñFñ=1个


由于您链接到的问题在CSTheory上得到了很好的回答,因此您以后可能希望标记为要迁移。
Juho

Answers:


5

以下是一些相关的说明:

  1. Kobayashi证明了在时间运行的TM 接受常规语言(因此在时间O n )上运行);最近,它已扩展到非确定性TM(Tadaki,Yamakami和Lin)。o(nlogn)O(n)
  2. 在时间运行的计算机实际上在恒定时间内运行(请考虑运行时间小于n的任何n ;在末尾添加字符不会影响TM)。o(n)nn

1
值得指出的是:1.仅适用于单磁带TMs
Sasho Nikolov
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.