If there are no triangles, any edge colouring works. Otherwise . Put and colour each edge independently and uniformly from colours. For each triangle , let be the event that its three edges have one colour. Then
Events for triangles sharing no edge depend on disjoint edge-colour variables, so each event is jointly independent of the collection of all such nonneighbours. Each edge of a triangle lies in at most other triangles: a common neighbour of its endpoints must be one of at most neighbours besides the other endpoint, and one of these is the third vertex of itself. Thus the dependency degree is at most .
Because ,
The symmetric local lemma gives positive probability of avoiding every monochromatic triangle. Hence
For an edgeless graph the empty colouring handles even the zero-colour case .

Articles by others on the same topic (0)

There are currently no matching articles.