結果

問題 No.2337 Equidistant
ユーザー FromBooskaFromBooska
提出日時 2023-10-11 15:17:40
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 2,072 ms / 4,000 ms
コード長 3,715 bytes
コンパイル時間 320 ms
コンパイル使用メモリ 81,716 KB
実行使用メモリ 171,956 KB
最終ジャッジ日時 2024-09-13 14:07:45
合計ジャッジ時間 31,795 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 44 ms
54,144 KB
testcase_01 AC 44 ms
54,528 KB
testcase_02 AC 43 ms
54,784 KB
testcase_03 AC 44 ms
54,656 KB
testcase_04 AC 44 ms
54,528 KB
testcase_05 AC 45 ms
54,400 KB
testcase_06 AC 174 ms
79,208 KB
testcase_07 AC 173 ms
78,976 KB
testcase_08 AC 170 ms
78,592 KB
testcase_09 AC 178 ms
79,352 KB
testcase_10 AC 168 ms
78,524 KB
testcase_11 AC 1,497 ms
152,548 KB
testcase_12 AC 1,517 ms
152,576 KB
testcase_13 AC 1,556 ms
152,576 KB
testcase_14 AC 1,543 ms
152,320 KB
testcase_15 AC 1,532 ms
152,704 KB
testcase_16 AC 1,496 ms
152,832 KB
testcase_17 AC 1,451 ms
152,320 KB
testcase_18 AC 1,484 ms
152,476 KB
testcase_19 AC 1,513 ms
152,576 KB
testcase_20 AC 1,568 ms
152,692 KB
testcase_21 AC 1,496 ms
150,528 KB
testcase_22 AC 1,203 ms
171,956 KB
testcase_23 AC 1,433 ms
156,800 KB
testcase_24 AC 1,937 ms
150,400 KB
testcase_25 AC 1,436 ms
156,544 KB
testcase_26 AC 2,072 ms
150,868 KB
testcase_27 AC 1,492 ms
156,288 KB
testcase_28 AC 1,495 ms
156,416 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

# ルート決めてLCA
# 2頂点のdepthが同じなら、LCAおよびその親、その先すべて
# 2頂点のdepthが異なり、そのdepth diffが奇数なら0
# 偶数なら1でいいか

## library of LCA by class
## index start from 0

import sys
sys.setrecursionlimit(10**7)
from collections import deque

class LCA:
    def __init__(self,n):
        self.size = n
        self.bitlen = n.bit_length()
        self.ancestor = [[0]*self.size for i in range(self.bitlen)]
        self.depth = [-1]*self.size
        self.dis = [-1]*self.size

    ## using [log_n][n] [n][log_n]
    ## [log_n][n] is tend to faster than [n][log_n]
    ## get parent by bfs is probably faster than dfs
    def make(self,root):
        self.depth[root] = 0
        self.dis[root] = 0
        q = deque([root])
        while q:
            now = q.popleft()
            for nex in edges[now]:
                if self.depth[nex]>= 0:
                    continue
                self.depth[nex] = self.depth[now]+1
                self.dis[nex] = self.dis[now]+1
                self.ancestor[0][nex] = now
                q.append(nex)
        for i in range(1,self.bitlen):
            for j in range(self.size):
                if self.ancestor[i-1][j] > 0:
                    self.ancestor[i][j] = self.ancestor[i-1][self.ancestor[i-1][j]]
    
    def lca(self,x,y):
        dx = self.depth[x]
        dy = self.depth[y]
        if dx < dy:
            x,y = y,x
            dx,dy = dy,dx
        dif = dx-dy
        while dif:
            s = dif & (-dif)
            x = self.ancestor[s.bit_length()-1][x]
            dif -= s
        while x != y:
            j = 0
            while self.ancestor[j][x] != self.ancestor[j][y]:
                j += 1
            if j == 0:
                return self.ancestor[0][x]
            x = self.ancestor[j-1][x]
            y = self.ancestor[j-1][y]
        return x

    def par(self,x,dep): #親parent
        now = x
        for i in range(self.bitlen)[::-1]:
            if 1 << i <= dep:
                now = self.ancestor[i][now]
                dep -= 1<<i
        return now

N, Q = map(int, input().split())
edges = [[] for i in range(N+1)]
for i in range(N-1):
    a, b = map(int, input().split())
    edges[a].append(b)
    edges[b].append(a)
    
lca = LCA(N+1) # 頂点数
lca.make(1) # ルート

# 部分木、子の数を数える
# dfsだとMLE, python3だとTLE
# なのでこの方のque方法にする

root = 1
child = [0]*(N+1)
visited = [0]*(N+1)
que = [root]
visited[root] = 1
topological = []
parent = [-1]*(N+1)
while que:
    current = que.pop()
    topological.append(current)
    for nxt in edges[current]:
        if visited[nxt] == 0:
            parent[nxt] = current
            visited[nxt] = 1
            que.append(nxt)

for current in topological[::-1]:
    count = 1
    for nxt in edges[current]:
        if nxt != parent[current]:
            count += child[nxt]
    child[current] = count
    
#print(child)

for q in range(Q):
    s, t = map(int, input().split())
    if lca.depth[s] < lca.depth[t]:
        s, t = t, s
        
    p = lca.lca(s, t)
    distance_st = lca.depth[s]+lca.depth[t]-lca.depth[p]*2
    
    if distance_st%2 == 1:
        ans = 0
        print(ans)
        continue
    
    center = lca.par(s, distance_st//2)
    #print('center', center)
    # distance_stの半分だけ上に上がった頂点
    
    if lca.depth[s] != lca.depth[t]:
        ans = child[center]-child[lca.par(s, distance_st//2-1)]
    else:
        # ans = N-child[center]+1は間違い、枝分かれが3本以上もありうる
        ans = N-child[lca.par(s, distance_st//2-1)]-child[lca.par(t, distance_st//2-1)]
    print(ans)
0