条件 $1$ 应该是：

$1 < b_1 < b_2 < ... < b_k$ 吧

如果等于的话不久意味着可以将一个数重复选？