Documentation

Atlas.BooleanFunctions.code.UGCHardness

source
def UGCHardness.UGC :
Prop
Instances For
    source
    theorem UGCHardness.goemansWilliamson_optimal_assuming_ugc :
    UGC → ∀ ε > 0, MaxCut.IsNPHardGapMaxCut (1 - ε) (MaxCut.goemansWilliamsonConstant + ε)