5.3.3 KKT条件