A partition-based computation method for reachability matrix of undirected graphs | Synapse