The binomial random graph has vertex set and includes each of the possible edges independently with probability .
For a fixed probability strictly between zero and one, the largest independent set has leading size , giving a lower bound for colouring. The matching upper bound uses independent sets in every large subset of a dense random graph, then repeatedly colours and removes such sets. A sufficiently strong probability estimate makes the failure contribution negligible for the expectation.
For fixed and , Janson inequality bounds the failure probability for a given large vertex subset by . A union bound over all at most subsets still tends to zero. This uniform statement is essential because vertex sets left by a greedy colouring procedure depend on the graph; one cannot assume each adaptively chosen remainder is an independent fresh random graph.
Group random edges by their larger endpoint. These independent coordinates each change edges incident to only one vertex. Removing that vertex leaves the same graph under any two outcomes, so their chromatic numbers differ by at most one. The McDiarmid inequality with coordinate ranges of length one gives the displayed concentration bound.
For the binomial random graph , the chromatic number is with high probability. A first moment method bounds the independence number above. Edge-disjoint clique packing in the complement graph, followed by an edge-exposure martingale and a union bound over moderately large vertex sets, supplies independent sets for greedy colouring by removing independent sets.
For the number of -cliques in a binomial random graph , with and ,Two -sets overlapping in vertices share edges. Overlaps of zero or one vertex give independent indicators; includes the diagonal terms. The identity is useful for the second moment method.
Partition the vertices into two sets of comparable size. If , the first set contains a triangle with probability tending to one. Conditional on any triangle chosen using only internal edges, the probability that none of its vertices has a neighbour in the second set is at mostHence contains a triangle with an attached leaf with probability tending to one.
Articles by others on the same topic
There are currently no matching articles.