Problem p02976 (python)

Fixed submission:
from collections import deque


class UnionFind:
    def __init__(self, n):
        self.parent = [-1] * n
        self.cnt = n

    def root(self, x):
        """頂点xの根を求める"""
        if self.parent[x] < 0:
            return x
        else:
            self.parent[x] = self.root(self.parent[x])
            return self.parent[x]

    def merge(self, x, y):
        """頂点xを含む集合と頂点y含む集合を結合する"""
        x = self.root(x)
        y = self.root(y)
        if x != y:
            if self.parent[x] > self.parent[y]:
                x, y = y, x
            self.parent[x] += self.parent[y]
            self.parent[y] = x
            self.cnt -= 1

    def is_same(self, x, y):
        """頂点xと頂点yが同じ集合に属するかどうかを返す"""
        return self.root(x) == self.root(y)

    def get_size(self, x):
        """頂点xを含む集合の要素数を返す"""
        return -self.parent[self.root(x)]

    def get_cnt(self):
        """木の個数を返す"""
        return self.cnt
      

n, m = map(int, input().split())
info = [list(map(int, input().split())) for i in range(m)]

# 辺数が奇数のときは構成不可能
if m % 2 != 0:
    print(-1)
    exit()

# 全域木の構成
uf = UnionFind(n)
tree = [[] for i in range(n)]
cnt = [0] * n
ans = []
for i in range(m):
    a, b = info[i]
    a -= 1
    b -= 1
    if uf.is_same(a, b):
        cnt[a] += 1
        ans.append((a + 1, b + 1))
    else:
        uf.merge(a, b)
        tree[a].append(b)
        tree[b].append(a)

# トポロジカルソート
root = 0
tps = [None] * n
q = deque([(-1, root)])
i = 0
while q:
    par, pos = q.pop()
    tps[i] = (par, pos)
    i += 1
    for child in tree[pos]:
        if par == child:
            continue
        else:
            q.append((pos, child))

# トポロジカル順の逆順で集めていく
for par, pos in tps[::-1]:
    if par == -1:
        continue
    if cnt[pos] % 2 == 0:
        cnt[par] += 1
        ans.append((par + 1, pos + 1))
    else:
        cnt[pos] += 1
        ans.append((pos + 1, par + 1))

# 答えの出力
for i in ans:
    print(*i)

Buggy submission (verdict: Runtime Error):
import heapq

n, m = map(int, input().split())
info = [list(map(int, input().split())) for i in range(m)]

if m % 2 != 0:
    print(-1)
    exit()

tree = [[] for i in range(n)]
for i in range(m):
    tree[info[i][0] - 1].append((info[i][1] - 1, i))
    tree[info[i][1] - 1].append((info[i][0] - 1, i))

memo = {}
memo2 = {}
for i in range(m):
    if info[i][0] not in memo:
        memo[info[i][0]] = 0
        memo2[info[i][0]] = 1
    else:
        memo2[info[i][0]] += 1
    if info[i][1] not in memo:
        memo[info[i][1]] = 0
        memo2[info[i][1]] = 1
    else:
        memo2[info[i][1]] += 1

used = [False] * m
visited = [False] * n 
q = []
for i in range(m):
    if memo2[info[i][0]] == 1:
        heapq.heappush(q, [1, info[i][0]])
        visited[info[i][0] - 1] = True
    elif memo2[info[i][1]] == 1:
        heapq.heappush(q, [1, info[i][1]])
        visited[info[i][1] - 1] = True
if not q :
        heapq.heappush(q, [memo2[info[0][0]], info[0][0]])
        visited[info[0][0] - 1] = True

ans = []
while q:
    _, pos = heapq.heappop(q)
    for i, edge in tree[pos]:
        if not used[edge]:
            # info[edge][0] - 1が根本のとき
            if pos == info[edge][0] - 1:           
                if memo[info[edge][0]] % 2 == 0:
                    ans.append([info[edge][1], info[edge][0]])
                    memo[info[edge][1]] += 1
                else:
                    ans.append([info[edge][0], info[edge][1]])
                    memo[info[edge][0]] += 1
            # info[edge][1]-1が根本のとき
            elif pos == info[edge][1] - 1:
                if  memo[info[edge][1]] % 2 == 0:
                    ans.append([info[edge][0], info[edge][1]])
                    memo[info[edge][0]] += 1
                else:
                    ans.append([info[edge][1], info[edge][0]])
                    memo[info[edge][1]] += 1
            used[edge] = True
            memo2[info[edge][1]] -= 1
            memo2[info[edge][0]] -= 1
        if not visited[i]:
            visited[i] = True
            heapq.heappush(q, [memo2[i], i])

for i in range(m):
    print(" ".join(map(str, ans[i])))