結果
問題 | No.2498 OX Operations |
ユーザー | 沙耶花 |
提出日時 | 2023-10-06 23:45:43 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 3,446 ms / 4,000 ms |
コード長 | 2,044 bytes |
コンパイル時間 | 4,661 ms |
コンパイル使用メモリ | 270,348 KB |
実行使用メモリ | 7,640 KB |
最終ジャッジ日時 | 2023-10-06 23:46:21 |
合計ジャッジ時間 | 37,686 ms |
ジャッジサーバーID (参考情報) |
judge12 / judge15 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
4,376 KB |
testcase_01 | AC | 1 ms
4,380 KB |
testcase_02 | AC | 2 ms
4,380 KB |
testcase_03 | AC | 2 ms
4,380 KB |
testcase_04 | AC | 1 ms
4,376 KB |
testcase_05 | AC | 2 ms
4,376 KB |
testcase_06 | AC | 2 ms
4,376 KB |
testcase_07 | AC | 2 ms
4,380 KB |
testcase_08 | AC | 2 ms
4,376 KB |
testcase_09 | AC | 2 ms
4,376 KB |
testcase_10 | AC | 1 ms
4,380 KB |
testcase_11 | AC | 6 ms
4,380 KB |
testcase_12 | AC | 16 ms
4,376 KB |
testcase_13 | AC | 11 ms
4,380 KB |
testcase_14 | AC | 16 ms
4,376 KB |
testcase_15 | AC | 2,035 ms
7,184 KB |
testcase_16 | AC | 3,207 ms
7,452 KB |
testcase_17 | AC | 1,390 ms
7,124 KB |
testcase_18 | AC | 2,472 ms
7,436 KB |
testcase_19 | AC | 1,765 ms
7,404 KB |
testcase_20 | AC | 2,733 ms
7,640 KB |
testcase_21 | AC | 3,410 ms
7,508 KB |
testcase_22 | AC | 2,093 ms
4,376 KB |
testcase_23 | AC | 1,984 ms
4,376 KB |
testcase_24 | AC | 3,446 ms
7,508 KB |
testcase_25 | AC | 3,434 ms
7,328 KB |
testcase_26 | AC | 3,401 ms
7,328 KB |
ソースコード
#include <stdio.h> #include <atcoder/all> #include <bits/stdc++.h> using namespace std; using namespace atcoder; using mint = modint998244353; #define rep(i,n) for (int i = 0; i < (n); ++i) #define Inf32 1000000001 #define Inf64 1000000000000000001 using A = array<int,2>; A op(A a,A b){ return a; } A e(){ A ret; ret[0] = 0,ret[1] = (1<<30)-1; return ret; } A mapping(A a,A b){ A ret; ret[0] = 0,ret[1] = 0; rep(i,30){ rep(j,2){ ret[j] |= ((a[(b[j]>>i)&1]>>i)&1)<<i; } } return ret; } A composition(A a,A b){ A ret; ret[0] = 0,ret[1] = 0; rep(i,30){ rep(j,2){ ret[j] |= ((a[(b[j]>>i)&1]>>i)&1)<<i; } } return ret; } A id(){ A ret; ret[0] = 0,ret[1] = (1<<30)-1; return ret; } int main(){ int N,Q; cin>>N>>Q; vector<int> m(N); rep(i,N)scanf("%d",&m[i]); lazy_segtree<A,op,e,A,mapping,composition,id> seg(N); rep(i,Q){ char c; cin>>c; int l,r,x; scanf("%d %d %d",&l,&r,&x); l--; A t; t[0] = 0,t[1] = 0; rep(j,30){ //cout<<j<<endl; if(c=='o'){ if((x>>j)&1)t[0] |= 1<<j,t[1] |= 1<<j; else t[1] |= 1<<j; } else{ if((x>>j)&1)t[0] |= 1<<j; else t[1] |= 1<<j; } } seg.apply(l,r,t); } // cout<<'h'<<endl; vector<mint> dp(31,0); dp[0] = 1; rep(i,N){ auto ret = seg.get(i); vector tdp(2,vector<mint>(31,0)); int M = m[i]; tdp[0][0] = 1; int C = 1; { vector ndp(2,vector<mint>(31,0)); for(int j=29;j>=0;j--){ ndp.assign(2,vector<mint>(31,0)); rep(l,2){ rep(k,C){ if(tdp[l][k]==0)continue; rep(n,2){ int kk = k,ll = l; if(l==0){ if((M>>j)&1){ if(n==0)ll++; } else{ if(n==1)continue; } } if((ret[n]>>j)&1)kk++; ndp[ll][kk] += tdp[l][k]; } } } C++; swap(tdp,ndp); } } vector<mint> ndp(31,0); rep(j,31){ rep(k,31){ ndp[max(j,k)] += dp[j] * (tdp[0][k] + tdp[1][k]); } } swap(dp,ndp); } mint ans = 0; rep(i,dp.size())ans += dp[i] * i; cout<<ans.val()<<endl; return 0; }