A277156 Lexicographically least sequence of nonnegative integers that avoids 12/7-powers.

0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0

Offset

0

Comments

This sequence is 17-regular.

More generally, if a/b is a rational number in the interval 5/3 <= a/b < 2 with gcd(b, 2) = 1 and gcd(a, b) = 1, then the lexicographically least sequence of nonnegative integers that avoids a/b-powers is (2 a - b)-regular.

Links

Eric Rowland, Table of n, a(n) for n = 0..20000

Lara Pudwell and Eric Rowland, Avoiding fractional powers over the natural numbers, arXiv:1510.02807 [math.CO] (2015).

Formula

a(17 n + 16) = a(n) + 1.

Mathematica

(* This gives the first 4913 terms. *)
SubstitutionSystem[{n_ :> {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, n + 1}}, {0}, {{3}}]

Crossrefs

Cf. A277143, A277149, A277157 (sequences in the same family).

Sequence in context: A363131 A355447 A045701 * A353798 A193095 A011725

Adjacent sequences: A277153 A277154 A277155 * A277157 A277158 A277159

Keyword

nonn

Author

Eric Rowland, Oct 01 2016

Status

approved