結果

問題 No.2378 Cards and Subsequences
コンテスト
ユーザー momoyuu
提出日時 2023-07-08 16:41:10
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,431 ms / 2,000 ms
コード長 3,621 bytes
コンパイル時間 1,624 ms
コンパイル使用メモリ 128,196 KB
実行使用メモリ 34,816 KB
最終ジャッジ日時 2024-07-22 12:06:11
合計ジャッジ時間 24,679 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 6
other AC * 35
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<vector>
#include<string>
#include<algorithm>
#include<set>
#include<queue>
#include<cassert>
#include<cmath>
#include<iomanip>
using namespace std;
using ll = long long;




const ll mod = 998'244'353;
//const ll mod = 1'000'000'007;
//const ll mod = 67'280'421'310'721;
struct mint{
    long long x;
    mint(long long x=0):x((x%mod+mod)%mod){}
    mint operator-() const{
        return mint(-x);
    }
    mint& operator+=(const mint& a){
        if((x+=a.x)>=mod)x-=mod;
        return *this;
    }
    mint& operator-=(const mint& a){
        if((x+=mod-a.x)>=mod)x-=mod;
        return *this;
    }
    mint& operator*=(const  mint& a){
        (x *= a.x) %= mod;
        return *this;
    }
    mint operator+(const mint& a) const{
        mint res(*this);
        return res+=a;
    }
    mint operator-(const mint& a) const{
        mint res(*this);
        return res-=a;
    }
    mint operator*(const mint& a) const{
        mint res(*this);
        return res*=a;
    }
    mint pow(long long n) const {
        assert(0 <= n);
        mint a = *this, r = 1;
        while (n) {
            if (n & 1) r *= a;
            a *= a;
            n >>= 1;
        }
        return r;
    }
    mint inv() const{
        return pow(mod-2);
    }
    mint& operator/=(const mint& a){
        return (*this)*=a.inv();
    }
    mint operator/(const mint& a) const {
        mint res(*this);
        return res/=a;
    }
    friend ostream& operator<<(ostream& os, const mint& m){
        os << m.x;
        return os;
    }
    bool operator==(const mint& a) const {
        return x == a.x;
    }
    bool operator<(const mint& a) const{
        return x < a.x;
    }
};

template< typename T >
struct BIT2D{
    int H,W;
    vector<vector<T>> data;
    BIT2D(int h,int w):H(h),W(w),data(h+1,vector<T>(w+1,0)){}

    void add(int h,int w,T x){
        h++;w++;
        for(int i = h;i<=H;i+=i&(-i)){
            for(int j = w;j<=W;j+=j&(-j)){
                data[i][j] += x;
            }
        }
    }

    //sum of [l,r)
    T sum(int h1,int w1,int h2,int w2){
        return sum(h2,w2)-sum(h2,w1)-sum(h1,w2)+sum(h1,w1);
    }

    T sum(int h,int w){
        T now = 0;
        for(int i = h;i>0;i-=i&(-i)){
            for(int j = w;j>0;j-=j&(-j)){
                now += data[i][j];
            }
        }
        return now;
    }
};  
template< typename T >
struct BIT{
    int n;
    vector<T> data;
    BIT(int n):n(n),data(n+1,0){}

    void add(int i,T x){
        i++;
        while(i<=n){
            data[i] += x;
            i += i & (-i);
        }
    }

    //sum of [l,r)
    T sum(int l,int r){
        return sum(r-1)-sum(l-1);
    }

    T sum(int i){
        i++;
        T now = 0;
        while(i>0){
            now += data[i];
            i -= i & (-i);
        }
        return now;
    }
};



int main(){
    int n,m,k;
    cin>>n>>m>>k;
    vector<int> s(n),a(m),b(m);
    for(int i = 0;i<n;i++){
        cin>>s[i];
        s[i]--;
    }
    for(int i = 0;i<m;i++) cin>>a[i];
    for(int i = 0;i<m;i++) cin>>b[i];
    BIT2D<mint> bit(n+1,k+1);
    bit.add(0,0,1);
    vector<int> last(m,0);
    for(int i = 0;i<n;i++){
        int ni = last[s[i]];
        int nj = i;
        last[s[i]] = i+1;
        for(int j = 0;j<=k;j++){
            int want = j - a[s[i]];
            if(want>=0){
                bit.add(i+1,j,bit.sum(ni,want,nj+1,want+1));
            }
            want = j - b[s[i]];
            if(want>=0){
                bit.add(i+1,j,bit.sum(ni,want,nj+1,want+1));
            }
        }
    }
    cout<<bit.sum(0,k,n+1,k+1)<<endl;
}
0