erdős #800
If is a graph on vertices which has no two adjacent vertices of degree thenwhere the implied constant is absolute.
Worked, still open.
graph theory · solved · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems