ACM模版
这个问题是典型的 dp 问题,一开始害怕超时,后来仔细一想是 O(n) 复杂度,所以是可行的。
这里我们不用纠结于 a 黑 b 白还是 a 白 b 黑,因为结果都是一样的。索性用0、1表示更为容易表达。
dp[i][j]表示以第 i 个位置为 j 的情况数,j 为 0 或 1, sum[i][j]表示dp[1][j] + dp[2][j] + … + dp[n][j]。
状态的转移分为3段,所以这是分段 dp。首先,我们将 a、b 的值进行对比交换,保证 a 小于 b,至于为什么这样子对结果没有影响,前边已经说过了。然后我们可以考虑在前 a-1 段不会出现违规的排列,而 a 到 b-1 会出现0的违规,剩余的 b 到 n 阶段两种违规排列均可能出现,所以一共分为三段进行处理。
接着需要说明的便是 dp[i][j] 与 sum[i][j] 的关系,这两者的关系主要体现在违规时的处理,拿 0 来说,0 连续长度不能超过 a,所以可以存在 1 个 0 , 2 个 0 , 3 个 0 ,…,a-1 个 0 连续,我们反过来想,连续的 0 前面自然就是 1 ,所以我们也就可以得到如下状态转移方程:
`dp[i][0] = (sum[i - 1][1] - sum[i - a][1] + MOD) % MOD;`1 的情况和 0 大同小异,无需多说了。
最后,不要忘了进行特判,因为存在整个序列只能为0或者1,或者不存在合法序列的情况。
新闻热点
疑难解答