Запитання з тегом «space-complexity»

Виходячи з попереднього запитання , які найкращі нижні межі поточного простору для SAT? Під нижньою межею пробілу я маю на увазі кількість комірок робочої стрічки, використовуваних машиною Тьюрінга, яка використовує алфавіт двійкової робочої стрічки. Постійний термін добавки неминучий, оскільки ТМ може використовувати внутрішні стани для імітації будь-якої фіксованої кількості комірок …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Загальновідомо, що паліндроми можна розпізнати в лінійному часі на -стрічкових машинах Тюрінга, але не на односмугових машинах Тюрінга (у цьому випадку необхідний час є квадратичним). Алгоритм лінійного часу використовує копію введення, а отже, також використовує лінійний простір.222 Чи можемо ми розпізнати паліндроми в лінійний час багатоступеневої машини Тьюрінга, використовуючи лише …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

Я шукаю оглядовий документ або книгу, що висвітлює результати про складність простору звичайних операцій лінійної алгебри, таких як ранг матриці, обчислення власних значень тощо. Я наголошую на частині «складності простору», що означає складність робочого простору, а не складність у часі, оскільки це простіше відстежити результати часу. Я вдячний за будь-яку …

19 linear-algebra  space-complexity 

Теорема Савича показує, що для всіх досить великих функцій fNSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff , а доведення, що це щільно, є відкритою проблемою протягом десятиліть . Припустимо, ми підійдемо до проблеми з іншого кінця. Для простоти припустімо булеву абетку. Обсяг простору, який використовується ТМ для визначення обчислювальної мови, часто тісно пов'язаний з …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

У своїй роботі " Приблизна відстань оракулів , Торпуп та Цвік" показали, що для будь-якого зваженого непрямого графа можна побудувати структуру даних розміром яка може повернути приблизно -приблизну відстань між будь-якою парою вершин на графіку.О ( к н1 + 1 / к)О(кн1+1/к)O(k n^{1+1/k})( 2 к - 1 )(2к-1)(2k-1) На фундаментальному …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Я здійснив деякий пошук з цього питання, але жодного разу не зміг знайти відповідь. Гек відповів на це повністю. Спасибі :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Загальне запитання Чи узагальнює теорема про космічну ієрархію до неоднорідних обчислень? Ось ще кілька конкретних питань: Є ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Для всіх функціональних функцій f(n)f(n)f(n) , чи є DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Для яких функцій h(n)h(n)h(n) відомо, що: для всіх конструкцій простору f(n)f(n)f(n) , DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq DSPACE(f(n))/h(n) ?

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Ельберфельд, Якобі та Тантау 2010 ( ECCC TR10-062 ) довели просторово ефективну версію теореми Бодлендера. Вони показали, що для графіків з шириною ширини не більше можна розкласти дерево шириною k за допомогою логарифмічного простору. Постійний коефіцієнт у зв'язаному просторі залежить від k . (Теорема Бодлендера показує лінійну обмежену в часі …

10 cc.complexity-theory  sat  treewidth  space-complexity