Вопросы с тегом «cc.complexity-theory»

P против NP и другие ограниченные ресурсами вычисления.

5
Доказательства того, что PPAD сложно?
Существует часто цитируемое философское обоснование полагать, что P! = NP даже без доказательств. Другие классы сложности имеют доказательства того, что они различны, потому что если нет, то будут «удивительные» последствия (например, крах полиномиальной иерархии). Мой вопрос: на чем основано убеждение, что класс PPAD неразрешим? Если бы существовал алгоритм полиномиального времени …

1
Вычислительная сложность пи
Позволять L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (где считается закодированным в двоичном виде). Тогда что мы можем сказать о вычислительной сложности ? Понятно, что . И если я …

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

5
NEXP-полные проблемы
Вокруг множество проблем с NP-полнотой, и источники их собирают, например, см. Книгу Гэри и Джонсона. Мне было бы интересно увидеть список неполных NEXP задач. Есть ли один доступный? Поскольку я предполагаю, что нет, я открываю этот вопрос (это должна быть вики сообщества? Я не знаю об этом материале). В идеале …

1
Реферированные игры с некоррелированными полу-частными монетами
Я был (и до сих пор) действительно заинтересован в ответе на этот вопрос, потому что это интересный вариант сложности игр, который не был решен, поэтому я предложил вознаграждение. Я подумал, что исходный вопрос, скорее всего, слишком сложный, поэтому я опубликовал три связанных вопроса, которые также заслуживают награды. Никто не опубликовал …

3
Содержится ли
Я думал, что поделюсь этим вопросом, так как он может быть интересен для других пользователей здесь. Предположим, что функция из однородного класса (например, ) также входит в небольшой неоднородный класс (например, A C 0 / p o l y , т. Е. Неоднородный A C 0 ), означает ли это, …

2
Насколько сложно использовать подход Mulmuley-Sohoni GCT, чтобы показать * известные * разделения сложности?
В этом гостевом посте Джоша Грохова в блоге о сложности он рассказывает о недавнем семинаре, посвященном GCT, который прошел в Принстоне в июле. Несколько участников утверждали, что мы должны использовать GCT, чтобы атаковать более простые проблемы, чем против N PпP\mathsf{P}Н ПNP\mathsf{NP} , чтобы построить интуицию и посмотреть, есть ли у …

3
Является ли эта вариация TQBF все еще PSPACE-полной?
Решение, если количественная логическая формула, такая как ∀ х1∃ х2∀ х3⋯ ∃ хNφ ( х1, х2, … , ХN) ,∀Икс1∃Икс2∀Икс3⋯∃ИксNφ(Икс1,Икс2,...,ИксN),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), всегда оценивается как истина - это классическая PSPACE-полная проблема. Это можно рассматривать как игру двух игроков с чередующимися ходами. …


1
Можно ли решить изоморфизм графа с ограниченным квадратным недетерминизмом?
Ограниченность недетерминизм связывает функцию g(n)g(n)g(n) с классом языков , принятых ресурсы ограничены детерминированные тьюринговых машинами, чтобы сформировать новый класс - . Этот класс состоит из тех языков, которые принимаются некоторой недетерминированной машиной Тьюринга подчиняющейся тем же границам ресурса, которые используются для определения , но где разрешено делать не более недетерминированных …

4
Последствия NP = PSPACE
Каковы будут неприятные последствия NP = PSPACE? Я удивлен, что ничего не нашел по этому поводу, учитывая, что эти классы являются одними из самых известных. В частности, будет ли это иметь последствия для низших классов?

6
Есть ли естественная проблема на натуральных объектах, которая является NP-полной?
Любое натуральное число может рассматриваться как битовая последовательность, поэтому ввод натурального числа аналогичен вводу последовательности 0-1, поэтому проблемы с NP-заполнением с натуральными входами, очевидно, существуют. Но есть ли естественные проблемы, то есть те, которые не используют некоторую кодировку и специальную интерпретацию цифр? Например, "На прайм?" Это такая естественная проблема, но …

4
Шумная версия игры жизни Конвея поддерживает универсальные вычисления?
Цитируя Википедию , «[Игра Жизни Конвея] обладает мощью универсальной машины Тьюринга: то есть все, что может быть вычислено алгоритмически, может быть вычислено в Игре Жизни Конвея». Распространяются ли такие результаты на шумные версии игры жизни Конвея? Простейшая версия состоит в том, что после каждого раунда каждая живая клетка умирает с …

7
Должны ли мы считать
Многие эксперты считают, что гипотеза верна, и используют ее в своих результатах. Меня беспокоит то, что сложность сильно зависит от гипотезы P ≠ N P.PNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Итак, мой вопрос: Пока гипотеза не доказана, можно / нужно ли рассматривать ее как закон природы, как указано в цитате из …

2
Насколько сложно посчитать количество факторов целого числа?
Учитывая целое число длиной битов, насколько сложно вывести число простых факторов (или, альтернативно, число факторов) из ?n NNNNNnnNNN Если бы мы знали первичную факторизацию , то это было бы легко. Однако, если бы мы знали количество основных факторов или число общих факторов, неясно, как мы могли бы найти фактическую основную …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.