erdős #577
If is a graph with vertices and minimum degree at least then contains vertex-disjoint -cycles.
Worked, still open.
graph theory · solved · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems