cp's OEIS Frontend

The single 1's whose ranks are given by this sequence are the 1's between two 2's in the OK sequence A000002. They are associated with iterated words of the OK sequence that develop themselves around each single 1 in two branches (for a description of the iterated words, see comments in A249507, which gives their lengths). The first term of A000002, which is indeed a single 1 but not between two 2's, is thus not considered here.

Each such single 1 is generated by a preceding 1 in the OK sequence that could be single or double, but each single 1 has a double 1 in its ancestors since the first 1 of the OK sequence has no descendants except itself. The length of the iterated word around a single 1 is linked to the number of generations between itself and its nearest double 1 ancestor (A249949 gives the number of generations of the n-th single 1).

A249948 gives the gaps between single 1's.

The single 1's that are considered in this sequence are the 1's between two 2's in the OK sequence A000002 (the first term of A000002 which is indeed a single 1 but not between two 2's is thus not considered here). Each such single 1 is generated by a preceding 1 in the OK sequence that could be single or double, but each single 1 has at least a double 1 in its ancestors since the first 1 of the OK sequence has no descendance except itself. This sequence gives the number of generations between the n-th single 1 in A000002 and its nearest double 1 ancestor. A249942 gives the position of the single 1's in A000002.

The single 1's of the OK sequence are associated with iterated words which develop themselve around each single 1 in two branches; for a description of the iterated words, see comments in A249507 which gives their lengths.

The length of the iterated word around a single 1 is equal to A249507(2*a(n)+1) or to A249507(2*a(n)+2).

Conjecture: this sequence takes all integers k >= 1 as values, so there is no bound to the length of the iterated words that appear in the Kolakoski sequence; the limiting frequency of k is 2/3^k.

It is not known if this sequence is defined for any n > 0; showing that it is would solve some of the problems posed by Clark Kimberling about the Kolakoski sequence A000002 (see the link), at least the 2nd and 3rd problems.