erdős #900
There is a function such that as and as and every random graph with vertices and edges has (with high probability) a path of length at least .
Worked, still open.
graph theory · solved · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems