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

14
Нахождение пятиконечной звезды за полиномиальное время

Я хочу доказать, что это часть моей домашней работы по курсу, который я сейчас прохожу. Я ищу некоторую помощь в продолжении, а не ответ. Это вопрос, о котором идет речь: 5-точечная звезда в неориентированном графе является 5-кликой. Покажите, что 5-POINTED-STAR , где 5-POINTED-STAR = содержит...

14
Сложность вычислительных матриц

Я заинтересован в вычислении nNn «ю мощность матрицы . Предположим, у нас есть алгоритм умножения матриц, который выполняется за время . Тогда можно легко вычислить за время. Можно ли решить эту проблему за меньшее время?n×nN×Nn\times...

14
Разница между сложностью времени и вычислительной сложностью

Для измерения сложности алгоритма это сложность времени или вычислительная сложность? В чем разница между ними? Я использовал для расчета максимального (наихудшего) количества основных (наиболее затратных) операций в...

14
У каждой проблемы NP есть поли-размерная формулировка ILP?

Поскольку целочисленное линейное программирование является NP-полным, существует сокращение Карпа от любой проблемы в NP до него. Я думал, что это подразумевает, что всегда есть формулировка ILP полиномиального размера для любой проблемы в NP. Но я видел статьи по конкретным проблемам NP, где люди...

14
Сложность проблемы усыновления котенка

Это произошло, когда я пытался ответить на этот вопрос о минимизации длины проводки . Я собирался назвать это проблемой "полигамного брака", но интернет, так что котята. Ура! Предположим , что мы имеем MMM котят , которые должны быть приняты NNN человек, M>NM>NM > N . Для каждого котенка, iii...

14
Доказательство теоремы Карпа-Липтона

Я пытаюсь понять доказательство теоремы Карпа-Липтона, изложенное в книге «Вычислительная сложность: современный подход» (2009). В частности, в этой книге говорится следующее: Теорема Карпа-Липтона Если NP P ∖ p o l y , то PH = Σ p 2 .⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} =Σp2=Σ2p= \Sigma^p_2...

14
Пространственно-временное решение проблемы пропущенного элемента

Здесь известная проблема. Для массива A[1…n]A[1…n]A[1\dots n] натуральных чисел выведите наименьшее натуральное число, которого нет в массиве. Проблема может быть решена в O(n)O(n)O(n) пространстве и времени: прочитать массив, отслеживать в O(n)O(n)O(n) пространстве, произошло ли...

14
Вычислительная сложность против иерархии Хомского

Меня интересует связь между вычислительной сложностью и иерархией Хомского в целом. В частности, если я знаю, что какая-то проблема является NP-полной, следует ли из этого, что язык этой проблемы не является контекстно-свободным? Например, проблема клики является NP-полной. Следует ли из этого, что...

14
Некоторые вопросы по параллельным вычислениям и классу NC

У меня есть ряд связанных вопросов по этим двум темам. Во- первых, большинство текстов сложности только замазывать класс NCNC\mathbb{NC} . Есть ли хороший ресурс, который более подробно освещает исследования? Например, то, что обсуждает все мои вопросы ниже. Кроме того, я предполагаю, что...

14
Существуют ли классы сложности с действительными числами?

Один студент недавно попросил меня проверить доказательство твердости NP для них. Они выполнили сокращение в соответствии с: Я уменьшаю эту проблему P′п'P' которая, как известно, является NP-полной, к моей проблеме (с многократным уменьшением многократного числа), поэтому является NP-трудной.PпPPпP...

14
Почему минимизация NFA является серьезной проблемой, а минимизация DFA - нет?

Я знаю, что мы можем минимизировать DFA, находя и объединяя эквивалентные состояния, но почему мы не можем сделать то же самое с NFA? Я не ищу доказательств или чего-то в этом роде - если только доказательство не проще для понимания. Я просто хочу интуитивно понять, почему минимизация NFA так...

14
Как можно P =? NP усиливают целочисленную факторизацию

Если действительно равен , как это улучшит наши алгоритмы, чтобы быстрее вычислять целые числа? Другими словами, какое понимание даст нам этот факт для лучшего понимания целочисленной факторизации?PP{\sf P}NPNP{\sf...

14
Как можно связать ошибку аппроксимации, не зная оптимального решения?

Я просматривал этот сайт, и там говорится, что люди нашли решения для туров TSP, которые на 0,031% выше, чем оптимальный тур. Не найдя оптимального тура, откуда они знают, какой длины он должен...

14
Существует ли эффективный алгоритм эквивалентности выражений?

например, ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) Выражения взяты из обычной школьной алгебры, но ограничены арифметическим сложением и умножением (например, ), без инверсий, вычитания или деления. Буквы являются переменными.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Если это поможет, мы можем...

14
Границы времени выполнения разрешимы для чего-нибудь нетривиального?

Задача   Дана машина Тьюринга которая знает время выполнения O ( g ( n ) ) относительно длины ввода n , является временем выполнения M ∈ O ( f ( n ) )MMMO (г( н ) )О(грамм(N)){O}(g(n))NNnM∈ O ( f( н ) )M∈О(е(N))M \in {O}(f(n)) ? Разрешима ли указанная выше проблема для некоторых нетривиальных пар...

14
Существует ли концепция алгоритма, вычисляющего функцию, сначала найдя другой алгоритм?

Если я правильно понимаю, алгоритм, который вычисляет значение действительной функции имеет вычислительную сложность если выполняется следующее: Когда мы вычисляем с точностью требуется порядка шагов ,fffO(g(n))O(g(n))O(g(n))fffδδ\deltag(n)g(n)g(n) Однако что если у нас есть алгоритм, который...

14
Почему теоремы Шефера и Махани не подразумевают P = NP?

Я уверен, что кто-то думал об этом раньше или сразу же отклонил это, но почему теория дихотомии Шефера наряду с теоремой Махани о разреженных множествах не подразумевает P = NP? Вот мои рассуждения: создайте язык который равен SAT, пересекаемому бесконечным разрешимым разреженным множеством. Тогда...

14
Какая разница в сложности может быть между поиском решения головоломки Судоку и доказательством того, что решение является единственным решением?

Поэтому обычно судоку составляет , но этот вопрос распространяется и на головоломок с . Существует много правил вычета полиномиального времени, которые могут помочь в поиске решения головоломки Судоку. Но тогда иногда требуется угадывание значений и последующие цепочки выводов, чтобы исключить...

13
Теоретическая сложность трудно проверить значение

Функция подсчета простых чисел demoted определяется как число простых чисел, меньших или равных .π( х )π(Икс)\pi(x)ИксИксx Мы можем определить решение проблемы из следующим образом:π( х )π(Икс)\pi(x) Учитывая два числа ИксИксx и NNn , записанные в двоичном виде, решить, если π( х ) = нπ(Икс)знак...