题解里为啥有结论「$c_i=1$ 当且仅当 $bs_i\not\subseteq S$」。