結果

問題 No.1304 あなたは基本が何か知っていますか？私は知っています．
ユーザー leafirbyleafirby
提出日時 2021-02-05 20:43:38
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,938 bytes
コンパイル時間 1,967 ms
コンパイル使用メモリ 184,188 KB
実行使用メモリ 41,404 KB
最終ジャッジ日時 2024-06-12 17:19:49
合計ジャッジ時間 51,421 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 152 ms
28,716 KB
testcase_01 WA -
testcase_02 AC 151 ms
28,800 KB
testcase_03 AC 467 ms
28,744 KB
testcase_04 AC 153 ms
28,716 KB
testcase_05 AC 151 ms
41,404 KB
testcase_06 AC 153 ms
28,808 KB
testcase_07 AC 151 ms
41,132 KB
testcase_08 WA -
testcase_09 AC 150 ms
41,156 KB
testcase_10 AC 149 ms
28,700 KB
testcase_11 AC 151 ms
41,148 KB
testcase_12 AC 150 ms
28,712 KB
testcase_13 AC 149 ms
28,704 KB
testcase_14 AC 149 ms
28,692 KB
testcase_15 AC 153 ms
41,184 KB
testcase_16 AC 152 ms
28,848 KB
testcase_17 WA -
testcase_18 AC 155 ms
21,684 KB
testcase_19 AC 151 ms
21,588 KB
testcase_20 AC 152 ms
21,760 KB
testcase_21 WA -
testcase_22 AC 154 ms
21,660 KB
testcase_23 AC 151 ms
21,632 KB
testcase_24 AC 152 ms
21,640 KB
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 AC 374 ms
21,688 KB
testcase_31 WA -
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
testcase_35 WA -
testcase_36 WA -
testcase_37 WA -
testcase_38 AC 376 ms
21,500 KB
testcase_39 AC 452 ms
21,664 KB
testcase_40 WA -
testcase_41 AC 448 ms
21,692 KB
testcase_42 WA -
testcase_43 WA -
testcase_44 WA -
04_evil_A_01 WA -
04_evil_A_02 WA -
04_evil_A_03 WA -
04_evil_A_04 WA -
04_evil_A_05 WA -
04_evil_A_06 AC 159 ms
21,688 KB
04_evil_A_07 AC 155 ms
21,676 KB
04_evil_A_08 AC 154 ms
21,632 KB
04_evil_A_09 AC 151 ms
21,696 KB
04_evil_A_10 AC 155 ms
21,660 KB
05_evil_B_01 WA -
05_evil_B_02 WA -
05_evil_B_03 WA -
05_evil_B_04 WA -
05_evil_B_05 WA -
05_evil_B_06 WA -
05_evil_B_07 WA -
05_evil_B_08 WA -
05_evil_B_09 WA -
05_evil_B_10 WA -
06_evil_C_01 TLE -
06_evil_C_02 TLE -
06_evil_C_03 TLE -
06_evil_C_04 TLE -
06_evil_C_05 TLE -
06_evil_C_06 TLE -
06_evil_C_07 TLE -
06_evil_C_08 TLE -
06_evil_C_09 TLE -
06_evil_C_10 AC 72 ms
28,748 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#pragma GCC target("avx")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
using namespace std;
#define ll long long
#define rep(i, m, n) for (ll i = m; i < n; i++)
#define mod 998244353

void fwt(vector<ll>& f) {
    int n = f.size();
    for(int i = 1; i < n; i <<= 1) {
        for(int j = 0; j < n; j++) {
            if((j & i) == 0) {
                ll x = f[j], y = f[j | i];
                f[j] = x + y, f[j | i] = x - y;
            }
        }
    }
}

void ifwt(vector<ll>& f) {
    int n = f.size();
    for(int i = 1; i < n; i <<= 1) {
        for(int j = 0; j < n; j++) {
            if((j & i) == 0) {
                ll x = f[j], y = f[j | i];
                f[j] = (x + y) * 499122177 % mod, f[j | i] = (x - y + mod) % mod * 499122177 % mod;
            }
        }
    }
}

int main(){
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	ll N, K, X, Y; 
    cin >> N >> K >> X >> Y;
	ll M = 262144;
	vector<vector<ll>> dp(M, vector<ll>(2));
    vector<ll> H(M, 0);
    rep(i, 0, K) {
		ll A;
		cin >> A;
		H[A] = 1;
	}
	fwt(H);
    rep(v, 0, M) dp[v][1] = H[v];
    rep(v, 0, M) dp[v][0] = (dp[v][1] * H[v] - K + mod) % mod;
	rep(v, 0, M) {
        vector<vector<ll>> mt(2, vector<ll>(2));
        mt[0] = {H[v], (1 - K + mod) % mod};
        mt[1] = {1, 0};
        ll P = N - 1;
        while(P) {
            if(P & 1) {
                ll x = dp[v][0];
                dp[v][0] = (dp[v][0] * mt[0][0] % mod + dp[v][1] * mt[0][1] % mod) % mod;
                dp[v][1] = x;
            }
            vector<vector<ll>> res(2, vector<ll>(2, 0));
            rep(i, 0, 2) rep(j, 0, 2) rep(k, 0, 2) res[i][j] = (res[i][j] + mt[i][k] * mt[k][j] % mod) % mod;
            mt = res;
            P /= 2;
        }
    }
    vector<ll> ep(M);
    rep(v, 0, M) ep[v] = dp[v][1];
	ifwt(ep);
	ll res = 0;
	rep(v, X, Y + 1) res = (res + ep[v]) % mod;
	cout << (res + mod) % mod << endl;
}
0