結果

問題 No.3093 Safe Infection
コンテスト
ユーザー autumn09
提出日時 2025-03-05 17:03:42
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 2,442 bytes
コンパイル時間 568 ms
コンパイル使用メモリ 82,600 KB
実行使用メモリ 137,412 KB
最終ジャッジ日時 2025-03-05 17:04:00
合計ジャッジ時間 17,262 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 43 TLE * 2 -- * 25
権限があれば一括ダウンロードができます

ソースコード

diff # 

class UnionFind():
    # 初期化
    def __init__(self, n,A,G):
        self.par = [-1] * n
        self.rank = [0] * n
        self.siz = [1] * n
        self.S=A[:]
        self.G=[set() for i in range(N)]
        for v in range(N):
            for nv in G[v]:
                self.G[v].add(nv)

    # 根を求める
    def root(self, x):
        if self.par[x] == -1: return x # x が根の場合は x を返す
        else:
          self.par[x] = self.root(self.par[x]) # 経路圧縮
          return self.par[x]

    # x と y が同じグループに属するか (根が一致するか)
    def issame(self, x, y):
        return self.root(x) == self.root(y)

    # x を含むグループと y を含むグループを併合する
    def unite(self, x, y):
        # x 側と y 側の根を取得する
        rx = self.root(x)
        ry = self.root(y)
        if rx == ry: return False # すでに同じグループのときは何もしない
        # union by rank
        if self.rank[rx] < self.rank[ry]: # ry 側の rank が小さくなるようにする
            rx, ry = ry, rx
        self.par[ry] = rx # ry を rx の子とする
        if self.rank[rx] == self.rank[ry]: # rx 側の rank を調整する
            self.rank[rx] += 1
        self.siz[rx] += self.siz[ry] # rx 側の siz を調整する
        self.S[rx]=max(self.S[rx],self.S[ry])
        for nv in self.G[ry]:
            if (self.issame(rx,nv)):
                continue
            self.G[rx].add(nv)
        return True
    
    # x を含む根付き木のサイズを求める
    def size(self, x):
        return self.siz[self.root(x)]


N,M,K=map(int,input().split())
A=list(map(int,input().split()))

G=[set() for i in range(N)]
for i in range(M):
    u,v=map(int,input().split())
    G[u-1].add(v-1)
    G[v-1].add(u-1)

from heapq import *
que=[]
for i in range(N):
    heappush(que,(A[i],i))

unf=UnionFind(N,A,G)

while (len(que)):
    _,v=heappop(que)
    
    if unf.root(v)!=v:
        continue
    if unf.size(v)==N:
        print('Yes')
        break
    
    minval=10**10
    argmin=-1
    for nv in unf.G[v]:
        if unf.issame(v,nv):
            continue
        if minval>unf.S[unf.root(nv)]:
            minval=unf.S[unf.root(nv)]
            argmin=nv
    #print(argmin)
    if minval-unf.S[v]>K:
        print('No')
        break

    unf.unite(v,argmin)
    heappush(que,(unf.S[unf.root(v)],unf.root(v)))
0