A109456-OEIS公司

A109456号

n个变量的自对偶正则布尔函数数。

0, 1, 1, 2, 3, 7, 21, 135, 2470, 319124, 1214554343, 1706241214185942

抵消

0,4

或者，n个或更少变量的自对偶2-单调布尔函数的个数。

同意A001532号对于n＜＝8，但是随后发散。

使用BDD技术计算n=10的值；所有解决方案的特点是具有30011986个节点的二元决策图。

2012年5月，王民丰计算了n=11的值（见[Hausmann&Rodriguez]）。该消息由J.-C.豪斯曼（2015）发布-法比安·里克尔梅，2018年3月19日

对于从1到9的n，a（n）与Krohn和Sudhölter表1中n个玩家的有向零和对策数一致-彼得·巴拉2021年12月16日

参考文献

D.E.Knuth，《计算机编程的艺术》，第4卷，第7.1.1节（准备中）。

链接

Jean-Claude Hausmann，多边形空间计数、布尔函数和多数对策，arXiv预印本arXiv:1501.07553[math.CO]，2015。

Jean-Claude Hausmann和Eugenio Rodriguez，欧氏空间中的云空间《更正和补充材料》，2014年。

I.Krohn和P.Sudhölter，定向和加权多数游戏《运筹学的数学方法》，42，2（1995），189-216。见第213页第4行表1；也在上ResearchGate研究之门.

S.Muroga、T.Tsuboi和C.R.Baugh，八个变量阈值函数的枚举，IEEE传输。计算机，19（1970），818-825。

交叉参考

关键字

非n,坚硬的,更多

作者

高德纳，2005年8月17日

扩展

a（10）来自高德纳2008年2月6日

a（11）来自法比安·里克尔梅2018年3月27日

状态

经核准的