Approach #1: DFS [Accepted]

Intuition and Algorithm

For each edge (u, v), traverse the graph with a depth-first search to see if we can connect u to v. If we can, then it must be the duplicate edge.

Complexity Analysis

  • Time Complexity: where is the number of vertices (and also the number of edges) in the graph. In the worst case, for every edge we include, we have to search every previously-occurring edge of the graph.

  • Space Complexity: . The current construction of the graph has at most nodes.


Approach #2: Union-Find [Accepted]

Intuition and Algorithm

If we are familiar with a Disjoint Set Union (DSU) data structure, we can use this in a straightforward manner to solve the problem: we simply find the first edge occurring in the graph that is already connected. The rest of this explanation will focus on the details of implementing DSU.

A DSU data structure can be used to maintain knowledge of the connected components of a graph, and query for them quickly. In particular, we would like to support two operations:

  • dsu.find(node x), which outputs a unique id so that two nodes have the same id if and only if they are in the same connected component, and:

  • dsu.union(node x, node y), which draws an edge (x, y) in the graph, connecting the components with id find(x) and find(y) together.

To achieve this, we keep track of parent, which remembers the id of a smaller node in the same connected component. If the node is it's own parent, we call this the leader of that connected component.

A naive implementation of a DSU structure would look something like this:

Psuedocode

We use two techniques to improve the run-time complexity: path compression, and union-by-rank.

  • Path compression involves changing the x = parent[x] in the find function to parent[x] = find(parent[x]). Basically, as we compute the correct leader for x, we should remember our calculation.

  • Union-by-rank involves distributing the workload of find across leaders evenly. Whenever we dsu.union(x, y), we have two leaders xr, yr and we have to choose whether we want parent[x] = yr or parent[y] = xr. We choose the leader that has a higher following to pick up a new follower.
    Specifically, the meaning of rank is that there are less than 2 ^ rank[x] followers of x. This strategy can be shown to give us better bounds for how long the recursive loop in dsu.find could run for.

Alternate Implementation of DSU without Union-By-Rank

Complexity Analysis

  • Time Complexity: , where is the number of vertices (and also the number of edges) in the graph, and is the Inverse-Ackermann function. We make up to queries of dsu.union, which takes (amortized) time. Outside the scope of this article, it can be shown why dsu.union has complexity, what the Inverse-Ackermann function is, and why is approximately .

  • Space Complexity: . The current construction of the graph (embedded in our dsu structure) has at most nodes.


Analysis written by: @awice