Rounding Via Miniatures

The Goemans–Williamson semidefinite relaxation of MaxCut is quite simple. Still, as we have seen, analyzing it, and proving tight bounds on the integrality gap, is not an easy task. For other basic problems, such as Max-2-Sat or Max-3-Sat, semidefinite relaxations proposed in the literature are more sophisticated.