結果

問題 No.228 ゆきこちゃんの 15 パズル
ユーザー te-shte-sh
提出日時 2016-09-16 17:13:44
言語 D
(dmd 2.105.2)
結果
AC  
実行時間 4 ms / 5,000 ms
コード長 2,128 bytes
コンパイル時間 1,629 ms
コンパイル使用メモリ 170,880 KB
実行使用メモリ 4,376 KB
最終ジャッジ日時 2023-09-02 22:17:06
合計ジャッジ時間 2,650 ms
ジャッジサーバーID
(参考情報)
judge13 / judge14
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
4,372 KB
testcase_01 AC 2 ms
4,368 KB
testcase_02 AC 1 ms
4,368 KB
testcase_03 AC 3 ms
4,368 KB
testcase_04 AC 2 ms
4,368 KB
testcase_05 AC 1 ms
4,368 KB
testcase_06 AC 3 ms
4,372 KB
testcase_07 AC 2 ms
4,372 KB
testcase_08 AC 3 ms
4,376 KB
testcase_09 AC 4 ms
4,372 KB
testcase_10 AC 2 ms
4,372 KB
testcase_11 AC 3 ms
4,368 KB
testcase_12 AC 3 ms
4,368 KB
testcase_13 AC 3 ms
4,372 KB
testcase_14 AC 4 ms
4,368 KB
testcase_15 AC 3 ms
4,368 KB
testcase_16 AC 3 ms
4,368 KB
testcase_17 AC 3 ms
4,368 KB
testcase_18 AC 4 ms
4,372 KB
testcase_19 AC 3 ms
4,376 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Main.d(49): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
Main.d(50): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`

ソースコード

diff #

import std.algorithm, std.array, std.container, std.range, std.bitmanip;
import std.numeric, std.math, std.bigint, std.random, core.bitop;
import std.string, std.regex, std.conv, std.stdio, std.typecons;

alias Tuple!(int[][], "board", int, "visited") qItem;

void main()
{
  auto aij = iota(4).map!(_ => readln.split.map!(to!int).array).array;

  auto bij = iota(4).map!(i => iota(4).map!(j => (i * 4 + j + 1).to!int).array).array;
  bij[3][3] = 0;

  auto qi = new DList!(qItem);
  qi.insert(qItem(bij.dupDeep, 0));
  while (!qi.empty) {
    auto q = qi.front, cij = q.board, visited = q.visited;
    qi.removeFront;
    if (cmp(aij, cij)) {
      writeln("Yes");
      return;
    }
    auto p = find0(cij);
    foreach (sib; sibPoints) {
      auto np = p + sib;
      if (np.x < 0 || np.x >= 4 || np.y < 0 || np.y >= 4) continue;
      if (visited.bitTest(cij[np.y][np.x])) continue;
      auto dij = cij.dupDeep;
      swap(dij[p.y][p.x], dij[np.y][np.x]);
      qi.insert(qItem(dij, visited.bitSet(dij[p.y][p.x])));
    }
  }

  writeln("No");
}

bool cmp(int[][] aij, int[][] bij)
{
  return aij.zip(bij).all!("a[0] == a[1]");
}

int[][] dupDeep(int[][] aij)
{
  return aij.map!(a => a.dup).array;
}

point find0(int[][] aij)
{
  foreach (int i, ai; aij)
    foreach (int j, a; ai)
      if (a == 0) return point(j, i);
  assert(0);
}

struct Point(T) {
  T x, y;

  point opBinary(string op)(point rhs) {
    static if (op == "+") return point(x + rhs.x, y + rhs.y);
    else static if (op == "-") return point(x - rhs.x, y - rhs.y);
  }
}

alias Point!int point;
alias Point!real rpoint;

const auto sibPoints = [point(-1, 0), point(0, -1), point(1, 0), point(0, 1)];

template BitOp(T) {
  bool bitTest(T n, size_t i) { return (n & (1.to!T << i)) != 0; }
  T bitSet(T n, size_t i) { return n | (1.to!T << i); }
  T bitReset(T n, size_t i) { return n & ~(1.to!T << i); }
  T bitComp(T n, size_t i) { return n ^ (1.to!T << i); }
  int bsf(T n) { return core.bitop.bsf(n.to!ulong); }
  int bsr(T n) { return core.bitop.bsr(n.to!ulong); }
  int popcnt(T n) { return core.bitop.popcnt(n.to!ulong); }
}

mixin BitOp!(int);
0