結果

問題 No.1354 Sambo's Treasure
ユーザー KoDKoD
提出日時 2021-01-15 18:02:43
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,806 bytes
コンパイル時間 2,301 ms
コンパイル使用メモリ 213,080 KB
実行使用メモリ 817,792 KB
最終ジャッジ日時 2024-05-07 01:24:57
合計ジャッジ時間 5,211 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 MLE -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
testcase_37 -- -
testcase_38 -- -
testcase_39 -- -
testcase_40 -- -
testcase_41 -- -
testcase_42 -- -
testcase_43 -- -
testcase_44 -- -
testcase_45 -- -
testcase_46 -- -
testcase_47 -- -
testcase_48 -- -
testcase_49 -- -
testcase_50 -- -
testcase_51 -- -
testcase_52 -- -
testcase_53 -- -
testcase_54 -- -
testcase_55 -- -
testcase_56 -- -
testcase_57 -- -
testcase_58 -- -
testcase_59 -- -
testcase_60 -- -
testcase_61 -- -
testcase_62 -- -
testcase_63 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

template <class T>
using Vec = std::vector<T>;

constexpr unsigned MOD = 998244353;

struct Fp {
    unsigned val;
    explicit Fp(const unsigned val = 0): val(val) { }

    void operator += (const Fp other) {
        val += other.val;
        if (val >= MOD) {
            val -= MOD;
        }
    }
    void operator -= (const Fp other) {
        val += MOD - other.val;
        if (val >= MOD) {
            val -= MOD;
        }
    }
    void operator *= (const Fp other) {
        val = (unsigned long long) val * other.val % MOD;
    }

    Fp operator + (const Fp other) const {
        Fp ret(*this);
        ret += other;
        return ret;
    }
    Fp operator - (const Fp other) const {
        Fp ret(*this);
        ret -= other;
        return ret;
    }
    Fp operator * (const Fp other) const {
        Fp ret(*this);
        ret *= other;
        return ret;
    }

    Fp inv() const {
        Fp ret(1), mult(*this);
        unsigned exp = MOD - 2;
        while (exp > 0) {
            if (exp & 1) {
                ret *= mult;
            }
            exp >>= 1;
            mult *= mult;
        }
        return ret;
    }
};

int main() {
    int N, M, L, K;
    std::cin >> N >> M >> L >> K;
    Vec<Vec<bool>> isOk(N + 1, Vec<bool>(N + 1));
    {
        int lx = 0, ly = 0;
        for (int i = 0; i < M; ++i) {
            int x, y;
            std::cin >> x >> y;
            for (int s = lx; s <= x; ++s) {
                for (int t = ly; t <= y; ++t) {
                    isOk[s][t] = true;
                }
            }
            lx = x;
            ly = y;
        }
        for (int s = lx; s <= N; ++s) {
            for (int t = ly; t <= N; ++t) {
                isOk[s][t] = true;
            }
        }
    }
    Vec<Vec<bool>> isTig(N + 1, Vec<bool>(N + 1));
    {
        for (int i = 0; i < L; ++i) {
            int x, y;
            std::cin >> x >> y;
            isTig[x][y] = true;
        }
    }
    Vec<Vec<Vec<Fp>>> dp(N + 1, Vec<Vec<Fp>>(N + 1, Vec<Fp>(K + 1)));
    dp[0][0][0] = Fp(1);
    for (int i = 0; i <= N; ++i) {
        for (int j = 0; j <= N; ++j) {
            for (int k = 0; k <= K; ++k) {
                if (i + 1 <= N && isOk[i + 1][j]) {
                    const auto nk = k + isTig[i + 1][j];
                    if (nk <= K) {
                        dp[i + 1][j][nk] += dp[i][j][k];
                    }
                }
                if (j + 1 <= N && isOk[i][j + 1]) {
                    const auto nk = k + isTig[i][j + 1];
                    if (nk <= K) {
                        dp[i][j + 1][nk] += dp[i][j][k];
                    }
                }
            }
        }
    }
    Fp ans;
    for (int i = 0; i <= K; ++i) {
        ans += dp[N][N][i];
    }
    return 0;
}
0