erdős #1030
Let be the usual Ramsey number: the smallest such that if the edges of are coloured red and blue then there exists either a red or a blue .Prove the existence of some such that
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
Let $R(k,\ell)$ denote the usual 2–colour Ramsey number.
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗oeis
A000791 — Ramsey numbers R(3,n).1,3,6,9,14,18,23,28,36A059442 — Array of Ramsey numbers R(n,k) (n >= 2, k >= 2) read by antidiagonals.2,3,3,4,6,4,5,9,9,5,6,14,18,14,6,7,18,25,25,18,7,8,23
links
Create a formalisation here · link
#77If is the Ramsey number for , the minimal such that every -colouring of the edges of contains a monochromatic copy of , then find the value ofA059442#78Let be the Ramsey number for , the minimal such that every -colouring of the edges of contains a monochromatic copy of .Give a constructive proof that for some constant .A059442#87Let . Is it true that, if is sufficiently large, thenfor every graph with chromatic number ? Even stronger, is there some such that, for all large , for every graph with chromatic number ?A059442#165Give an asymptotic formula for .A000791#166Prove thatA059442#544Show thatas . Similarly, prove or disprove thatA000791#545Let be a graph with edges and no isolated vertices. Is the Ramsey number maximised when is 'as complete as possible'? That is, if edges with then iswhere is the graph formed by connecting a new vertex to of the vertices of ?A059442#553Let denote the smallest integer such that if we -colour the edges of then there is either a monochromatic triangle in one of the first two colours or a monochromatic in the third colour. Define similarly but with two colours. Show thatas .A000791#812Is it true thatfor some constant , for all large ? Is it true thatA059442#986For any fixed ,for some constant .A000791#1029If is the Ramsey number for , the minimal such that every -colouring of the edges of contains a monochromatic copy of , thenA059442status
open