結果

問題 No.228 ゆきこちゃんの 15 パズル
ユーザー terasa
提出日時 2022-06-05 14:06:35
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 85 ms / 5,000 ms
コード長 1,695 bytes
コンパイル時間 225 ms
コンパイル使用メモリ 82,456 KB
実行使用メモリ 76,944 KB
最終ジャッジ日時 2024-09-21 04:09:25
合計ジャッジ時間 2,593 ms
ジャッジサーバーID
(参考情報)
judge1 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 17
権限があれば一括ダウンロードができます

ソースコード

diff #

import sys
import pypyjit
import itertools
import heapq
import math
from collections import deque, defaultdict
import bisect

input = sys.stdin.readline
sys.setrecursionlimit(10 ** 6)
pypyjit.set_param('max_unroll_recursion=-1')


def index_lt(a, x):
    'return largest index s.t. A[i] < x or -1 if it does not exist'
    return bisect.bisect_left(a, x) - 1


def index_le(a, x):
    'return largest index s.t. A[i] <= x or -1 if it does not exist'
    return bisect.bisect_right(a, x) - 1


def index_gt(a, x):
    'return smallest index s.t. A[i] > x or len(a) if it does not exist'
    return bisect.bisect_right(a, x)


def index_ge(a, x):
    'return smallest index s.t. A[i] >= x or len(a) if it does not exist'
    return bisect.bisect_left(a, x)


A = [list(map(int, input().split())) for _ in range(4)]
for i in range(4):
    for j in range(4):
        if A[i][j] == 0:
            blank = (i, j)


def dfs(B, blank, moved):
    flag = True
    for i in range(4):
        for j in range(4):
            if A[i][j] != B[i][j]:
                flag = False
                break
    if flag is True:
        print('Yes')
        exit()

    bx, by = blank
    darr = [(1, 0), (0, 1), (-1, 0), (0, -1)]
    for dx, dy in darr:
        nx, ny = bx + dx, by + dy
        if nx < 0 or nx > 3 or ny < 0 or ny > 3:
            continue
        if B[nx][ny] in moved:
            continue
        moved.add(B[nx][ny])
        B[bx][by], B[nx][ny] = B[nx][ny], B[bx][by]
        dfs(B, (nx, ny), moved)
        B[bx][by], B[nx][ny] = B[nx][ny], B[bx][by]
        moved.remove(B[nx][ny])


B = [[4 * i + j + 1 for j in range(4)] for i in range(4)]
B[-1][-1] = 0
dfs(B, (3, 3), set())
print('No')
0