Vela

For any fixed ,for some constant .

Worked, still open.

graph theory · open · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

evidence

unverified AI candidates (2)

gpt-erdos · GPT-5.2 Pro + Deep Research · unverified

Interpreting $R(k,n)$ as the usual **off‑diagonal graph Ramsey number** (r(k,n)=r(K_k,K_n)):

candidate solution ↗

llm-hunter · gpt pro 5.2 · unverified

1 LLM attack(s) recorded (gpt pro 5.2); unverified.

candidate solution ↗

oeis

#6 in Ramsey Theory · link

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#1029If is the Ramsey number for , the minimal such that every -colouring of the edges of contains a monochromatic copy of , thenA059442#1030Let 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 thatA000791

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 6dee062f69ad6a1f5b8a8488cbc972cd614bec2c3b2697e160b83b3bbf019416

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

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

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.