結果

問題 No.3600 Moving Queen Many Times
コンテスト
ユーザー 👑 AngrySadEight
提出日時 2026-06-13 15:38:38
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 3,755 ms / 7,000 ms
+ 758µs
コード長 2,086 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 983 ms
コンパイル使用メモリ 96,356 KB
実行使用メモリ 293,888 KB
最終ジャッジ日時 2026-07-24 20:31:00
合計ジャッジ時間 36,563 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 75
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

mod = 998244353

def m_mul(a, b):
    n = len(a)
    ret = [[0 for _ in range(n)] for _ in range(n)]
    for i in range(n):
        for j in range(n):
            for k in range(n):
                ret[i][j] = (ret[i][j] + a[i][k] * b[k][j]) % mod
    return ret

def p_mul(a, k):
    n = len(a)
    ret = [[0 for _ in range(n)] for _ in range(n)]
    for i in range(n):
        ret[i][i] = 1
    while k > 0:
        if k % 2 == 1:
            ret = m_mul(a, ret)
        a = m_mul(a, a)
        k = k // 2
    return ret

H, W, sx, sy, gx, gy, K = map(int, input().split())
sx -= 1
sy -= 1
gx -= 1
gy -= 1

mat = [[0 for _ in range(H * W)] for _ in range(H * W)]
for i in range(H):
    for j in range(W):
        for k in range(H):
            for l in range(W):
                if i == k and j == l:
                    continue
                if i == k or j == l or i + j == k + l or i - j == k - l:
                    mat[i * W + j][k * W + l] = 1
cnts_all = [[0 for _ in range(H * W)] for _ in range(H * W)]
cnts_part = [[[0 for _ in range(H * W + 1)] for _ in range(H * W)] for _ in range(H * W)]
for i in range(H * W):
    bitdp = [[0 for _ in range(H * W)] for _ in range(1 << (H * W))]
    bitdp[0][i] = 1
    for j in range(1 << (H * W)):
        for k in range(H * W):
            for l in range(H * W):
                if (j >> l) & 1:
                    continue
                if mat[k][l] == 0:
                    continue
                bitdp[j + (1 << l)][l] += bitdp[j][k]
                bitdp[j + (1 << l)][l] %= mod
    for j in range(H * W):
        cnts_all[i][j] = bitdp[(1 << (H * W)) - 1][j]
    for j in range(1 << (H * W)):
        popcnt = 0
        for k in range(H * W):
            if (j >> k) & 1:
                popcnt += 1
        for k in range(H * W):
            cnts_part[i][k][popcnt] += bitdp[j][k]
            cnts_part[i][k][popcnt] %= mod

div = K // (H * W)
rem = K % (H * W)

mat_pow = p_mul(cnts_all, div)
ans = 0
for i in range(H * W):
    ans += mat_pow[sx * W + sy][i] * cnts_part[i][gx * W + gy][rem]
    ans %= mod
print(ans)
0