結果

問題 No.228 ゆきこちゃんの 15 パズル
コンテスト
ユーザー mkawa2
提出日時 2020-01-26 14:00:06
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 34 ms / 5,000 ms
コード長 1,589 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 231 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 11,008 KB
最終ジャッジ日時 2024-09-14 11:01:52
合計ジャッジ時間 1,998 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge6
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 17
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys

sys.setrecursionlimit(10 ** 6)
from bisect import *
from collections import *
from heapq import *

int1 = lambda x: int(x) - 1
p2D = lambda x: print(*x, sep="\n")
def II(): return int(sys.stdin.readline())
def SI(): return sys.stdin.readline()[:-1]
def MI(): return map(int, sys.stdin.readline().split())
def MI1(): return map(int1, sys.stdin.readline().split())
def MF(): return map(float, sys.stdin.readline().split())
def LI(): return list(map(int, sys.stdin.readline().split()))
def LI1(): return list(map(int1, sys.stdin.readline().split()))
def LF(): return list(map(float, sys.stdin.readline().split()))
def LLI(rows_number): return [LI() for _ in range(rows_number)]
dij = [(0, 1), (1, 0), (0, -1), (-1, 0)]

def main():
    def dfs(i=3, j=3, x=16):
        fin[i][j] = True
        if aa[i][j] == 0: return True
        if i > 0 and aa[i][j] == x - 4:
            ni, nj = i - 1, j
            nx = x - 4
        elif j > 0 and aa[i][j] == x - 1:
            ni, nj = i, j - 1
            nx = x - 1
        elif i < 3 and aa[i][j] == x + 4:
            ni, nj = i + 1, j
            nx = x + 4
        elif j < 3 and aa[i][j] == x + 1:
            ni, nj = i, j + 1
            nx = x + 1
        else: return False
        return dfs(ni, nj, nx)

    aa = LLI(4)
    fin = [[False] * 4 for _ in range(4)]
    if not dfs():
        print("No")
        exit()
    #p2D(fin)
    for i in range(4):
        for j in range(4):
            if fin[i][j]:continue
            if aa[i][j]!=i*4+j+1:
                print("No")
                exit()
    print("Yes")

main()
0