Documentation
Atlas
.
BooleanFunctions
.
code
.
UGCHardness
Search
return to top
source
Imports
Init
Atlas.BooleanFunctions.code.UniqueGames
Imported by
UGCHardness
.
UGC
UGCHardness
.
goemansWilliamson_optimal_assuming_ugc
source
def
UGCHardness
.
UGC
:
Prop
Instances For
source
theorem
UGCHardness
.
goemansWilliamson_optimal_assuming_ugc
:
UGC
→
∀
ε
>
0
,
MaxCut.IsNPHardGapMaxCut
(
1
-
ε
) (
MaxCut.goemansWilliamsonConstant
+
ε
)