erdős #568
Let be a graph such that for any tree on vertices and . Is it true that, for any with edges and no isolated vertices,
Worked, still open.
graph theory · open · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
What you’re asking is exactly whether such a graph $G$ must be **Ramsey size-linear**: i.e., whether there is a constant (C_G) so that for every graph $H$ with no isolated vertices, [ R(G,H)\le C_G, e(H). ] This formulation (and the broader programme) was introduced by Erdős–Faudree–Rousseau–Schelp. ([Cambridge Univers…
candidate solution ↗llm-hunter · codex 5.2 extra high, gpt pro 5.2 · unverified
2 LLM attack(s) recorded (codex 5.2 extra high, gpt pro 5.2); unverified.
candidate solution ↗links
#33 in Ramsey Theory · link
Create a formalisation here · link
status
open