Analyses and design of efficient graph partitioning methods / von Robert Preis