Documentation
Atlas
.
BooleanFunctions
.
code
.
Corollary12Lec11
Search
return to top
source
Imports
Init
Atlas.BooleanFunctions.code.UGCHardness
Imported by
UGCHardness
.
corollary_1_2
source
theorem
UGCHardness
.
corollary_1_2
(
hUGC
:
UGC
)
(
ε
:
ℝ
)
:
ε
>
0
→
MaxCut.IsNPHardGapMaxCut
(
1
-
ε
) (
MaxCut.goemansWilliamsonConstant
+
ε
)