✦ 5 frontiers

read-only vieweressays

erdős #765

← #764 · #766 → (packet.json; erdosproblems.com)

Give an asymptotic formula for $ex (n; C_{4})$ .

Worked, still open.

graph theory · solved · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

oeis

A006855 — Maximum number of edges in an n-node squarefree graph, or, in a graph containing no 4-cycle, or no C_4.0,1,3,4,6,7,9,11,13,16,18,21,24,27,30,33,36,39,42,46,50,52,56,59,63,67,71,76,80,85,90,92,96,102,106,110,113,117,122,127

links

Create a formalisation here · link

#60Does every graph on

n

> ex (n; C_{4})

≫ n^{1/2}

C_{4}

status

solved

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub