algorithms-optimization / Analysis of algorithms
a lower bound for Tokuda's sequence; the general Shellsort complexity question stays open
Temporal state
No reconciled state yet.
Append-only history
a lower bound for Tokuda's sequence; the general Shellsort complexity question stays open
Research memory
a lower bound for Tokuda's sequence; the general Shellsort complexity question stays open
a lower bound for Tokuda's sequence; the general Shellsort complexity question stays open
Evidence graph
parent of · claim · theorem
parent of · event · claim reported