結果

問題 No.2986 Permutation Puzzle
ユーザー KudeKude
提出日時 2024-12-11 01:38:40
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 7 ms / 2,000 ms
コード長 2,447 bytes
コンパイル時間 3,448 ms
コンパイル使用メモリ 280,160 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-12-11 01:38:46
合計ジャッジ時間 5,505 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 3 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 2 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 2 ms
5,248 KB
testcase_10 AC 2 ms
5,248 KB
testcase_11 AC 2 ms
5,248 KB
testcase_12 AC 3 ms
5,248 KB
testcase_13 AC 2 ms
5,248 KB
testcase_14 AC 3 ms
5,248 KB
testcase_15 AC 3 ms
5,248 KB
testcase_16 AC 2 ms
5,248 KB
testcase_17 AC 2 ms
5,248 KB
testcase_18 AC 2 ms
5,248 KB
testcase_19 AC 2 ms
5,248 KB
testcase_20 AC 2 ms
5,248 KB
testcase_21 AC 4 ms
5,248 KB
testcase_22 AC 2 ms
5,248 KB
testcase_23 AC 2 ms
5,248 KB
testcase_24 AC 4 ms
5,248 KB
testcase_25 AC 3 ms
5,248 KB
testcase_26 AC 2 ms
5,248 KB
testcase_27 AC 6 ms
5,248 KB
testcase_28 AC 3 ms
5,248 KB
testcase_29 AC 6 ms
5,248 KB
testcase_30 AC 3 ms
5,248 KB
testcase_31 AC 3 ms
5,248 KB
testcase_32 AC 4 ms
5,248 KB
testcase_33 AC 3 ms
5,248 KB
testcase_34 AC 2 ms
5,248 KB
testcase_35 AC 7 ms
5,248 KB
testcase_36 AC 5 ms
5,248 KB
testcase_37 AC 5 ms
5,248 KB
testcase_38 AC 3 ms
5,248 KB
testcase_39 AC 6 ms
5,248 KB
testcase_40 AC 5 ms
5,248 KB
testcase_41 AC 7 ms
5,248 KB
testcase_42 AC 2 ms
5,248 KB
testcase_43 AC 4 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
namespace {
#pragma GCC diagnostic ignored "-Wunused-function"
#include<atcoder/all>
#pragma GCC diagnostic warning "-Wunused-function"
using namespace std;
using namespace atcoder;
#define rep(i,n) for(int i = 0; i < (int)(n); i++)
#define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--)
#define all(x) begin(x), end(x)
#define rall(x) rbegin(x), rend(x)
template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; }
template<class T> bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; }
using ll = long long;
using P = pair<int,int>;
using VI = vector<int>;
using VVI = vector<VI>;
using VL = vector<ll>;
using VVL = vector<VL>;

using A = array<int, 10>;

} int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n, k;
  cin >> n >> k;
  int a[10][10]{}, b[10][10]{};
  rep(i, n) rep(j, n) cin >> a[i][j], a[i][j]--;
  rep(i, n) rep(j, n) cin >> b[i][j], b[i][j]--;
  vector<tuple<int, int, A>> hist;
  A pr, pc;
  rep(i, 10) pr[i] = i, pc[i] = i;
  vector<P> ans;
  auto dfs = [&](auto&& self, int rest) -> void {
    bool is_same = [&]() {
      rep(i, n) rep(j, n) if (a[pr[i]][pc[j]] != b[i][j]) return false;
      return true;
    }();
    if (is_same) {
      while (hist.size()) {
        auto [rc, now, p] = hist.back(); hist.pop_back();
        int cnt = 1;
        bool visited[10]{};
        rep(i, n) if (!visited[i]) {
          int c = 0;
          while (!visited[i]) visited[i] = true, c++, i = p[i];
          cnt = lcm(c, cnt);
        }
        A inv;
        rep(i, n) inv[p[i]] = i;
        rep(_, cnt - 1) {
          ans.emplace_back(rc, now);
          now = inv[now];
        }
      }
      cout << ans.size() << '\n';
      for (auto [rc, i] : ans) {
        cout << "RC"[rc] << ' ' << i + 1 << '\n';
      }
      exit(0);
    }
    if (rest == 0) return;
    rep(i, n) {
      A npr{};
      rep(j, n) npr[a[pr[i]][pc[j]]] = j;
      auto pre = pr;
      rep(i, n) pr[i] = pre[npr[i]];
      hist.emplace_back(0, a[pre[i]][pc[i]], npr);
      self(self, rest - 1);
      hist.pop_back();
      pr = pre;
    }
    rep(j, n) {
      A npc{};
      rep(i, n) npc[a[pr[i]][pc[j]]] = i;
      auto pre = pc;
      rep(j, n) pc[j] = pre[npc[j]];
      hist.emplace_back(1, a[pr[j]][pre[j]], npc);
      self(self, rest - 1);
      hist.pop_back();
      pc = pre;
    }
  };
  dfs(dfs, k);
  assert(false);
}
0