結果
| 問題 |
No.1843 Tree ANDistance
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2023-01-15 19:27:38 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
AC
|
| 実行時間 | 992 ms / 2,000 ms |
| コード長 | 1,743 bytes |
| コンパイル時間 | 412 ms |
| コンパイル使用メモリ | 82,304 KB |
| 実行使用メモリ | 223,804 KB |
| 最終ジャッジ日時 | 2024-12-29 10:34:01 |
| 合計ジャッジ時間 | 21,313 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 38 |
ソースコード
from collections import *
from itertools import *
from heapq import *
from functools import *
import sys,math
input = sys.stdin.readline
N = int(input())
edge = defaultdict(int)
for _ in range(N-1):
a,b,c = map(int,input().split())
a -= 1
b -= 1
edge[(a,b)]=c
mod = 10**9 + 7
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 != []]
ans = 0
for i in range(31):
D = DSU(N)
for k,v in edge.items():
if (v>>i)&1:
D.merge(k[0],k[1])
B = (1<<i)
for g in D.groups():
n = len(g)
ans += B*(n*(n-1))//2
ans %= mod
print(ans)