Запитання з тегом «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(nk)O(nk)O(n^k) (за допомогою змінної машини Тюрінга на деякому рівні поліноміальної ієрархії), які не вирішуються в O(nk−1)O(nk−1)O(n^{k-1}) на будь-якому рівні поліноміальна ієрархія? Іншими словами - чи існує теорема про ієрархію часу для ієрархії поліномів, як це існує для P та …

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 , …

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

Визначте як клас мов, який може бути прийнятий (багатотактною) машиною Тюрінга за час f ( n ) + 1 . (" + 1 " - це просто спростити позначення та уникнути плутанини.) Зауважте, що немає ODTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+ 1навколо f ( n ) + 1 ( ⋅ ) .O(⋅)O(⋅)O(\cdot)f(n)+1f(n)+1f(n) + …

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

Коротше кажучи, теореми часової ієрархії говорять про те, що машина Тьюрінга може вирішити більше проблем, якщо у неї буде більше часу для обчислень. Детально для детермінованих функцій TM та функцій, що конструюються часом f, гf,gf,g з це а для недетермінованих функцій ТМ та функцій, сконструйованих часом f, g з f …

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