Vela

The strong chromatic index of a graph , denoted by , is the minimum such that the edges of can be partitioned into sets of 'strongly independent' edges, that is, such that the subgraph of induced by each set is the union of vertex-disjoint edges.Is it true that, for any graph with maximum degree ,

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

What you are asking is exactly the **Erdős–Nešetřil strong edge-colouring (strong chromatic index) conjecture**: you want to split the edges into induced matchings (your “strongly independent edge sets”), and the question is whether this always needs at most (\tfrac54\Delta^2) parts. ([Erdős Problems][1])

candidate solution ↗

llm-hunter · gpt pro 5.2 · unverified

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

candidate solution ↗

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 3bfb6402636b60ece1a26b0fb13ef25583254283cd668169f988a87f6d84d7ad

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.