数学前沿论坛第30期 题目:最小约束违背优化问题:动机、理论与算法介绍