Запитання з тегом «pcp»

Імовірні перевіряючі докази

11
Які хороші посилання на розуміння доведення теореми PCP?
Я знайомий з багатьма результатами, які використовують теорему PCP (головним чином, в алгоритмах наближення), але я ніколи не стикався з чітким поясненням теореми PCP (тобто, що ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(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ПP=NPP = NP Існує тривіальний поліноміальний алгоритм часу, який задовольняє пунктів. Отже, чи можемо ми зробити краще, ніж …
2
Чи існує простий аргумент, який показує, що унікальна гіпотеза передбачає теорему PCP
як можна показати, що є співвідношенням між "Унікальною ігровою гіпотезою" та "теоремою PCP"? як можна пояснити "Унікальна гіпотеза" - сильніша форма "теореми PCP"?
3
з точки зору
Система імовірнісних доказів зазвичай називається обмеженням , де Артур може використовувати лише випадкові біти і може лише досліджувати біти сертифіката підтвердження, надісланого Мерліном (див. http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g(n)g(n)g(n) Однак у 1990 році Бабай, Фортноу та Лунд довели, що , тож це не зовсім …
1
Підтримання порядку в списку в
Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …
1
Чи є безперервна версія теореми про паралельне повторення
Теорема про паралельне передбачення Різа є важливим результатом PCP, непроявленості тощо. Теорема формулюється так. Гра , де - кінцеві множини, - розподіл на , а предикат . Визначте значення гри І n -складна гра G ^ n = (\ mathcal {S} ^ n, \ mathcal {T} ^ n, \ mathcal …
3
Суттєві прогалини в проблемах задоволення максимальних обмежень?
Еквівалентним формулюванням теореми PCP є: Для Max 3-SAT слід твердо розрізняти задоволені формули та формули, де не більше фракції пропозицій є задоволеними (для деяких ).r r < 1NПNPNPrrrr < 1r<1r\lt 1 Чи існує якась відома теорема про дихотомію, яка класифікує всі Max 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 та ін. Зі своїх робіт і в Інтернеті більшість авторів використовують (що мені здається) неявну еквівалентність між скороченням MAX-CUT та побудовою певних тестів для довгих кодів. Через мою власну недостатню ясність щодо цієї еквівалентності я намагаюся слідувати цьому …
1
З'єднання між PCP та L = SL
Книга Арори та Барака містить примітки до глав про ПКП Зауважимо, що загальна стратегія Дінура дещо нагадує зигзагоподібну побудову графіків розширювачів та детермінований алгоритм журналу Рейнгольда для непрямої сполученості, описаний у главі 20, що дозволяє припустити, що між цими різними областями досліджень очікується більше зв’язків. (стор. 494) Що саме мається …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.