Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Statement

A pancyclic graph on nn vertices has a cycle of length ℓ\ell for every 3≤ℓ≤n3\le\ell\le n, and m(n)m(n) is the minimum number of edges of a pancyclic graph on nn vertices (abstract, p. 1). A pancyclic graph is a Hamiltonian cycle with k=m−nk=m-n chords (p. 1). Table 1 (p. 2) records m(n)m(n) and the chord number kk for 3≤n≤373\le n\le37:

nnkkm(n)m(n)nnkkm(n)m(n)nnkkm(n)m(n)
3031541927532
4151642028533
5161742129534
6281842230535
7291942331536
82102042432537
93122142533538
103132242634539
113142342735540
123152442836541
133162553037542
1431726531

In the notation of Erdős's 1971 list and of the site, h(n)=m(n)−n=kh(n)=m(n)-n=k: it is 00 for n=3n=3, 11 for 4≤n≤54\le n\le5, 22 for 6≤n≤86\le n\le8, 33 for 9≤n≤149\le n\le14, 44 for 15≤n≤2415\le n\le24 and 55 for 25≤n≤3725\le n\le37.

How the values were obtained (p. 2), in this page's words: a computer search was run over all Hamiltonian graphs with at most four chords, and over those with five chords on at most 3131 vertices. With Corollary 1 (at most 3131 cycles with four chords, against the n−2n-2 cycles a pancyclic graph needs), the search excludes four chords for every n≥25n\ge25; the five-chord construction then fixes m(n)m(n) for n≤37n\le37. The paper adds that "All of these values agree with [2]" (p. 2), its [2] being George, Marr and Wallis, Minimal pancyclic graphs, a preprint. The five-chord construction (Figure 1, p. 1, captioned "Construction with 23 to 37 vertices") has n=21+xn=21+x vertices with 0≤x≤160\le x\le16; the paper says it has cycles of lengths 33 to 1919 and n−17n-17 to nn, so pancyclicity requires n≤37n\le37 (p. 1).

Source. S. Griffin, Minimal pancyclicity, arXiv:1312.0274v1 (1 December 2013; dated September 6, 2013 on p. 1; 6 pages), the only arXiv version; Table 1 on p. 2, read on the page image and in the text layer. A preprint: no journal version was found on 2026-09-18. The edition read is identified in the source digest.

Read depth. Claims checked: the table and the two paragraphs describing the computation were read on the page image; the exhaustive search was not rerun and the pancyclicity of the five-chord construction was not checked here.

Proof pointer

The search enumerates the cycles of each candidate through Shi's Theorem 2 (p. 2; the paper's [6]), which bounds the cycles using a given set of chords; with Corollary 1 the search excludes four chords for n≥25n\ge25, and the five-chord construction of Figure 1 gives the matching upper bound m(n)≤n+5m(n)\le n+5 for 25≤n≤3725\le n\le37.

Dependencies

Shi 1994 (the paper's [6], Discrete Math. 133 (1994), 249--257; not held) for Corollary 1; the preprint [2] for the earlier values.

Bears on

  • Problem 1016: the exact values of h(n)=m(n)−nh(n)=m(n)-n for n≤37n\le37, all consistent with the bounds of the problem page; OEIS A105206 lists the same m(n)m(n) for 3≤n≤223\le n\le22.