If , use a single color. Otherwise choose
The previous bound gives , including the case . By Markov inequality, . Sample the hyperplanes, count the monochromatic edges, and repeat if . The success probability is at least , so at most two draws are needed on average.
For a successful draw, select one endpoint of each monochromatic edge and let be the union of the selected vertices. Then . Every monochromatic edge meets , so the original colors give a proper graph colouring on the induced subgraph with vertex set . Since , the coloring of all vertices is a semicoloring. This is a random alteration method; no additional colors for are required.
The number of available colors satisfies . A simple graph has , hence semicoloring by independent hyperplanes gives
Suppose a graph with vertices and edges has a vector coloring with adjacent inner products at most . Take independent copies of random hyperplane rounding and use the signs as a color. Each edge remains monochromatic with probability at most , so the expected number of monochromatic edges is at most by linearity of expectation.
Choose . Then Markov inequality gives . On success, delete one endpoint of every monochromatic edge. This random alteration method leaves at least vertices properly colored with
The removed vertices can retain their original colors, as the semicoloring only requires the retained induced subgraph to be proper. A failed draw can be detected and repeated, with at most two trials on average. The case needs just one color. This is the elementary independent-hyperplane construction in Karger, Motwani and Sudan's paper on approximate graph coloring.