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

⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Я пытаюсь утверждать, что N не равен NP, используя теоремы иерархии. Это мой аргумент, но когда я показал его нашему учителю и после дедукции, он сказал, что это проблематично, когда я не могу найти вескую причину для принятия. Мы начнем, предполагая , что P=NPP=NPP=NP . Тогда из этого следует, что …

10 complexity-theory  time-complexity  p-vs-np 

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

Сегодня я узнал, что алгоритм анализа отличается в зависимости от вычислительной модели. Это то, о чем я никогда не думал и не слышал. Пример, данный мне, который проиллюстрировал это далее, пользователем @chi был: Например, рассмотрим задачу: дано вернуть . В оперативной памяти это может быть решено в так как доступ …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

Отказ от ответственности: я знаю, что есть похожие вопросы уже здесь и на Stackoverflow. Но они все о столкновениях, о которых я не прошу. Мой вопрос: почему столкновительный меньше LookUp O(1)в первую очередь? Давайте предположим, что у меня есть эта хеш-таблица: Hash Content ------------- ghdjg Data1 hgdzs Data2 eruit Data3 …

10 complexity-theory  hash  hash-tables  performance 

Если P=NPP=NP\mathbf{P} = \mathbf{NP} , то есть L=NLL=NL\mathbf{L} = \mathbf{NL} ? Я задаю этот вопрос, потому что для других недетерминированных классов кажется, что P=NPP=NP\mathbf{P} = \mathbf{NP} всегда устанавливает, что они равны своим детерминированным аналогам.

10 complexity-theory  p-vs-np 

Для заданного набора точек и радиуса . Что представляет собой сложность поиска точки с большим числом точек на расстоянии, меньшем, чем . Например, тот, который максимизирует ?x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} Алгоритм грубой силы будет проходить через каждую точку и подсчитывать количество точек, которые находятся …

10 algorithms  complexity-theory  computational-geometry 

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

10 complexity-theory  np-hard  np  np-intermediate 

Относительно потока, Доказывающего, что преобразование из CNF в DNF является NP-Hard (и связанный математический поток ): Как насчет другого направления, от DNF до CNF? Это легко или сложно? На странице 2 этой статьи они, похоже, намекают на то, что оба направления одинаково трудны, когда говорят: « Мы заинтересованы в максимальном …

10 complexity-theory  logic  satisfiability  normal-forms 

Типичные примеры NP-сложных задач (клика, 3-SAT, покрытие вершин и т. Д.) Относятся к тому типу, когда мы не знаем, является ли ответ «да» или «нет» заранее. Предположим, что у нас есть проблема, в которой мы знаем ответ «да», кроме того, мы можем проверить свидетеля за полиномиальное время. Можем ли мы …

10 complexity-theory  np-hard  search-problem 

Учитывая два целых числа и в двоичном представлении, какова сложность вычисления размера битов ?н х нxИксxnNnxnИксNx^n Один из способов сделать это - вычислить путем вычисления аппроксимации с достаточной точностью. Похоже, что вычисление с битами точности может быть выполнено в где - время, необходимое для вычисления произведения двух целых чисел длины …

10 complexity-theory  time-complexity  binary-arithmetic 

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

10 complexity-theory  np-complete  board-games 

Предположим, я дам вам неориентированный граф с взвешенными ребрами и скажу, что каждый узел соответствует точке в трехмерном пространстве. Всякий раз, когда между двумя узлами есть ребро, вес ребра - это расстояние между точками. Ваша цель - восстановить относительные положения точек, учитывая только доступные расстояния (представленные весами ребер). Например, если …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

Если то иерархия разрушается до своего второго уровня (по теореме Карпа-Липтона). Но как насчет N P и C O N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Я пытался доказать, что содержится в N P (другое направление тривиально, если R P = N P ), но безрезультатно, и я даже …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Для рассуждений о таких вещах, как NP-полнота, мы обычно используем многократные сокращения (т.е. сокращения Карпа). Это приводит к таким картинкам: (по стандартным предположениям). Я уверен, что мы все знакомы с такими вещами. Какую картину мы получаем, если работаем с сокращениями Тьюринга (т. Е. С сокращениями Кука)? Как меняется картина? В …

10 complexity-theory  reductions  complexity-classes