Status
On this page
Status
Topics
Status
On this page
Status
Topics
For let
which are such that and for .
Describe which choice of minimise
Source: erdosproblems.com/1129
An accepted solution exists. Settled in another form, for example when its parts resolve differently or the question is open-ended.
The site labels the problem PROVED (page last edited 23 January
2026, label accessed 2026-09-04), and the community database at
teorth/erdosproblems lists its status as proved (Lean) as of its last update
on 2026-09-16, pointing to a third-party Lean development described below. The
site credits the characterization of the minimizing nodes to de Boor and Pinkus
[dBPi78], after Kilgore and Cheney [KiCh76] and Kilgore [Ki77], and the
four-node optimum to Rack and Vajda [RaVa15]; the accepted claim pages are
de Boor and Pinkus 1978,
which records the paper's convention that the endpoints are nodes,
Kilgore 1978, an
independent proof of Bernstein's conjecture in the same issue, and the partial
Rack and Vajda 2015,
which describes every four-node minimizer. The question asks for a
description, so the derived claim value is answered.