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

У класичному документі Манро та Патерсон вивчають проблему, скільки потрібно зберігання для алгоритму, щоб знайти медіану у випадково відсортованому масиві. Зокрема, вони зосереджуються на наступній моделі: вхід зчитується зліва направо протягом декількох Р разів. Показано, що комірок пам'яті достатньо, але відповідна нижня межа відома лише для P = 1. Я …

18 ds.algorithms  space-bounded  data-streams 

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

17 quantum-computing  space-bounded 

Неважко помітити, що будь-яка проблема, яка вирішується в детермінованому просторі журналів ( ), працює не більше, ніж у поліномії ( P ). Багато відомих алгоритмів журнального простору (наприклад: непряме з'єднання st, плоский ізоморфізм графа) працюють в O ( n k ), де k шалено велике.LLLPPPO(nk)O(nk)O(n^k)kkk Я шукаю приклади природних задач, …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Розподіл називається ε -fool функцію F , якщо | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . І, як кажуть, обдурити клас функцій, якщо він обдурює кожну функцію цього класу. Відомо, що ϵ …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Теорема Савича показує, що для всіх досить великих функцій 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 

За класичним результатом Kuroda, клас складності NSPACE [ ]nnn (також відомий як NLIN-SPACE) є саме класом CSL контекстно-чутливих мов . Проблема задоволеності SAT полягає в NSPACE [ ], оскільки здогадка рішення лінійного розміру може бути перевірена якнайбільше лінійної суми накладних витрат для ведення бухгалтерського обліку. Це означає, що SAT повинен …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Нісан довів у "Псеодорадонських генераторах для обчислень, обмежених космосом", що існує псевдовипадковий генератор, який "дурить" обчислення, обмежені космосом. Чи відповідає ця конструкція кожному оракулу (принаймні для неадаптивних запитів)?

16 cc.complexity-theory  space-bounded  derandomization 

Мене цікавлять два питання щодо контекстно-залежної мови (CSL) та повноти: Чи існує поняття повноти для CSL та якими мовами є повними? Чи існують природні CSL, які не мають повного NP? Для 2. я, безумовно, можу думати про природні мови, що повністю завершуються NP, які є CSL (оскільки CSL дорівнює NSPACE …

16 np-hardness  fl.formal-languages  space-bounded 

Савич дав детермінований алгоритм вирішення st-з'єднання за допомогою простору , маючи на увазі N L ⊆ D S P A C E ( log 2 n ) . Алгоритм Савича працює в часі 2 O ( log 2 n ) . Основною відкритою проблемою є те, чи можна зв’язати st-з'єднання …

15 cc.complexity-theory  space-bounded 

Ми часто розглядаємо класи складності, де ми обмежені в кількості простору, яку може використовувати наш апарат Тьюрінга, наприклад: або . Здається, що на початку теорії складності було досягнуто великого успіху в таких класах, як теорема про ієрархію простору та створення таких важливих класів, як та . Чи є аналогічні визначення …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

- клас задач вирішення, який вирішується сімействомланцюгів глибин O ( log i n ) з безмежними фаніновими АБО і обмеженими вентиляційними вентилями І. Заперечення дозволено лише на вхідному рівні. Відомо, що S A C i для i ≥ 1 закритий під комплементом, а S A C 0 - ні. Також …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Завдяки Іммерману та Шелепчесній відомо, що якщо f = Ω ( log ) (навіть для функцій, що не конструюються у просторі).N S P A C E (ф) = c o N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( журнал )f=Ω(log)f=\Omega(\log) У тій же статті Іммерман зазначає, …

13 cc.complexity-theory  reference-request  space-bounded  alternating-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 

Розглянемо розмірного вектора де . Для кожного ми знаємо і припустимо, що є незалежними. Використовуючи ці ймовірності, чи існує ефективний спосіб перебирати бінарні двовимірних векторів, щоб з найбільш ймовірним до найменш вірогідного (з довільним вибором для зв'язків), використовуючи пробіл у підлінійному розмірі? v v i ∈ { 0 , 1 …

12 ds.algorithms  space-bounded 

MPA (багатоскатний автомат) - це 2DFA (двосторонній детермінований кінцевий автомат), який може використовувати довільну кількість гальки (насправді не більше гальки на заданому вході w - вхід записується на стрічку між двома кінцями -марки як # w # ). Під час обчислень MPA може виявити, чи є символ під головою з …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded