CF1594F Ideal Farm

又是一个结论题。

首先你发现一个事情，将序列前缀和，那么有解的条件就是无论怎么放，都有两个 \(\mod k\) 相等的位置，根据鸽巢原理，当 \(n \ge k + 1\) 时必有解。

实际上，先全放 \(1\)，然后每隔 \(k\) 个多放 \(k\) 个就是最坏的情况了，具体可以手玩一下，感觉这种题不是很有套路。