#432313 (D) No.179 塗り分け

提出ソース

結果

問題	No.179 塗り分け
ユーザー	te-sh
提出日時	2020-02-21 18:54:16
言語	D (dmd 2.106.1)
結果	AC
実行時間	123 ms / 3,000 ms
コード長	6,735 bytes
コンパイル時間	1,075 ms
コンパイル使用メモリ	119,700 KB
実行使用メモリ	6,948 KB
最終ジャッジ日時	2024-06-22 05:22:01
合計ジャッジ時間	2,622 ms
ジャッジサーバーID （参考情報）	judge2 / judge1

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	1 ms 6,812 KB
testcase_01	AC	1 ms 6,812 KB
testcase_02	AC	1 ms 6,944 KB
testcase_03	AC	1 ms 6,940 KB
testcase_04	AC	1 ms 6,944 KB
testcase_05	AC	6 ms 6,940 KB
testcase_06	AC	2 ms 6,944 KB
testcase_07	AC	2 ms 6,940 KB
testcase_08	AC	30 ms 6,944 KB
testcase_09	AC	34 ms 6,944 KB
testcase_10	AC	2 ms 6,944 KB
testcase_11	AC	2 ms 6,940 KB
testcase_12	AC	33 ms 6,940 KB
testcase_13	AC	1 ms 6,940 KB
testcase_14	AC	2 ms 6,940 KB
testcase_15	AC	1 ms 6,940 KB
testcase_16	AC	1 ms 6,944 KB
testcase_17	AC	1 ms 6,940 KB
testcase_18	AC	3 ms 6,940 KB
testcase_19	AC	3 ms 6,940 KB
testcase_20	AC	30 ms 6,940 KB
testcase_21	AC	56 ms 6,944 KB
testcase_22	AC	123 ms 6,940 KB
testcase_23	AC	2 ms 6,944 KB
testcase_24	AC	36 ms 6,940 KB
testcase_25	AC	2 ms 6,944 KB
testcase_26	AC	7 ms 6,944 KB
testcase_27	AC	30 ms 6,940 KB
testcase_28	AC	3 ms 6,944 KB
testcase_29	AC	30 ms 6,940 KB
testcase_30	AC	14 ms 6,944 KB
testcase_31	AC	32 ms 6,944 KB
testcase_32	AC	10 ms 6,940 KB
testcase_33	AC	30 ms 6,948 KB
testcase_34	AC	7 ms 6,940 KB
testcase_35	AC	30 ms 6,944 KB
testcase_36	AC	1 ms 6,940 KB
testcase_37	AC	1 ms 6,940 KB
testcase_38	AC	1 ms 6,944 KB
testcase_39	AC	1 ms 6,944 KB
testcase_40	AC	1 ms 6,940 KB
testcase_41	AC	1 ms 6,944 KB
testcase_42	AC	1 ms 6,944 KB
testcase_43	AC	3 ms 6,944 KB
testcase_44	AC	7 ms 6,940 KB
testcase_45	AC	1 ms 6,944 KB

権限があれば一括ダウンロードができます

コンパイルメッセージ

Main.d(276): Deprecation: function `Main.IO!(makeGlobal, makeGlobal).IO.put!("{exit: true}", string).put.putMain!(c, string).putMain` function requires a dual-context, which is deprecated
Main.d-mixin-246(246):        instantiated from here: `putMain!(c, string)`
Main.d(14):        instantiated from here: `put!("{exit: true}", string)`
Main.d(276): Deprecation: function `Main.IO!(makeGlobal, makeGlobal).IO.put!("{}", string).put.putMain!(c, string).putMain` function requires a dual-context, which is deprecated
Main.d-mixin-246(246):        instantiated from here: `putMain!(c, string)`
Main.d(30):        instantiated from here: `put!("{}", string)`

ソースコード

raw source code

// URL: https://yukicoder.me/problems/no/179

import std.algorithm, std.array, std.bitmanip, std.container, std.conv, std.format,
       std.functional, std.math, std.range, std.traits, std.typecons, std.stdio, std.string;

version(unittest) {} else
void main()
{
  int H, W; io.getV(H, W);
  string[] S; io.getC(H, S);

  alias rg = Region!(H, W);
  auto a = rg.grid(S.map!(l => l.map!(c => c == '.' ? 0 : 1).array).array);
  if (a.data.map!"a.sum".sum == 0) io.put!"{exit: true}"("NO");

  foreach (y; 0..H) {
  loop: foreach (x; -W+1..W) {
      auto b = a.dup, d = rg.Pos(y, x);
      foreach (p; rg.allPos)
        if (b[p] == 1) {
          b[p] = 2;
          auto q = p+d;
          if (!q.inRegion || b[q] != 1) continue loop;
          b[q] = 3;
        }
      io.put!"{exit: true}"("YES");
    }
  }

  io.put("NO");
}

template Region(alias h, alias w)
{
  struct Pos
  {
    pure nothrow @nogc @safe
    {
      int r, c;
      this(int r, int c)
      {
        this.r = r; this.c = c;
      }
      bool inRegion() const
      {
        return 0 <= r && r < h && 0 <= c && c < w;
      }
      int p2i() const
      {
        return cast(int)w*r+c;
      }

      Pos opBinary(string op)(Pos q) const
        if (op == "+" || op == "-")
      {
        return mixin("Pos(r"~op~"q.r, c"~op~"q.c)");
      }
      ref Pos opOpAssign(string op)(Pos q)
        if (op == "+" || op == "-")
      {
        mixin("r"~op~"=q.r; c"~op~"=q.c;");
        return this;
      }
      Pos opBinary(string op, U)(U a) const
        if ((op == "*" || op == "/") && isIntegral!U)
      {
        return mixin("Pos(r"~op~"a, c"~op~"a)");
      }
      ref Pos opOpAssign(string op, U)(U a)
        if ((op == "*" || op == "/") && isIntegral!U)
      {
        mixin("r"~op~"=a; c"~op~"=a;");
        return this;
      }
      int opBinary(string op: "*")(Pos q) const
      {
        return r*q.r+c*q.c;
      }
    }

    pure nothrow @safe
    {
      auto around4() const
      {
        return [Pos(r-1, c), Pos(r, c+1), Pos(r+1, c), Pos(r, c-1)]
          .filter!(p => p.inRegion);
      }
      auto around8() const
      {
        return [Pos(r-1, c), Pos(r-1, c+1), Pos(r, c+1), Pos(r+1, c+1),
                Pos(r+1, c), Pos(r+1, c-1), Pos(r, c-1), Pos(r-1, c-1)]
          .filter!(p => p.inRegion);
      }
    }
  }

  pure nothrow @safe
  {
    auto allPos()
    {
      return AllPosRange();
    }
  }

  private
  {
    struct AllPosRange
    {
      int r, c;
      @property pure Pos front() { return Pos(r, c); }
      void popFront() { if (++c >= w) { c = 0; ++r; } }
      pure bool empty() const { return r >= h; }
    }
  }

  struct Grid(T)
  {
    T[][] data;

    pure nothrow @safe
    {
      Grid!T dup() const
      {
        return Grid!T(data.map!"a.dup".array);
      }
    }

    pure nothrow @nogc @safe
    {
      this(T[][] data)
      {
        this.data = data;
      }

      T opIndex(size_t r, size_t c) const
        in { assert(0 <= r && r < h && 0 <= c && c < w); }
      do
      {
        return data[r][c];
      }
      T opIndex(Pos p) const
        in { assert(p.inRegion); }
      do
      {
        return data[p.r][p.c];
      }
      Grid!T opIndexAssign(T v, size_t r, size_t c)
        in { assert(0 <= r && r < h && 0 <= c && c < w); }
      do
      {
        data[r][c] = v;
        return this;
      }
      Grid!T opIndexAssign(T v, Pos p)
        in { assert(p.inRegion); }
      do
      {
        data[p.r][p.c] = v;
        return this;
      }
      Grid!T opIndexOpAssign(string op)(T v, size_t r, size_t c)
        in { assert(0 <= r && r < h && 0 <= c && c < w); }
      do
      {
        mixin("data[r][c]"~op~"=v;");
        return this;
      }
      Grid!T opIndexOpAssign(string op)(T v, Pos p)
        in { assert(p.inRegion); }
      do
      {
        mixin("data[p.r][p.c]"~op~"=v;");
        return this;
      }
      Grid!T opIndexUnary(string op)(size_t r, size_t c)
        if (op == "++" || op == "--")
        in { assert(0 <= r && r < h && 0 <= c && c < w); }
      do
      {
        mixin(op~"data[r][c];"); return this; }
      Grid!T opIndexUnary(string op)(Pos p)
        if (op == "++" || op == "--")
        in { assert(p.inRegion); }
      do
      {
        mixin(op~"data[p.r][p.c];");
        return this;
      }
    }
  }
  pure nothrow @safe
  {
    auto grid(T)(T[][] data = new T[][](h, w))
    {
      return Grid!T(data);
    }
  }
}

auto io = IO!()();
import std.stdio;
struct IO(alias IN = stdin, alias OUT = stdout)
{
  import std.meta : allSatisfy;
  import core.stdc.stdlib : exit;

  void getV(T...)(ref T v)
  {
    foreach (ref w; v) get(w);
  }
  void getA(T)(size_t n, ref T v)
    if (hasAssignableElements!T)
  {
    v = new T(n);
    foreach (ref w; v) get(w);
  }
  void getC(T...)(size_t n, ref T v)
    if (allSatisfy!(hasAssignableElements, T))
  {
    foreach (ref w; v) w = new typeof(w)(n);
    foreach (i; 0..n) foreach (ref w; v) get(w[i]);
  }
  void getM(T)(size_t r, size_t c, ref T v)
    if (hasAssignableElements!T && hasAssignableElements!(ElementType!T))
  {
    v = new T(r);
    foreach (ref w; v) getA(c, w);
  }
  template getS(E...)
  {
    void getS(T)(size_t n, ref T v)
    {
      v = new T(n);
      foreach (ref w; v) foreach (e; E) mixin("get(w."~e~");");
    }
  }

  const struct PutConf
  {
    bool newline = true, flush, exit;
    string floatFormat = "%.10f", delimiter = " ";
  }

  void put(alias conf = "{}", T...)(T v)
  {
    mixin("const PutConf c = "~conf~"; putMain!c(v);");
  }
  void putB(alias conf = "{}", S, T)(bool c, S t, T f)
  {
    if (c) put!conf(t);
    else put!conf(f);
  }
  void putRaw(T...)(T v)
  {
    OUT.write(v);
    OUT.writeln;
  }

  private
  {
    dchar[] buf;
    auto sp = (new dchar[](0)).splitter;

    void nextLine()
    {
      IN.readln(buf);
      sp = buf.splitter;
    }
    void get(T)(ref T v)
    {
      if (sp.empty) nextLine();
      v = sp.front.to!T;
      sp.popFront();
    }

    void putMain(PutConf c, T...)(T v)
    {
      foreach (i, w; v) {
        putOne!c(w);
        if (i+1 < v.length) OUT.write(c.delimiter);
      }
      static if (c.newline) OUT.writeln;
      static if (c.flush) OUT.flush();
      static if (c.exit) exit(0);
    }
    void putOne(PutConf c, T)(T v)
    {
      static if (isInputRange!T && !isSomeString!T) putRange!c(v);
      else static if (isFloatingPoint!T) OUT.write(format(c.floatFormat, v));
      else static if (hasMember!(T, "fprint")) v.fprint(OUT);
      else OUT.write(v);
    }
    void putRange(PutConf c, T)(T v)
    {
      auto w = v;
      while (!w.empty) {
        putOne!c(w.front); w.popFront();
        if (!w.empty) OUT.write(c.delimiter);
      }
    }
  }
}