結果

問題 No.1153 ねこちゃんゲーム
コンテスト
ユーザー gew1fw
提出日時 2025-06-12 19:26:31
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,986 bytes
コンパイル時間 196 ms
コンパイル使用メモリ 82,836 KB
実行使用メモリ 145,308 KB
最終ジャッジ日時 2025-06-12 19:27:04
合計ジャッジ時間 32,047 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 6 WA * 29 TLE * 1 -- * 4
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
from collections import deque

def main():
    sys.setrecursionlimit(1 << 25)
    n, m = map(int, sys.stdin.readline().split())
    A = list(map(int, sys.stdin.readline().split()))
    edges = [[] for _ in range(n+1)]
    for _ in range(n-1):
        u, v = map(int, sys.stdin.readline().split())
        edges[u].append(v)
        edges[v].append(u)
    
    # Build the tree with parent pointers and children lists
    root = 1
    parent = [0] * (n + 1)
    children = [[] for _ in range(n + 1)]
    visited = [False] * (n + 1)
    q = deque([root])
    visited[root] = True
    while q:
        u = q.popleft()
        for v in edges[u]:
            if not visited[v]:
                visited[v] = True
                parent[v] = u
                children[u].append(v)
                q.append(v)
    
    # Compute Grundy numbers using iterative post-order traversal
    g = [0] * (n + 1)
    stack = []
    visited_post = [False] * (n + 1)
    stack.append((root, False))
    while stack:
        u, processed = stack.pop()
        if processed:
            s = set()
            for v in children[u]:
                s.add(g[v])
            mex = 0
            while mex in s:
                mex += 1
            g[u] = mex
        else:
            stack.append((u, True))
            for v in reversed(children[u]):
                stack.append((v, False))
    
    # Calculate the total XOR
    T = 0
    for a in A:
        T ^= g[a]
    
    if T == 0:
        print(-1, -1)
    else:
        # Find a valid move for Ebi-chan
        found = False
        for idx in range(m):
            u = A[idx]
            current_g = g[u]
            target = current_g ^ T
            for v in children[u]:
                if g[v] == target:
                    print(idx + 1, v)
                    found = True
                    break
            if found:
                break
        if not found:
            print(-1, -1)

if __name__ == "__main__":
    main()
0