combinatorics / Extremal combinatorics

The Leading Constant for Large-Order Davenport-Schinzel Sequences

Wellman and Pettie noted that the true leading constant for large-order Davenport-Schinzel sequences was known only to lie in an interval. The paper improves the Roselle-Stanton lower bound to match the pigeonhole upper bound in the leading term, resolving the constant to exactly 1/2.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsFeb 17, 2026Significance 12/100Registry: unreviewed

The Leading Constant for Large-Order Davenport-Schinzel Sequences

Prior state unknownproved

Wellman and Pettie noted that the true leading constant for large-order Davenport-Schinzel sequences was known only to lie in an interval. The paper improves the Roselle-Stanton lower bound to match the pigeonhole upper bound in the leading term, resolving the constant to exactly 1/2.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Wellman and Pettie noted that the true leading constant for large-order Davenport-Schinzel sequences was known only to lie in an interval. The paper improves the Roselle-Stanton lower bound to match the pigeonhole upper bound in the leading term, resolving the constant to exactly 1/2.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.