Graph contraction