设 \(f_{i,j}\) 表示前 \(i\) 个位置，第 \(i\) 个位置的数字是 \(j\) 的方案数，\(s_i=\sum_{j}f_{i,j}\)，\(mx_{i,j}\) 为位置 \(i\) 往前全是 \(j\) 的最长长度。
\(f_{i,j}=\left\{\begin{matrix} s_{i-1}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ mx_{i,j}\lt len \\ s_{i-1}-(s_{i-len}-f_{i-len,j}) \ \ \ \ \ mx_{i,j}\ge len \end{matrix}\right.\)
上面显然，因为随便选一定合法。
而 \(s_{i-1}-(s_{i-len}-f_{i-len,j})\) 的意义是，之前的随便选的方案数 \(s_{i-1}\)，减去这个位置恰好出现了 \(len\) 个连续的方案数 \(s_{i-len}-f_{i-len,j}\)，由于新加一个数只可能出现恰好 \(len\) 个的非法情况，所以这么减刚好就是真实的答案。
时间复杂度 \(\mathcal O(nk)\)。
Code：
#include <bits/stdc++.h>
using namespace std;
const int N = 100005, M = 105, mod = 998244353;
int n, k, len;
int a[N], f[N][M], s[N], mx[N][M];
int main() {
scanf("%d%d%d", &n, &k, &len);
for (int i = 1; i <= n; ++i) scanf("%d", &a[i]);
for (int i = 1; i <= n; ++i)
for (int j = 1; j <= k; ++j)
if (a[i] == j || a[i] == -1) mx[i][j] = mx[i - 1][j] + 1;
s[0] = 1;
for (int i = 1; i <= n; ++i)
for (int j = 1; j <= k; ++j) {
if (a[i] == j || a[i] == -1) {
f[i][j] = s[i - 1];
if (mx[i][j] >= len) {
int tmp = (s[i - len] - f[i - len][j] + mod) % mod;
f[i][j] = (f[i][j] - tmp + mod) % mod;
}
s[i] = (s[i] + f[i][j]) % mod;
}
}
printf("%d", s[n]);
return 0;
}