結果

問題 No.2475 Distance Permutation
ユーザー nok0nok0
提出日時 2023-09-09 01:50:14
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 1,735 ms / 5,000 ms
コード長 2,072 bytes
コンパイル時間 10,371 ms
コンパイル使用メモリ 312,068 KB
実行使用メモリ 63,764 KB
最終ジャッジ日時 2024-06-26 19:08:40
合計ジャッジ時間 57,618 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 723 ms
45,852 KB
testcase_01 AC 723 ms
45,852 KB
testcase_02 AC 1,725 ms
63,012 KB
testcase_03 AC 1,725 ms
61,996 KB
testcase_04 AC 1,725 ms
62,864 KB
testcase_05 AC 1,731 ms
63,444 KB
testcase_06 AC 1,718 ms
61,884 KB
testcase_07 AC 1,726 ms
62,276 KB
testcase_08 AC 1,720 ms
61,796 KB
testcase_09 AC 1,718 ms
62,632 KB
testcase_10 AC 1,735 ms
63,764 KB
testcase_11 AC 1,726 ms
62,908 KB
testcase_12 AC 1,713 ms
63,560 KB
testcase_13 AC 1,271 ms
62,392 KB
testcase_14 AC 1,272 ms
62,352 KB
testcase_15 AC 1,276 ms
62,996 KB
testcase_16 AC 1,275 ms
62,232 KB
testcase_17 AC 1,690 ms
62,320 KB
testcase_18 AC 1,684 ms
62,052 KB
testcase_19 AC 1,685 ms
61,768 KB
testcase_20 AC 1,682 ms
61,808 KB
testcase_21 AC 1,679 ms
62,048 KB
testcase_22 AC 1,681 ms
62,044 KB
testcase_23 AC 1,679 ms
62,800 KB
testcase_24 AC 1,676 ms
62,908 KB
testcase_25 AC 1,677 ms
62,664 KB
testcase_26 AC 1,682 ms
61,968 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <atcoder/all>
#include <cmath>
#include <cstdint>
#include <iostream>
#include <map>

#include "testlib.h"

using namespace std;
using namespace atcoder;

using mint = modint998244353;
using i32 = int32_t;

#define REP(i, s, t) for (i32 i = (s); i < (t); ++i)
#define PER(i, s, t) for (i32 i = (t)-1; i >= (s); --i)

vector<mint> fact, ifact, inv;

const i32 m = 100000;

void init(void) {
    fact.resize(m + 1, 1);
    ifact.resize(m + 1, 1);
    inv.resize(m + 1, 1);
    REP(i, 1, m + 1) fact.at(i) = i * fact.at(i - 1);
    ifact.at(m) = fact.at(m).inv();
    PER(i, 1, m) {
        inv.at(i + 1) = ifact.at(i + 1) * fact.at(i);
        ifact.at(i) = ifact.at(i + 1) * (i + 1);
    }
}

int main(int argc, char **argv) {
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    registerValidation(argc, argv);
    init();
    const i32 k = inf.readInt(1, m);
    inf.readSpace();
    const i32 q = inf.readInt(1, m * 2);
    inf.readEoln();

    vector<mint> dp(m + 1);
    dp[0] = 1;
    mint sum = 1;
    REP(i, 1, m + 1) {
        if (i > k) sum -= dp[i - k - 1];
        dp[i] = sum * inv[i];
        sum += dp[i];
    }
    const i32 batch = 2000;
    vector<vector<mint>> memo;
    REP(i, 0, m / batch) {
        vector<mint> a(dp.begin(), dp.begin() + i * batch);
        vector<mint> b = convolution(a, dp);
        if (b.empty()) {
            b.resize(m + 1);
        }
        memo.emplace_back(b);
    }
    auto calc = [&](const i32 n, const i32 k) -> mint {
        assert(k <= n);
        if (k < 0) return 0;
        const i32 p = k / batch;
        mint res = memo[p][n];
        REP(i, p * batch, k + 1) res += dp[i] * dp[n - i];
        return res;
    };
    REP(i, 0, q) {
        const i32 n = inf.readInt(1, m);
        inf.readSpace();
        const i32 l = inf.readInt(1, n);
        inf.readSpace();
        const i32 r = inf.readInt(l, n);
        inf.readEoln();

        mint ans = calc(n - 1, r - 1) - calc(n - 1, l - 2);
        ans *= fact[n - 1];
        cout << ans.val() << "\n";
    }
    inf.readEof();
    return 0;
}
0