Maximal Independent Set - Bounding The Number of Sets

Bounding The Number of Sets

Moon & Moser (1965) showed that any graph with n vertices has at most 3n/3 maximal cliques. Complementarily, any graph with n vertices also has at most 3n/3 maximal independent sets. A graph with exactly 3n/3 maximal independent sets is easy to construct: simply take the disjoint union of n/3 triangle graphs. Any maximal independent set in this graph is formed by choosing one vertex from each triangle. The complementary graph, with exactly 3n/3 maximal cliques, is a special type of Turán graph; because of their connection with Moon and Moser's bound, these graphs are also sometimes called Moon-Moser graphs. Tighter bounds are possible if one limits the size of the maximal independent sets: the number of maximal independent sets of size k in any n-vertex graph is at most

The graphs achieving this bound are again Turán graphs.

Certain families of graphs may, however, have much more restrictive bounds on the numbers of maximal independent sets or maximal cliques. For instance, if all graphs in a family of graphs have O(n) edges, and the family is closed under subgraphs, then all maximal cliques have constant size and there can be at most linearly many maximal cliques.

Any maximal-clique irreducible graph, clearly, has at most as many maximal cliques as it has edges. A tighter bound is possible for interval graphs, and more generally chordal graphs: in these graphs there can be at most n maximal cliques.

The number of maximal independent sets in n-vertex cycle graphs is given by the Perrin numbers, and the number of maximal independent sets in n-vertex path graphs is given by the Padovan sequence. Therefore, both numbers are proportional to powers of 1.324718, the plastic number.

Read more about this topic:  Maximal Independent Set

Famous quotes containing the words bounding, number and/or sets:

    “Lame as I am, I take the prey,
    Hell, earth, and sin with ease o’ercome;
    I leap for joy, pursue my way,
    And as a bounding hart fly home,
    Through all eternity to prove,
    Thy nature, and Thy name is Love.”
    —Charles Wesley (1707–1788)

    “How often should a woman be pregnant? Continually, or hardly ever? Or must there be a certain number of pregnancy anniversaries established by fashion? What do you, at the age of forty-three, have to say on the subject? Is it a fact that the laws of nature, or of the country, or of propriety, have ordained this time of life for sterility?”
    —Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    “bars of that strange speech
    In which each sound sets out to seek each other,
    Murders its own father, marries its own mother,
    And ends as one grand transcendental vowel.”
    —Randall Jarrell (1914–1965)