Moving many pebbles in a graph is polynomial time | lit.salon