%I M0819 N0310 N1026#81 2023年9月17日21:36:38
%S 1,2,3,6,224021228158400507806843728,
%电话:527471432057653004017274030725792,
%电话:112180766016767519586965281984173341005925142853855481024470471657123840
%按照惯例,N a(-1)=1;对于n>=0,a(n)=n个变量的不可约布尔函数的个数。
%C n个或更少变量的开关函数的NP-等效类的数量。
%C长度为n(和所有大小)的不等二进制非线性码的数目。
%C a(n+1)=具有n个变量的渠化函数的NPN等价类数(参见A102449)。NPN等价允许对函数值以及单个变量进行补充。例如,当n=3是0、x、x与y、x与yAND与z、x与(y或z)、x与_Don Knuth_,2005年8月24日,2006年8月6日
%C函数的真值表是n维超立方体顶点的着色,其中每个轴都是一个输入。约简操作(通过交换输入对并将NOT映射到它们)对应于超立方体对称群下的不变性,因此它是A361870的k=2列_Nathan L.Skirrow,2023年6月24日
%D F.Harary和E.M.Palmer,《图形计数》,纽约学术出版社,1973年,第112页。
%D M.A.Harrison,切换与自动机理论导论。纽约州麦格劳希尔,1965年,第149页。
%D D.E.Knuth,《计算机编程的艺术》,第4A卷,第7.1.1节,第79页。
%D S.Muroga,阈值逻辑及其应用。Wiley,NY,1971年,第38页,表2.3.2.-第11行。
%D N.J.A.Sloane,《整数序列手册》,学术出版社,1973年(包括该序列)。
%D N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
%D I.Tomescu,Combinatorica介绍。Editura Tehnia,布加勒斯特,1972年,第129页。
%H Marcus Ritt,n表,n的a(n)=-1..10</a>
%H B.Elspa,布尔函数的自互补对称类型,IEEE Transactions on Electronic Computers 2,no.EC-9(1960):264-266。[带注释的扫描副本]
%H Steven R.Finch,<a href=“https://doi.org/10.1017/9781316997741“>数学常数II,《数学及其应用百科全书》,剑桥大学出版社,剑桥,2018年。
%H R.K.Guy,致N.J.a.Sloane的信,1974年3月。
%H M.A.Harrison,<A href=“https://www.jstor.org/stable/2946322“>布尔函数的及物性集数目,J.Soc.Indust.Appl.Math.,11(1963),806-828。
%H S.Muroga,阈值逻辑及其应用,纽约威利出版社,1971年。[几页带注释的扫描]
%H S.Muroga、T.Tsuboi和C.R.Baugh,《八个变量阈值函数的枚举》,IEEE Trans。计算机,19(1970),818-825。[带注释的扫描副本]
%H J.Sklansky,<a href=“https://doi.org/10.109/PGEC.1963.263627“>支路交换网络的一般综合</a>,IEEE Trans.Electr.Computers,12(1963),464-469。
%H I.Toda,<a href=“https://doi.org/10.1109/TEC.1962.5219361“>关于自对偶逻辑函数类型的数量,IEEE Trans.Electron.Compute.,11(1962),282-284。
%H I.Toda,关于自对偶逻辑函数类型的数量。[带注释的扫描副本]
%H<a href=“/index/Bo#Boolean”>为布尔函数相关序列的索引项</a>
%F Harrison给出了一个关于适当群的循环指数的简单公式。
%F a(n)~2^(2^n)/(n!*2^n。(证据见A361870。)-Nathan L.Skirrow_,2023年6月24日
%A039754的Y行总和,A361870的k=2列。
%Y比较A003180在不带NOT的输入置换下的等价性,A000231在不带置换的NOT下,A000618在正好n个变量的NP-等价类数量上。
%Y参见A102449、A109460、A109462。
%不,简单,好
%O-1、2
%A _N.J.A.斯隆_
%E来自_Vladeta Jovovic的更多术语_
%E条目由_N.J.A.Sloane_修订,2006年8月7日
%E术语a(9)和a(10)(在b文件中给出),来自Marcus Ritt_,2013年8月13日
|