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

 

标志
提示
(来自的问候整数序列在线百科全书!)
A000654号 n个变量的可逆布尔函数。
(原名M2173 N0868)
4
1, 2, 52, 142090700, 17844701940501123640681816160, 59757436204078657410908164193971330396709572693816353610758085074676243846093824 (列表;图表;参考;;历史;文本;内部格式)
抵消
1,2
评论
在域和值域上变量的置换和互补作用下,从{0,1}^n到{0,1{^n的可逆映射的等价类-肖恩·欧文2011年3月16日
参考文献
M.A.Harrison,可逆布尔函数类的个数,J.ACM 10(1963),25-28。
C.S.Lorens,可逆布尔函数,IEEE Trans。电子。计算机,EC-13(1964),529-541。
N.J.A.Sloane,《整数序列手册》,学术出版社,1973年(包括该序列)。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
链接
亚当·古彻(Adam P.Goucher),n=1..7时的n,a(n)表
哈里森硕士,可逆布尔函数的类数,J.ACM 10(1963),25-28。[仅第27页的注释扫描]
哈里森硕士,含否定群下布尔函数等价类的个数,IEEE传输。电子。计算。12 (1963), 559-561. [带注释的扫描副本]
C.S.Lorens,可逆布尔函数,IEEE传输。电子。计算机,EC-13(1964),529-541。
C.S.Lorens,可逆布尔函数,IEEE传输。电子。计算机,EC-13(1964),529-541。[仅第530页的注释扫描]
罗清斌,吴金照,陈琳,可逆逻辑函数等价类个数的计算《Theor国际期刊》。物理。(2020)第59卷,2384-2396。
数学
使循环=
函数[{x},
分拣@理货[Length/@PermutationCycles[x+1,Identity]];
总重量=
函数[{c},乘积[(x[1]]^x[[2]])(x[2]]!),{x,c}]];
perms=函数[{n},
压扁[桌子[
FromDigits[Permute[InterDigits[BitX或[x,a],2,n],西格玛],
2] ,{sigma,排列[Range[n]]},{a,0,2^n-1},}x,0,
2^n-1}],1]];
计数=
函数[{n},
总和[totalweight[x[[1]]](x[2]]^2),{x,
计数[cyclify/@perms[n]]}/((2^n)(n!))^2];
表[countit[n],{n,1,5}](*亚当·古彻2021年2月12日*)
交叉参考
关键词
非n
作者
扩展
更多术语来自肖恩·欧文2011年3月15日
状态
已批准

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

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

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