結果
| 問題 |
No.3309 Aging Railway
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-10-24 21:30:29 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
AC
|
| 実行時間 | 2,708 ms / 3,000 ms |
| コード長 | 3,191 bytes |
| コンパイル時間 | 317 ms |
| コンパイル使用メモリ | 82,708 KB |
| 実行使用メモリ | 222,296 KB |
| 最終ジャッジ日時 | 2025-10-24 21:31:10 |
| 合計ジャッジ時間 | 34,230 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 20 |
ソースコード
# input
import sys
input = sys.stdin.readline
II = lambda : int(input())
MI = lambda : map(int, input().split())
LI = lambda : [int(a) for a in input().split()]
SI = lambda : input().rstrip()
LLI = lambda n : [[int(a) for a in input().split()] for _ in range(n)]
LSI = lambda n : [input().rstrip() for _ in range(n)]
MI_1 = lambda : map(lambda x:int(x)-1, input().split())
LI_1 = lambda : [int(a)-1 for a in input().split()]
mod = 998244353
inf = 1001001001001001001
ordalp = lambda s : ord(s)-65 if s.isupper() else ord(s)-97
ordallalp = lambda s : ord(s)-39 if s.isupper() else ord(s)-97
yes = lambda : print("Yes")
no = lambda : print("No")
yn = lambda flag : print("Yes" if flag else "No")
prinf = lambda ans : print(ans if ans < 1000001001001001001 else -1)
alplow = "abcdefghijklmnopqrstuvwxyz"
alpup = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
alpall = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ"
URDL = {'U':(-1,0), 'R':(0,1), 'D':(1,0), 'L':(0,-1)}
DIR_4 = [[-1,0],[0,1],[1,0],[0,-1]]
DIR_8 = [[-1,0],[-1,1],[0,1],[1,1],[1,0],[1,-1],[0,-1],[-1,-1]]
DIR_BISHOP = [[-1,1],[1,1],[1,-1],[-1,-1]]
prime60 = [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59]
sys.set_int_max_str_digits(0)
# sys.setrecursionlimit(10**6)
# import pypyjit
# pypyjit.set_param('max_unroll_recursion=-1')
from collections import defaultdict,deque
from heapq import heappop,heappush
from bisect import bisect_left,bisect_right
DD = defaultdict
BSL = bisect_left
BSR = bisect_right
class DSU:
n : int
par : list[int]
siz : list[int]
fix_leader : bool
__slots__ = ["n", "par", "siz", "fix_leader"]
def __init__(self, n, fix_leader = False):
self.n = n
self.par = [*range(n)]
self.siz = [1] * n
self.fix_leader = fix_leader
def leader(self, a):
while self.par[a] != a:
a = self.par[self.par[a]]
self.par[a] = self.par[self.par[a]]
return a
def merge(self, a, b):
a = self.leader(a)
b = self.leader(b)
if a == b: return a
if self.fix_leader or self.siz[a] > self.siz[b]:
self.siz[a] += self.siz[b]
self.par[b] = a
return a
else:
self.siz[b] += self.siz[a]
self.par[a] = b
return b
def same(self, a, b):
return self.leader(a) == self.leader(b)
def size(self, a):
return self.siz[self.leader(a)]
def groups(self):
res = [[] for i in range(self.n)]
for i in range(self.n):
res[self.leader(i)].append(i)
res2 = []
for i in range(self.n):
if len(res[i]) > 0:
res2.append(res[i])
return res2
n, m = MI()
ss = m
e = []
for i in range(n - 1):
u, v = MI_1()
e.append((u, v))
uf = [DSU(n) for i in range(n)]
for i in range(n):
for j in range(i, n - 1):
uf[i].merge(*e[j])
ans = [0] * (n + 1)
for i in range(m):
s, t = MI_1()
ok = 0
ng = n
while ng - ok > 1:
m = ok + ng >> 1
if uf[m].same(s, t):
ok = m
else:
ng = m
ans[ok] += 1
for i in range(n - 1):
ss -= ans[i]
print(ss)