結果

問題 No.1388 Less than K
ユーザー vwxyzvwxyz
提出日時 2023-11-19 02:19:50
言語 C++17(gcc12)
(gcc 12.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 2,530 bytes
コンパイル時間 1,050 ms
コンパイル使用メモリ 77,924 KB
実行使用メモリ 9,640 KB
最終ジャッジ日時 2024-09-26 06:06:48
合計ジャッジ時間 18,972 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 60 WA * 14
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>

#define int long long
using namespace std;

const long long mod = 998244353;

long long pow(long long x,long long n,long long mod){
    if(n==0){
        return 1LL;
    }
    if(n%2==0){
        long long p=pow(x,n/2,mod);
        return p*p%mod;
    }
    else{
        long long p=pow(x,n/2,mod);
        p*=p;
        p%=mod;
        p*=x;
        return p%mod;
    }
}
signed main() {
    int H, W, K;
    cin >> H >> W >> K;
    H--; W--;

    K /= 2;

    vector<long long> fact(H + W + 1, 1ll);
    for (int i = 1; i <= H + W; ++i) {
        fact[i] = (fact[i - 1] * i) % mod;
    }
    vector<long long> fact_inve(H + W + 1, 0ll);
    fact_inve[H + W] = pow(fact[H+W],mod-2,mod);
    for (int i = H + W - 1; i >= 0; --i) {
        fact_inve[i] = (fact_inve[i + 1] * (i+1)) % mod;
    }

    int N = min(H, W);
    long long ans = 0ll;

    if (K <= 600) {
        vector<long long> prev(2 * K + 1, 0ll);
        vector<long long> dp(2 * K + 1, 0ll);

        for (int h = 0; h <= N; ++h) {
            if (h) {
                prev = dp;
                dp = vector<long long>(2 * K + 1, 0ll);
            } else {
                dp = vector<long long>(2 * K + 1, 0ll);
                dp[K] = 1ll;
            }

            for (int w = max(h - K, 0ll); w <= min(h + K, N); ++w) {
                if (h && abs((h - 1) - w) <= K) {
                    dp[w - h + K] += prev[w - (h - 1) + K];
                }
                if (w && abs(h - (w - 1)) <= K) {
                    dp[w - h + K] += dp[(w - 1) - h + K];
                }
                dp[w - h + K] %= mod;
            }
            ans += fact[H + W] * fact_inve[H - h] % mod * fact_inve[W - h] % mod * fact_inve[2 * h] % mod * dp[K] % mod;
            ans %= mod;
        }
    } else {
        for (int cnt = 0; cnt <= N; ++cnt) {
            long long s = (fact[2 * cnt] * fact_inve[cnt]) % mod;
            for (int i = 1; i <= cnt / (K + 1); ++i) {
                if (i % 2) {
                    s -= 2 * (fact[2 * cnt] * fact_inve[cnt - (K + 1) * i] * fact_inve[cnt + (K + 1) * i]) % mod;
                } else {
                    s += 2 * (fact[2 * cnt] * fact_inve[cnt - (K + 1) * i] * fact_inve[cnt + (K + 1) * i]) % mod;
                }
                s = (s + mod) % mod;
            }
            ans += fact[H + W] * fact_inve[H - cnt] % mod * fact_inve[W - cnt] % mod * fact_inve[2 * cnt] % mod * s % mod;
            ans %= mod;

        }
    }

    cout << ans << endl;

    return 0;
}
0