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

P против NP и другие ограниченные ресурсами вычисления.

1
Выборка удовлетворительная 3-SAT формулы
Рассмотрим следующую вычислительную задачу: мы хотим отобрать 3-SAT формулу из переменных (вариант: переменных предложений) относительно равномерного распределения вероятностей, при условии, что формула выполнима:NNnNNnммm Q1: может ли это быть эффективно достигнуто с помощью классического компьютера (со случайными битами)? Q2: может ли это быть эффективно достигнуто квантовым компьютером? Меня также интересуют следующие …
4
Каковы убедительные причины верить
Каковы убедительные причины верить L ≠ PL≠PL\neq P ? L - класс алгоритмов лог-пространства с указателями на вход. Предположим, что L = P на данный момент. Как будет выглядеть алгоритм лог-пространства для P-полной задачи в общих чертах?
3
Задачи оптимизации с хорошей характеристикой, но без алгоритма полиномиального времени
Рассмотрим задачи оптимизации следующего вида. Пусть f(x)f(x)f(x) - вычислимая функция полиномиального времени, которая отображает строку xxx в рациональное число. Задача оптимизации заключается в следующем: что максимальное значение f(x)f(x)f(x) над nnn -битовый строки xxx ? gggxnymnmmaxxf(x)=minyg(y)maxxf(x)=minyg(y)\max_x f(x) = \min_y g(y)xxxnnnyyymmmnnnmmm Многочисленные естественные и важные задачи оптимизации имеют такую ​​минимаксную характеристику. Несколько …
2
Натуральная КЛИК к уменьшению k-цвета
Ясно, что сокращение от CLIQUE до k-Color, потому что они оба NP-Complete. Фактически, я могу построить один, составив сокращение от CLIQUE до 3-SAT с сокращением от 3-SAT до k-Color. Мне интересно, есть ли разумное прямое сокращение между этими проблемами. Скажем, сокращение, которое я мог бы объяснить другу довольно кратко, без …
6
Продвинутые методы определения сложности нижних границ
Некоторые из вас, возможно, следили за этим вопросом , который был закрыт из-за отсутствия уровня исследования. Итак, я извлекаю часть вопроса, которая находится на исследовательском уровне. Помимо «более простых» техник, таких как приведение к сортировке или задача, полная по EXPTIME, какие методы были использованы для доказательства нижних границ сложности задачи …
2
Система доказательства суммы квадратов
Недавно я видел несколько статей об arxiv, которые ссылаются на систему доказательств под названием сумма квадратов. Может кто-нибудь объяснить, что такое доказательство суммы квадратов и почему такие доказательства важны / интересны? Как они связаны с другими алгебраическими системами доказательств? Они что-то вроде двойника Лассере?
1
Я хочу простой гаджет, чтобы доказать NP-полный планарный гамильтонов цикл (из гамильтонов цикла)
Известно, что гамильтонов цикл (для краткости Хэм) NP-полон, а планарный цикл Хэма NP-полон. Доказательство для плоского цикла Хэма не из цикла Хэма. Есть ли хороший гаджет, который с учетом графа G заменит все пересечения некоторым плоским гаджетом, чтобы у вас был планарный граф G 'такой, что G имеет цикл Хэма, …
1
Алгоритмы лог-пространства на графах с ограниченной шириной дерева
Ширина дерева показывает, насколько близок график к дереву. NP-трудно вычислить ширину дерева. Наиболее известный алгоритм приближения достигает O ( войдите n----√)O(logn)O(\sqrt{{\log}n}) фактор. Теорема Курселя гласит, что любое свойство графов, определяемых в монадической логике второго порядка (MSO2), может быть определено за линейное время на любом классе графов ограниченной ширины дерева . …
1
Что известно о сложности поиска минимальных каналов для SAT?
Что известно о сложности поиска минимальных схем, которые вычисляют SAT до длины ? nnn Более формально: какова сложность функции, которая, учитывая качестве входных данных, выводит минимальную схему C такую, что для любой формулы φ с | φ | ≤ n , C ( φ ) = S A T ( …
1
Является ли
В опросе Д. Бера, Ф. Грина и С. Гомера «Квантовые схемы малой глубины» (стр. 36 ACM SIGACT News, июнь 2007 г., том 38, № 2) я прочитал следующее предложение: Классическая версия (в которой вентили и имеют самое большее постоянное разветвление), очевидно, слабее, чем .QAC0QAC0QAC^0ANDANDANDORORORAC0AC0AC^0 Ссылка на это требование отсутствует. Я …
1
Вычислительная сложность задачи с 3 разделами с различными числами
Этот вопрос связан с ответом, который я разместил в ответ на другой вопрос. Задача с 3 разделами представляет собой следующую проблему: Экземпляр : положительные целые числа a 1 ,…, a n , где n = 3m, а сумма n целых чисел равна mB, так что каждый a i удовлетворяет B …
1
Каков статус результата изоморфизма графа Бабая?
Прошло более года с момента его отвода и исправления в январе 2017 года. Есть ли новости? Если нет, то нормально ли это для проверки? Я ожидаю, что это привлечет много внимания. Кто-нибудь отметил, чтобы поддержать / сомневаться в квазиполиномиальном результате?
4
Каковы доказательства того, что изоморфизм графов отсутствует в
По мотивам комментария Фортнау к моему сообщению, доказательством того, что проблема изоморфизма графов не является NпNпNP -полным , и тем фактом, что G IгяGI является главным кандидатом в NпNпNP -проблеменную проблему (не NпNпNP -полное ни в ппP ), я заинтересованы в известных доказательств , что G IгяGI не в ппP …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.