The Karger-Stein algorithm is optimal for k-cut | Synapse