Вопросы с тегом «logspace»

ST-связность - это проблема определения, существует ли направленный путь между двумя выделенными вершинами и в ориентированном графе . Может ли эта проблема быть решена в пространстве журналов, является давней открытой проблемой. Это называется проблемой противssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL В чем сложность ST-связности, когда базовый неориентированный граф имеет ограниченную ширину дерева.GGG Известно ли, что …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Шива Кинтали только что объявил (круто!) Результат, что изоморфизм графов для ограниченных графов ширины является ⊕ L- трудным≥4≥4\geq 4⊕L⊕L\oplus L . Неофициально мой вопрос: "Насколько это сложно?" Мы знаем, что неравномерно , см. Ответы на этот вопрос . Мы также знаем, что маловероятно, что , см. Ответы на этот вопрос …

26 cc.complexity-theory  complexity-classes  logspace 

Если , то существует алгоритм пространства журнала, который решает версию решения 2-SAT.L = N LL=NL\mathsf{L = NL} Известно ли, что подразумевает наличие алгоритма логического пространства для получения удовлетворительного назначения , когда в качестве входных данных предоставляется удовлетворительный экземпляр 2-SAT?L = N LL=NL\mathsf{L = NL} Если нет, то как насчет алгоритмов, …

15 sat  search-problem  logspace 

Что произойдет, если мы определим P P A DP P A D{\bf PPAD} таким образом, чтобы вместо схемы времени Тьюринга / машины полисайта схема Тьюринга пространства журналов или схема A C 0A C0{\bf AC^0} кодировали проблему? В последнее время оказалось важным дать более быстрые алгоритмы для обеспечения удовлетворительности схемы для …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

1-тусклый алгоритм Вейсфейлер-Леман (WL) широко известен как каноническая маркировка или алгоритм , цвета уточнения. Это работает следующим образом: Начальная раскраска равномерна, C 0 ( v ) = 1 для всех вершин v ∈ V ( G ) ∪ V ( H ) .С0С0C_0С0( v ) = 1С0(v)знак равно1C_0(v) = 1v …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

Язык находится в если существует машина Тьюринга для пространства журналов, которая решает язык с полиномиальным количеством рекомендаций.Л / р о л уL/поLYL/poly Смотрите здесь для получения дополнительной информации: https://en.wikipedia.org/wiki/L/poly Вопрос Каковы последствия ?п⊆L / p o l yп⊆L/поLYP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Вопрос. В своей работе « Улучшенное моделирование цепей стабилизатора» Ааронсон и Готтесман утверждают, что имитация схемы CNOT является ⊕L-полной (при сокращении пространства журнала). Ясно, что оно содержится в ⊕L ; как держится результат твердости? Эквивалентно: есть ли сокращение лог-пространства от итерированных матричных произведений по модулю 2 до итерированных произведений элементарных …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Доказательство Омер Рейнгольда , что дает алгоритм USTCON (В U ndirected граф со специальными вершинами S и т , они Con подсоединены?) , Используя только logspace. Основная идея состоит в том, чтобы построить график расширителя из исходного графика, а затем выполнить обход в графике расширителя. График экспандера составляется путем возведения …

13 graph-algorithms  nondeterminism  expanders  logspace 

На странице википедии на PSPACE упоминается, что включение не является строгим (к сожалению, без ссылок).NL ⊂ PЧАСNL⊂PHNL\subset PH Q1: А как насчет и L ⊂ P # P - известны ли они как строгие?L ⊂ PЧАСL⊂PHL\subset PHL ⊂ P# PL⊂P#PL\subset P^{\#P} Q2: Если нет, существует ли установленный класс который содержит …

12 cc.complexity-theory  complexity-classes  logspace 

Теорема Махейни говорит нам , что если есть разреженная -полное множество под полиномиальное время многие-одно сокращение, то P = N P . (См. « Разреженные комплекты для NP: Решение гипотезы Бермана и Хартманиса »)NпNPNPP=NPP=NPP = NP Известны ли последствия существования разреженных полных наборов для других классов сложности? В частности, если …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace