标签：DP。
首先显然可以设出 \(DP\) 状态：\(f_{i, 0/1}\) 表示前 \(i\) 个，以 \(0/1\) 结尾最少几个数字。
然后转移：
假设之前有 \(a\) 个 \(0\)，现在要加入 \(x\) 个，每一个 \(1\) 可以隔开 \(k\) 个 \(0\)，所以是 \(a + x - ky\)。
