#879798 (D) No.2346 Replace!!

提出ソース

結果

問題	No.2346 Replace!!
ユーザー	👑 hos.lyric
提出日時	2023-06-11 04:33:57
言語	D (dmd 2.106.1)
結果	AC
実行時間	88 ms / 2,000 ms
コード長	3,326 bytes
コンパイル時間	826 ms
コンパイル使用メモリ	107,536 KB
実行使用メモリ	6,688 KB
最終ジャッジ日時	2023-09-04 20:34:23
合計ジャッジ時間	7,561 ms
ジャッジサーバーID （参考情報）	judge11 / judge12

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	1 ms 4,380 KB
testcase_01	AC	15 ms 4,376 KB
testcase_02	AC	3 ms 4,380 KB
testcase_03	AC	6 ms 4,376 KB
testcase_04	AC	6 ms 4,376 KB
testcase_05	AC	6 ms 4,380 KB
testcase_06	AC	5 ms 4,376 KB
testcase_07	AC	6 ms 4,380 KB
testcase_08	AC	6 ms 4,384 KB
testcase_09	AC	5 ms 4,380 KB
testcase_10	AC	6 ms 4,380 KB
testcase_11	AC	6 ms 4,376 KB
testcase_12	AC	6 ms 4,376 KB
testcase_13	AC	3 ms 4,376 KB
testcase_14	AC	4 ms 4,380 KB
testcase_15	AC	4 ms 4,380 KB
testcase_16	AC	4 ms 4,376 KB
testcase_17	AC	4 ms 4,380 KB
testcase_18	AC	4 ms 4,376 KB
testcase_19	AC	4 ms 4,376 KB
testcase_20	AC	4 ms 4,380 KB
testcase_21	AC	4 ms 4,380 KB
testcase_22	AC	4 ms 4,376 KB
testcase_23	AC	4 ms 4,376 KB
testcase_24	AC	4 ms 4,376 KB
testcase_25	AC	4 ms 4,380 KB
testcase_26	AC	4 ms 4,380 KB
testcase_27	AC	4 ms 4,384 KB
testcase_28	AC	1 ms 4,380 KB
testcase_29	AC	2 ms 4,380 KB
testcase_30	AC	2 ms 4,380 KB
testcase_31	AC	9 ms 6,680 KB
testcase_32	AC	8 ms 6,688 KB
testcase_33	AC	8 ms 6,656 KB
testcase_34	AC	9 ms 6,636 KB
testcase_35	AC	9 ms 6,684 KB
testcase_36	AC	8 ms 6,680 KB
testcase_37	AC	8 ms 6,688 KB
testcase_38	AC	8 ms 6,672 KB
testcase_39	AC	8 ms 6,628 KB
testcase_40	AC	8 ms 6,684 KB
testcase_41	AC	7 ms 6,688 KB
testcase_42	AC	8 ms 6,672 KB
testcase_43	AC	9 ms 6,680 KB
testcase_44	AC	10 ms 6,676 KB
testcase_45	AC	8 ms 6,688 KB
testcase_46	AC	8 ms 6,644 KB
testcase_47	AC	8 ms 6,684 KB
testcase_48	AC	7 ms 6,688 KB
testcase_49	AC	9 ms 6,640 KB
testcase_50	AC	8 ms 6,684 KB
testcase_51	AC	63 ms 6,616 KB
testcase_52	AC	41 ms 6,656 KB
testcase_53	AC	26 ms 6,676 KB
testcase_54	AC	77 ms 6,680 KB
testcase_55	AC	78 ms 6,688 KB
testcase_56	AC	77 ms 6,684 KB
testcase_57	AC	87 ms 6,684 KB
testcase_58	AC	77 ms 6,660 KB
testcase_59	AC	77 ms 6,688 KB
testcase_60	AC	77 ms 6,684 KB
testcase_61	AC	87 ms 6,644 KB
testcase_62	AC	78 ms 6,652 KB
testcase_63	AC	78 ms 6,616 KB
testcase_64	AC	87 ms 6,636 KB
testcase_65	AC	85 ms 6,688 KB
testcase_66	AC	79 ms 6,676 KB
testcase_67	AC	87 ms 6,684 KB
testcase_68	AC	87 ms 6,676 KB
testcase_69	AC	84 ms 6,684 KB
testcase_70	AC	88 ms 6,644 KB
testcase_71	AC	87 ms 6,656 KB
testcase_72	AC	88 ms 6,620 KB
testcase_73	AC	80 ms 6,688 KB

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

ソースコード

raw source code

import std.conv, std.functional, std.range, std.stdio, std.string;
import std.algorithm, std.array, std.bigint, std.bitmanip, std.complex, std.container, std.math, std.mathspecial, 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)); }


int N;
int[] A, B;

bool solve() {
  foreach (u; 0 .. N) {
    auto vis = new bool[N];
    bool ok;
    for (int v = u; ; ) {
      v = A[v];
      if (vis[v]) break;
      vis[v] = true;
      ok = ok || (B[u] == v);
    }
    if (!ok) {
      debug {
        writeln("impossible B[u] for u = ", u);
      }
      return false;
    }
  }
  
  {
    auto ids = new int[N];
    ids[] = -1;
    auto vis = new int[N];
    vis[] = -1;
    foreach (u; 0 .. N) {
      int v;
      for (v = u; !~vis[v]; v = A[v]) {
        vis[v] = u;
      }
      if (vis[v] == u) {
        int[] cyc;
        for (int w = v; ; ) {
          cyc ~= w;
          if ((w = A[w]) == v) break;
        }
        const cycLen = cast(int)(cyc.length);
        debug {
          writeln("cyc = ", cyc);
        }
        foreach (j; 0 .. cycLen) {
          ids[cyc[j]] = j;
        }
        auto visB = new int[cycLen];
        visB[] = -1;
        int cnt;
        foreach (j; 0 .. cycLen) {
          int k;
          for (k = j; !~visB[k]; k = ids[B[cyc[k]]]) {
            visB[k] = j;
          }
          if (visB[k] == j) {
            if (++cnt >= 2) {
              return false;
            }
            int[] cycB;
            for (int l = k; ; ) {
              cycB ~= l;
              if ((l = ids[B[cyc[l]]]) == k) break;
            }
            const cycBLen = cast(int)(cycB.length);
            const h0 = cycB.minIndex;
            cycB = cycB[h0 .. $] ~ cycB[0 .. h0];
            debug {
              writeln("  cycB = ", cycB);
            }
            foreach (h; 0 .. cycBLen - 1) {
              if (!(cycB[h] < cycB[h + 1])) {
                return false;
              }
            }
          }
        }
      }
    }
  }
  
  return true;
}

void main() {
  try {
    for (; ; ) {
      const numCases = readInt;
      foreach (caseId; 0 .. numCases) {
        N = readInt;
        A = new int[N];
        B = new int[N];
        foreach (u; 0 .. N) A[u] = readInt - 1;
        foreach (u; 0 .. N) B[u] = readInt - 1;
        
        const ans = solve;
        writeln(ans ? "Yes" : "No");
      }
    }
  } catch (EOFException e) {
  }
}

yukicoder

結果

テストケース

ソースコード