erdős #149
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_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
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 ↗links
their Masters' thesis · link
Create a formalisation here · link
status
open