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

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

3
Проблемы с решениями против «настоящих» проблем, которые не да или нет
Я читал во многих местах, что некоторые проблемы трудно приблизить ( NP-трудно приблизить их). Но аппроксимация не является проблемой решения: ответ - это действительное число, а не «Да» или «Нет». Также для каждого желаемого коэффициента аппроксимации существует много правильных ответов и много неправильных, и это изменяется с желаемым коэффициентом аппроксимации! …

4
Почему линейное программирование на P, а целочисленное программирование NP-сложно?
Линейное программирование (LP) находится в P, а целочисленное программирование (IP) является NP-сложным. Но поскольку компьютеры могут манипулировать только числами с конечной точностью, на практике компьютер использует целые числа для линейного программирования. Из-за этого не должны ли LP и IP находиться в одном классе сложности?

2
Существует ли задача, которая разрешима за полиномиальное время, но не поддается проверке за полиномиальное время?
Мой коллега и я только что нажали несколько заметок одного из наших профессоров. В примечаниях говорится, что есть задачи, которые можно решить за полиномиальное время (относятся к классу PF), но которые НЕ поддаются проверке за полиномиальное время (НЕ относятся к классу NPF). Чтобы уточнить эти классы: мы получаем некоторый вход …

4
Есть ли проблемы NP, не в P и не в NP Complete?
Есть ли известные проблемы в (а не в P ), которые не являются N P Complete? Насколько я понимаю, в настоящее время нет известных проблем, когда это так, но это не исключено как возможность. NPNп\mathsf{NP}Pп\mathsf{P}NPNп\mathsf{NP} Если есть проблема , которая является (а не Р ) , но не Н Р …

1
Трудно ли NP заполнять мусорные ведра с минимальными ходами?
Есть бункеров и типов шаров. У го бина есть метки для , это ожидаемое количество шаров типа .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj Вы начинаете с шариков типа . Каждый шар типа имеет вес и хочет поместить шары в контейнеры так, чтобы имела вес . Распределение шаров, удовлетворяющее предыдущему условию, называется выполнимым решением.bjbjb_jjjjjjjwjwjw_jiiicicic_i …

2
Почему мы считаем, что PSPACE P EXPTIME?
У меня возникают проблемы с интуитивным пониманием того, почему PSPACE обычно отличается от EXPTIME. Если PSPACE является множеством задач, разрешимых в пространственном полиноме с входным размером f(n)f(n)f(n) , то как может быть класс задач, которые испытывают большее экспоненциальное увеличение времени и не используют экспоненциальное пространство? Ответ Ювала Фильмуса уже чрезвычайно …

4
Как я могу проверить решение проблемы коммивояжера за полиномиальное время?
Таким образом, TSP (задача коммивояжера) проблема решения является NP полной . Но я не понимаю, как я могу проверить, что данное решение TSP на самом деле является оптимальным за полиномиальное время, учитывая, что нет способа найти оптимальное решение за полиномиальное время (потому что проблема не в P)? Что-нибудь, что могло …

2
NP-Hard проблемы, которые не в NP, но разрешимы
Мне интересно, есть ли хороший пример для простой для понимания проблемы NP-Hard, которая не является NP-Complete и не неразрешима? Например, проблема остановки - NP-Hard, а не NP-Complete, но неразрешима. Я считаю, что это означает, что это проблема, решение которой можно проверить, но не за полиномиальное время. (Пожалуйста, исправьте это утверждение, …

3
Почему релятивизация является барьером?
Когда я объяснял доказательство Бейкера-Гилла-Соловая, что существует оракул, с которым мы можем иметь, , и оракул, с помощью которого мы можем иметь P ≠ N P другу, возник вопрос, почему такие методы плохо подходят для доказательства проблемы P ≠ N P , и я не мог дать удовлетворительный ответ.P = …

4
Обобщенная проблема 3SUM (k-SUM)?
Задача 3SUM пытается идентифицировать 3 целых числа из набора размера такого что .a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Предполагается, что не существует лучшего решения, чем квадратичное, то есть . Или, по-другому: .o(n2)o(n2)\mathcal{o}(n^2)o(nlog(n)+n2)o(nlog⁡(n)+n2)\mathcal{o}(n \log(n) + n^2) Поэтому мне было интересно, применимо ли это к обобщенной задаче: найти целые числа для …

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

1
Проблема сумм подмножеств со многими условиями делимости
Пусть SSS множество натуральных чисел. Мы рассматриваем в частичном порядке делимости, т.е. . ПозволятьSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V антицепь }}\} . Если мы рассмотрим задачу о сумме подмножеств, где мультимножество чисел находится в SSS , что мы можем …

2
Почему пустой тип C не аналогичен пустому / нижнему типу?
Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

3
Измерение сложности экземпляров SAT
Учитывая пример SAT, я хотел бы иметь возможность оценить, насколько сложно будет решить этот случай. Одним из способов является запуск существующих решателей, но такой вид поражает цель оценки сложности. Вторым способом может быть поиск соотношения предложений и переменных, как это делается для фазовых переходов в random-SAT, но я уверен, что …

6
Генерация комбинаций из набора пар без повторения элементов
У меня есть набор пар. Каждая пара имеет форму (x, y), так что x, y принадлежат целым числам из диапазона [0,n). Итак, если n равно 4, то у меня есть следующие пары: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У меня уже есть пары. Теперь я должен построить комбинацию, используя n/2пары, …

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