Documentation

Atlas.BooleanFunctions.code.Hastad

source
def Hastad.HasMaxSatFractionAtMost_Real (φ : PCP.ThreeSATFormula) (s : ℝ) :
Prop
Instances For
    source
    def Hastad.Gap3SAT_IsNPHard_Real (s : ℝ) :
    Prop
    Instances For
      source
      theorem hastad_inapproximability (ε : ℝ) :
      ε > 0 → Hastad.Gap3SAT_IsNPHard_Real (7 / 8 + ε)