Solution -「多校联训」小卖部

\(\mathcal{Description}\)

  Link.

  有 \(n\) 种物品，第 \(i\) 中有 \(a_i\) 个，单价为 \(b_i\)。共 \(q\) 次询问，每次查询用不超过 \(c\) 的钱购买种类在 \([l,r]\) 之中的物品，有多少种方案。强制在线；答案对 \(998244353\) 取模。

  \(n\le10^4\)，\(q\le5\times10^4\)，\(c\le10^3\)。

\(\mathcal{Solution}\)

  快速回答区间询问，最基础但容易被忽略的处理方式——前缀和差。

  考虑第 \(i\) 中物品的 OGF，显然有

\[G_i(x)=\frac{1-x^{(a_i+1)b_i}}{1-x^{b_i}}.
\]

欲求答案 \(\sum_{k\le c}[x^k]\prod_{i=l}^rG_i(x)\)，转化为前缀积乘上前缀积的逆，预处理出

\[S_i(x)=\prod_{j=1}^iG_j(x),\\
S^{-1}_i(x)=\prod_{j=1}^iG_j^{-1}(x).
\]

顺带发现 \(G_j(x)\) 和 \(G_j^{-1}\) 长相完全一样，所以这俩也就是换换加减号的事儿。精巧递推一发可以做到 \(\mathcal O(nc)\) 预处理，查询复杂度即求前缀系数和，预先将 \(S_i(x)\) 或 \(S_i^{-1}(x)\) 的系数做前缀和后即为求卷积的某项系数，暴力模拟，则有单次查询复杂度 \(\mathcal O(c)\)。

\(\mathcal{Code}\)

/* Clearink */

#include <cstdio>
#include <cstring>

#define rep( i, l, r ) for ( int i = l, rep##i = r; i <= rep##i; ++i )
#define per( i, r, l ) for ( int i = r, per##i = l; i >= per##i; --i )

inline int rint() {
    int x = 0, s = getchar();
    for ( ; s < '0' || '9' < s; s = getchar() );
    for ( ; '0' <= s && s <= '9'; s = getchar() ) x = x * 10 + ( s ^ '0' );
    return x;
}

inline void wint( const int x ) {
    if ( 9 < x ) wint( x / 10 );
    putchar( x % 10 ^ '0' );
}

const int MAXN = 1e4, MAXC = 1e3, MOD = 998244353;
int n, q, a[MAXN + 5], b[MAXN + 5];
int f[MAXN + 5][MAXC + 5], g[MAXN + 5][MAXC + 5];

inline void subeq( int& a, const int b ) { ( a -= b ) < 0 && ( a += MOD ); }
inline int sub( int a, const int b ) { return ( a -=  b ) < 0 ? a + MOD : a; }
inline void addeq( int& a, const int b ) { ( a += b ) >= MOD && ( a -= MOD ); }
inline int add( int a, const int b ) { return ( a += b ) < MOD ? a : a - MOD; }
inline int mul( const long long a, const int b ) { return int( a * b % MOD ); }

inline void init() {
    f[0][0] = g[0][0] = 1;
    rep ( i, 1, n ) {
        memcpy( f[i], f[i - 1], sizeof f[i] );
        memcpy( g[i], g[i - 1], sizeof g[i] );
        int t;
        rep ( j, t = b[i], MAXC ) addeq( f[i][j], f[i][j - t] );
        per ( j, MAXC, t = ( a[i] + 1 ) * b[i] ) subeq( f[i][j], f[i][j - t] );
        rep ( j, t = ( a[i] + 1 ) * b[i], MAXC ) addeq( g[i][j], g[i][j - t] );
        per ( j, MAXC, t = b[i] ) subeq( g[i][j], g[i][j - t] );
    }
    rep ( i, 0, n ) rep ( j, 1, MAXC ) addeq( g[i][j], g[i][j - 1] );
}

int main() {
    freopen( "shop.in", "r", stdin );
    freopen( "shop.out", "w", stdout );

    n = rint(), q = rint();
    rep ( i, 1, n ) a[i] = rint(), b[i] = rint();

    init();

    for ( int ans = 0, l, r, c; q--; ) {
        l = ( rint() + ans ) % n + 1, r = ( rint() + ans ) % n + 1, c = rint();
        if ( l > r ) l ^= r ^= l ^= r;
        ans = 0;
        rep ( i, 0, c ) addeq( ans, mul( f[r][i], g[l - 1][c - i] ) );
        wint( ans ), putchar( '\n' );
    }
    return 0;
}