s.t.  约束条件