Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. For every prime , every of size , and itself, has an ordering whose partial sums are distinct, the question of Problem 475 for the two largest sizes. The paper's result is Theorem 2 (printed p. 4) of J.-P. Bode and H. Harborth, Directed paths of diagonals within polygons: "Conjecture 1 is true for ", where Conjecture 1 is Alspach's conjecture in the paper's language of directed diagonals of an -gon. In the problem's notation, for every every -subset of with nonzero sum has an ordering whose partial sums are distinct and nonzero: by an explicit directed cycle through all lengths, with one diagonal deleted, for odd , and by an induction on the missing length for even . For , every -subset has sum , so each has an ordering with distinct, nonzero partial sums, which is more than the problem asks. Appending gives a valid ordering of , by the step in the proof of the Archdeacon--Dinitz--Mattern--Stinson implication (Costa and Pellegrini, Arch. Math. 115 (2020), p. 7 of the arXiv version); the odd- cycle, read as on the result page, gives the same ordering directly. The paper's Theorem 1, for the size , is vacuous for odd , since the only -subset then has sum . Hicks, Ollis and Schmitt report both sizes from this paper on their p. 2 and reprove its odd case as their Theorem 4.3, attributed to it (their claim page). Read depth: Theorem 2 and the odd- half of its proof are checked; the even- induction (pp. 5--9), carried by the paper's figures, is read for structure only.
Covers. Every prime : every subset of size , and itself. The latter is Graham's case , whose proof no cited source prints.
Depends on. Nothing in this wiki: the result is the paper's own, filed on its library result pages.
Acceptance. Refereed publication: Discrete Mathematics 299 (2005), 3--10,
DOI 10.1016/j.disc.2005.05.006, available online 10 August 2005, which dates
this page. The site credits the range through Hicks, Ollis
and Schmitt and the references therein, but its label DECIDABLE leaves the
problem open, so that credit is not reviewed evidence.