erdős #718
Is there some constant such that any graph on vertices with edges contains a subdivision of ?
Worked, still open.
graph theory · solved · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems