Independent transversal

ID: independent-transversal

For a graph whose vertices are partitioned into parts, an independent transversal is an independent set containing exactly one vertex from each part. If a cycle's parts each have twelve vertices, choose one vertex uniformly and independently per part. A cycle edge joining distinct parts is selected at both ends with probability . Each event depends on at most others, since each part meets at most cycle edges. The Lovász local lemma applies because , proving existence for an arbitrary such partition.

New to topics? Read the docs here!