Was sind die bekanntesten asymptotischen Obergrenzen für die Größe probabilistisch überprüfbarer Beweise? Idealerweise suche ich nach einer zeitgemäßen Umfrage zu dieser umfassenden Frage, aber wenn es keine gibt, bin ich besonders an der Unannäherbarkeit von 3-SAT interessiert.
Sei 7/8 + ε-3-SAT 3-SAT mit dem Versprechen, dass die Instanz erfüllbar ist, wenn 7/8 + ε Bruchteil der Klauseln erfüllt werden kann. Was sind die bekanntesten Reduktionen von 3-SAT mit Klauseln auf 7/8 + ε-3-SAT? Gibt es zum Beispiel eine Reduzierung mit -Klauseln? ( -Klauseln sind ein offenes Problem.) Eine Verringerung der einheitlichen quasilinearen Größe NC? Was ist die Abhängigkeit von , auch wenn ε → 0 ist ? Gibt es eine bekannte lineare Größenreduktion (abhängig von ε ) von (1-ε) -3-SAT auf 7/8 + ε-3-SAT, und wenn nicht, haben wir bessere Grenzen für (1-ε) -3 -SAT? Auch eine teilweise Antwort wäre interessant.
Auch wenn dies die Frage vielleicht zu weit gefasst machen würde, sollte ich erwähnen, dass ein weiteres wichtiges Thema hier die konstanten Faktoren sind, die aufgrund von Techniken wie dem langen Code üblicherweise nicht realisierbar sind.