3990 砍树（贪心 + dfs）

1. 问题描述：

给定一棵包含 n 个节点的树。你的任务是从树中删除尽可能多的边，使得剩余图形的所有连通分量都具有偶数个节点。

输入格式

第一行包含整数 n。接下来 n−1 行，每行包含两个整数 a，b，表示节点 a 和 b 之间存在一条边。节点编号 1∼n。保证给出图形是一棵树。

输出格式

输出一个整数表示可以删除的最大可能边数。如果无论如何都不可能使得剩余图形的所有连通分量都具有偶数个节点，则输出 −1。

数据范围

前六个测试点满足，1 ≤ n ≤ 10。
所有测试点满足，1 ≤ n ≤ 10 ^ 5，1 ≤ a，b ≤ n。

输入样例1：

4
2 4
4 1
3 1

输出样例1：

1

输入样例2：

3
1 2
1 3

输出样例2：

-1
来源：https://www.acwing.com/problem/content/description/3993/

2. 思路分析：

我们可以分情况讨论，当n为奇数的时候无论如何删除肯定有一个连通块的节点数目是奇数，此时无解，当n为偶数的时候那么枚举所有边，判断当前枚举的边是否可以删除，如果当前枚举的边对应节点的子树的节点数目为奇数肯定不能够删，因为删掉之后两个连通块的节点数目为奇数，当对应节点的子树的节点数目为偶数的时候可以删掉当前边，此时删掉当前边之后两个连通块的数目为偶数，因为最终需要使得删除的边最多所以能够删除当前边的时候就一定要删，所以只需要在dfs的过程中统计一下当前边对应子树的节点数目，判断当前子树的节点数目是否为偶数，如果为偶数则可以删否则不能删。

3. 代码如下：

当数据范围比较大的时候python一般会爆栈或者超出内存限制错误，下面的代码只过了18个数据：

import sys
from typing import List


class Solution:
    res = None

    def dfs(self, u: int, fa: int, g: List[List[int]]):
        count = 1
        for next in g[u]:
            if next == fa: continue
            # next为u->next的边, 如果next对应子树的节点数目为偶数则可以删除
            t = self.dfs(next, u, g)
            if t % 2 == 0:
                self.res += 1
            count += t
        return count

    def process(self):
        n = int(input())
        if n % 2: return -1
        g = [list() for i in range(n + 10)]
        for i in range(n - 1):
            a, b = map(int, input().split())
            g[a].append(b)
            g[b].append(a)
        self.res = 0
        # 可以从任意一个节点开始dfs
        self.dfs(1, -1, g)
        return self.res


if __name__ == '__main__':
    sys.setrecursionlimit(100010)
    print(Solution().process())