combinatorics / Extremal graph theory, matchings

The Furedi-Gyarfas-Simonyi Sharp Connected-Matching Conjecture

From Theorem 1.1 of the Hadwiger paper: deleting at most three vertices from its graphs gives graphs with α=2\alpha=2 on 4t−14t-1 vertices whose connected-matching number stays below tt for all large tt, so the sharp conjecture fails. The weaker conjecture of the same authors, that cm(G)≥c0∣V(G)∣\mathrm{cm}(G)\ge c_0|V(G)| for some absolute c0>0c_0>0, is not settled: the bound cm<m/100\mathrm{cm}<m/100 leaves smaller coefficients open, and the paper says so.

12Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 23, 2026Significance 12/100Registry: unreviewed

The Furedi-Gyarfas-Simonyi Sharp Connected-Matching Conjecture

Prior state unknown→disproved

From Theorem 1.1 of the Hadwiger paper: deleting at most three vertices from its graphs gives graphs with α=2\alpha=2 on 4t−14t-1 vertices whose connected-matching number stays below tt for all large tt, so the sharp conjecture fails. The weaker conjecture of the same authors, that cm(G)≥c0∣V(G)∣\mathrm{cm}(G)\ge c_0|V(G)| for some absolute c0>0c_0>0, is not settled: the bound cm<m/100\mathrm{cm}<m/100 leaves smaller coefficients open,…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

From Theorem 1.1 of the Hadwiger paper: deleting at most three vertices from its graphs gives graphs with α=2\alpha=2 on 4t−14t-1 vertices whose connected-matching number stays below tt for all large tt, so the sharp conjecture fails. The weaker conjecture of the same authors, that cm(G)≥c0∣V(G)∣\mathrm{cm}(G)\ge c_0|V(G)| for some absolute c0>0c_0>0, is not settled: the bound cm<m/100\mathrm{cm}<m/100 leaves smaller coefficients open, and the paper says so.

From Theorem 1.1 of the Hadwiger paper: deleting at most three vertices from its graphs gives graphs with α=2\alpha=2 on 4t−14t-1 vertices whose connected-matching number stays below tt for all large tt, so the sharp conjecture fails. The weaker conjecture of the same authors, that cm(G)≥c0∣V(G)∣\mathrm{cm}(G)\ge c_0|V(G)| for some absolute c0>0c_0>0, is not settled: the bound cm<m/100\mathrm{cm}<m/100 leaves smaller coefficients open, and the paper says so.

Recorded attempts

Evidence graph

Connected research record