結果

問題 No.585 工夫のないパズル
ユーザー 👑 hos.lyrichos.lyric
提出日時 2019-06-15 02:50:11
言語 D
(dmd 2.105.2)
結果
WA  
実行時間 -
コード長 6,354 bytes
コンパイル時間 784 ms
コンパイル使用メモリ 111,668 KB
実行使用メモリ 4,508 KB
最終ジャッジ日時 2023-09-04 01:43:55
合計ジャッジ時間 3,216 ms
ジャッジサーバーID
(参考情報)
judge13 / judge14
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
権限があれば一括ダウンロードができます

ソースコード

diff #

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

class EOFException : Throwable { this() { super("EOF"); } }
string[] tokens;
string readToken() { for (; tokens.empty; ) { if (stdin.eof) { throw new EOFException; } tokens = readln.split; } auto token = tokens.front; tokens.popFront; return token; }
int readInt() { return readToken.to!int; }
long readLong() { return readToken.to!long; }
real readReal() { return readToken.to!real; }

bool chmin(T)(ref T t, in T f) { if (t > f) { t = f; return true; } else { return false; } }
bool chmax(T)(ref T t, in T f) { if (t < f) { t = f; return true; } else { return false; } }

int binarySearch(alias pred, T)(in T[] as) { int lo = -1, hi = cast(int)(as.length); for (; lo + 1 < hi; ) { const mid = (lo + hi) >> 1; (unaryFun!pred(as[mid]) ? hi : lo) = mid; } return hi; }
int lowerBound(T)(in T[] as, T val) { return as.binarySearch!(a => (a >= val)); }
int upperBound(T)(in T[] as, T val) { return as.binarySearch!(a => (a > val)); }


Tuple!(int, int, int)[] ans;

int[][] rotR(int[][] a, int pos, int k) {
  ans ~= tuple(0, pos, k);
  auto b = new int[][](4, 4);
  foreach (x; 0 .. 4) foreach (y; 0 .. 4) {
    b[x][y] = a[x][y];
  }
  foreach (y; 0 .. 4) {
    b[pos][(y + k) % 4] = a[pos][y];
  }
  return b;
}
int[][] rotC(int[][] a, int pos, int k) {
  ans ~= tuple(1, pos, k);
  auto b = new int[][](4, 4);
  foreach (x; 0 .. 4) foreach (y; 0 .. 4) {
    b[x][y] = a[x][y];
  }
  foreach (x; 0 .. 4) {
    b[(x + k) % 4][pos] = a[x][pos];
  }
  return b;
}

string[] S;

void main() {
  /*
  // enum m = 4;
  enum m = 8;
  // foreach (p; 0 .. 24^^m) {
  foreach (p; 0 .. 12^^m) {
    auto dirs = new int[m];
    auto poss = new int[m];
    auto ks = new int[m];
    // foreach (i; 0 .. m) {
      // const key = p / 24^^i % 24;
      // dirs[i] = key / 12;
      // poss[i] = key % 12 / 3;
    foreach (i; 0 .. m) {
      const key = p / 12^^i % 12;
      dirs[i] = key / 6;
      poss[i] = key % 6 / 3;
      ks[i] = 1 + key % 3;
    }
    auto a = new int[][](4, 4);
    foreach (x; 0 .. 4) foreach (y; 0 .. 4) {
      a[x][y] = x * 4 + y;
    }
    foreach (i; 0 .. m) {
      a = (dirs[i] == 0) ? a.rotR(poss[i], ks[i]) : a.rotC(poss[i], ks[i]);
    }
    int cnt;
    foreach (x; 0 .. 4) foreach (y; 0 .. 4) {
      if (a[x][y] != x * 4 + y) {
        ++cnt;
      }
    }
    if (1 <= cnt && cnt <= 2) {
      writeln(dirs, " ", poss, " ", ks, ": ", cnt, " ", a);
      stdout.flush;
    }
  }
  //*/
  /*
[1, 0, 1, 0, 1, 0, 1, 0] [1, 0, 1, 0, 1, 0, 1, 0] [3, 2, 1, 1, 3, 1, 1, 1]: 2 [[1, 0, 2, 3], [4, 5, 6, 7], [8, 9, 10, 11], [12, 13, 14, 15]]
  */
  
  try {
    for (; ; ) {
      S = new string[4];
      foreach (x; 0 .. 4) {
        S[x] = readToken();
      }
      
      auto a = new int[][](4, 4);
      foreach (x; 0 .. 4) foreach (y; 0 .. 4) {
        a[x][y] = S[x][y] - 'A';
      }
      
      ans = [];
      auto vis = new bool[][](4, 4);
      foreach (x; 0 .. 4) foreach (y; 0 .. 4) {
        if (x < 2 || y < 2) {
          if (a[x][y] != x * 4 + y) {
            debug {
              // writeln(a);
            }
            if (x == 3 && y == 0 && a[3][1] == 3 * 4 + 0) {
              debug {
                writeln("3 0: !");
              }
              a = a.rotR(3, 3);
              goto done;
            }
            foreach (p; 0 .. 4) foreach (q; 0 .. 4) foreach (r; 0 .. 4) foreach (s; 0 .. 4) {
              if (p != r && q != s) {
                if ((p == x && q == y) || (p == x && s == y) || (r == x && q == y)) {
                  if (!vis[p][q] && !vis[p][s] && !vis[r][q]) {
                    if (a[p][q] == x * 4 + y || a[p][s] == x * 4 + y || a[r][q] == x * 4 + y) {
                      debug {
                        writeln(x, " ", y, ": ", p, " ", q, " ", r, " ", s);
                      }
                      const kx = (p - r + 4) % 4;
                      const ky = (q - s + 4) % 4;
                      int[][] b;
                      b = a.rotR(p, ky).rotC(q, kx).rotR(p, 4 - ky).rotC(q, 4 - kx);
                      if (b[x][y] == x * 4 + y) {
                        a = b;
                        goto done;
                      }
                      ans = ans[0 .. $ - 4];
                      b = a.rotC(q, kx).rotR(p, ky).rotC(q, 4 - kx).rotR(p, 4 - ky);
                      if (b[x][y] == x * 4 + y) {
                        a = b;
                        goto done;
                      }
                      assert(false);
                    }
                  }
                }
              }
            }
            debug {
              writeln(x, " ", y);
              stdout.flush;
            }
            assert(false);
          }
         done:
          vis[x][y] = true;
        }
      }
      debug {
        writeln(a);
      }
      
      if (a[3][3] == 2 * 4 + 2) {
        for (; a[2][2] != 2 * 4 + 2; ) {
          a = a.rotR(2, 1).rotC(3, 3).rotR(2, 3).rotC(3, 1);
        }
      } else {
        for (; a[2][2] != 2 * 4 + 2; ) {
          a = a.rotR(2, 3).rotC(2, 3).rotR(2, 1).rotC(2, 1);
        }
      }
      debug {
        writeln(a);
      }
      
      for (; a[2][3] != 2 * 4 + 3; ) {
        a = a.rotR(3, 1).rotC(3, 1).rotR(3, 3).rotC(3, 3);
      }
      debug {
        writeln(a);
      }
      
      // swap (3, 2) and (3, 3)
      if (a[3][2] != 3 * 4 + 2) {
        a = a.rotC(3, 3).rotR(3, 2)
             .rotC(3, 1).rotR(3, 1)
             .rotC(3, 3).rotR(3, 1)
             .rotC(3, 1).rotR(3, 1);
        debug {
          writeln(a);
        }
      }
      
      foreach (x; 0 .. 4) foreach (y; 0 .. 4) {
        assert(a[x][y] == x * 4 + y);
      }
      
      foreach (x; 0 .. 4) foreach (y; 0 .. 4) {
        a[x][y] = S[x][y] - 'A';
      }
      foreach (line; ans) {
        if (line[0] == 0) {
          a = a.rotR(line[1], line[2]);
        } else {
          a = a.rotC(line[1], line[2]);
        }
      }
      foreach (x; 0 .. 4) foreach (y; 0 .. 4) {
        assert(a[x][y] == x * 4 + y);
      }
      
      writeln(ans.length);
      foreach (line; ans) {
        writeln("RC"[line[0]], " ", line[1], " ", line[2]);
      }
    }
  } catch (EOFException e) {
  }
}
0