In a directed graph \(G = (V, E)\), we explore the relationship between path reachability and Strongly Connected Components (SCCs) . To analyze this, we define two functions: \(f(u, v) \in \{True, False\}\): Returns True if there exists at least one directed path from \(u\) to \(v\). \(scc\_id(u) \in \mathbb{Z}\): Returns a unique ID for the SCC containing node \(u\). In the following example, we can observe that two nodes \(u\) and \(v\) are in the same SCC if and only if \(scc\_id(u) = scc\_id(v)\). scc_id = 1 scc_id = 2 scc_id = 3 1 2 3 ...