传送门
容易发现长度为 \(k\) 的话,相邻元素之差不小于 \(k\),那么答案下界为最小相邻元素之差 \(k\)。
考虑构造方案,因为 \(a_i = \sum_{j = 1}^k b_{j,i}\),尽量平均分配。
于是令 \(b_{j,i} = \lfloor\frac{a_i + j - 1}{k}\rfloor\),容易发现 \(j > k - a_i\bmod k\) 时会多 \(1\),恰好补足了余数。
然后由于 \(|a_i - a_{i + 1}| \ge k\),所以 \(|b_{j,i} - b_{j, i + 1}| > 0\)。
代码