登录
n个或更少变量的布尔函数的NPN等价类的数量。
(原名M1287 N0494)
9

%I M1287 N0494#44 2023年8月17日01:54:36

%S 1,2,4,1422261262620253952527184,

%电话263735716028826576482466871188128,

%电话:5609038300883759793482640992086670931649579901350572161033031196303336

%N N个或更少变量的布尔函数的NPN等价类的数目。

%C互补/置换下不同的布尔函数数。

%D M.A.Harrison,切换与自动机理论导论。纽约州麦格劳希尔,1965年,第153页。

%D D.E.Knuth,《计算机编程的艺术》,第4A卷,第7.1.1节,第79页。

%D S.Muroga,阈值逻辑及其应用。Wiley,NY,1971年,第38页,表2.3.2.-第16行。

%D N.J.A.Sloane,《整数序列手册》,学术出版社,1973年(包括该序列)。

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

%H M.A.Harrison,<A href=“http://dx.doi.org/10.109/PGEC.1963.263656“>包含否定的群下布尔函数等价类的数目,IEEE Trans.Electron.Compute.12(1963),559-561。

%H M.A.Harrison,含否定群下布尔函数等价类的个数,IEEE Trans。电子。计算。12 (1963), 559-561. [带注释的扫描副本]

%H M.A.Harrison,<A href=“https://doi.org/10.1145/321312.321325“>关于切换和自动机理论中的渐近估计,J.ACM,v.13,no.1,1966年1月,第151-157页。

%H S.Muroga,阈值逻辑及其应用

%H S.Muroga、T.Tsuboi和C.R.Baugh,《八个变量阈值函数的枚举》,IEEE Trans。计算机,19(1970),818-825。[带注释的扫描副本]

%H Juling Zhang,Guowu Yang,William N.N.Hung,Tian Liu,Xiaoyu Song,Marek A.Perkowski,<A href=“https://doi.org/10.1007/s00224-018-9903-0“>布尔函数NPN分类的群代数方法</A>,计算系统理论(2018),1-20。

%H<a href=“/index/Bo#布尔”>为与布尔函数相关的序列的条目建立索引</a>

%F a(n)渐近于2^{2^n}/(n!*2^{n+1})作为n->oo。这源于迈克尔·哈里森的一个定理。参见Harrison(JACM,1966)中的定理3埃里克·巴赫,2017年8月7日

%不,简单,好

%0、2

%A _N.J.A.斯隆_

%E更多条款来自_Vladeta Jovovic_,2000年2月23日