結果
| 問題 | No.2409 Strange Werewolves | 
| コンテスト | |
| ユーザー |  naut3 | 
| 提出日時 | 2023-08-22 00:29:34 | 
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 1,058 ms / 2,000 ms | 
| コード長 | 768 bytes | 
| コンパイル時間 | 390 ms | 
| コンパイル使用メモリ | 12,672 KB | 
| 実行使用メモリ | 93,312 KB | 
| 最終ジャッジ日時 | 2024-12-15 16:59:38 | 
| 合計ジャッジ時間 | 19,730 ms | 
| ジャッジサーバーID (参考情報) | judge4 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 | 
| other | AC * 16 | 
ソースコード
M = 7 * 10 ** 5 + 1
MOD = 998244353
f = [0 for _ in range(M)]
f_inv = [0 for _ in range(M)]
inv = [0 for _ in range(M)]
f[0], f[1] = 1, 1
f_inv[0], f_inv[1] = 1, 1
inv[1] = 1
for i in range(2, M):
    f[i] = (f[i-1] * i) % MOD
    inv[i] = MOD - inv[MOD % i] * (MOD // i) % MOD
    f_inv[i] = f_inv[i-1] * inv[i] % MOD
def C(n, k):
    if n < k:
        return 0
    elif n < 0 or k < 0:
        return 0
    return f[n]*(f_inv[k]*f_inv[n-k] % MOD) % MOD
def main():
    X, Y, Z, W = map(int, input().split())
    if Z == 0:
        X, Y = Y, X
        Z, W = W, Z
    assert W == 0
    ans = (C(X, X - Z) * C(Y, Y - W)) % MOD
    ans *= f[X + Y - Z - W] - f[X + Y - Z - W - 1] * (X - Z)
    ans %= MOD
    ans += MOD
    ans %= MOD
    print(ans)
main()
            
            
            
        