编辑
经核准的
线性递归[{0,0,2,0,0-1},{0,0,1,0,1,2},100](*哈维·P·戴尔2023年5月4日*)
提出
k的数量,使得(k*n)== 2 (模块3 = 2 ) 对于0<=k<=n。
a(n)=和{k=0..n}[(k*n)== 2 (模块3 = 2)];
肖恩·欧文:现在看起来像Michel的程序:-)
a(n)=和{k=0..n}如果 (([(k*n)模块3) = 2, 1, 0)];
肖恩·欧文:@乔恩,是的,是(如果,那么,否则)。我改成了艾弗森风格。
乔恩·肖恩菲尔德:我不确定名称中的符号:“k的数量,这样(k*n)mod 3=2表示0<=k<=n。”特别是单词“for”(因为“(k*n)mod 3=2”并不适用于0..n中的每个k)。
乔恩·肖恩菲尔德:可能使用以下选项之一,或类似的选项?
乔恩·肖恩菲尔德:[0,n]中的整数k的数量,使得(k*n)mod 3=2。
乔恩·肖恩菲尔德:0..n中整数k的数量,以便(k*n)mod 3=2。
k的数量,这样(k个*n个) 国防部(k个*n个, 三) =2表示0<=k<=n。
乔恩·肖恩菲尔德:“mod”格式已更正
乔恩·肖恩菲尔德:在公式部分,在“a(n)=Sum_{k=0..n}if((k*n)mod 3)=2,1,0)”中,“if(((k*n)mod 3)=2,1,0)”是什么意思?