Были предприняты некоторые попытки решить проблему изоморфизма графов с помощью квантового случайного блуждания жестких бозонов (симметричное, но без двойного заполнения). Симметричная степень матрицы смежности, которая казалась многообещающей, оказалась неполной для общих графов в этой статье...
Это сформулировано путем расширения пороговых графиков . Учитывая пороговый граф где C - клика, а I - независимое множество, мое расширение выглядит следующим образом: Каждая вершина v ∈ I может быть заменена новой кликой K v, такой, что вершины K v имеют такие же соседи v .( C, я)(C,I)(C,I)СCCяIIv...
ETH утверждает, что SAT не может быть решена в худшем случае за субэкспоненциальное время. Как насчет среднего случая? Есть ли естественные проблемы в NP, которые предположительно будут экспоненциально сложными в среднем случае? Возьмите средний случай, чтобы означать среднее время работы с...
В известном контрпримере для изоморфизма графа с помощью метода Вейсфейлера-Лемана (WL) в этой статье Кай, Фюрер и Иммерман построили следующий гаджет . Они строят граф определяемый какXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is...
Зафиксируем NP-полную задачу поиска, например форму поиска SAT. Поиск Левина предоставляет алгоритм L для решения X, который в некотором смысле является оптимальным. В частности, алгоритм таков: «Выполните все возможные программы P в соответствии друг с другом на входе x , как только некоторые P...
Рассмотрим монотонный предикат над множеством степеней (упорядоченный по включению). Под «монотонным» я подразумеваю: такой, что , если то . Я ищу алгоритм, чтобы найти все минимальные элементы , то есть такие, что но , . Поскольку ширина равна n \, выберите n / 22 | п | ∀ x , y ∈ 2 | п | x ⊂ y P (...
Вдохновленный этим вопросом , мне интересно следующее: Какова сложность наихудшего случая проверки, принимает ли данный DFA тот же язык, что и данное регулярное выражение? Это известно? Надежда будет заключаться в том, что эта проблема в P - что есть алгоритм полинома в размере...
широко предположительно, чтобы быть ложным.R P= NпRP=NPRP = NP Но представьте на мгновение, что это правда. В таком случае, насколько вероятно, что ?п= NпP=NPP = NP Другими словами: в мире, где , что еще может помешать нам верить P = N P ?R P= NпRP=NPRP = NPп= NпP=NPP =...
Симплексный алгоритм часто трактуется либо в реальной арифметике, либо в дискретном мире с точными вычислениями. Однако, это, кажется, чаще всего реализуется с помощью арифметики с плавающей точкой. Это приводит к вопросу, следует ли рассматривать симплексный алгоритм как числовой алгоритм, в...
Теорема Шефера о дихотомии показывает, что каждая задача CSP над либо разрешима за полиномиальное время, либо NP-полна. Это относится только к задачам CSP с ограниченной шириной, за исключением, например, SAT и Horn-SAT. Общие проблемы CSP с неограниченной шириной могут быть очень сложными (даже не...
Рассмотрим схему, которая принимает в качестве входных чисел числа из [0,1][0,1][0,1] и имеет логические элементы, состоящие из функций max(x,y)max(x,y)\max(x, y) , min(x,y)min(x,y)\min(x, y) , 1−x1−x1 - x и x+y2x+y2\frac{x+y}{2} . Выход схемы также является числом в [0,1][0,1][0,1] . Кто-нибудь...
В известной работе 1983 г. Х. Ленстры « Целочисленное программирование с фиксированным числом переменных» говорится, что целочисленные программы с фиксированным числом переменных разрешимы во временном полиноме по длине данных. Я интерпретирую это следующим образом. Целочисленное программирование в...
aaabbbaaabbbaaabbbO(mlogmloglogm)O(mlogmloglogm)O(m\log m\log\log m)mmmmax{a,b}max{a,b}\max\{a,b\}Ω(mlogmloglogm)Ω(mlogmloglogm)\Omega(m\log m\log\log m) нижняя граница этой проблемы? Спасибо и всего наилучшего, и извините, если это такой наивный...
Я ищу результаты твердости по раскраске вершин графов с ограниченной степенью. Учитывая граф , мы знаем, что для любого ϵ > 0 трудно приблизить χ ( G ) с множителем | V | 1 - ϵ, если NP = ZPP [ 1 ]. Но что, если максимальная степень G ограничена d ? Существуют ли в этом случае коэффициенты...
Судоку - это хорошо известная головоломка, которая является NP-полной. Двоичный судоку - это вариант, который допускает только цифры и 1 . Правила следующие.000111 Каждая строка и каждый столбец должны содержать одинаковое количество нулей и единиц. Каждая строка и каждый столбец уникальны. Ни одна...
Определите как класс языков, которые могут быть приняты машиной (множественной) Тьюринга за время f ( n ) + 1 . (« + 1 » просто для упрощения обозначений и предотвращения путаницы.) Обратите внимание, что вокруг f ( n ) + 1 нет O ( ⋅ ) .D T I M E (f( н ) )DTяMЕ(е(N))\mathsf{DTIME}(f(n))е( n ) +...
Я ищу небольшой граф которого векторное хроматическое число меньше хроматического числа,
Сглаженный анализ был применен много раз, чтобы понять время выполнения точных алгоритмов для многих задач, таких как линейное программирование и k-средних. В этой области есть довольно общие результаты, например, Хейко Рёглин и Бертольд Вёкинг, Сглаженный анализ целочисленного программирования ,...
Какая связь между PLSPLS\mathsf{PLS} и APXAPX\mathsf{APX} ? Другими словами, аппроксимируются ли задачи, допускающие локальный поиск за полиномиальное время? Означают ли приближенные задачи оптимизации алгоритм локального поиска...
В настоящее время я занимаюсь исследованиями Формального языка, в которых участвуют классы языков выше обычного, но ниже контекста. Я смотрю на такие вещи, как машины с множеством счетчиков с ограниченным обращением, счетчики с одним стеком, детерминированные КЛЛ и т. Д. Мне интересно, знает ли...