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

2
Лучшая текущая космическая нижняя граница для SAT?
Исходя из предыдущего вопроса , Каковы наилучшие текущие нижние границы пространства для SAT? С нижней границей пробела здесь я имею в виду количество ячеек рабочей ленты, используемых машиной Тьюринга, которая использует двоичный алфавит рабочей ленты. Постоянный аддитивный член неизбежен, поскольку TM может использовать внутренние состояния для моделирования любого фиксированного числа …
3
Сколько времени распознавать палиндромы в логарифмическом пространстве?
Хорошо известно, что палиндромы могут распознаваться в линейном времени на машинах Тьюринга с лентами, но не на машинах Тьюринга с одной лентой (в этом случае необходимое время является квадратичным). Алгоритм линейного времени использует копию входных данных и, следовательно, также использует линейное пространство.222 Можем ли мы распознать палиндромы за линейное время …
2
Какова пространственная сложность вычисления собственных значений?
Я ищу обзорную статью или книгу, в которой освещаются результаты о пространственной сложности общих операций линейной алгебры, таких как ранг матрицы, вычисление собственных значений и т. Д. Я подчеркиваю часть «пространственная сложность», означающую сложность рабочего пространства, а не временную сложность, поскольку легче отслеживать результаты времени. Я ценю любую ссылку в …
1
Квадратичная связь между недетерминированным и детерминированным пространством?
Теорема Савича показывает, что для всех достаточно больших функций , и доказательство того, что это тесно, является открытой проблемой на протяжении десятилетий ,NSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Предположим, мы подходим к проблеме с другого конца. Для простоты предположим булев алфавит. Объем пространства, используемого ТМ для выбора вычислимого языка, часто тесно связан с …
1
Космический аппроксимация
В своей статье « Приблизительные расстояния» оракулы Торупа и Цвика показали, что для любого взвешенного неориентированного графа можно построить структуру данных размера которая может возвращать ( 2 k - 1 ) -приближенный расстояние между любой парой вершин в графе.O ( к н1 + 1 / к)О(КN1+1/К)O(k n^{1+1/k})( 2 к - …
1
Обобщает ли теорема о пространственной иерархии неравномерное вычисление?
Общий вопрос Обобщает ли теорема о пространственной иерархии неравномерное вычисление? Вот несколько более конкретных вопросов: Является ли ?L / ролу⊊ PSпA CЕ/ РолуL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Для всех космических построимых функций , является D S Р С Е ( О ( е ( п ) ) ) / р о л …
1
Является ли SAT ограниченной ширины разрешимым в пространстве журналов?
Elberfeld, Jakoby и Tantau 2010 ( ECCC TR10-062 ) доказали неэффективную версию теоремы Бодлендера. Они показали, что для графов с шириной дерева не более разложение дерева шириной можно найти с помощью логарифмического пространства. Постоянный множитель в границе пространства зависит от k . (Теорема Бодлендера показывает линейную временную границу с экспоненциальной …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.