满足非负约束条件的基解称为（）。