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.

A356959 Number of length-n binary strings that can be infinitely extended to the right to form an overlap-free string.

This page as a plain text file.
%I A356959 #16 Sep 08 2022 07:53:25
%S A356959 2,4,6,10,14,18,22,26,32,36,40,44,48,52,58,64,72,76,80,84,88,92,98,
%T A356959 102,106,110,114,120,128,134,142,150,160,164,168,172,176,180,186,190,
%U A356959 194,198,202,208,216,220,228,232,236,240,244,248,252,258,266,274,284
%N A356959 Number of length-n binary strings that can be infinitely extended to the right to form an overlap-free string.
%C A356959 A binary string is overlap-free if it contains no block of the form axaxa, where a in {0,1} and x a possibly empty string.
%H A356959 Y. Kobayashi, <a href="https://doi.org/10.1016/0166-218X(88)90078-9">Enumeration of irreducible binary words</a>, Discrete Applied Mathematics 20 (1988), 221-232.
%H A356959 L. Schaeffer and J. Shallit, <a href="https://arxiv.org/abs/2209.03266">The first-order theory of binary overlap-free words is decidable</a>, arXiv:2209.03266 [cs.FL], 2022.
%F A356959 a(n) = Theta(n^c), where c = 1.15501186367066470321... .
%e A356959 For example, 010011001011010010 is infinitely extendable to the right, but 010011001011010011 is not (every extension by a word of length 7 gives an overlap).
%Y A356959 Cf. A007777.
%K A356959 nonn
%O A356959 1,1
%A A356959 _Jeffrey Shallit_, Sep 06 2022