結果

問題 No.922 東北きりきざむたん
ユーザー convexineqconvexineq
提出日時 2019-11-09 20:08:44
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 815 ms / 2,000 ms
コード長 3,847 bytes
コンパイル時間 517 ms
コンパイル使用メモリ 82,048 KB
実行使用メモリ 222,080 KB
最終ジャッジ日時 2024-09-15 04:48:14
合計ジャッジ時間 13,022 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 47 ms
54,144 KB
testcase_01 AC 48 ms
54,144 KB
testcase_02 AC 47 ms
54,144 KB
testcase_03 AC 47 ms
54,272 KB
testcase_04 AC 55 ms
60,672 KB
testcase_05 AC 54 ms
60,160 KB
testcase_06 AC 61 ms
63,872 KB
testcase_07 AC 56 ms
61,696 KB
testcase_08 AC 65 ms
65,920 KB
testcase_09 AC 370 ms
96,640 KB
testcase_10 AC 338 ms
85,376 KB
testcase_11 AC 378 ms
92,672 KB
testcase_12 AC 194 ms
99,200 KB
testcase_13 AC 203 ms
83,456 KB
testcase_14 AC 450 ms
111,616 KB
testcase_15 AC 119 ms
98,560 KB
testcase_16 AC 657 ms
109,952 KB
testcase_17 AC 646 ms
109,568 KB
testcase_18 AC 665 ms
109,952 KB
testcase_19 AC 632 ms
109,824 KB
testcase_20 AC 662 ms
110,208 KB
testcase_21 AC 678 ms
116,608 KB
testcase_22 AC 658 ms
113,280 KB
testcase_23 AC 682 ms
113,920 KB
testcase_24 AC 687 ms
113,920 KB
testcase_25 AC 549 ms
116,352 KB
testcase_26 AC 533 ms
116,864 KB
testcase_27 AC 539 ms
116,480 KB
testcase_28 AC 224 ms
112,640 KB
testcase_29 AC 815 ms
222,080 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

# coding: utf-8
# Your code here!

class LCA_doubling:
    """
    parent: ダブリングテーブル
    depth: 元の深さ
    """
    def __init__(self,g,roots): #g: graph 
        def dfs(v,p): #p: parent of v
            if p != -1: self.depth[v] = self.depth[p]+1
            for c in g[v]:
                if c == p: continue
                self.parent[0][c] = v
                dfs(c,v)
            return

        def doubling_make_table(N,logN,Table):
            for i in range(1,logN):
                for j, Tiij in enumerate(Table[i-1]):
                    if Tiij != -1:
                        Table[i][j] = Table[i-1][Tiij]

        N = len(g)
        self.logN = len(bin(N))-2
        self.parent = [[-1]*N for _ in range(self.logN)]
        self.depth = [0]*(N) #ノードの深さ
        for i in roots: dfs(i,-1) #root を根とする木と見て計算
        doubling_make_table(N, self.logN, self.parent) #ダブリングのテープル構築


    def getLCA(self,u,v): #u,vのLCAを返す
        if self.depth[u] > self.depth[v]: u,v = v,u #vが深い
        dd = self.depth[v] - self.depth[u]
        for k in range(self.logN-1,-1,-1):
            if (dd >> k) & 1: v = self.parent[k][v]
        if u == v: return u;
        for k in range(self.logN-1,-1,-1):
            if self.parent[k][u] != self.parent[k][v]:
                u,v = self.parent[k][u], self.parent[k][v]
        return self.parent[0][u];

    def getdepth(self,u): #uの深さを返す
        return self.depth[u]

##########
class UnionFind:
    def __init__(self, n):
        self.parent = list(range(n)) #親ノード
        self.size = [1]*n #グループの要素数
 
    def root(self, x): #root(x): xの根ノードを返す．
        while self.parent[x] != x:
            self.parent[x] = self.parent[self.parent[x]]
            x = self.parent[x]
        return x 
 
    def merge(self, x, y): #merge(x,y): xのいる組とyのいる組をまとめる
        x, y = self.root(x), self.root(y)
        if x == y: return False
        if self.size[x] < self.size[y]: x,y=y,x #xの要素数が大きいように
        self.size[x] += self.size[y] #xの要素数を更新
        self.parent[y] = x #yをxにつなぐ
        return True
 
    def issame(self, x, y): #same(x,y): xとyが同じ組ならTrue
        return self.root(x) == self.root(y)
        
    def getsize(self,x): #size(x): xのいるグループの要素数を返す
        return self.size[self.root(x)]
##############        

import sys
sys.setrecursionlimit(10**7)
readline = sys.stdin.readline 

#n = int(input())
n,m,q = [int(i) for i in readline().split()]

g = [[] for _ in range(n)]

UF = UnionFind(n)

for i in range(m):
    a,b = [int(i)-1 for i in readline().split()]
    g[a].append(b)
    g[b].append(a)
    UF.merge(a,b)


Same = []
wt = [0]*n
#print(ab)
from collections import Counter

sum_of_wt = Counter()

for _ in range(q):
    a,b = [int(i)-1 for i in readline().split()]
    if UF.issame(a,b):
        Same.append((a,b))
    else:
        sum_of_wt[UF.root(a)] += 1
        sum_of_wt[UF.root(b)] += 1
        wt[a] += 1
        wt[b] += 1



def center_of_points(g,wt,roots): #p: parent of v
    def dfs(v,p,n):
        dist = 0
        maxdiff = 0
        for c in g[v]:
            if c == p: continue
            w,d,m = dfs(c,v,n)
            wt[v] += w
            dist += w+d
            maxdiff = max(maxdiff,m+(2*w-n))
        return wt[v], dist, maxdiff
    
    res = 0
    for r in roots:
        w,d,m = dfs(r,-1,sum_of_wt[r])
        res += d-m
    return res



roots = [i for i,x in enumerate(UF.parent) if i == x]
LCA = LCA_doubling(g,roots)
#print(roots)
ans = center_of_points(g,wt,roots)
#print(ans)

for a,b in Same:
    ans += LCA.getdepth(a) + LCA.getdepth(b) - 2*LCA.getdepth(LCA.getLCA(a,b))

    
print(ans)
0