A003181-OEIS公司

A003181号

n个变量的非退化布尔函数的P-等价类的数目。
（原名M0378）

2, 2, 8, 68, 3904, 37329264, 25626412300941056, 67516342973185974302549277749387264, 2871827610052485009904013737758920847602293486924450772201235462734479360

(列表;图表;参考;听;历史;文本;内部格式)

抵消

0,1

还有具有并集{1..n}的子集的非同构集的数目。 -古斯·怀斯曼2019年8月5日

参考文献

S.Muroga，阈值逻辑及其应用。纽约州威利，1971年，第38和214页。

N.J.A.Sloane和Simon Plouffe，《整数序列百科全书》，学术出版社，1995年（包括该序列）。

链接

阿洛伊斯·海因茨，n=0..12时的n，a（n）表

S.Muroga，阈值逻辑及其应用纽约州威利，1971年。[几页带注释的扫描]

与布尔函数相关的序列的索引项

配方奶粉

a（n）=A003180号（n）-A003180号（n-1），对于n>=1。 -克里斯蒂安·西弗斯2016年7月22日

a（n）=2*A055621号（n） ●●●●。 -古斯·怀斯曼2019年8月5日

例子

发件人古斯·怀斯曼，2019年8月5日：（开始）

a（0）=2到a（2）=8组子集的非同构代表：

{} {{1}} {{1,2}}

{{}} {{},{1}} {{1},{2}}

{{},{1,2}}

{{2},{1,2}}

{{},{1},{2}}

{{},{2},{1,2}}

{{1},{2},{1,2}}

{{},{1},{2},{1,2}}

（结束）

MAPLE公司

b： =proc（n，i，l）`if`（n=0，2^（w->add（mul（2^igcd（t，l[h]）），

h＝1..nops（l）），t＝1..w）/w）（ilcm（l[]）），“if”（i＜1，0，

添加（b（n-i*j，i-1，[l[]，i$j]）/j！/i^j，j=0..n/i））

结束时间：

a： =n->`如果`（n=0，2，b（n$2，[]）-b（n-1$2，[]））：

seq（a（n），n=0..8）； #阿洛伊斯·海因茨2019年8月14日

数学

b[n_，i_，l]：=如果[n==0，2^函数[w，总和[Product[2^GCD[t，l[h]]，{h，1，Length[l]}]，{t，1，w}]/w][如果[l=={}，1，LCM@@l]]，如果[i<1，0，Sum[b[n-i*j，i-1，Join[l，Table[i，{j}]]]/j！/i^j，{j，0，n/i}]]；

a[n_]：=如果[n==0，2，b[n，n，{}]-b[n-1，n-1，{}]；

a/@范围[0,8](*Jean-François Alcover公司2020年4月11日之后阿洛伊斯·海因茨*)

交叉参考

囊性纤维变性。A000371号,A001146号,A003180号,A003465号,A055621号,A007537号,A326881型.

上下文中的顺序：A181264号 A354118型 A224766号*A009616号 A005615号 A048617

相邻序列：A003178号 A003179号 A003180号*A003182号 A003183号 A003184号

关键词

非n

作者

N.J.A.斯隆

扩展

更多术语来自克里斯蒂安·西弗斯2016年7月22日

定义由澄清伊沃·蒂莫托2017年3月14日

状态

经核准的