%I#7 2016年9月10日13:59:23
%S 2,2,0,0,2,0,1,1,1,1,0,3,1,0,0,1,2,00,2,2,0,1,0,1,1,2,2,1,0,02,0,2,1,0,1,1,1,1,0,1,0,1,
%温度2,2,0,0,2,0,1,1,1,1,0,3,1,0,0,1,2,00,2,2,0,1,0,1,1,2,2,1,0,2,1,0,1,1,1,0',
%U 2,2,0,0,2,0,1,1,1,1,0,3,1,0,0,1,2
%N计数程序的限制顺序。
%C假设S=(x(1),。。,x(h))是非负整数的向量。设m=最大值(S)和F(S)=(F(0),。。,f(m)),其中f(i)是i在S中的出现次数。定义f(0)=S和f(q)=f(f(q-1)),q>=1。根据A225660的定理1,向量F(q)最终具有周期6。
%C定理2。如果S不是下面列出的十个向量之一,那么F(q)=(2,2)对于某些q,以及F(q,F(q+1),…的串联,。。。包括周期序列A225869。七个异常向量由(0)->(1)->(0,1)->(1,1)->。。。,其余三个,通过(2)->(0,0,1)->(2,1)->(1,1)。((1,2)和(0,1,1)的第二次出现不计算在内。)
%定理2的证明包括简单(省略)的案例检查。特别注意,A225869是每一个含有3个以上成分的S的限制序列。
%H Clark Kimberling,n的表,n=1..1000的a(n)</a>
%F序列是周期的,基本周期为2,2,0,0,2,2、0,1,1,0,3,1,0,0,1。
%e S=(6,1,0,5,5,3)->(1,1,0,1,0,1,1)->(2,4,1)->(0,1,1,0.1)->(2,3)->。星号(*)表示限制序列A225869的开始位置。序列是以(2,2)开头的重复向量的串联。
%t t[n_]:=t[n]=表[计数[t[n-1],k],{k,0,最大值[t[n-1]]}];
%t t[0]={2,2};(*t[0]是矢量S*)
%t u=表[t[n],{n,0,36}](*向量列表F(q)*)
%t lst=压扁[u](*A225869作为序列*)
%t PadRight[{},100,{2,2,0,0,2,0,1,1,1,0,3,1,0,1}](*哈维·P·戴尔,2016年9月10日*)
%Y参考A225660
%K nonn,简单
%O 1,1号机组
%A_Clark Kimberling_,2013年5月18日