3.1.1 KKT条件