cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A005047 Minimal span of set of n elements with no 3-term arithmetic progression.

Original entry on oeis.org

0, 1, 3, 4, 8, 10, 12, 13, 19, 23, 25, 29, 31, 35, 39, 40, 50, 53, 57, 62, 70, 73, 81, 83, 91, 94, 99, 103, 110, 113, 120, 121, 136, 144, 149, 156, 162, 164, 168, 173, 193, 203, 208
Offset: 1

Views

Author

Keywords

Comments

Length of shortest ruler with n marks, with no mark halfway between two other marks. - Christian Häggström, Nov 19 2018

Examples

			Example for a(10) = 23: 0 1 4 6 10 15 17 18 22 23.
		

References

  • R. K. Guy, Unsolved Problems in Number Theory, E10 (but beware of errors).

Crossrefs

Cf. A065825.

Formula

a(n) = A065825(n) - 1.

Extensions

a(18)-a(41) derived from A065825 by Rob Pratt, Jul 09 2015
a(1)-a(2) prepended and a(42)-a(43) derived from A065825 by Alois P. Heinz, Nov 18 2018