Вопросы с тегом «pcp»

Вероятностно проверяемые доказательства

11
Каковы хорошие ссылки на понимание доказательства теоремы PCP?
Я знаком со многими результатами, в которых используется теорема PCP (главным образом в приближенных алгоритмах), но я никогда не сталкивался с четким объяснением теоремы PCP (то есть, что ).N P = P C P (O(log( н ) ) , O ( 1 ) )Nпзнак равнопСп(О(журнал⁡(N)),О(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Какие хорошие бумаги …
1
Существует ли тип щелевого усиления для задачи об изоморфизме графа?
Предположим, что и G 2 являются двумя неориентированными графами на множестве вершин { 1 , … , n } . Графы изоморфны тогда и только тогда, когда существует перестановка Π такая, что G 1 = Π ( G 2 ) , или более формально, если существует перестановка Π такая, что …
4
Твердость аппроксимации без теоремы PCP
Важное применение теоремы PCP состоит в том, что она дает результаты типа «твердость приближения». В некоторых относительно более простых случаях такую ​​твердость можно доказать без PCP. Есть ли, однако, какой-либо случай, когда твердость результата аппроксимации была сначала доказана с использованием теоремы PCP, т. Е. Результат не был известен раньше, но …
2
Алгоритмы суперполиномиального приближения по времени для MAX 3SAT
Теорема PCP гласит, что для MAX 3SAT не существует алгоритма полиномиального времени, чтобы найти назначение, удовлетворяющее условиям 7/8 выполнимой формулы 3SAT, если только .P = N Р7 / 8 + ε7/8+ε7/8+ \epsilonпзнак равно Nппзнак равноNпP = NP Существует тривиальный алгоритм полиномиального времени, который удовлетворяет из пунктов. Итак, можем ли мы …
2
Есть ли простой аргумент, который показывает, что гипотеза об уникальных играх подразумевает теорему PCP
как можно показать, какова связь между «гипотезой об уникальных играх» и «теоремой PCP»? Как объяснить, что «гипотеза об уникальных играх» является более сильной формой «теоремы PCP»?
3
в пересчете на
Вероятностная система доказательств обычно называется ограничением M A , где Артур может использовать только f ( n ) случайных битов и может проверять только g ( n ) битов подтверждающий сертификат, присланный Мерлином (см. http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).пСп[ ф( н ) , г( n ) ]пСп[е(N),грамм(N)]\mathcal{PCP}[f(n),g(n)]М АMA\mathcal{MA}е( н )е(N)f(n)грамм( н )грамм(N)g(n) Тем …
1
Поддержание порядка в списке в за раз
Задача обслуживания заказа (или «поддержание заказа в списке») заключается в поддержке операций: singleton: создает список с одним элементом, возвращает указатель на него insertAfter: дает указатель на элемент, вставляет новый элемент после него, возвращает указатель на новый элемент delete: дает указатель на элемент, удаляет его из списка minPointer: при наличии двух …
1
Существует ли непрерывная версия теоремы о параллельном повторении?
Теорема Раза о параллельном предсказании является важным результатом в PCP, аппроксимации и т. Д. Теорема оформилась следующим образом. Игра , где S , T , A , B - конечные множества, π - распределение по S × T и предикат V : S × T × A × B → …
3
Жесткие пробелы в проблемах максимального удовлетворения ограничений?
Эквивалентная формулировка теоремы PCP является: Для Макса 3-SAT это -трудного различать выполнимые формулы и формулы , где не более группу фракций из пунктов являются выполнимы (для некоторого ).r r < 1NпNPNPрrrг < 1r<1r\lt 1 Существует ли какая-либо известная теорема о дихотомии, которая классифицирует все максимальные значения CSP на основании наличия …
1
Техническая проблема с доказательством теоремы PCP
Отсюда я читаю доказательства и наткнулся на техническую (хотя и крайне важную) проблему. Я знаю, что это довольно специфично, и контекст проблематичен, но я не мог понять это сам. На страницах 51 и 55 после представления «стандартных» верификаторов они поворачиваются, чтобы модифицировать верификаторы для проверки разделенных назначений. В первом случае …
1
Теорема PCP - Шаг сокращения алфавита
То, что следует, может показаться глупым (и это, вероятно, отражает мое плохое понимание - поэтому, пожалуйста, потерпите меня) У меня был вопрос по теореме PCP. Мы знаем, что после первых трех шагов, а именно. Уменьшение степени, расширение и усиление разрыва, у нас есть граф ограничений с улучшенным зазором и огромным …
1
Односторонние ошибки в вероятностных системах доказательств
В большинстве вероятностных систем доказательства (например, теорема PCP) вероятности ошибок обычно определяются на стороне ложноположительных значений, т. Е. Типичное определение может выглядеть так: если то верификатор всегда принимает, но в другом случае вероятность отклонения составляет не менее 1/2.x∈Lx∈Lx \in L Есть ли проблема в том, чтобы допустить ошибку на другой …
1
Самые известные асимптотические размеры PCP / 3-SAT
Каковы наиболее известные асимптотические верхние оценки размеров вероятностно проверяемых доказательств? В идеале я ищу современное исследование по этому широкому вопросу, но если его нет, меня особенно интересует неприемлемость 3-SAT. Пусть 7/8 + ε-3-SAT будет 3-SAT с обещанием, что если 7/8 + ε доля предложений выполнима, то экземпляр является выполнимым. Каковы …
1
Чисто теоретико-графическое объяснение редукции от уникального покрытия этикетки до Max-Cut
Я изучаю гипотезу об уникальных играх и известное сведение к Max-Cut из Khot et al. Из их статьи и из других источников в Интернете большинство авторов используют (что для меня является) неявную эквивалентность между сокращением MAX-CUT и созданием конкретных тестов для длинных кодов. Из-за моей собственной неясности относительно этой эквивалентности …
1
Связь между PCP и L = SL
Книга Ароры и Барака содержит примечания к главе о PCP. Мы отмечаем, что общая стратегия Динура в некоторой степени напоминает зигзагообразную конструкцию графов расширителей и детерминистический алгоритм логарифмического пространства Рейнгольда для ненаправленной связи, описанный в главе 20, что предполагает, что между этими различными областями исследований ожидается установление большего количества связей. …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.