时间表（6/24-7/11）
讲座：MTF 2:15-3:45，TTIC 530

本课程将涵盖以下主题：

• 约束满足问题（CSP）和近似介绍。
• 半定程序（SDP）在逼近中的应用：Max-Cut，Grothendieck问题，所有CSP。
• 近似求解SDP的快速算法：Arora-Kale框架。
• 用于逼近半代数集上多项式的最大值的SDP：平方和层次结构。