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

 


提示
（来自的问候整数序列在线百科全书!)
A131673型
计算汇聚节点时，n个变量的对称布尔函数的最大BDD的大小。
1
1, 3, 5, 7, 10, 14, 19, 25, 31, 38, 46, 55, 65, 76, 88, 101, 115, 129, 144, 160, 177, 195, 214, 234, 255, 277, 300, 324, 349, 375, 402, 430, 459, 489, 519, 550, 582, 615, 649, 684, 720, 757, 795, 834, 874, 915, 957, 1000, 1044, 1089, 1135, 1182, 1230, 1279, 1329, 1380, 1432
(列表;图表;参考;听;历史;文本;内部格式)
抵消
0,2
参考文献
Mark Heap，《关于完全对称函数的精确有序二元决策图大小》，《电子测试杂志》4（1993），191-195。
Ingo-Wegener，对称布尔函数的最优决策树和一次性分支程序，信息与控制62（1984），129-143。
链接
n，a（n）的表，n=0..56。
配方奶粉
a（0）=1；对于n>0，a（n）=2+sum{k=1..n}min（k，2^{n+2-k}-2）。
同时a（n）=二项式（n+2-b-n，2）+2（2^{b_n}-bn)，其中b_n=λ（n+4-λ（n+4）），λ（n）=地板（log_2 n）。
数学
f[0]=1；f[n]：=2+和[Min[k，2^{n+2-k}-2]，{k，n}]；表[f@n，{n，0，56}]（*或*）
flg[n]：=地板@原木[2，n+4-地板@原木[2，n+4]]；f[0]=1；f[n_]：=二项式[n+2-飞行时, 2] + 2 (2^flg@n - flg@n); 表[f@n，{n，0，56}](*罗伯特·威尔逊v2007年9月16日*）
交叉参考
请参见A131674型用于其他版本。
上下文中的序列：A194166号 A054040型 A011848号*A151945号 A140261号 A340247型
相邻序列：A131670型 A131671美元 A131672型*A131674型 A131675型 A131676型
关键词
非n,容易的
作者
高德纳2007年9月6日
状态
经核准的

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

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

最后修改时间：美国东部时间2024年9月22日11:06。包含376102个序列。（在oeis4上运行。）