Erdős Problem #1032
Prior state unknown→proved
a new density-degree inequality gives δ(G) ≤ (3/10 + o(1))|V(G)|, improving 0.328; existence of a linear construction remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review