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

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

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

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

19 ds.algorithms  edit-distance  space-time-tradeoff 

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

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

(вже запитували на головному сайті , але просимо також тут кращого висвітлення, вибачте) Оскільки я знав про Структурні дані структури, я відчайдушно потребую гарного огляду останніх подій у цій галузі. Я переглянув Google і прочитав багато статей, які я міг бачити в результатах пошуку Google за запитами зверху голови. Я …

14 reference-request  ds.data-structures  advice-request  space-time-tradeoff 

Мене цікавить рання історія опублікованих результатів щодо загальноприйнятих просторово-часових компромісів. Зокрема, я хочу знати, хто вперше описав наступний тип алгоритму оцінки обчислень, що мають довільний графік потоку даних із ступенем O (1), використовуючи простір, пропорційний глибині (не ширині) графіка потоку даних (плюс розмір вхідних даних), виконуючи пряму глибину першої оцінки …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff 

Розглянемо деяку мову такою, що:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) і так, що L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Іншими словами, найшвидша машина обчислює у часі а найбільш ефективна машина обчислює при використанні простору .MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) Що можна сказати про космічну ефективність M або про ефективність часу M '? Або точніше, якщо …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

Після обговорення нижчих меж для 3SAT [ 1 ] мені цікаво, які основні результати нижньої межі формулюються як компроміси в просторі та часі. Я виключаю такі результати, як, скажімо, теорема Савича; хороший запис буде зосереджений на одній проблемі та її межах. Прикладом може бути: "Нехай T і S - час, …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Якщо нам дано два рядки розміром і n 2 , то стандартний обчислення відстані редагування Левенштейна здійснюється за допомогою динамічного алгоритму з часовою складністю O ( n 1 n 2 ) і складністю простору O ( n 1 n 2 ) . (Деякі вдосконалення можуть бути внесені як функція відстані …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

Тут було кілька запитань ( 1 , 2 , 3 ) про транзитивне завершення, які змусили мене задуматися, чи можливо щось подібне: Припустимо, ми отримуємо графік, спрямований на введення GGG і хотів би відповісти на запити типу "(u,v)∈G+(u,v)∈G+(u,v)\in G^+? ", тобто запитувати, чи існує край між двома вершинами при перехідному …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure