結果
| 問題 | No.2378 Cards and Subsequences | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2023-12-01 20:29:56 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 118 ms / 2,000 ms | 
| コード長 | 2,561 bytes | 
| コンパイル時間 | 1,850 ms | 
| コンパイル使用メモリ | 173,852 KB | 
| 実行使用メモリ | 50,560 KB | 
| 最終ジャッジ日時 | 2024-09-26 15:48:23 | 
| 合計ジャッジ時間 | 5,757 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 6 | 
| other | AC * 35 | 
ソースコード
#include <bits/stdc++.h>
using namespace std;
#define repd(i,a,b) for (ll i=(a);i<(b);i++)
#define rep(i,n) repd(i,0,n)
#define all(x) (x).begin(),(x).end()
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; }
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }
typedef long long ll;
typedef pair<ll,ll> P;
typedef vector<ll> vec;
using Graph = vector<vector<ll>>;
const long long INF = 1LL<<60;
const long long MOD = 1000000007;
// auto mod int
// https://youtu.be/L8grWxBlIZ4?t=9858
// https://youtu.be/ERZuLAxZffQ?t=4807 : optimize
// https://youtu.be/8uowVvQ_-Mo?t=1329 : division
const int mod = 998244353;
struct mint {
  ll x; // typedef long long ll;
  mint(ll 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 { return mint(*this) += a;}
  mint operator-(const mint a) const { return mint(*this) -= a;}
  mint operator*(const mint a) const { return mint(*this) *= a;}
  mint pow(ll t) const {
    if (!t) return 1;
    mint a = pow(t>>1);
    a *= a;
    if (t&1) a *= *this;
    return a;
  }
  // for prime mod
  mint inv() const { return pow(mod-2);}
  mint& operator/=(const mint a) { return *this *= a.inv();}
  mint operator/(const mint a) const { return mint(*this) /= a;}
};
istream& operator>>(istream& is, mint& a) { return is >> a.x;}
ostream& operator<<(ostream& os, const mint& a) { return os << a.x;}
int nxt[2005][2005];
mint dp[2005][2005];
int main()
{  
    ios::sync_with_stdio(false);
    cin.tie(0);
    ll n,m,k;
    cin>>n>>m>>k;
    vec s(n);
    rep(i,n){
      cin>>s[i];
      s[i]--;
    }
    rep(i,n){
      repd(j,i+1,n){
        nxt[j+1][s[i]]=i+1;
        if(s[i]==s[j])break;
      }
    }
    vec a(m),b(m);
    rep(i,m)cin>>a[i];
    rep(i,m)cin>>b[i];
    map<ll,ll> mp;
    dp[0][0]=1;
    rep(i,n){
      rep(j,k+1){
        dp[i+1][j]+=dp[i][j];
        if(j+a[s[i]]<=k)dp[i+1][j+a[s[i]]]+=dp[i][j];
        if(j+b[s[i]]<=k)dp[i+1][j+b[s[i]]]+=dp[i][j];
        if(nxt[i+1][s[i]]!=0){
          if(j+a[s[i]]<=k)dp[i+1][j+a[s[i]]]-=dp[nxt[i+1][s[i]]-1][j];
          if(j+b[s[i]]<=k)dp[i+1][j+b[s[i]]]-=dp[nxt[i+1][s[i]]-1][j];
        }
      }
    }
    cout<<dp[n][k]<<endl;
    return 0;
}
            
            
            
        