A132582-OEIS公司

A132582号

的第一个差异A132581号.

1, 1, 2, 1, 5, 3, 5, 1, 19, 14, 25, 6, 50, 14, 19, 1, 167, 148, 282, 84, 617, 215, 307, 20, 1692, 714, 1075, 84, 1692, 148, 167, 1, 7580, 7413, 14678, 5573, 34563, 15476, 23590, 2008, 109041, 59273, 95798, 9673, 163415, 18452, 21367, 168, 580655, 387651, 668175, 82404, 1226845, 169396, 201394, 2008 (列表;图表;参考;听;历史;文本;内部格式)

	抵消	`0,3`
	评论	`a（n）是当无限布尔格的元素由0，1，2，…表示时，包含n的反链数-罗伯特·伊斯雷尔，2017年3月8日，更正和编辑人M.F.哈斯勒2021年6月1日` `当布尔格的元素被认为是具有包含关系的{0，1，2，…}的子集时，整数n（如上述注释中的“包含n”）表示其特征函数是n的二进制展开式的集合，例如，n=3=11[2]表示集合{0，1}，n=4=100[2]表示集合}。请参见A132581号以获取详细信息和示例-M.F.哈斯勒2021年6月1日` `这些术语以长度为2^k，k>=0的组为单位，由索引2^k-1处的“1”分隔。在每个组中，都有对称性：a（2^k-1+2^m）=a（2qu（k+1）-1-2^m）表示0<=m<k。每个组中的最小项正好位于中间（m=k-1），等于A000372号（k-1）。类似的模式递归地适用：组的前半部分（以及后半部分）内的最小项再次正好处于该范围的中间，依此类推-M.F.哈斯勒2021年6月1日`
	链接	`J.M.Aranda，n=0..211的n，a（n）表（前91个术语来自Robert Israel；第91..160个术语来自Peter Koehler）` `J.M.Aranda，C++程序` `J.Berman和P.Köhler，关于Dedekind数和Knuth的两个序列，J.国际顺序。，第24卷（2021年），第21.10.7条。`
	配方奶粉	`发件人M.F.哈斯勒，2021年6月1日：（开始）` `a（n）=A132581号（n+1）-A132581号（n）根据定义，对于n>=0。` `a（2^（k+1）-2^m-1）=a=A132581号（2^k-2^m）对于所有k>m>=0。` `a（32^k-1）=A132581号（2^k）=A000372号（k），对于所有k>=0。` `a（2^k-1）=A132581号（0）=1，对于所有k>=0。` `（结束）` `发件人J.M.阿兰达，2021年6月9日：（开始）` `A132581号（2^k）=a（2^k+2^（（k-1）/2）-1）+a（2q+2^）（（k+1）/2）-1），对于k奇数，k>0。` `A132581号（2^k）=2a（2^k+2^（k/2）-1），对于k偶数，k>=0。` `（结束）`
	MAPLE公司	`N： =63：` `Q： =[seq（转换（n+64，基数，2），n=0..n）]：` `Incomp:=数组（0..N，0..N、proc（i，j）局部d；d： =Q[i+1]-Q[j+1]；有（d，1）和` `具有（d，-1）结束进程）：` `AntichainCount:=proc（S）选项缓存；局部t，r；` `1+add（进程名（选择（s->Incomp[s，s[t]]，s[1..t-1]）），t=1..nops（s））；` `结束进程：` `seq（反链计数（选择（s->Incomp[s，n]，[$1..n-1]）），n=0..n）#罗伯特·伊斯雷尔2017年3月8日`
	数学	`M=63；` `Q=表格[整数位数[n+64，2]，{n，0，M}]；` `不相容[i_，j_]：=模块[{d}，d=Q[[i+1]]-Q[[j+1]]；成员Q[d，1]&&成员Q[d-1]]；` `AntichainCount[S_]：=反链计数[S]=模块[{t，r}，1+总和[AntichaineCount[Select[S[[1；；t-1]]，不匹配[#，S[[t]]&]]，{t，1，长度[S]}]]；` `表[反链计数[范围[0，n]]，{n，-1，M}]//差异(Jean-François Alcover公司2023年2月9日之后罗伯特·伊斯雷尔)`
	黄体脂酮素	`（PARI）适用(A132582号（n，e=指数（n））={if（n++<3\|n==2<e，1，集合搜索（[1，2]<e+[1，-1]<<估值（n，2），n），A132581号（2^e-2^估价（n，2）），A132581号（n）-A132581号（n-1）}，[0..10]）\\M.F.哈斯勒2021年6月3日`
	交叉参考	`请参见A132581号了解更多信息。` `上下文中的序列：A075303号 A076062型 A295563型A262211型 A345967型 A094512号` `相邻序列：A132579号 A132580号 A132581号A132583号 A132584号 A132585号`
	关键词	`非n`
	作者	`高德纳2007年11月18日`
	扩展	`更多术语来自罗伯特·伊斯雷尔2017年3月8日` `由扩展彼得·科勒2017年7月7日`
	状态	`经核准的`