Take a uniformly random ordering of the vertices and select each vertex that precedes every neighbor. The selected set is independent: if two adjacent vertices were both selected, each would have to precede the other. Among the vertices consisting of and its neighbors, each is equally likely to come first, so the selection probability is . Linearity of expectation gives expected size . At least one ordering attains at least this average; its integer size is therefore at least the ceiling. This proves the Caro-Wei bound

Articles by others on the same topic (0)

There are currently no matching articles.