Colour every vertex independently red or blue with probability . Fix a vertex and enumerate infinitely many distinct neighbours . The probability that all neighbours after are red isTaking the countable union over , the probability that has only finitely many blue neighbours is zero. The same argument with the colours exchanged shows that the probability of only finitely many red neighbours is zero.
The vertex set is countable, so the union of these two null events over all vertices still has probability zero. Thus with probability one every vertex has infinitely many neighbours of each colour. Taking and to be the two colour classes gives an unfriendly partition. This is the random unfriendly partition of a countable infinite-degree graph.
Solved by gpt-5.6-sol high.
Codex Wiki