結果

問題 No.86 TVザッピング(2)
ユーザー te-shte-sh
提出日時 2017-04-17 15:59:02
言語 D
(dmd 2.107.1)
結果
WA  
実行時間 -
コード長 2,308 bytes
コンパイル時間 1,441 ms
コンパイル使用メモリ 103,056 KB
実行使用メモリ 4,512 KB
最終ジャッジ日時 2023-09-03 12:50:48
合計ジャッジ時間 6,691 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge15
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 1 ms
4,380 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,376 KB
testcase_06 AC 1 ms
4,376 KB
testcase_07 AC 1 ms
4,380 KB
testcase_08 AC 2 ms
4,376 KB
testcase_09 AC 543 ms
4,380 KB
testcase_10 AC 887 ms
4,376 KB
testcase_11 AC 2 ms
4,384 KB
testcase_12 AC 1 ms
4,380 KB
testcase_13 AC 1 ms
4,376 KB
testcase_14 WA -
testcase_15 AC 416 ms
4,376 KB
testcase_16 AC 419 ms
4,376 KB
testcase_17 WA -
testcase_18 AC 5 ms
4,380 KB
testcase_19 AC 4 ms
4,376 KB
testcase_20 AC 2 ms
4,380 KB
testcase_21 AC 832 ms
4,376 KB
testcase_22 AC 2 ms
4,380 KB
testcase_23 AC 9 ms
4,376 KB
testcase_24 AC 4 ms
4,376 KB
testcase_25 AC 1 ms
4,380 KB
testcase_26 AC 2 ms
4,376 KB
testcase_27 AC 1 ms
4,380 KB
testcase_28 AC 1 ms
4,376 KB
testcase_29 AC 422 ms
4,384 KB
testcase_30 AC 2 ms
4,380 KB
testcase_31 WA -
testcase_32 AC 2 ms
4,380 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import std.algorithm, std.conv, std.range, std.stdio, std.string;
import std.typecons;  // Tuple, Nullable, BigFlags

void main()
{
  auto rd = readln.split.map!(to!size_t), n = rd[0], m = rd[1];
  auto aij = Matrix!bool(n.iota.map!(_ => readln.chomp.map!(c => c == '.').array).array);

  auto w = aij.joiner.count!"a";

  foreach (s; aij.points!int)
    foreach (di; 0..4) {
      if (calc(aij, s, di, w)) {
        writeln("YES");
        return;
      }
    }

  writeln("NO");
}

auto walk(Matrix!bool bij, point p, point d, point s) {
  auto c = 0;
  for (;;) {
    auto np = p + d;
    if (np == s) return Tuple!(int, point)(c + 1, s);
    if (!bij.validIndex(np) || !bij[np]) return Tuple!(int, point)(c, p);
    p = np;
    bij[p] = false;
    ++c;
  }
}

auto calc(Matrix!bool aij, point s, int di, size_t w) {
  auto bij = aij.dup;
  bij[s] = false;
  auto p = s;

  auto c = 0;
  foreach (t; 0..5) {
    auto d = sibPoints!int[di];

    auto wr = walk(bij, p, d, s), cr = wr[0], pr = wr[1];
    if (cr == 0) return false;

    c += cr;
    p = pr;

    if (p == s && c == w) return true;
    di = (di + 1) % 4;
  }

  return false;
}

alias Point!int point;

struct Point(T)
{
  T x, y;
  pure auto opBinary(string op: "+")(Point!T rhs) const { return Point!T(x + rhs.x, y + rhs.y); }
}

const sibPoints(T) = [Point!T(-1, 0), Point!T(0, 1), Point!T(1, 0), Point!T(0, -1)];

struct Matrix(T)
{
  import std.traits, std.typecons;

  T[][] m;
  const size_t rows, cols;

  mixin Proxy!m;

  this(size_t r, size_t c) { rows = r; cols = c; m = new T[][](rows, cols); }
  this(T[][] s) { rows = s.length; cols = s[0].length; m = s; }

  pure auto dup() const { return Matrix(m.map!(r => r.dup).array); }
  pure auto opIndex(U)(Point!U p) const { return m[p.y][p.x]; }
  pure auto opIndex(U)(U y) if (!is(U == Point!V, V)) { return m[y]; }
  pure auto opIndex(size_t y, size_t x) const { return m[y][x]; }
  static if (isAssignable!T) {
    auto opIndexAssign(U)(T v, Point!U p) { return m[p.y][p.x] = v; }
    auto opIndexAssign(T v, size_t y, size_t x) { return m[y][x] = v; }
  }
  pure auto validIndex(U)(Point!U p) const { return p.x >= 0 && p.x < cols && p.y >= 0 && p.y < rows; }
  pure auto points(U)() const { return rows.to!U.iota.map!(y => cols.to!U.iota.map!(x => Point!U(x, y))).joiner; }
}
0