結果

問題 No.3600 Moving Queen Many Times
コンテスト
ユーザー detteiuu
提出日時 2026-07-24 22:45:32
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 1,926 ms / 7,000 ms
+ 866µs
コード長 1,849 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 256 ms
コンパイル使用メモリ 96,240 KB
実行使用メモリ 307,456 KB
最終ジャッジ日時 2026-07-24 22:45:56
合計ジャッジ時間 23,054 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 75
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

MOD = 998244353

def judge(a, b, c, d):
    return a == c or b == d or a+b == c+d or a-b == c-d

def encode(h, w):
    return h*W+w

def decode(n):
    return n//W, n%W

def func(start):
    dp = [[0]*(H*W) for _ in range(1<<(H*W))]
    dp[0][start] = 1
    for bit in range(1<<(H*W)):
        for i in range(H*W):
            if dp[bit][i] == 0: continue
            for j in range(H*W):
                if i == j: continue
                if not 1<<j & bit and F[i][j]:
                    dp[bit|1<<j][j] += dp[bit][i]
                    dp[bit|1<<j][j] %= MOD
    return dp[-1]

def matrix(a, b):
    ans = [[0]*len(b[0]) for _ in range(len(a))]
    for i in range(len(a)):
        for j in range(len(b[0])):
            for k in range(len(b)):
                ans[i][j] += a[i][k]*b[k][j]%MOD
                ans[i][j] %= MOD
    return ans

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

sx, sy, gx, gy = sx-1, sy-1, gx-1, gy-1

F = [[False]*(H*W) for _ in range(H*W)]
for i in range(H*W):
    for j in range(H*W):
        if i == j: continue
        F[i][j] = judge(*decode(i), *decode(j))

mat = []
for i in range(H*W):
    mat.append(func(i))
mat = list(map(list, zip(*mat)))

ansM = [[0] for _ in range(H*W)]
ansM[encode(sx, sy)][0] = 1
cnt = K//(H*W)
for i in range(60):
    if 1<<i & cnt:
        ansM = matrix(mat, ansM)
    mat = matrix(mat, mat)

dp = [[0]*(H*W) for _ in range(1<<(H*W))]
ans = 0
for i in range(H*W):
    dp[0][i] = ansM[i][0]
for bit in range(1<<(H*W)):
    if bit.bit_count() == K%(H*W):
        ans += dp[bit][encode(gx, gy)]
        ans %= MOD
    for i in range(H*W):
        if dp[bit][i] == 0: continue
        for j in range(H*W):
            if i == j: continue
            if not 1<<j & bit and F[i][j]:
                dp[bit|1<<j][j] += dp[bit][i]
                dp[bit|1<<j][j] %= MOD

print(ans)
0