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

Хорошо известно, что палиндромы могут распознаваться в линейном времени на машинах Тьюринга с лентами, но не на машинах Тьюринга с одной лентой (в этом случае необходимое время является квадратичным). Алгоритм линейного времени использует копию входных данных и, следовательно, также использует линейное пространство.222 Можем ли мы распознать палиндромы за линейное время …

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

Какова наиболее известная сложность для вычисления точного расстояния редактирования между двумя строками одинаковой длины с использованием рабочего пространства, которое является сублинейным по размеру ввода? Я предполагаю, что вход хранится в каком-то формате только для чтения. Это ранее изученная проблема? Чтобы сделать вопрос немного более конкретным, как насчет пространства где - …

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

Легко видеть, что любая проблема, которая разрешима в детерминированном пространстве журналов ( ), выполняется в самое большее полиномиальное время ( ). Многие известные алгоритмы логарифмического пространства (например, ненаправленная st-связность, изоморфизм плоских графов) работают в где безумно велико.P O ( n kLLLппPO ( nК)О(NК)O(n^k)ККk Я ищу примеры естественных проблем, которые, как …

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

(уже просили на главном сайте , но просим также о лучшем освещении, извините) Так как я знал о сжатых структурах данных, мне отчаянно нужен хороший обзор последних событий в этой области. Я погуглил и прочитал много статей, которые я мог видеть в верхней части результатов 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)) Что можно сказать о пространственной эффективности М или временной эффективности М '? Или, точнее, …

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 

Если нам даны две строки размером и , стандартное вычисление расстояния редактирования Левенштейна выполняется с помощью динамического алгоритма с временной сложностью и пространственной сложностью . (Некоторые улучшения могут быть сделаны в зависимости от расстояния редактирования , но мы не предполагаем, что особенно мало.) Если вас интересует только значение расстояния редактирования …

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