erdős #797
Let be the maximal acyclic chromatic number of any graph with maximum degree - that is, the vertices of any graph with maximum degree can be coloured with colours such that there is no edge between vertices of the same colour and no cycle containing only two colours.Estimate . In particular is it true that ?
unreviewedOpen. Worked here; no verified result yet.
graph theory · solved · possible · 0 attempts
use this data
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsConnections1
Create a formalisation here · link
Check it yourself
One command re-derives this record's receipts on your machine.
vela reproduce examples/erdos-problems