Nearly-linear time algorithms for graph partitioning, graph sparsification, and solving linear systems | Synapse