結果
問題 | No.1424 Ultrapalindrome |
ユーザー | 👑 hos.lyric |
提出日時 | 2021-03-12 22:28:59 |
言語 | D (dmd 2.105.2) |
結果 |
AC
|
実行時間 | 125 ms / 2,000 ms |
コード長 | 3,106 bytes |
コンパイル時間 | 729 ms |
コンパイル使用メモリ | 107,220 KB |
実行使用メモリ | 15,424 KB |
最終ジャッジ日時 | 2023-09-04 12:21:51 |
合計ジャッジ時間 | 3,640 ms |
ジャッジサーバーID (参考情報) |
judge15 / judge14 |
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
4,376 KB |
testcase_01 | AC | 2 ms
4,384 KB |
testcase_02 | AC | 1 ms
4,376 KB |
testcase_03 | AC | 2 ms
4,384 KB |
testcase_04 | AC | 2 ms
4,380 KB |
testcase_05 | AC | 2 ms
4,376 KB |
testcase_06 | AC | 1 ms
4,384 KB |
testcase_07 | AC | 2 ms
4,376 KB |
testcase_08 | AC | 2 ms
4,380 KB |
testcase_09 | AC | 98 ms
7,252 KB |
testcase_10 | AC | 96 ms
6,680 KB |
testcase_11 | AC | 70 ms
6,776 KB |
testcase_12 | AC | 93 ms
6,672 KB |
testcase_13 | AC | 25 ms
4,380 KB |
testcase_14 | AC | 75 ms
6,684 KB |
testcase_15 | AC | 2 ms
4,376 KB |
testcase_16 | AC | 58 ms
5,160 KB |
testcase_17 | AC | 72 ms
6,312 KB |
testcase_18 | AC | 44 ms
4,904 KB |
testcase_19 | AC | 72 ms
7,004 KB |
testcase_20 | AC | 18 ms
4,384 KB |
testcase_21 | AC | 58 ms
5,216 KB |
testcase_22 | AC | 35 ms
4,692 KB |
testcase_23 | AC | 8 ms
4,380 KB |
testcase_24 | AC | 16 ms
4,380 KB |
testcase_25 | AC | 15 ms
4,380 KB |
testcase_26 | AC | 93 ms
8,108 KB |
testcase_27 | AC | 125 ms
7,800 KB |
testcase_28 | AC | 99 ms
15,392 KB |
testcase_29 | AC | 101 ms
15,424 KB |
testcase_30 | AC | 89 ms
8,108 KB |
testcase_31 | AC | 93 ms
8,040 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)); } int N; int[] A, B; int[][] G; int[] sz; int[] dep; void dfsSz(int u, int p) { sz[u] = 1; foreach (i; G[u]) { const v = A[i] ^ B[i] ^ u; if (v != p) { dfsSz(v, u); sz[u] += sz[v]; } } } void dfsDep(int u, int p) { dep[u] = (p == -1) ? 0 : (dep[p] + 1); foreach (i; G[u]) { const v = A[i] ^ B[i] ^ u; if (v != p) { dfsDep(v, u); } } } void main() { try { for (; ; ) { N = readInt(); A = new int[N - 1]; B = new int[N - 1]; foreach (i; 0 .. N - 1) { A[i] = readInt() - 1; B[i] = readInt() - 1; } G = new int[][N]; foreach (i; 0 .. N - 1) { G[A[i]] ~= i; G[B[i]] ~= i; } sz = new int[N]; dfsSz(0, -1); int r = -1; for (int u = 0; ; ) { int vm = -1; foreach (i; G[u]) { const v = A[i] ^ B[i] ^ u; if (vm == -1 || sz[vm] < sz[v]) { vm = v; } } if (vm == -1 || sz[u] >= 2 * sz[vm]) { r = u; break; } else { sz[u] -= sz[vm]; sz[vm] += sz[u]; u = vm; } } debug { writeln("r = ", r); writeln("sz = ", sz); } bool ans; // path int numLeaves; foreach (u; 0 .. N) { if (G[u].length == 1) { ++numLeaves; } } if (numLeaves == 2) { ans = true; } // equidistant from r dep = new int[N]; dfsDep(r, -1); bool same = true; int d = -1; foreach (u; 0 .. N) { if (G[u].length == 1) { if (d == -1) { d = dep[u]; } same = same && (d == dep[u]); } } if (same && G[r].length == numLeaves) { ans = true; } writeln(ans ? "Yes" : "No"); } } catch (EOFException e) { } }