Split Graph Checker

clique + independent set

CheckersFreeNo Signup
4.7(320 reviews)
All Tools

Loading tool...

About Split Graph Checker

A split graph checker testing if vertices can be partitioned into a clique K and independent set I. Equivalent: no induced C₄, C₅, or 2K₂. Split graphs are chordal and co-chordal. Degree sequence characterization. O(n+m) recognition. Client-side.

Split Graph Checker Features

  • Split test
  • K+I partition
  • Degree sequence
  • Chordal
  • O(n+m)
Split graph: V = K ∪ I where K is a clique and I is independent set. Characterized by: no induced C₄, C₅, or 2K₂. Equivalently: both G and Ḡ are chordal. Hammer-Simeone (1977): split iff degree sequence satisfies Σᵢ₌₁ᵐ dᵢ = m(m-1) + Σᵢ₌ₘ₊₁ⁿ dᵢ.

How to Use

Select graph:

  • Test: Split?
  • Partition: K and I
  • Degrees: Sequence check

Characterization

Split graph iff degree sequence d₁≥...≥dₙ satisfies: let m = max index with dₘ≥m-1. Then Σᵢ₌₁ᵐ dᵢ = m(m-1) + Σᵢ₌ₘ₊₁ⁿ dᵢ. Pure degree-sequence test! No adjacency matrix needed.

Properties

Split graphs are perfect (χ=ω). chordal ∩ co-chordal = split. Threshold graphs ⊂ split graphs. Many optimization problems polynomial: domination, covering, packing. Important in intersection graph theory.

Step-by-Step Instructions

  1. 1Select graph.
  2. 2Check split.
  3. 3Find K+I partition.
  4. 4Verify degrees.
  5. 5Compute χ=ω.

Split Graph Checker — Frequently Asked Questions

How do you find the partition?+

Sort vertices by degree. Take top-m vertices as clique candidates (where m = max index with d_m ≥ m-1). Remaining vertices form independent set. Verify edges. O(n log n) algorithm.

Are split graphs perfect?+

Yes! χ=ω for split graphs. The clique K gives ω ≥ |K|. Coloring: color K with |K| colors, extend to I (each vertex in I has ≤|K| neighbors in K). So χ ≤ |K|+something. In fact χ=ω exactly.

What's the relation to threshold graphs?+

Threshold graphs ⊂ split graphs. Threshold: can be built by iteratively adding isolated or dominating vertices. More restricted than split. Every threshold graph is split, but not vice versa.

Share this tool: