Pytania otagowane jako pcp

Dowody dające się zweryfikować probabilistycznie

4
Twardość aproksymacji bez twierdzenia PCP
Ważnym zastosowaniem twierdzenia PCP jest to, że daje wyniki typu „twardość aproksymacji”. W niektórych stosunkowo prostszych przypadkach można udowodnić taką twardość bez PCP. Czy jest jednak jakikolwiek przypadek, w którym twardość wyniku aproksymacji została najpierw udowodniona przy użyciu twierdzenia PCP, tj. Wynik nie był wcześniej znany, ale później znaleziono bardziej …
2
Algorytmy aproksymacji super wielomianu dla MAX 3SAT
Stany PCP twierdzenie, że nie ma czasu na wielomian algorytm MAX 3SAT znaleźć spełniającą zadanie klauzule spe wzorze 3SAT chyba P = N P .7 / 8 + ε7/8+ϵ7/8+ \epsilonP.= NP.P=NPP = NP Nie jest to prosta wielomian algorytm czasu, który spełnia klauzul. Tak, możemy to zrobić lepiej niż 7 …
3
pod względem
Probabilistyczny system zapobiegania jest powszechnie określany jako ograniczenie M A , gdy Arthur można wykorzystać tylko f ( n ) losowe fragmenty i może jedynie zbadanie g ( n ) bitów certyfikat potwierdzający przesłany przez Merlin (patrz: http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).P.doP.[ f( n ) , g( n ) ]P.doP.[fa(n),sol(n)]\mathcal{PCP}[f(n),g(n)]MM.ZA\mathcal{MA}fa( n )fa(n)f(n)sol( n …
1
Utrzymanie porządku na liście w w Czas
Problem z utrzymaniem porządku (lub „utrzymaniem porządku na liście”) polega na obsłudze operacji: singleton: tworzy listę z jednym elementem, zwraca do niej wskaźnik insertAfter: dany wskaźnik do elementu wstawia nowy element po nim, zwracając wskaźnik do nowego elementu delete: dany wskaźnik do elementu usuwa go z listy minPointer: biorąc pod …
1
Problem techniczny z dowodem twierdzenia PCP
Czytam stąd dowód i natknąłem się na problem techniczny (ale kluczowy). Wiem, że jest to dość specyficzne i kontekst jest problematyczny, ale sam nie mogłem tego pojąć. Na stronach 51 i 55, po przedstawieniu „standardowych” weryfikatorów, przechodzą do modyfikacji weryfikatorów w celu sprawdzenia podzielonych zadań. W pierwszym przypadku (s. 51) …
1
Twierdzenie PCP - etap redukcji alfabetu
To, co następuje, może wydawać się głupie (i to prawdopodobnie odzwierciedla moje słabe zrozumienie - więc proszę o wyrozumiałość) Miałem zapytanie dotyczące twierdzenia PCP. Wiemy, że po pierwszych trzech krokach mianowicie. Redukcja stopnia, ekspansja i amplifikacja odstępów , mamy wykres ograniczeń z ulepszoną przerwą i dużym rozmiarem alfabetu (jak Σ …
1
Błędy jednostronne w probablistycznych systemach dowodowych
W większości probabilistycznych systemów dowodowych (na przykład twierdzenie PCP) prawdopodobieństwa błędów są zwykle definiowane po stronie fałszywie dodatnich, tj. Typowa definicja może wyglądać tak: jeśli to weryfikator zawsze przyjmuje, ale w w innym przypadku prawdopodobieństwo odrzucenia wynosi co najmniej 1/2.x∈Lx∈Lx \in L Czy istnieje problem z dopuszczeniem wystąpienia błędu po …
1
Najbardziej znane asymptotyczne rozmiary PCP / 3-SAT
Jakie są najbardziej znane asymptotyczne górne granice wielkości dowodów probabilistycznie sprawdzalnych? Idealnie szukam współczesnej ankiety dotyczącej tego szerokiego pytania, ale jeśli jej nie ma, szczególnie interesuje mnie niedopuszczalność 3-SAT. Niech 7/8 + ε-3-SAT będzie 3-SAT z obietnicą, że jeśli 7/8 + ε część klauzul jest zadowalająca, to instancja jest zadowalająca. …
1
Czysto teoretyczne objaśnienie redukcji z Unique Label Cover do Max-Cut
Studiuję Unique Games Conjecture i słynną redukcję do Max-Cut Khota i in. Ze swojej pracy i innych stron internetowych większość autorów używa (jak dla mnie) niejawnej równoważności między redukcją MAX-CUT a budowaniem konkretnych testów dla długich kodów. Z powodu mojego braku jasności co do tej równoważności staram się podążać tym …
1
Połączenie między PCP a L = SL
Książka Arory i Baraka zawiera uwagi do rozdziału na temat PCP Zauważamy, że ogólna strategia Dinura przypomina nieco zygzakowatą konstrukcję wykresów ekspanderów i deterministyczny algorytm przestrzeni logicznej Reingolda dla połączeń bezkierunkowych opisany w rozdziale 20, co sugeruje, że więcej połączeń oczekuje na nawiązanie między tymi różnymi obszarami badań. (str. 494) …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.