假设条件与约束条件