結果
問題 | No.1768 The frog in the well knows the great ocean. |
ユーザー | 👑 hos.lyric |
提出日時 | 2021-11-26 23:34:40 |
言語 | D (dmd 2.107.1) |
結果 |
AC
|
実行時間 | 516 ms / 3,000 ms |
コード長 | 2,854 bytes |
コンパイル時間 | 2,845 ms |
コンパイル使用メモリ | 159,620 KB |
実行使用メモリ | 42,500 KB |
最終ジャッジ日時 | 2023-09-04 15:10:04 |
合計ジャッジ時間 | 12,098 ms |
ジャッジサーバーID (参考情報) |
judge12 / judge15 |
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
4,376 KB |
testcase_01 | AC | 15 ms
4,844 KB |
testcase_02 | AC | 15 ms
4,840 KB |
testcase_03 | AC | 15 ms
4,908 KB |
testcase_04 | AC | 15 ms
5,012 KB |
testcase_05 | AC | 15 ms
4,892 KB |
testcase_06 | AC | 368 ms
30,300 KB |
testcase_07 | AC | 382 ms
26,156 KB |
testcase_08 | AC | 342 ms
24,672 KB |
testcase_09 | AC | 363 ms
25,780 KB |
testcase_10 | AC | 365 ms
31,732 KB |
testcase_11 | AC | 408 ms
33,424 KB |
testcase_12 | AC | 414 ms
32,760 KB |
testcase_13 | AC | 409 ms
33,028 KB |
testcase_14 | AC | 413 ms
33,224 KB |
testcase_15 | AC | 413 ms
33,292 KB |
testcase_16 | AC | 512 ms
41,272 KB |
testcase_17 | AC | 514 ms
41,940 KB |
testcase_18 | AC | 516 ms
42,352 KB |
testcase_19 | AC | 514 ms
42,452 KB |
testcase_20 | AC | 512 ms
42,500 KB |
testcase_21 | AC | 2 ms
4,376 KB |
testcase_22 | AC | 1 ms
4,380 KB |
testcase_23 | AC | 5 ms
4,380 KB |
testcase_24 | AC | 246 ms
4,376 KB |
testcase_25 | AC | 354 ms
41,004 KB |
testcase_26 | AC | 356 ms
40,976 KB |
testcase_27 | AC | 1 ms
4,380 KB |
ソースコード
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)); } void main() { try { for (; ; ) { const numCases = readInt(); foreach (caseId; 0 .. numCases) { const N = readInt(); auto A = new int[N]; foreach (i; 0 .. N) A[i] = readInt(); auto B = new int[N]; foreach (i; 0 .. N) B[i] = readInt(); auto iss = new int[][N + 1]; auto jss = new int[][N + 1]; foreach (i; 0 .. N) { iss[A[i]] ~= i; jss[B[i]] ~= i; } auto set = new RedBlackTree!int; set.insert(-1); set.insert(N); auto ls = new int[N]; auto rs = new int[N]; foreach (a; 1 .. N + 1) { foreach (i; iss[a]) { ls[i] = set.lowerBound(i).back + 1; rs[i] = set.upperBound(i).front - 1; } foreach (i; jss[a]) { set.insert(i); } } set.clear; set.insert(-1); set.insert(N); foreach_reverse (a; 1 .. N + 1) { foreach (i; iss[a]) { chmax(ls[i], set.lowerBound(i).back + 1); chmin(rs[i], set.upperBound(i).front - 1); } foreach (i; iss[a]) { set.insert(i); } } debug { writeln("ls = ", ls); writeln("rs = ", rs); } bool ans = true; foreach (i; 0 .. N) { ans = ans && (A[i] <= B[i]); } { int j; foreach (i; 0 .. N) { for (; j < N && (A[i] == B[j] && ls[i] <= j && j <= rs[i]); ++j) {} } ans = ans && (j == N); } writeln(ans ? "Yes" : "No"); } } } catch (EOFException e) { } }