Вопросы с тегом «time-hierarchy»

Если мы посмотрим на теорему об иерархии DTIME, то получим журнал из-за накладных расходов при моделировании детерминированной машины Тьюринга на универсальной машине: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) У нас нет такого рода накладных расходов на NTIME из DSPACE. Основное обоснование исходит из деталей доказательства, учитывая разницу между симуляторами. Мой вопрос заключается …

30 cc.complexity-theory  universal-computation  time-hierarchy 

В одном предложении: подразумевает ли существование иерархии для какие-либо результаты дерандомизации?B P T I M EBPTIME\mathsf{BPTIME} но неопределенный вопрос: подразумевает ли существование иерархии для какие-либо трудные нижние границы? Влияет ли решение этой проблемы на известный барьер в теории сложности?B P T I M EBPTIME\mathsf{BPTIME} Моя мотивация для этого вопроса состоит …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

Первоначальная теорема недетерминированной временной иерархии принадлежит Кук (ссылка на С. Кука, иерархия недетерминированной временной сложности , JCSS 7 343–353, 1973). Теорема утверждает, что для любых действительных чисел r1r1r_1 и r2r2r_2 , если 1≤r1<r21≤r1<r21 \le r_1 \lt r_2 то NTIME ( nr1nr1n^{r_1} ) строго содержится в NTIME ( nr2nr2n^{r_2} ). Одна …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

Верно ли, что в полиномиальной иерархии существуют проблемы, разрешимые во времени (с помощью чередующейся машины Тьюринга на некотором уровне полиномиальной иерархии), которые не разрешимы в O ( n k - 1 ) на любом уровне полиномиальная иерархия? Другими словами - существует ли теорема временной иерархии для полиномиальной иерархии, как это …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Теорема иерархии времени утверждает, что машины Тьюринга могут решить больше проблем, если у них есть (достаточно) больше времени. Имеет ли это какое-то значение, если пространство ограничено асимптотически? Как DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) относится к DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) если fgfg\frac{f}{g} растет достаточно быстро? Меня особенно интересует случай, когда s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Определите как класс языков, которые могут быть приняты машиной (множественной) Тьюринга за время f ( n ) + 1 . (« + 1 » просто для упрощения обозначений и предотвращения путаницы.) Обратите внимание, что вокруг f ( n ) + 1 нет O ( ⋅ ) .D T I M …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

Короче говоря, теоремы иерархии времени говорят о том, что машина Тьюринга может решить больше проблем, если у нее будет больше времени для вычислений. Подробно для детерминированных TM и функций, построенных по времени, с это и для недетерминированных функций TM и функций времени, f, g с f (n + 1) = …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy