Types: N: int, M: int, s_i: int, t_i: int
Ranges: 1 ≤ N ≤ 500, 0 ≤ M ≤ 3,000, 1 ≤ s_i, t_i ≤ N
Addtl Info: For all i < j, {s_i, t_i} ≠ {s_j, t_j}, s_i ≠ t_i, each component of the graph is strongly connected