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. ThenEvents 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 .
Articles by others on the same topic
There are currently no matching articles.