摘要: 结论:设 $>=s$ 的数的个数为 $cnt$,则有解当且仅当 $\sum_{i=1\land a_i<s}^n a_i\ge(c-cnt)\times s$。 ~~感性~~证明:这个过程实际上就是一个将减到 $0$ 的数字用没减到 $0$ 的数字替补下来的过程,而一个数字能成为替补数字只能是它还没 阅读全文
posted @ 2022-08-11 17:46 wapmhac 阅读(21) 评论(0) 推荐(0) 编辑