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

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

36 complexity-theory  time-complexity  np-hard  approximation 

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

35 complexity-theory  polynomial-time 

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

34 complexity-theory  np 

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

34 complexity-theory  np-complete  p-vs-np 

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

33 complexity-theory  np-hard  integer-programming 

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

31 complexity-theory  complexity-classes  intuition 

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

31 complexity-theory  np-complete  traveling-salesman 

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

31 complexity-theory  computability  np-hard 

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

29 complexity-theory  proof-techniques  p-vs-np  relativization 

Задача 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) Поэтому мне было интересно, применимо ли это к обобщенной задаче: найти целые числа для …

29 complexity-theory  combinatorics  complexity-classes 

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

29 algorithms  complexity-theory  graph-theory 

Пусть 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 , что мы можем …

28 complexity-theory  number-theory  knapsack-problems 

Википедия, а также другие источники, которые я обнаружил в списке 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 

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

28 complexity-theory  satisfiability  heuristics 

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

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free