graph partition np-completeness proof