登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A003181号 n个变量的非退化布尔函数的P-等价类的个数。
(原名M0378)
12

%I M0378#41 2023年10月21日01:08:35

%S 2,2,8,683904373292642562641230941056,

%电话6751634297318597430254927492749387264,

%电话:2871827610052485009904013775892084760229348924450772201235462734479360

%N个变量的非退化布尔函数的P-等价类的个数。

%C也是具有并集{1..n}.-的{1..n}子集的非同构集的数目_Gus Wiseman_,2019年8月5日

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

%D N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。

%H Alois P.Heinz,n表,n=0..12</a>

%H S.Muroga,阈值逻辑及其应用,纽约威利出版社,1971年。[几页带注释的扫描]

%H<a href=“/index/Bo#Boolean”>为布尔函数相关序列的索引项</a>

%F a(n)=A003180(n)-A003180(n-1),对于n>=1.-_Christian Sievers_2016年7月22日

%F a(n)=2*A055621(n).-_Gus Wiseman_,2019年8月5日

%e来自Gus Wiseman_,2019年8月5日:(开始)

%e a(0)=2到a(2)=8组子集的非同构代表:

%e{}{1}}{1,2}}

%e{{}}{},{1}}{{1},}{2}}

%e{{},{1,2}}

%e{{2},{1,2}}

%e{{},{1},}

%e{{},{2},}

%e{{1},{2},}

%电子{{},{1},},1,2}}

%e(结束)

%p b:=proc(n,i,l)`if`(n=0,2^(w->add(mul(2^igcd(t,l[h])),

%p h=1..nops(l)),t=1..w)/w)(ilcm(l[])),`if`(i<1,0,

%p加(b(n-i*j,i-1,[l[],i$j])/j/i^j,j=0..n/i))

%p端:

%pa:=n->`如果`(n=0,2,b(n$2,[])-b(n-1$2,[])):

%p序列(a(n),n=0..8);#_Alois P.Heinz,2019年8月14日

%tb[n_,i_,l_]:=如果[n==0,2^函数[w,Sum[乘积[2^GCD[t,l[h]],{h,1,长度[l]}],{t,1,w}]/w][如果[l=={},1,LCM@l]],如果[i<1,0,Sum[b[n-i*j,i-1,联接[l,表[i,{j}]]]/j/i^j,{j,0,n/i}]];

%ta[n_]:=如果[n==0,2,b[n,n,{}]-b[n-1,n-1,{}];

%t a/@Range[0,8](*_Jean-François Alcover_,2020年4月11日,在_Alois P.Heinz_*之后)

%Y参见A000371、A001146、A003180、A003465、A055621、A007537、A326881。

%K nonn公司

%0、1

%A _N.J.A.斯隆_

%E 2016年7月22日来自基督教Sievers_的更多条款

%E定义由_Ivo Timteo于2017年3月14日澄清

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年4月19日05:19。包含371782个序列。(在oeis4上运行。)