erdős #88
For any there exists such that if is a graph on vertices with no independent set or clique of size then contains an induced subgraph with edges for all .
Worked, still open.
graph theory · solved · prize $100 · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems