The perfect-induced-subgraph formulation of the Erdős–Hajnal conjecture

All graphs are finite and simple. A graph GG is perfect if every induced subgraph HH of GG satisfies χ(H)=ω(H)\chi(H)=\omega(H), where χ(H)\chi(H) is its chromatic number and ω(H)\omega(H) its maximum clique size. A graph is HH-free if it has no induced subgraph isomorphic to HH.

Perfect-subgraph formulation. For every graph HH, there exists a constant ψ(H)>0\psi(H) > 0, such that every HH-free graph GG has a perfect induced subgraph with at least V(G)ψ(H)|V(G)|^{\psi(H)} vertices.

This is an equivalent formulation of the Erdős–Hajnal conjecture: a perfect graph on mm vertices contains a clique or stable set of size at least m\sqrt m. The formulation replaces two possible outcomes by one and is useful for inductive arguments; it remains open in general.

Sources & referencesView supporting material

Primary source

Maria Chudnovsky, “The Erdös-Hajnal Conjecture—A Survey”, arXiv:1606.08827 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.