4.4.2 含约束条件的简化求解