%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日澄清
|