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

Вопросы, связанные с (вычислительной) сложностью решения задач

2
Разница между сложностью времени и вычислительной сложностью
Для измерения сложности алгоритма это сложность времени или вычислительная сложность? В чем разница между ними? Я использовал для расчета максимального (наихудшего) количества основных (наиболее затратных) операций в алгоритме.
1
Самая быстрая сложность для комбинаторного алгоритма ILP?
Я интересно, что это лучший известный алгоритм, в терминах big- нотации, для решения целочисленных линейного программирования?OOO Я знаю, что проблема в полном, поэтому я не ожидаю ничего полиномиального. И я знаю, что есть много эвристик и тому подобного, которые используются в практических приложениях, таких как CPLEX, но меня больше интересует …
1
Доказательство теоремы Карпа-Липтона
Я пытаюсь понять доказательство теоремы Карпа-Липтона, изложенное в книге «Вычислительная сложность: современный подход» (2009). В частности, в этой книге говорится следующее: Теорема Карпа-Липтона Если NP P ∖ p o l y , то PH = Σ p 2 .⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} =Σp2=Σ2p= \Sigma^p_2 Доказательство. По теореме 5.4, чтобы показать PH …
2
Существует ли эффективный алгоритм эквивалентности выражений?
например, ?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 Если это поможет, мы можем запретить любое выражение, представляемое с числовыми значениями, отличными от ; т.е. не х 2, ни 3 х, ни 4 :111x2x2x^23x3x3x444 …
2
Существуют ли классы сложности с действительными числами?
Один студент недавно попросил меня проверить доказательство твердости NP для них. Они выполнили сокращение в соответствии с: Я уменьшаю эту проблему P′п'P' которая, как известно, является NP-полной, к моей проблеме (с многократным уменьшением многократного числа), поэтому является NP-трудной.PпPPпP Мой ответ был в основном: Поскольку у есть экземпляры со значениями из …
6
Нахождение максимального XOR двух чисел в интервале: можем ли мы сделать лучше, чем квадратичное?
Предположим, нам даны два числа и и мы хотим найти для .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Наивный алгоритм просто проверяет все возможные пары; например, в ruby ​​у нас будет: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max = i ^ …
3
Сложность проблемы усыновления котенка
Это произошло, когда я пытался ответить на этот вопрос о минимизации длины проводки . Я собирался назвать это проблемой "полигамного брака", но интернет, так что котята. Ура! Предположим , что мы имеем MMM котят , которые должны быть приняты NNN человек, M>NM>NM > N . Для каждого котенка, iii и …
1
Как можно связать ошибку аппроксимации, не зная оптимального решения?
Я просматривал этот сайт, и там говорится, что люди нашли решения для туров TSP, которые на 0,031% выше, чем оптимальный тур. Не найдя оптимального тура, откуда они знают, какой длины он должен быть?
3
Почему минимизация NFA является серьезной проблемой, а минимизация DFA - нет?
Я знаю, что мы можем минимизировать DFA, находя и объединяя эквивалентные состояния, но почему мы не можем сделать то же самое с NFA? Я не ищу доказательств или чего-то в этом роде - если только доказательство не проще для понимания. Я просто хочу интуитивно понять, почему минимизация NFA так сложна, …
1
Границы времени выполнения разрешимы для чего-нибудь нетривиального?
Задача Дана машина Тьюринга которая знает время выполнения O ( g ( n ) ) относительно длины ввода n , является временем выполнения M ∈ O ( f ( n ) )MMMO (г( н ) )О(грамм(N)){O}(g(n))NNnM∈ O ( f( н ) )M∈О(е(N))M \in {O}(f(n)) ? Разрешима ли указанная выше проблема …
2
Как можно P =? NP усиливают целочисленную факторизацию
Если действительно равен , как это улучшит наши алгоритмы, чтобы быстрее вычислять целые числа? Другими словами, какое понимание даст нам этот факт для лучшего понимания целочисленной факторизации?PP{\sf P}NPNP{\sf NP}
2
Некоторые вопросы по параллельным вычислениям и классу NC
У меня есть ряд связанных вопросов по этим двум темам. Во- первых, большинство текстов сложности только замазывать класс NCNC\mathbb{NC} . Есть ли хороший ресурс, который более подробно освещает исследования? Например, то, что обсуждает все мои вопросы ниже. Кроме того, я предполагаю, что NCNC\mathbb{NC} все еще видит значительный объем исследований из-за …
2
Пространственно-временное решение проблемы пропущенного элемента
Здесь известная проблема. Для массива A[1…n]A[1…n]A[1\dots n] натуральных чисел выведите наименьшее натуральное число, которого нет в массиве. Проблема может быть решена в O(n)O(n)O(n) пространстве и времени: прочитать массив, отслеживать в O(n)O(n)O(n) пространстве, произошло ли 1,2,…,n+11,2,…,n+11,2,\dots,n+1 , отсканировать наименьший элемент. Я заметил, что вы можете обменять пространство на время. Если у …
2
У каждой проблемы NP есть поли-размерная формулировка ILP?
Поскольку целочисленное линейное программирование является NP-полным, существует сокращение Карпа от любой проблемы в NP до него. Я думал, что это подразумевает, что всегда есть формулировка ILP полиномиального размера для любой проблемы в NP. Но я видел статьи по конкретным проблемам NP, где люди пишут такие вещи, как «это первая многоразмерная …
1
Прямое восстановление из
Мы знаем , что в N L по Иммерман-Szelepcsenyi теорема теорема и так ы т - с O п п е с т я v я т у есть N L - h a r d, следовательно, s t - n ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} множества один лог-пространство сводится к с т - …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.