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

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

1
Курс обучения алгебраической сложности
Я хочу узнать об алгебраических алгоритмах и их сложности. В частности, меня интересует PIT. Есть ли набор лекций, книг, статей и опросов для студентов, которые читали стандартный учебник по теории, такой как книга Сипсера или учебник по сложности Арора-Барака. Набор ссылок будет включать в себя последние расширенные результаты.
1
Означает ли PSPACE-полнота твердость аппроксимации?
В другом посте cstheorySE упоминается, что PSPACE-полнота подразумевает APX-жесткость. Кто-нибудь может объяснить / поделиться ссылкой на это? Это "плотно"? (т. е. существуют ли PSPACE-полные задачи, задача оптимизации которых допускает постоянную аппроксимацию множителя за много времени?) Как насчет полноты для некоторого уровня PH? Означает ли это приблизительную твердость?
2
Теоретические гарантии времени выполнения методов распространения убеждений?
Было доказано, что распространение убеждений является очень мощным методом исследования вероятностных графических моделей. Однако я ничего не знаю о BP, сравнимом с методами MCMC, где у нас могут быть полностью полиномиальные схемы рандомизированной аппроксимации (FPRAS) для # P-полных задач. Может ли кто-нибудь указать мне на некоторые ссылки?
1
Какова минимальная необходимая глубина снижения NP-твердости SAT?
Как все знают, SAT завершен для сравнению с многозначным сокращением за полиномиальное время. Это все еще полные сокращения wrt много-один.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Мои вопросы: какова минимальная необходимая глубина для сокращений? Более формально, Что наименьшее такое, что SAT - это -hard wrt много-один сокращений?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Мне кажется, что должно быть достаточно? Кто-нибудь знает ссылку?AC02AC20\mathsf{AC^0_2}
1
Преобразование Байгеля-Таруи из ACC
Я читаю приложение о АССЕ нижних границах для NEXP в Arora и Барак вычислительной сложности книги. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Одна из ключевых лемм - это преобразование из цепей в полилинейные полиномы над целыми числами с полилогарифмической степенью и квазиполиномиальными коэффициентами или эквивалентно , класс цепей S Y M + , который является …
6
вариации SAT
Я посмотрел в Интернете, но не смог найти «большой список» вариантов проблемы SAT. Помимо (общего) СИДЕЛ, к-СБ, MAX-КСАТ, Half-СБ, XOR-СБ, НАЗ-СБ какие еще варианты есть? (также будет очень полезно, если есть классы сложности (где это возможно))
4
Является ли eta-эквивалентность для функций совместимой с операцией seke в Haskell?
Лемма: Предполагая, что эта эквивалентность у нас есть (\x -> ⊥) = ⊥ :: A -> B. Доказательство: ⊥ = (\x -> ⊥ x)по eta-эквивалентности и (\x -> ⊥ x) = (\x -> ⊥)по сокращению под лямбду. В отчете Haskell 2010, раздел 6.2, seqфункция определяется двумя уравнениями: seq :: a …
1
Как проблема может быть в NP, быть NP-сложной, а не NP-полной?
Долгое время я думал, что задача была NP-полной, если она (1) NP-сложная и (2) в NP. Однако в известной статье «Метод эллипсоидов и его последствия в комбинаторной оптимизации» авторы утверждают, что проблема дробного хроматического числа принадлежит NP и является NP-сложной, но пока неизвестно, что она NP-полная. На третьей странице статьи …
1
Существует ли квантовый алгоритм NC для вычисления GCD?
Из комментариев на один из моих вопросов о MathOverflow у меня возникает ощущение, что вопрос о GCD в vs. похож на вопрос о целочисленной факторизации в vs. .N CNС\mathsf{NC}пп\mathsf{P}пп\mathsf{P}Н ПNп\mathsf{NP} Существует ли что-то вроде алгоритма «квант » для GCD, поскольку существует алгоритм квантового полиномиального времени ( ) для целочисленной факторизации?N …
2
Parity-P содержится в PP?
Этот вопрос был задан Яном Паксом в списке рассылки « Основы математики» . Конечно, но из ответов на этот вопрос я подозреваю , что неизвестно, будет ли (в противном случае будет одним возможный ответ на этот вопрос). Если не известно, существует ли разделение оракула?P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP}P P⊕P⊆PP⊕P⊆PP\oplus …
2
Наименьший набор не входит в набор наборов
Принимая во внимание в качестве входных данных целое число и множество S наборов элементов { 1 , . , , , П } , что является сложность нахождения множество Т элементов { 1 , . , , , n } такой, что T имеет минимальную мощность и T не входит …
1
Класс сложности, связанный с исчерпывающим поиском
Какой класс сложности связан с исчерпывающими алгоритмами поиска? (если есть) Это NP или PSPACE? Существуют ли ограниченные модели вычислений, охватывающие класс алгоритмов исчерпывающего поиска, аналогичных моделям для жадного и динамического программирования?
2
Подходы к GI, вдохновленные проблемой узлов
GI и проблема узлов являются проблемой определения структурной эквивалентности математических объектов. Есть ли какие-либо результаты установления связей между ними? Хорошие связи проблемы узлов со статистической физикой были изучены с помощью полиномов узлов , есть ли похожие результаты для ?G IграммяGI Было бы особенно полезно узнать, есть ли какие-либо стандартные результаты …
1
Можно ли доказать
Результат 1: Теорема Линиала-Мансура-Нисана говорит о том, что вес Фурье функций, вычисленных по схемам сосредоточен на подмножествах малого размера с высокой вероятностью.AC0AC0\mathsf{AC}^0 Результат 2: вес Фурье у сконцентрирован на коэффициенте степени n .PARITYPARITY\mathsf{PARITY}nnn Вопрос: Есть ли способ доказать (если это доказуемо), что не вычисляется цепями A C 0 через / …
2
Пейзаж интерактивных систем доказательства
Мой первый вопрос: известна ли интерактивная характеристика системы доказательств для всех классических классов сложности. Я бы назвал P, NP, PSPACE, EXP, NEXP, EXPSPACE рекурсивными и рекурсивно перечислимыми функциями классическими (среди прочих). В частности, известна ли интерактивная характеристика системы доказательств для рекурсивных и рекурсивно перечислимых функций? Я знаю только, что IP …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.