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

Я только начинаю изучать теорию вычислений, которая изучает, что можно вычислить, как быстро, сколько памяти и с какой вычислительной моделью. У меня довольно простой вопрос, но я очень надеюсь, что некоторые из вас, ребята, помогут мне понять концепцию, лежащую в основе этого: Почему все сосредоточено вокруг понятия и определения ЯЗЫКОВ …

10 complexity-theory  formal-languages 

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

10 complexity-theory  reference-request  np-complete  reductions 

Введение и обозначения: Вот новая и простая версия моего алгоритма, которая, кажется, заканчивается (согласно моим экспериментам), и теперь я хотел бы доказать это. Пусть обозначение относится к p- мерной точке данных (вектору). У меня есть три набора A, B и C, так что | A | = n , | …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Рассмотрим следующую проблему, входной экземпляр которой представляет собой простой граф и натуральное целое число 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 

Я ищу специальность в теоретической информатике; в частности, меня интересуют теория сложности и теория вероятностных автоматов. Когда я заканчиваю учебу в течение одного года, какие продвинутые курсы по математике (например, теория Галуа или гармонический анализ), по вашему мнению, было бы полезно взять на следующие два семестра? Почему?

10 complexity-theory  automata  education 

Какова сложность вычисления ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

Вопрос в упражнении 1.9 из книги Арора-Барака « Вычислительная сложность - современный подход» : Определите машину Тьюринга в ОЗУ как машину Тьюринга с оперативной памятью. Мы формализуем это следующим образом: У машины есть бесконечный массив A, который инициализируется для всех пробелов. Он обращается к этому массиву следующим образом. Одна из …

10 complexity-theory  turing-machines  machine-models  simulation 

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

10 complexity-theory  np-complete  np-hard 

Я пытаюсь разработать задание (взятое из книги « Алгоритмы» С. Дасгупты, К. Х. Пападимитриу и У. В. Вазирани , глава 8, проблема 8.6а), и я перефразирую то, что в нем говорится: Учитывая, что 3SAT остается NP-завершенным, даже если он ограничен формулами, в которых каждый литерал появляется не более двух раз, …

10 complexity-theory  satisfiability  3-sat 

Альтернативная формулировка Я придумал альтернативную формулировку нижеприведенной проблемы. Альтернативная формулировка на самом деле является частным случаем проблемы ниже и использует двудольные графы для описания проблемы. Тем не менее, я считаю, что альтернативная формулировка все еще 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 

Определение P - это язык, который может быть определен алгоритмом полиномиального времени. Определение P / poly может означать язык, который может быть определен схемой полиномиального размера (см. Http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Теперь, почему нельзя за полиномиальное время смоделировать схему полиномиального размера?

10 complexity-theory  time-complexity  circuits 

На самом деле я обнаружил, что набор контекстно-зависимых языков, ( принятых языков) не так широко обсуждается, как (обычные языки) или (контекстно-свободные языки). А также открытая проблема не так известна, как «аналогичная» проблема: « ".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 

Википедия говорит, что объединение по рангу без сжатия пути дает сложную временную сложность O(logn)O(log⁡n)O(\log n) , и что объединение по рангу и сжатию пути дает сложную временную сложность (где - обратная величина функции Аккермана). Однако в нем не упоминается время сжатия пути без ранга объединения, что я обычно реализую сам.O(α(n))O(α(n))O(\alpha(n))αα\alpha …

10 complexity-theory  time-complexity  union-find