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

 

标志
提示
(来自的问候整数序列在线百科全书!)
A000616号 a(-1)=1(按惯例);对于n>=0,a(n)=n个变量的不可约布尔函数的个数。
(原名M0819 N0310 N1026)
27

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

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

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

上次修改时间:2024年4月26日21:53 EDT。包含372004个序列。(在oeis4上运行。)