Short and local transformations between ($Δ+1$)-colorings

Re-assign community