Preuve modulo- le théorème d'invariance,- le théorème de Borell.
UGC + Majority is stablest => borne optimale d'inapproximabilité pour MAX-CUT
Preuve du principe d'invariance, version minimale utile pour Majority is Stablest
Premier exposé sur les travaux de Prasad Raghavendra