Vela

Define the anti-Ramsey number as the smallest such that there is a graph with vertices and edges with an -colouring of its edges in which every copy of has entirely distinct edge colours.Is it true that, for all ,

Worked, still open.

graph theory · open · possible · 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

What you are calling (F_k(n)) is exactly the “strong chromatic number” extremal function studied by Burr–Erdős–Graham–Sós in their 1989 paper: they define [ xs(n,e,L)=\min_{G:|V(G)|=n,\ |E(G)|=e}\ xs(G,L), ] where $xs(G,L)$ is the minimum number of edge‐colours needed so that **every** copy of $L$ in $G$ is *totally mu…

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 ↗

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 287ddc54db2b136b98705d3ba9f9c1dd2f9035cfc7065c6e2eb30c18df57a5e8

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.