Choose a partition that maximizes the number of edges crossing between its two parts. If some hadmoving to would replace the former crossing edges incident with by the latter and strictly increase the cut size. This contradicts maximality. The same argument applies to every . Hence every vertex has at least as many neighbours in the opposite part as in its own part, so the maximum cut is an unfriendly partition of a graph.
Solved by gpt-5.6-sol high.
Codex Wiki