結果

問題 No.1241 Eternal Tours
ユーザー maspymaspy
提出日時 2020-09-26 10:53:16
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 2,175 ms / 6,000 ms
コード長 2,063 bytes
コンパイル時間 84 ms
コンパイル使用メモリ 12,672 KB
実行使用メモリ 101,524 KB
最終ジャッジ日時 2024-06-28 20:49:30
合計ジャッジ時間 51,068 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 531 ms
68,144 KB
testcase_01 AC 554 ms
68,484 KB
testcase_02 AC 1,483 ms
101,524 KB
testcase_03 AC 529 ms
68,616 KB
testcase_04 AC 516 ms
68,104 KB
testcase_05 AC 524 ms
67,952 KB
testcase_06 AC 512 ms
68,016 KB
testcase_07 AC 525 ms
68,372 KB
testcase_08 AC 516 ms
67,932 KB
testcase_09 AC 518 ms
67,996 KB
testcase_10 AC 522 ms
68,464 KB
testcase_11 AC 524 ms
68,148 KB
testcase_12 AC 516 ms
68,452 KB
testcase_13 AC 520 ms
68,252 KB
testcase_14 AC 1,154 ms
80,748 KB
testcase_15 AC 521 ms
68,520 KB
testcase_16 AC 671 ms
68,000 KB
testcase_17 AC 1,964 ms
101,068 KB
testcase_18 AC 1,875 ms
100,708 KB
testcase_19 AC 1,979 ms
100,880 KB
testcase_20 AC 530 ms
68,048 KB
testcase_21 AC 528 ms
67,940 KB
testcase_22 AC 1,920 ms
101,132 KB
testcase_23 AC 552 ms
68,236 KB
testcase_24 AC 563 ms
68,096 KB
testcase_25 AC 518 ms
68,536 KB
testcase_26 AC 514 ms
68,000 KB
testcase_27 AC 520 ms
68,048 KB
testcase_28 AC 1,311 ms
92,844 KB
testcase_29 AC 1,317 ms
93,328 KB
testcase_30 AC 1,462 ms
101,016 KB
testcase_31 AC 978 ms
80,736 KB
testcase_32 AC 1,897 ms
101,252 KB
testcase_33 AC 1,937 ms
100,780 KB
testcase_34 AC 1,972 ms
100,820 KB
testcase_35 AC 1,856 ms
100,752 KB
testcase_36 AC 515 ms
68,080 KB
testcase_37 AC 509 ms
67,920 KB
testcase_38 AC 2,099 ms
100,712 KB
testcase_39 AC 2,164 ms
100,792 KB
testcase_40 AC 2,103 ms
100,772 KB
testcase_41 AC 2,095 ms
100,760 KB
testcase_42 AC 2,145 ms
101,512 KB
testcase_43 AC 2,175 ms
101,308 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
import numpy as np

read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

MOD = 998_244_353

def ntt_precompute(N, primitive_root):
    roots = np.empty(1 << N, np.int64)
    iroots = np.empty(1 << N, np.int64)
    roots[0] = iroots[0] = 1
    for n in range(N):
        x = pow(primitive_root, (MOD - 1) >> n + 2, MOD)
        y = pow(x, -1, MOD)
        roots[1 << n:1 << n + 1] = roots[:1 << n] * x % MOD
        iroots[1 << n:1 << n + 1] = iroots[:1 << n] * y % MOD
    return roots, iroots


def ntt(roots, iroots, A, inverse):
    """along first axis"""
    shape = A.shape
    N = len(A)
    if not inverse:
        m = N >> 1
        while m:
            A = A.reshape((-1, m) + shape[1:])
            x, y = A[::2], A[1::2] * roots[:N // m >> 1].reshape(
                (-1, ) + (1, ) * len(shape))
            A[::2], A[1::2] = x + y, x - y
            A %= MOD
            m >>= 1
    else:
        m = 1
        while m < N:
            A = A.reshape((-1, m) + shape[1:])
            x, y = A[::2], A[1::2]
            A[::2], A[1::2] = x + y, (x - y) * iroots[:N // m >> 1].reshape(
                (-1, ) + (1, ) * len(shape))
            A %= MOD
            m <<= 1
        invN = pow(N, -1, MOD)
        A = A * invN % MOD
    return A.reshape(shape)

def mpow(A, n):
    n %= (MOD - 1)
    B = np.ones_like(A)
    while n:
        if n & 1:
            B = A * B % MOD
        A = A * A % MOD
        n >>= 1
    return B

X, Y, T, a, b, c, d = map(int, read().split())

# Z/2^(X+1)Z x Z/2^(Y+1)Z での遷移
H, W = 1 << (X + 1), 1 << (Y + 1)
f = np.zeros((H, W), np.int64)
f[0, 0] = f[1, 0] = f[0, 1] = f[-1, 0] = f[0, -1] = 1

# T 乗する
roots, iroots = ntt_precompute(20, 3)
Ff = ntt(roots, iroots, f, False)
Ff = ntt(roots, iroots, Ff.T, False).T
Ff = mpow(Ff, T)
Ff = ntt(roots, iroots, Ff.T, True).T
f = ntt(roots, iroots, Ff, True)

ans = 0
ans += f[c - a, d - b]
ans -= f[c - H + a, d - b]
ans -= f[c - a, d - W + b]
ans += f[c - H + a, d - W + b]
ans %= MOD
print(ans)
0