Erdős problem 596

Erdős Problem 596 (Erdős–Hajnal, [Er87]). For which graph pairs $(G_1, G_2)$ is it true that

Sources

The source's own material, retained exactly.

9 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

596.lean

Retained formal statement6 of 9

Erdős–Hajnal exceptional pairs exist — recorded as a known direction of erdos_596.

FormalConjectures/ErdosProblems/596.leanErdos596.erdos_596.variants.exists_exceptional1 lineExact file

1∃ U₁ U₂ G₁ G₂, G₁.IsErdosHajnalExceptional G₂

SolvedStatement only, no proof