Optimal Chain Density and Space-Time Tradeoffs for the TSP
Prior state unknown→proved
The authors describe the tradeoff as nearly settled rather than settled.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
algorithms-optimization / Extremal Set Theory, Algorithms
Optimal Chain Density and Space-Time Tradeoffs for the TSP
The authors describe the tradeoff as nearly settled rather than settled.
15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
The authors describe the tradeoff as nearly settled rather than settled.
The authors describe the tradeoff as nearly settled rather than settled.
Recorded attempts
Evidence graph
Connected research record
- →Optimal Chain Density and Space-Time Tradeoffs for the TSP
parent of · event · claim reported
- →The authors describe the tradeoff as nearly settled rather than settled.
parent of · claim · theorem