weixin_43353639的博客

n<k的话，无解输出0. 下面考虑n>=k的情况. 首先，这道题，我想的是只要aia_{i}ai​中有一个1，那么显然其他的aia_{i}ai​都可以任意选择了，但是这样漏了情况。 我又想到了二进制，对于每一个2i2^i2i取模，显然打乱顺序不影响答案。当然这样也不行，过不了样例。又想了一会，发现当且仅当对于任意iii都满足(aia_{i}ai​%a1a_{1}a1​==0)这样一种情况时，无论怎么打乱都不会影响取模后的结果。 那怎么证明这个结论的正确性呢？ 假设存在i>1(aia_{i}