【Slater条件】【约束品性】
线性约束的优化问题,Slater条件成立
目标函数是凸函数,约束集有相对内点(有内点),强对偶成立