結果

問題 No.416 旅行会社
ユーザー Navier_BoltzmannNavier_Boltzmann
提出日時 2023-06-17 13:19:22
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 2,959 ms / 4,000 ms
コード長 2,703 bytes
コンパイル時間 315 ms
コンパイル使用メモリ 86,724 KB
実行使用メモリ 301,372 KB
最終ジャッジ日時 2023-09-07 10:04:15
合計ジャッジ時間 28,987 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 947 ms
255,664 KB
testcase_01 AC 111 ms
72,848 KB
testcase_02 AC 111 ms
72,796 KB
testcase_03 AC 110 ms
72,796 KB
testcase_04 AC 110 ms
72,524 KB
testcase_05 AC 115 ms
76,772 KB
testcase_06 AC 116 ms
77,052 KB
testcase_07 AC 199 ms
80,832 KB
testcase_08 AC 414 ms
86,996 KB
testcase_09 AC 701 ms
97,644 KB
testcase_10 AC 986 ms
255,532 KB
testcase_11 AC 851 ms
234,508 KB
testcase_12 AC 835 ms
228,612 KB
testcase_13 AC 772 ms
231,184 KB
testcase_14 AC 2,959 ms
277,492 KB
testcase_15 AC 2,916 ms
286,116 KB
testcase_16 AC 2,629 ms
301,372 KB
testcase_17 AC 2,842 ms
291,408 KB
testcase_18 AC 2,936 ms
279,344 KB
testcase_19 AC 2,442 ms
268,812 KB
testcase_20 AC 2,455 ms
242,108 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

    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]
        self.parent_or_size[y] = x
        return x

    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,M,Q = map(int,input().split())

AB = [tuple(map(int,input().split())) for _ in range(M)]
CD = [tuple(map(int,input().split())) for _ in range(Q)]

X = set(CD)

D = DSU(N+1)
Y = []
for a,b in AB:
    if (a,b) in X:
        continue
    Y.append((a,b))
    D.merge(a,b)

check = defaultdict(lambda:set())
ok = defaultdict(lambda:Q-1)
ng = defaultdict(lambda:-1)
mid = defaultdict(lambda:(Q-1)//2)

ans = defaultdict(lambda:-2)
F = set()
S = set([i for i in range(2,N+1)])
for i in range(2,N+1):
    if D.same(1,i):
        ans[i]=-1
        F.add(i)
        S.discard(i)
        

for c,d in CD:
    D.merge(c,d)

for i in range(2,N+1):
    if i in F:
        continue
    if not D.same(1,i):
        S.discard(i)
        F.add(i)
        ans[i] = 0
        

for s in S:
    check[(Q-1)//2].add(s)

cnt = 0
n = len(S)

    
while cnt!=n:
    
    D = DSU(N+1)
    for a,b in Y:
        D.merge(a,b)
    
    
    for i in range(Q):
        c,d = CD[-1-i]
        D.merge(c,d)
        for s in check[i]:
            
            if D.same(1,s):
                ok[s] = i
            else:
                ng[s] = i
            
            if ok[s]-ng[s]==1:
                cnt += 1
                continue

            mid[s] = (ok[s]+ng[s])//2
            check[mid[s]].add(s)
        
        check[i] = set()
for s in S:
    
    ans[s] = Q - ok[s]
    
for i in range(2,N+1):
    print(ans[i])
0