9.6.4 KKT条件