結果

問題 No.1293 2種類の道路
ユーザー Navier_BoltzmannNavier_Boltzmann
提出日時 2023-09-13 12:34:25
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 748 ms / 2,000 ms
コード長 1,931 bytes
コンパイル時間 642 ms
コンパイル使用メモリ 81,784 KB
実行使用メモリ 119,376 KB
最終ジャッジ日時 2024-06-30 21:34:59
合計ジャッジ時間 9,740 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 47 ms
56,392 KB
testcase_01 AC 48 ms
56,396 KB
testcase_02 AC 48 ms
56,672 KB
testcase_03 AC 48 ms
56,448 KB
testcase_04 AC 49 ms
56,860 KB
testcase_05 AC 47 ms
56,208 KB
testcase_06 AC 47 ms
56,696 KB
testcase_07 AC 47 ms
56,428 KB
testcase_08 AC 49 ms
56,196 KB
testcase_09 AC 662 ms
117,008 KB
testcase_10 AC 748 ms
113,704 KB
testcase_11 AC 648 ms
114,912 KB
testcase_12 AC 668 ms
117,928 KB
testcase_13 AC 646 ms
114,400 KB
testcase_14 AC 424 ms
119,376 KB
testcase_15 AC 411 ms
115,692 KB
testcase_16 AC 346 ms
113,556 KB
testcase_17 AC 322 ms
113,856 KB
testcase_18 AC 307 ms
109,396 KB
testcase_19 AC 456 ms
118,752 KB
testcase_20 AC 452 ms
117,632 KB
testcase_21 AC 144 ms
78,016 KB
testcase_22 AC 138 ms
77,540 KB
testcase_23 AC 136 ms
77,220 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

from collections import *
from itertools import *
from functools import *
from heapq import *
import sys,math
input = sys.stdin.readline


class DSU:
    def __init__(self, n):
        self._n = n
        self.parent_or_size = [-1] * n
        self.member = [[i] for i in range(n)]

    def merge(self, a, b):
        assert 0 <= a < self._n
        assert 0 <= b < self._n
        x, y = self.leader(a), self.leader(b)
        if x == y: return x
        if -self.parent_or_size[x] < -self.parent_or_size[y]: x, y = y, x
        self.parent_or_size[x] += self.parent_or_size[y]
        for tmp in self.member[y]:
            self.member[x].append(tmp)
        self.parent_or_size[y] = x
        return x
        
    def members(self,a):
        
        return self.member[self.leader(a)]
    

    def same(self, a, b):
        assert 0 <= a < self._n
        assert 0 <= b < self._n
        return self.leader(a) == self.leader(b)

    def leader(self, a):
        assert 0 <= a < self._n
        if self.parent_or_size[a] < 0: return a
        self.parent_or_size[a] = self.leader(self.parent_or_size[a])
        return self.parent_or_size[a]

    def size(self, a):
        assert 0 <= a < self._n
        return -self.parent_or_size[self.leader(a)]

    def groups(self):
        leader_buf = [self.leader(i) for i in range(self._n)]
        result = [[] for _ in range(self._n)]
        for i in range(self._n): result[leader_buf[i]].append(i)
        return [r for r in result if r != []]
N,D,W = map(int,input().split())
T = DSU(N)
for _ in range(D):
    a,b = map(int,input().split())
    a -= 1
    b -= 1
    T.merge(a,b)

S = DSU(N)
for _ in range(W):
    c,d = map(int,input().split())
    c -= 1
    d -= 1

    S.merge(c,d)

ans = 0
for gt in T.groups():
    
    tt = set()
    
    for t in gt:
        
        tt.add(S.leader(t))
    n = len(gt)
    s = sum(S.size(t) for t in tt)
    ans += n*s - n
print(ans)
0