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

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

2
Сложность восстановления матрицы смежности из ее квадрата
Меня интересует следующая проблема: Имеется ли матрица, существует ли неориентированный граф на вершинах, квадрат матрицы смежности которых является этой матрицей?n×nn×nn\times nnnn Известна ли вычислительная сложность этой проблемы? Примечания: Конечно, это также можно сформулировать как задачу поиска, где вам дается матрица для матрицы смежности неориентированного графа, и задача состоит в том, …
4
Хаос и
Я заинтересован в изучении связей между «хаосом» или, в более широком смысле, динамическими системами и вопросом . Вот пример типа литературы, которую я ищу:п= Nппзнак равноNпP{=}NP Эрчи-Раваш, Мария и Золтан Торошкай. «Твердость оптимизации как переходный хаос в аналоговом подходе к удовлетворению ограничений». Физика природы 7, нет. 12 (2011): 966-970. ( …
2
Проблемы с эффективным решением за исключением небольшой доли ресурсов
Проблема остановки для машин Тьюринга, возможно, является каноническим неразрешимым множеством. Тем не менее, мы доказываем, что существует алгоритм, решающий почти все его экземпляры. Таким образом, проблема остановки является одной из растущих коллекций тех, кто демонстрирует феномен «черной дыры» теории сложности, с помощью которого трудность невыполнимой или неразрешимой проблемы ограничивается очень …
1
Естественный кандидат против гипотезы об изоморфизме?
Знаменитая гипотеза об изоморфизме Бермана и Хартманиса говорит, что все -полные языки полиномиально по времени изоморфны (p-изоморфны) друг другу. Ключевое значение гипотезы является то , что она предполагает P ≠ N P . Она была опубликована в 1977 году, и часть подтверждающих доказательств, что все N P -полные проблемы , …
1
Легко ли изоморфизм индуцированного подграфа на бесконечном подклассе?
Существует ли последовательность неориентированных графов , где каждый имеет ровно вершин, и проблема{ CN}n ∈ N{СN}N∈N\{C_n\}_{n\in \mathbb N}СNСNC_nNNn При заданном и графе является ли индуцированным подграфом в ?NNnграммграммGСNСNC_nграммграммG известно, что он находится в классе ? (Например, когда , это проблема клики для NP-полной задачи.)пп\mathsf{P}СN= КNСNзнак равноКNC_n=K_n
2
Мотивация использования карп-редукций в теории
Понятие полиномиального сокращения времени (сокращения Кука) является абстракцией очень интуитивного понятия: эффективное решение проблемы с использованием алгоритма для другой задачи. Тем не менее, в теории -полнота, понятие N P -hardness захватывается с помощью сокращений (сокращения отображения Karp). Эта концепция «ограниченных» сокращений гораздо менее интуитивна (по крайней мере, для меня). Это …
5
Можно ли проверить, является ли вычислимое число рациональным или целым?
Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно проверить, равны ли два числа, но я не вижу, как это …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
Есть ли теория, которая сочетает в себе теорию категорий / абстрактную алгебру и вычислительную сложность?
Теория категорий и абстрактная алгебра имеют дело со способом, которым функции могут быть объединены с другими функциями. Теория сложности имеет дело с тем, насколько сложно вычислить функцию. Мне странно, что я не видел, чтобы кто-нибудь совмещал эти области изучения, поскольку они кажутся такими естественными парами. Кто-нибудь делал это раньше? В …
2
Все ли функции, вес Фурье которых сконцентрирован на множествах малого размера, вычисляются цепями AC0?
Все ли функции, чей вес Фурье сконцентрирован на множествах малого размера (или членах с низкой степенью), вычисляются по схемам ?AC0AC0\mathsf{AC}^0
3
Случайность покупает нам что-нибудь внутри P?
Пусть будет классом решений задач, имеющих рандомизированный алгоритм с ограниченной двусторонней ошибкой, работающий за время .O ( f ( n ) )BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) ли нам какие-либо проблемы такие, что но ? Доказано ли его несуществование? Q ∈ B P T I M E ( n k ) Q ∉ D T …
2
Насколько тяжела мафия?
Мафия - популярная ролевая игра на вечеринках, подробное описание доступно на википедии http://en.wikipedia.org/wiki/Mafia_%28game%29 . В основном это работает следующим образом: В начале каждому из игроков тайно отводится роль, связанная либо с мафией, либо с городом. Каждая роль может иметь особые способности; подробнее об этом позже.NNN Есть две фазы игры: день …
1
Какова сложность подсчета случайных 2-SAT?
Была ли проделана какая-либо работа над тем, как сложность случайных экземпляров # 2-SAT зависит от плотности предложения? То есть: как изменяется сложность подсчета удовлетворяющих решений для случайно сгенерированного экземпляра 2-SAT , когда меняется плотность предложений? В частности, известны ли какие-либо строгие результаты, касающиеся критических порогов? Конечно, поскольку 2-SAT ∈ P …
3
Почему мы используем одиночные ленточные машины Тьюринга для сложности времени?
Как вы знаете, существует много аномалий для одиночных ленточных машин Тьюринга, когда время : симуляция ТМ с несколькими лентами, симуляция большого алфавита ленты с просто { 0 , 1 , b } , возможность построения времени, неплотность теоремы иерархии времени, ...o(n2)o(n2)o(n^2){0,1,b}{0,1,b}\{0,1,b\} Также результаты, такие как , и очень специфичные для …
1
Какова «реальная» причина того, что IP = PSPACE является нерелятивизирующим?
ООOC ø N P O ⊆ P S P C E O Oc o N PОP я PОсоNпО⊈япО{\sf coNP}^O \not\subseteq {\sf IP}^Oc o N PО⊆ Р С Р С ЕОсоNпО⊆пSпAСЕО{\sf coNP}^O \subseteq {\sf PSPACE}^OООO Тем не менее, я видел только несколько человек, которые дают «прямое» объяснение того, почему результат не …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.