创建价值相同的连通块

该题解通过DFS和贪心算法的结合来解决问题。首先，题解构建了一个邻接列表表示的图来描述树。在解题的核心方法中，题解尝试将树分割成具有相同总和的多个连通块。这是通过尝试每个可能的连通块的目标和（即树节点值总和的因子）来完成的。对于每个目标和，使用DFS检查是否可以通过删除边来形成大小为目标和的连通块。如果从根节点开始的DFS返回0，表示可以形成这样的连通块。DFS函数在遍历时累积子树的值，如果子树的值等于目标和，则可以视为一个独立的连通块，因此该子树的贡献重置为0。如果子树的值超过了目标和，直接返回-1表示不可能形成所需的连通块。通过这种方式，题解实现了对可能删除的最大边数的检测。

时间复杂度: O(n * sqrt(total))

空间复杂度: O(n)

class Solution:
    def componentValue(self, nums: List[int], edges: List[List[int]]) -> int:
        # 特殊情况处理：如果所有节点的值相同，则最多可以删除所有边
        if len(set(nums)) == 1:
            return len(nums) - 1
        # 构建图
        g = [[] for _ in nums]
        for x, y in edges:
            g[x].append(y)
            g[y].append(x)
        
        # DFS函数，用于检查是否可以形成目标和为target的连通块
        def dfs(x: int, fa: int) -> int:
            s = nums[x]
            for y in g[x]:
                if y != fa:
                    res = dfs(y, x)
                    if res < 0:
                        return -1
                    s += res
            if s > target:
                return -1
            return s if s < target else 0

        total = sum(nums)
        # 尝试每个可能的目标和
        for i in range(total // max(nums), 1, -1):
            if total % i == 0:
                target = total // i
                if dfs(0, -1) == 0: return i - 1
        return 0