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.

Articles by others on the same topic (0)

There are currently no matching articles.