容易发现长度为 \(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\)。