Welcome to Subscribe On Youtube

1443. Minimum Time to Collect All Apples in a Tree

Description

Given an undirected tree consisting of n vertices numbered from 0 to n-1, which has some apples in their vertices. You spend 1 second to walk over one edge of the tree. Return the minimum time in seconds you have to spend to collect all apples in the tree, starting at vertex 0 and coming back to this vertex.

The edges of the undirected tree are given in the array edges, where edges[i] = [ai, bi] means that exists an edge connecting the vertices ai and bi. Additionally, there is a boolean array hasApple, where hasApple[i] = true means that vertex i has an apple; otherwise, it does not have any apple.

 

Example 1:

Input: n = 7, edges = [[0,1],[0,2],[1,4],[1,5],[2,3],[2,6]], hasApple = [false,false,true,false,true,true,false]
Output: 8 
Explanation: The figure above represents the given tree where red vertices have an apple. One optimal path to collect all apples is shown by the green arrows.  

Example 2:

Input: n = 7, edges = [[0,1],[0,2],[1,4],[1,5],[2,3],[2,6]], hasApple = [false,false,true,false,false,true,false]
Output: 6
Explanation: The figure above represents the given tree where red vertices have an apple. One optimal path to collect all apples is shown by the green arrows.  

Example 3:

Input: n = 7, edges = [[0,1],[0,2],[1,4],[1,5],[2,3],[2,6]], hasApple = [false,false,false,false,false,false,false]
Output: 0

 

Constraints:

  • 1 <= n <= 105
  • edges.length == n - 1
  • edges[i].length == 2
  • 0 <= ai < bi <= n - 1
  • hasApple.length == n

Solutions

DFS.

Solution 2: Explicit Stack

Thinking

We start at $0$, collect every apple, and return, so each used edge is walked twice. With $n \le 10^5$, recursing from the root to score every subtree is too deep: a chain makes the call depth $n$.

A subtree with no apple and no further work can be skipped. After the children are done, add their round-trip costs; if this node has an apple or that sum is positive, add the cost of the incoming edge, which is $0$ at the root and $2$ elsewhere.

An explicit stack of $(node, parent, state)$ runs the postorder. On entry we push the exit marker and then the children, and on exit we store that cost. The root’s cost is the answer.

  • class Solution {
        public int minTime(int n, int[][] edges, List<Boolean> hasApple) {
            boolean[] vis = new boolean[n];
            List<Integer>[] g = new List[n];
            Arrays.setAll(g, k -> new ArrayList<>());
            for (int[] e : edges) {
                int u = e[0], v = e[1];
                g[u].add(v);
                g[v].add(u);
            }
            return dfs(0, 0, g, hasApple, vis);
        }
    
        private int dfs(int u, int cost, List<Integer>[] g, List<Boolean> hasApple, boolean[] vis) {
            if (vis[u]) {
                return 0;
            }
            vis[u] = true;
            int nxtCost = 0;
            for (int v : g[u]) {
                nxtCost += dfs(v, 2, g, hasApple, vis);
            }
            if (!hasApple.get(u) && nxtCost == 0) {
                return 0;
            }
            return cost + nxtCost;
        }
    }
    
    
    // Solution 2
    class Solution {
        public int minTime(int n, int[][] edges, List<Boolean> hasApple) {
            List<Integer>[] g = new List[n];
            Arrays.setAll(g, k -> new ArrayList<>());
            for (int[] e : edges) {
                int u = e[0], v = e[1];
                g[u].add(v);
                g[v].add(u);
            }
            int[] cost = new int[n];
            Deque<int[]> stk = new ArrayDeque<>();
            stk.push(new int[] {0, -1, 0});
            while (!stk.isEmpty()) {
                int[] cur = stk.pop();
                int u = cur[0], fa = cur[1], state = cur[2];
                if (state == 0) {
                    stk.push(new int[] {u, fa, 1});
                    for (int v : g[u]) {
                        if (v != fa) {
                            stk.push(new int[] {v, u, 0});
                        }
                    }
                } else {
                    int nxt = 0;
                    for (int v : g[u]) {
                        if (v != fa) {
                            nxt += cost[v];
                        }
                    }
                    if (hasApple.get(u) || nxt > 0) {
                        cost[u] = u == 0 ? nxt : nxt + 2;
                    }
                }
            }
            return cost[0];
        }
    }
    
    
  • class Solution {
    public:
        int minTime(int n, vector<vector<int>>& edges, vector<bool>& hasApple) {
            vector<bool> vis(n);
            vector<vector<int>> g(n);
            for (auto& e : edges) {
                int u = e[0], v = e[1];
                g[u].push_back(v);
                g[v].push_back(u);
            }
            return dfs(0, 0, g, hasApple, vis);
        }
    
        int dfs(int u, int cost, vector<vector<int>>& g, vector<bool>& hasApple, vector<bool>& vis) {
            if (vis[u]) return 0;
            vis[u] = true;
            int nxt = 0;
            for (int& v : g[u]) nxt += dfs(v, 2, g, hasApple, vis);
            if (!hasApple[u] && !nxt) return 0;
            return cost + nxt;
        }
    };
    
    
    // Solution 2
    class Solution {
    public:
        int minTime(int n, vector<vector<int>>& edges, vector<bool>& hasApple) {
            vector<vector<int>> g(n);
            for (auto& e : edges) {
                int u = e[0], v = e[1];
                g[u].push_back(v);
                g[v].push_back(u);
            }
            vector<int> cost(n);
            vector<array<int, 3>> stk{{0, -1, 0}};
            while (!stk.empty()) {
                auto [u, fa, state] = stk.back();
                stk.pop_back();
                if (state == 0) {
                    stk.push_back({u, fa, 1});
                    for (int v : g[u]) {
                        if (v != fa) {
                            stk.push_back({v, u, 0});
                        }
                    }
                } else {
                    int nxt = 0;
                    for (int v : g[u]) {
                        if (v != fa) {
                            nxt += cost[v];
                        }
                    }
                    if (hasApple[u] || nxt) {
                        cost[u] = u == 0 ? nxt : nxt + 2;
                    }
                }
            }
            return cost[0];
        }
    };
    
    
  • class Solution:
        def minTime(self, n: int, edges: List[List[int]], hasApple: List[bool]) -> int:
            def dfs(u, cost):
                if vis[u]:
                    return 0
                vis[u] = True
                nxt_cost = 0
                for v in g[u]:
                    nxt_cost += dfs(v, 2)
                if not hasApple[u] and nxt_cost == 0:
                    return 0
                return cost + nxt_cost
    
            g = defaultdict(list)
            for u, v in edges:
                g[u].append(v)
                g[v].append(u)
            vis = [False] * n
            return dfs(0, 0)
    
    
    
    # Solution 2
    class Solution:
        def minTime(self, n: int, edges: List[List[int]], hasApple: List[bool]) -> int:
            g = [[] for _ in range(n)]
            for u, v in edges:
                g[u].append(v)
                g[v].append(u)
            cost = [0] * n
            stk = [(0, -1, 0)]
            while stk:
                u, fa, state = stk.pop()
                if state == 0:
                    stk.append((u, fa, 1))
                    for v in g[u]:
                        if v != fa:
                            stk.append((v, u, 0))
                else:
                    nxt = 0
                    for v in g[u]:
                        if v != fa:
                            nxt += cost[v]
                    if hasApple[u] or nxt:
                        cost[u] = nxt if u == 0 else nxt + 2
            return cost[0]
    
    
  • func minTime(n int, edges [][]int, hasApple []bool) int {
    	vis := make([]bool, n)
    	g := make([][]int, n)
    	for _, e := range edges {
    		u, v := e[0], e[1]
    		g[u] = append(g[u], v)
    		g[v] = append(g[v], u)
    	}
    	var dfs func(int, int) int
    	dfs = func(u, cost int) int {
    		if vis[u] {
    			return 0
    		}
    		vis[u] = true
    		nxt := 0
    		for _, v := range g[u] {
    			nxt += dfs(v, 2)
    		}
    		if !hasApple[u] && nxt == 0 {
    			return 0
    		}
    		return cost + nxt
    	}
    	return dfs(0, 0)
    }
    
    
    // Solution 2
    func minTime(n int, edges [][]int, hasApple []bool) int {
    	g := make([][]int, n)
    	for _, e := range edges {
    		u, v := e[0], e[1]
    		g[u] = append(g[u], v)
    		g[v] = append(g[v], u)
    	}
    	cost := make([]int, n)
    	stk := [][3]int{{0, -1, 0}}
    	for len(stk) > 0 {
    		cur := stk[len(stk)-1]
    		stk = stk[:len(stk)-1]
    		u, fa, state := cur[0], cur[1], cur[2]
    		if state == 0 {
    			stk = append(stk, [3]int{u, fa, 1})
    			for _, v := range g[u] {
    				if v != fa {
    					stk = append(stk, [3]int{v, u, 0})
    				}
    			}
    		} else {
    			nxt := 0
    			for _, v := range g[u] {
    				if v != fa {
    					nxt += cost[v]
    				}
    			}
    			if hasApple[u] || nxt > 0 {
    				if u == 0 {
    					cost[u] = nxt
    				} else {
    					cost[u] = nxt + 2
    				}
    			}
    		}
    	}
    	return cost[0]
    }
    
    

All Problems

All Solutions