Вопросы с тегом «np-complete»

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

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

11 algorithms  complexity-theory  np-complete 

Рассмотрим следующую постановку задачи: Получив начальное число, вы и ваш друг по очереди вычитаете из него идеальный квадрат. Первый, кто доберется до нуля, побеждает. Например: Начальное состояние: 37 Игрок1 вычитает 16. Состояние: 21 Игрок2 вычитает 8. Состояние: 13 Игрок1 вычитает 4. Состояние: 9 Player2 вычитает 9. Состояние: 0 Player2 выигрывает! …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

Существует классическая игра-головоломка, очень похожая на кроссворд, за исключением того, что дается список слов, а затем дается квадратная доска составленная из единичных квадратов, с некоторыми квадратами, затемненными как кроссворд , и на некоторых квадратах уже написано письмо. Цель состоит в том, чтобы записать каждое слово из списка один раз и …

10 complexity-theory  np-complete  board-games 

У нас было несколько вопросов о связи сокращений Кука и Карпа . Понятно, что сокращения Кука (сокращения Тьюринга за полиномиальное время) не определяют то же понятие NP-полноты, что и сокращения Карпа (сокращения многозначного за полиномиальное время), которые обычно используются. В частности, уменьшение Кука не может отделить NP от co-NP, даже …

10 complexity-theory  reference-request  np-complete  reductions 

Для заданных чисел таких что , существует ли присвоение чисел который является перестановкой такой, чтоA 1 ≤ A 2 ≤ . , , ≤ к к Σ я = 1 А я = K ( 2 K + 1 ) я 1 , я 2 , . , , , …

10 np-complete  decision-problem 

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

10 algorithms  graph-theory  np-complete 

Рассмотрим следующую проблему, входной экземпляр которой представляет собой простой граф и натуральное целое число k .гGGКkk Существует ли множество такое, что G - S двудольный и | S | ≤ к ?S⊆ V( G )S⊆V(G)S \subseteq V(G)G - SG−SG - S| S| ≤k|S|≤k|S| \leq k Я хотел бы показать, что …

10 complexity-theory  np-complete  reductions 

Я беру курс по вычислительной сложности. Моя проблема в том, что я не понимаю метод релятивизации . К сожалению, во многих учебниках я пытался найти немного интуиции, но пока безуспешно. Буду признателен, если кто-нибудь сможет пролить свет на эту тему, чтобы я смог продолжить сам. Несколько следующих предложений - это …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

У меня проблема в голове, я думаю, что это проблема NPC, но я не знаю, как это доказать. Вот проблема: В очень большом озере k островов и n понтонов в форме вееров. Эти понтоны имеют одинаковый размер, но имеют разные начальные направления и находятся в разных первоначальных положениях в озере. …

10 complexity-theory  np-complete  np-hard 

Альтернативная формулировка Я придумал альтернативную формулировку нижеприведенной проблемы. Альтернативная формулировка на самом деле является частным случаем проблемы ниже и использует двудольные графы для описания проблемы. Тем не менее, я считаю, что альтернативная формулировка все еще NP-трудна. Альтернативная формулировка использует непересекающийся набор входящих и исходящих узлов, что упрощает определение проблемы. Дано …

10 complexity-theory  graphs  graph-theory  np-complete 

Моя книга утверждает это Если задача решения B находится в P, а A сводится к B, то проблема решения A находится в P. Решение задачи B является NP-полным, если B находится в NP, и для каждой задачи в A в NP, A сводится к B. Решающая задача C является NP-полной, …

10 complexity-theory  np-complete  decision-problem 

На самом деле я обнаружил, что набор контекстно-зависимых языков, ( принятых языков) не так широко обсуждается, как (обычные языки) или (контекстно-свободные языки). А также открытая проблема не так известна, как «аналогичная» проблема: « ".CSLCSL\mathbf{CSL}R E G C F L D S P A C E ( O ( n ) …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Дана (двоичная) целочисленная программа вида:0,10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Обратите внимание, что размер не фиксирован ни в одном измерении.AAA Я полагаю, что эту …

9 complexity-theory  np-complete  approximation  integer-programming 

Допустим, мы знаем, что проблема A сложная, затем мы сводим A к неизвестной проблеме B, чтобы доказать, что B также сложно. В качестве примера: мы знаем, что 3-окраска сложна. Затем мы уменьшаем 3-окраску до 4-окраски. Сочетая один из цветов в 3-х раскрасках, вы получаете 4-х раскраски, поэтому эрго-4-раскраски трудны. Вот …

9 complexity-theory  np-complete  reductions