a combinatorial treatment of expanders
Load balancing of unit size tokens and expansion properties of graphs