erdős #580
Let be a graph on vertices such that at least vertices have degree at least . Must contain every tree on at most vertices?
Worked, still open.
graph theory · open · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems