The diameter of a tree is the number of edges in the longest path in that tree.
There is an undirected tree of n nodes labeled from 0 to n - 1. You are given a 2D array edges where edges.length == n - 1 and edges[i] = [ai, bi] indicates that there is an undirected edge between nodes ai and bi in the tree.
Return the diameter of the tree.
Example 1:
Input: edges = [[0,1],[0,2]]
Output: 2
Explanation: The longest path of the tree is the path 1 - 0 - 2.
Example 2:
Input: edges = [[0,1],[1,2],[2,3],[1,4],[4,5]]
Output: 4
Explanation: The longest path of the tree is the path 3 - 2 - 1 - 4 - 5.
Constraints:
n == edges.length + 1
1 <= n <= 104
0 <= ai, bi < n
ai != bi
Solutions
Solution 1: Two DFS Passes
Thinking
The diameter is the longest simple path. \(n \le 10^4\) forbids all endpoint pairs. From any vertex the farthest vertex is an end of some diameter; a second walk from that end is the diameter.
Two DFS passes: the first from \(0\) finds the farthest \(a\); the second from \(a\) is the length. The graph is a tree, so DFS and BFS both find a farthest vertex.
First, we arbitrarily select a node and start a depth-first search (DFS) from this node to find the farthest node from it, denoted as node \(a\). Then, we start another DFS from node \(a\) to find the farthest node from node \(a\), denoted as node \(b\). It can be proven that the path between node \(a\) and node \(b\) is the diameter of the tree.
The time complexity is \(O(n)\), and the space complexity is \(O(n)\), where \(n\) is the number of nodes.
The diameter is the number of edges on a longest simple path. With \(n \le 10^4\), trying every pair of endpoints is too slow. The farthest vertex from any start is an endpoint of some diameter, and a second walk from that endpoint yields the length. Recursing along a chain uses a call depth equal to the node count and overflows Python once the chain reaches length \(1000\). Each search therefore stores \((\textit{node}, \textit{parent}, \textit{distance})\) on a stack: a larger distance on pop records the current node, then the other neighbors are pushed at distance one greater. The first search from \(0\) finds endpoint \(a\), and the farthest distance from \(a\) is the diameter.
We start at node \(0\) and use an explicit stack to find the farthest node \(a\), then repeat the search from \(a\). The farthest distance in the second search is the diameter of the tree.
Each stack frame is \((i, fa, t)\): the walk has reached node \(i\) from parent \(fa\) after \(t\) edges. When the frame is popped, a larger \(t\) replaces the farthest node and the answer, and every neighbor other than the parent is pushed at distance \(t + 1\). The tree has no cycle, so each node is pushed once. Which tied endpoint is recorded does not change the length found by the second search.
The time complexity is \(O(n)\), and the space complexity is \(O(n)\), where \(n\) is the number of nodes.