結果

問題 No.228 ゆきこちゃんの 15 パズル
ユーザー eitaho
提出日時 2015-06-19 22:37:48
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 29 ms / 5,000 ms
コード長 3,229 bytes
コンパイル時間 2,978 ms
コンパイル使用メモリ 109,440 KB
実行使用メモリ 19,200 KB
最終ジャッジ日時 2024-07-07 04:07:10
合計ジャッジ時間 1,880 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 17
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff #
プレゼンテーションモードにする

using System;
using System.IO;
using System.Linq;
using System.Text;
using System.Collections.Generic;
using System.Diagnostics;
using System.Numerics;
using Enu = System.Linq.Enumerable;
class Program
{
    static readonly int[] DR = { 0, 1, 0, -1 };
    static readonly int[] DC = { 1, 0, -1, 0 };
    bool IsInside(int r, int c) { return r >= 0 && r < 4 && c >= 0 && c < 4; }
    static void Swap<T>(ref T a, ref T b) { T t = a; a = b; b = t; }
    public void Solve()
    {
        var A = Reader.IntTable(4);
        int empty = Enu.Range(0, 16).First(i => A[i / 4][i % 4] == 0);
        if (Rec(empty / 4, empty % 4, A, new bool[16])) Console.WriteLine("Yes");
        else Console.WriteLine("No");
    }
    bool Rec(int r, int c, int[][] A, bool[] moved)
    {
        if (OK(A)) return true;
        for (int d = 0; d < DR.Length; d++)
        {
            int nr = r + DR[d], nc = c + DC[d];
            if (!IsInside(nr, nc) || moved[A[nr][nc]]) continue;
            moved[A[nr][nc]] = true;
            Swap(ref A[r][c], ref A[nr][nc]);
            if (Rec(nr, nc, A, moved)) return true;
            Swap(ref A[r][c], ref A[nr][nc]);
            moved[A[nr][nc]] = false;
        }
        return false;
    }
    private bool OK(int[][] A)
    {
        for (int r = 0; r < 4; r++)
            for (int c = 0; c < 4; c++)
            {
                int x = 1 + r * 4 + c;
                if (A[r][c] != x && x != 16) return false;
            }
        return true;
    }
}
class Entry { static void Main() { new Program().Solve(); } }
class Reader
{
    private static TextReader reader = Console.In;
    private static readonly char[] separator = { ' ' };
    private static readonly StringSplitOptions op = StringSplitOptions.RemoveEmptyEntries;
    private static string[] A = new string[0];
    private static int i;
    private static void Init() { A = new string[0]; }
    public static void Set(TextReader r) { reader = r; Init(); }
    public static void Set(string file) { reader = new StreamReader(file); Init(); }
    public static bool HasNext() { return CheckNext(); }
    public static string String() { return Next(); }
    public static int Int() { return int.Parse(Next()); }
    public static long Long() { return long.Parse(Next()); }
    public static double Double() { return double.Parse(Next()); }
    public static int[] IntLine() { return Array.ConvertAll(Split(Line()), int.Parse); }
    public static int[] IntArray(int N) { return Enu.Range(0, N).Select(i => Int()).ToArray(); }
    public static int[][] IntTable(int H) { return Enu.Range(0, H).Select(i => IntLine()).ToArray(); }
    public static string[] StringArray(int N) { return Enu.Range(0, N).Select(i => Line()).ToArray(); }
    public static string Line() { return reader.ReadLine().Trim(); }
    private static string[] Split(string s) { return s.Split(separator, op); }
    private static string Next() { CheckNext(); return A[i++]; }
    private static bool CheckNext()
    {
        if (i < A.Length) return true;
        string line = reader.ReadLine();
        if (line == null) return false;
        if (line == "") return CheckNext();
        A = Split(line);
        i = 0;
        return true;
    }
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0