結果

問題 No.399 動的な領主
ユーザー 👑 rin204rin204
提出日時 2022-09-30 23:07:05
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 517 ms / 2,000 ms
コード長 2,345 bytes
コンパイル時間 283 ms
コンパイル使用メモリ 82,432 KB
実行使用メモリ 114,412 KB
最終ジャッジ日時 2024-06-02 06:35:31
合計ジャッジ時間 7,734 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 36 ms
52,736 KB
testcase_01 AC 41 ms
52,864 KB
testcase_02 AC 40 ms
53,504 KB
testcase_03 AC 40 ms
53,760 KB
testcase_04 AC 99 ms
76,800 KB
testcase_05 AC 175 ms
80,648 KB
testcase_06 AC 516 ms
112,656 KB
testcase_07 AC 517 ms
112,056 KB
testcase_08 AC 504 ms
112,512 KB
testcase_09 AC 493 ms
112,776 KB
testcase_10 AC 108 ms
77,696 KB
testcase_11 AC 160 ms
80,704 KB
testcase_12 AC 458 ms
110,664 KB
testcase_13 AC 457 ms
114,412 KB
testcase_14 AC 277 ms
112,144 KB
testcase_15 AC 285 ms
112,568 KB
testcase_16 AC 316 ms
112,484 KB
testcase_17 AC 511 ms
112,340 KB
testcase_18 AC 496 ms
112,868 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class LCA:
    def __init__(self, G, root=0):
        self.G = G
        self.root = root
        self.n = len(G)
        self.logn = (self.n - 1).bit_length()
        self.depth = [-1 if i != root else 0 for i in range(self.n)]
        self.parent = [[-1] * self.n for _ in range(self.logn)]
        self.dfs()
        self.doubling()

    def dfs(self):
        que = [self.root]
        while que:
            u = que.pop()
            for v in self.G[u]:
                if self.depth[v] == -1:
                    self.depth[v] = self.depth[u] + 1
                    self.parent[0][v] = u
                    que += [v]

    def doubling(self):
        for i in range(1, self.logn):
            for v in range(self.n):
                if self.parent[i - 1][v] != -1:
                    self.parent[i][v] = self.parent[i - 1][self.parent[i - 1][v]]

    def get(self, u, v):
        if self.depth[v] < self.depth[u]:
            u, v = v, u
        du = self.depth[u]
        dv = self.depth[v]

        for i in range(self.logn):
            if (dv - du) >> i & 1:
                v = self.parent[i][v]
        if u == v: return u

        for i in range(self.logn - 1, -1, -1):
            pu, pv = self.parent[i][u], self.parent[i][v]
            if pu != pv:
                u, v = pu, pv
        return self.parent[0][u]

    def dist(self, u, v):
        return self.depth[u] + self.depth[v] - 2 * self.depth[self.get(u, v)]

n = int(input())
edges = [[] for _ in range(n + 1)]
for _ in range(n - 1):
    u, v = map(int, input().split())
    edges[u].append(v)
    edges[v].append(u)

edges[0].append(1)
edges[1].append(0)

lca = LCA(edges)
imos = [0] * (n + 1)
Q = int(input())
for _ in range(Q):
    a, b = map(int, input().split())
    p = lca.get(a, b)
    imos[b] += 1
    imos[a] += 1
    imos[p] -= 1
    imos[lca.parent[0][p]] -= 1

route = [0]
stack = [0]
used = [False] * (n + 1)
used[0] = True
while stack:
    pos = stack.pop()
    for npos in edges[pos]:
        if used[npos]:
            continue
        used[npos] = True
        stack.append(npos)
        route.append(npos)

used = [False] * (n + 1)
for pos in route[::-1]:
    used[pos] = True
    for npos in edges[pos]:
        if not used[npos]:
            continue
        imos[pos] += imos[npos]

ans = 0
for i in imos:
    ans += i * (i + 1) // 2
print(ans)
0