Was folgt, mag dumm erscheinen (und das spiegelt wahrscheinlich mein schlechtes Verständnis wider - bitte nehmen Sie es mit mir auf)
Ich hatte eine Frage zum PCP-Theorem. Wir wissen, dass nach den ersten drei Schritten nämlich. Gradreduzierung, Expanderisierung und Lückenverstärkung, wir haben einen Beschränkungsgraphen mit verbesserter Lücke und großer Alphabetgröße (wie Σ d t ). Es ist dieses Problem, das im Alphabet-Reduktionsschritt behoben wird.
Meine Frage ist, dass, wie in Venkat Guruswamis Vorlesungsunterlagen Einführung in die Komposition dargelegt , die Idee auf hoher Ebene darin besteht, die Einschränkung über einer Kante e als boolesche Einschränkung über boolesche Variablen auszudrücken . Dies allein bringt nichts und wir müssen auch die PCP-Reduktion P e auf diese Kante anwenden . Dies "sieht aus wie" ein rekursiver Aufruf von PCP und hier mache ich mir ein wenig Sorgen. Es scheint, als würde dieser rekursive Aufruf die Alphabetgröße wieder in die Luft jagen.
Die Autoren haben einige Erklärungen abgegeben, indem sie festgestellt haben, dass diese Rekursion einen "Basisfall" hat - nämlich - die "innere" PCP-Reduktion gilt nur für Einschränkungen konstanter Größe.
(Darunter verstehe ich, dass die innere Rekursion nur aufgerufen wird, wenn wir Einschränkungen über eine einzelne Kante betrachten, die eine binäre Einschränkung ist, aber ich bin noch nicht über die Befürchtung hinweggekommen, dass wir die Alphabetgröße irgendwie immer noch in die Luft jagen könnten anstatt es zu verkleinern). Mir scheint es immer noch, dass eine rekursive Wiederholung des Gap Amplification-Schritts die Sache nur verschlimmert, indem die Alphabetgröße vergrößert wird, es sei denn, wir integrieren Maßnahmen, um den Basisfall ein wenig anders zu behandeln.
Ich hoffe, meine Frage (so albern sie auch ist) ist wahrscheinlich klar. Bitte lassen Sie mich wissen, welchen wesentlichen Teil ich vermisse (oder missverstanden habe).