結果

問題 No.1304 あなたは基本が何か知っていますか?私は知っています.
ユーザー mfbgjsczmfbgjscz
提出日時 2021-02-05 20:43:38
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,938 bytes
コンパイル時間 2,274 ms
コンパイル使用メモリ 180,196 KB
実行使用メモリ 41,216 KB
最終ジャッジ日時 2023-09-03 04:14:08
合計ジャッジ時間 52,191 ms
ジャッジサーバーID
(参考情報)
judge12 / judge13
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 157 ms
41,216 KB
testcase_01 WA -
testcase_02 AC 155 ms
41,056 KB
testcase_03 AC 472 ms
25,740 KB
testcase_04 AC 154 ms
41,144 KB
testcase_05 AC 158 ms
28,632 KB
testcase_06 AC 154 ms
26,056 KB
testcase_07 AC 155 ms
25,852 KB
testcase_08 WA -
testcase_09 AC 154 ms
25,860 KB
testcase_10 AC 156 ms
28,568 KB
testcase_11 AC 156 ms
25,728 KB
testcase_12 AC 155 ms
25,844 KB
testcase_13 AC 155 ms
25,840 KB
testcase_14 AC 155 ms
25,828 KB
testcase_15 AC 154 ms
25,788 KB
testcase_16 AC 155 ms
21,344 KB
testcase_17 WA -
testcase_18 AC 155 ms
21,396 KB
testcase_19 AC 155 ms
21,480 KB
testcase_20 AC 154 ms
21,360 KB
testcase_21 WA -
testcase_22 AC 156 ms
21,440 KB
testcase_23 AC 155 ms
21,396 KB
testcase_24 AC 156 ms
21,340 KB
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 AC 385 ms
21,508 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 385 ms
21,344 KB
testcase_39 AC 456 ms
21,396 KB
testcase_40 WA -
testcase_41 AC 461 ms
21,464 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,440 KB
04_evil_A_07 AC 158 ms
21,464 KB
04_evil_A_08 AC 158 ms
21,408 KB
04_evil_A_09 AC 154 ms
21,480 KB
04_evil_A_10 AC 158 ms
21,344 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 75 ms
41,284 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