单纯形约束 Simplex Constraint

对于一个 d 维向量 $\mathbf{x} = (x_1, x_2, \ldots, x_d)$，单纯形约束要求：

$$ \begin{aligned}&\sum_{i=1}^dx_i=1\\&x_i\geq0,\forall i\end{aligned} $$

换句话说，所有分量的和为1，并且所有分量都是非负的。