[数学记录]abc276G Count Sequences

题意：对满足以下条件的序列计数，膜 \(998244353\)：

• \(0 \leq a_0 \leq a_1 \cdots \leq a_n \leq m\)
• $a_i \not\equiv a_j \pmod 3 $

这题的难点在于发现它是简单题。

想了一上午生成函数啊（

不等于很难处理，所以做一遍差分，令 \(n\) 自增 \(1\)，题意转化为：\(\sum b_i = m\) 且 \(b_i \not\equiv 0\) 对 \(i \in [2,n-1]\) 成立。

然后就会发现等价于求 \([x^m] \left ( \dfrac{1}{1-x} \right)^2 \left ( \dfrac{1}{1-x}-\dfrac{1}{1-x^3} \right )^{n-2}\)，然后怎么算呢，我也不会啊hh

首先，数字的个数是一定的，这意味着其实可以只关注膜 \(3\) 余数。

为了处理回剩余数，应把多于的 \(3\) 分配到剩下数。

能发现中间的数的取值只有 \(1/2\)，这意味着枚举几个 \(2\) 是完全可接受的。

此时同时枚举第一个数，最后一个数便会随之确定。

做完了。这是黄？我不信。

#include <cstdio>
using namespace std;
const int M = 1e7+5, mod = 998244353;
int qpow(int a, int b){
    long long ans = 1ll;
    for(; b; b >>= 1) {if(b & 1) ans = 1ll * ans * a % mod; a = 1ll * a * a % mod;}
    return ans;
}
int inv(int k) {return qpow(k, mod - 2);}
int addd(int a, int b) {a += b; return a > mod ? a-mod : a;}
int minus(int a, int b) {a -= b; return a < 0 ? a+mod : a;}
void add(int &x, int y) {x += y; if(x > mod) x -= mod;}
int fact(int x) {int ans = 1; for(int i = 1; i <= x; i++) ans = 1ll * ans * i % mod; return ans;}
int fac[M], invfac[M], invn[M];
void pre(int n = M - 3){
    fac[0] = invfac[0] = fac[1] = invfac[1] = invn[1] = 1;
    for(int i = 2; i <= n; i++)
        invn[i] = 1ll * (mod - mod/i) * invn[mod%i] % mod,
        fac[i] = 1ll * fac[i-1] * i % mod,
        invfac[i] = 1ll * invfac[i-1] * invn[i] % mod;
}
int C(int n, int m) {return m > n ? 0 : 1ll * fac[n] * invfac[m] % mod * invfac[n-m] % mod;}
int n, m, ans;
int main(){
    pre(); scanf("%d %d", &n, &m);
    ++n;
    for(int i = 0; i <= n-2; i++) {
        int j = n - 2 - i;
        for(int s = 0; s < 3; s++) {
            int t = (m - 2*i - j - s) % 3;
            if(t < 0) continue;
            int res = m - 2*i - j - t - s; res /= 3;
            add(ans, 1ll * C(n-2, i) * C(res + n - 1, n - 1) % mod);
        }
    } 
    printf("%d\n", ans);
}