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

Мы знаем, что L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} и что L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , где L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Мы также знаем , что polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}потому что у последнего есть полные проблемы при логарифмическом пространстве многократных сокращений, в то время как у первого нет …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Многие важные результаты в теории вычислительной сложности и, в частности, в теории «структурной» сложности, обладают интересным свойством, которое можно понять как фундаментально следующее (как я вижу это ...) из алгоритмических результатов, дающих эффективный алгоритм или протокол связи для некоторых проблема. К ним относятся следующие: IP = PSPACE следует из рекурсивного …

21 cc.complexity-theory  structural-complexity 

Фон Известно , что существует оракул такое , что .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Даже известно, что разделение справедливо относительно случайного оракула. Неофициально можно интерпретировать это как означающее, что существует много оракулов, для которых и разделены.P HPSPACEPSPACEPSPACEPHPHPH Вопрос Насколько сложны эти оракулы, …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

задира Поскольку проблема длинная, здесь есть особый случай, который отражает ее суть. Проблема: Пусть A - детриминистический алгоритм для 3-SAT. Является ли проблема полного моделирования алгоритма A (на каждом экземпляре задачи). P-Space сложно? (Точнее, есть ли основания полагать, что эта задача сложная в P-Space, что-то в этом направлении следует из …

17 cc.complexity-theory  big-picture  structural-complexity 

Не известно , если изоморфизм графов (GI) для сильно регулярных графов (SRGS) в P . Есть ли намеки на то, что это может или не может быть GI- Complete? Есть ли сильные последствия в таких случаях? (Аналогично убеждению, что GI не может быть NP-Complete).

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

В нашей недавней работе мы решили вычислительную проблему, возникшую в комбинаторном контексте, исходя из предположения, что , где - это -версия . Единственной найденной нами статьей о была статья Бейгеля-Бурмана-Фортнау 1998 года , в которой упоминается комплексный зоопарк . Мы понимаем, что можем взять версии задач (см. Этот вопрос ), …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Для любого произвольного NP-полного языка всегда ли найдется надмножество множителей, дополнение которого также бесконечно? На /cs//q/50123/42961 была запрошена тривиальная версия, в которой суперсет не должен иметь бесконечного дополнения. Для целей этого вопроса можно предположить, что . Как объяснил Вор, если то ответ «Нет». (Если , то является NP-полным. Очевидно, что …

14 cc.complexity-theory  np-complete  structural-complexity 

Две статьи, которые я бы включил: Д. Козен, "Индексация субрекурсивных классов" , STOC, 1978. Р. Лэднер, "О структуре полиномиальной временной сводимости" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

Плотность языковой является функцией определяется как Пусть и являются языками некоторого конечного алфавита, многих один logspace сводится к , и не в . Функции являются полиномиально связаны , если существуют многочлены и такие , что для всех , иd X : N → N d X ( n ) = …

12 cc.complexity-theory  reductions  structural-complexity 

Имеет ли означают E = N E ?EXP=NEXPEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E=NEE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

Пусть ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n)) будет классом языков, определяемым чередующимися машинами Тьюринга, которые останавливаются во времени f(n)f(n)f(n) используя пространство g(n)g(n)g(n) . Пусть A A L T S P (F( н ) , г( н ) )AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n)) будет классом языков, определяемым чередующимися машинами Тьюринга, которые останавливаются, используя чередования е( н )f(n)f(n) и …

9 cc.complexity-theory  complexity-classes  structural-complexity