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

Сглаженный анализ был применен много раз, чтобы понять время выполнения точных алгоритмов для многих задач, таких как линейное программирование и k-средних. В этой области есть довольно общие результаты, например, Хейко Рёглин и Бертольд Вёкинг, Сглаженный анализ целочисленного программирования , 2005. Некоторые из этих общих результатов, кажется, полагаются на леммы об …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

Судоку - это хорошо известная головоломка, которая является NP-полной. Двоичный судоку - это вариант, который допускает только цифры и 1 . Правила следующие.000111 Каждая строка и каждый столбец должны содержать одинаковое количество нулей и единиц. Каждая строка и каждый столбец уникальны. Ни одна строка или столбец не содержит последовательные тройки …

12 cc.complexity-theory  np-hardness  puzzles 

Я ищу результаты твердости по раскраске вершин графов с ограниченной степенью. Учитывая граф , мы знаем, что для любого ϵ > 0 трудно приблизить χ ( G ) с множителем | V | 1 - ϵ, если NP = ZPP [ 1 ]. Но что, если максимальная степень G ограничена …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

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

12 cc.complexity-theory  lo.logic  csp 

широко предположительно, чтобы быть ложным.R P= NпRP=NPRP = NP Но представьте на мгновение, что это правда. В таком случае, насколько вероятно, что ?п= NпP=NPP = NP Другими словами: в мире, где , что еще может помешать нам верить P = N P ?R P= NпRP=NPRP = NPп= NпP=NPP = NP

12 cc.complexity-theory  complexity-classes  conditional-results 

Зафиксируем NP-полную задачу поиска, например форму поиска SAT. Поиск Левина предоставляет алгоритм L для решения X, который в некотором смысле является оптимальным. В частности, алгоритм таков: «Выполните все возможные программы P в соответствии друг с другом на входе x , как только некоторые P вернут ответ y, проверяет, правильно ли …

12 cc.complexity-theory  time-complexity  p-vs-np 

Были предприняты некоторые попытки решить проблему изоморфизма графов с помощью квантового случайного блуждания жестких бозонов (симметричное, но без двойного заполнения). Симметричная степень матрицы смежности, которая казалась многообещающей, оказалась неполной для общих графов в этой статье Амиром Рахнамаем Барги и Ильей Пономаренко. Другой подобный подход был также опровергнут в этой статье …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

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

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

Известно, что нижняя граница общего противника характеризует сложность квантового запроса благодаря прорывной работе Reichardt et al. Та же самая линия работы также устанавливает связи со структурой программы span для разработки квантовых алгоритмов. Многие интересные квантовые алгоритмы, включая алгоритмы с экспоненциальным ускорением, такие как алгоритм Саймона и алгоритм Шора для нахождения …

12 cc.complexity-theory  quantum-computing  query-complexity 

Дан ориентированный граф с n узлами, такими, что каждая вершина имеет ровно два исходящих ребра, и натуральное число N, закодированное в двоичном виде, две вершины s и t, Я хочу посчитать количество (не обязательно простых) путей от s до t в течение N шагов. Это # P-сложная проблема? Или вообще, …

12 cc.complexity-theory  graph-theory  counting-complexity 

Определение «проблемы» , чтобы быть алгоритм принимает натуральное число и возвращает 0 или 1 , который возвращает 1 , по меньшей мере , одной п ∈ N . Любое такое n называется «решением» AAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Определите «универсальный решатель проблем» как алгоритм принимающий проблему и возвращающий одно из ее решений. …

12 cc.complexity-theory  ai.artificial-intel 

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

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Арора и Барак показывают, что можно выразить как B P ⋅ N P, то есть набор языков, которые имеют рандомизированные сокращения до 3SAT. M A также является естественным рандомизированным обобщением N P в том смысле, что вы заменяете детерминированный верификатор на рандомизированный.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Есть ли смысл в том, что один …

12 cc.complexity-theory  big-picture 

Скажем, у кого-то есть язык , но вы не знаете, какие строки на самом деле являются частью языка. Все, что есть, - это конечное представление языка: конечный набор строк о которых известно, что они есть в языке, и конечный набор строк , которые известны не быть на языке.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

Обычно проще рассуждать о исчислении, где ограничение - это конечность вычислений, а не порог, подобный «вычислимому за полиномиальное количество времени». В теории формальных языков, например, вместо использования чтобы охарактеризовать апериодический моноид, проще использовать проконечные слова, чтобы .∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^nxω+1=xωxω+1=xωx^{\omega+1} = x^{\omega} В теории сложности единственная известная мне техника, …

12 cc.complexity-theory  computability