登录

修订历史记录A269134号

(粗体、蓝色下划线文本是附加;褪色的红色下划线文本是删除.)

显示条目1-10|较旧的更改
权重n的正规多集的组合分离数。
(历史;已发布版本)
#17通过约尔格·阿恩特2018年9月14日星期五12:37:39 EDT
状态

检验过的

经核准的

#16通过米歇尔·马库斯美国东部时间2018年9月14日星期五09:43:17
状态

提出

检验过的

#15通过罗伯特·普莱斯2018年9月14日星期五09:33:01 EDT
状态

编辑

提出

#14通过罗伯特·普莱斯2018年9月14日星期五09:32:53 EDT
数据

1, 4, 14, 57, 223, 948, 3940, 16994, 72964,317959

扩展

a(10)来自罗伯特·普莱斯2018年9月14日

状态

经核准的

编辑

#13通过阿洛伊斯·海因茨2018年8月30日星期四00:05:16 EDT
状态

提出

经核准的

#12通过古斯·怀斯曼2018年8月30日星期四00:01:23 EDT
状态

编辑

提出

#11通过古斯·怀斯曼2018年8月29日星期三05:29:33 EDT
数据

1, 4, 14, 57, 223, 948, 3940, 16994,72964

数学

sps[{}]:={{}};sps[set:{i_,___}]:=联接@@函数[s,前缀[#,s]和/@sps[Complement[set,s]]/@Cases[子集[set],{i,___}];

组合分隔符mps(最大功率)[设置_]:=工会[排序[n个_排序/@(#/.x个_整数] :=>设置[[x个]])]&/@sps软件[范围[长度[设置]]]];

工会所有规范[n个_]:=如果[n个<=0,{{}},功能[,阵列[计数[,_/;<=#]+1&,n个]]/@子集[范围[n个-1]+1]];

ptn,{type[mutlisetUnion@ptn],排序[type/@ptn]}]/@

加入@@multisetPartitions/@normalMultisets[n]];(*此伪代码的目的是使OEIS条目精确且可复制。函数mutlisetUnion、type、multistPartitions和normalMultisets的代码因简短而省略。*)

使标准化[_]:=/.规则@@@表[{工会[][[]],},{,长度[组合分隔符工会[n个]], {n个, 1, 8}];

表[Length[Union@@Table[{m,Sort[normize/@#]}&/@mps[m],{m,allnorm[n]}],{n,7}](*古斯·怀斯曼2018年8月29日*)

扩展

a(9)来自古斯·怀斯曼2018年8月29日

状态

经核准的

编辑

讨论
8月30日星期四
00:01
古斯·怀斯曼:用正确的程序替换伪代码。
#10通过N.J.A.斯隆2016年3月1日星期二19:03:54 EST
状态

编辑

经核准的

#9通过N.J.A.斯隆美国东部时间2016年3月1日星期二19:03:43
评论

如果多集跨越正整数的初始间隔,则它是正常的。整数多集的类型是唯一的正规多集,当其条目按递增顺序取时,它具有相同的重数序列。例如,335556的类型是112223。

A类 多组 正常的 如果 跨度 一个 最初的 间隔 属于 积极的 整数. 这个 类型 属于 多组 属于 整数 这个 独特的 正常的 多组 那个 这个 相同的 序列 属于 多重性 什么时候 它的 条目 在里面 增加的 秩序. 对于 例子 这个 类型 属于 335556 112223. 当且仅当存在一个多集分区p,其多集并具有h类型,其中g={g_1,…,g_n}是p的块的类型的多集时,存在一个组合分离*,它被视为多箭头p:h<=g。例如1122<={12,11}不是组合分离,因为不能将1122类型的多集合划分为两个块,其中一个块有两个不同的元素,而另一个块具有两个相等的元素。正规多集N和组合分离S组成一个多阶(N,S)。a(n)的值是*不同*组合分隔的总数h≤g,其中h具有权重n。

术语“组合分离”受到启发 通过 麦克马洪(MacMahon)的难以捉摸的“组合分析”(Combinatory Analysis)(1915年)指出:“通过写下一组[sic]分区,将任意数量的分区“分隔”为“分隔”,每个分区从左到右放在自己的括号中,这样当这些分区的所有部分都组装在一个括号中时,分隔的分区就会被复制。”

例子

对于a(3),按头部分组的14个不同组合分离是:111<={111},111<=}1,11},111<={1,1,1};112<={112}, 112<={1,11}, 112<={1,12}, 112<={1,1,1}; 122<={122}, 122<={1,11}, 122<={1,12}, 122<={1,1,1}; 123<={123}, 123<={1,12}, 123<={1,1,1}. 注释 那个 在里面 枚举 这个 多组 分区 {{1},{2,}}:123<={1,12} {{1,2},{}}:123<={1,12} 代表 不同的 多种-箭头 因此 计数 只有 一旦, 然而 这个 多组 分区 {{1},{1,2}}:112<={1,12} {{1,2},{2}}:122<={1,12} 计数 分别地 即使 虽然 他们 这个 相同的 多组 属于 -类型.

注意,在这个枚举中,两个多集分区{{1},{2,3}}:123<={1,12}和{{1,2},}:123<={1.12}并不代表不同的多箭头,因此只计算一次,而两个多集合分区{{1,2,}:112<={1.2}和单独计算,即使它们具有相同的多组块类型。

状态

提出

编辑

讨论
3月1日星期二
19:03
N.J.A.斯隆:次要编辑
#8通过丹尼·罗拉博2016年2月20日星期六10:57:29 EST
状态

编辑

提出

讨论
2月20日星期六
10:59
丹尼·罗拉布:我还考虑在每个示例之后开始一个新段落,但决定由作者自行决定。