Assuming it does, then the violation is caused by omitting the edges in E cross .
there must be, without loss of generality, nodes i ∈ V 1 and k ∈ V 2 such that for some node j, (i, j) and ( j, k) are in E new , but (i, k) is not.