A137202-OEIS公司

A137202号

在变量的最佳排序下，隐藏加权位函数h_n的BDD中的节点数。

3、3、5、9、16、23、33、46、63、82、109、139、178、224、282、348、434、531、653、796、973、1176、1433、1725、2090 (列表;图表;参考文献;听;历史;文本;内部格式)

	抵消	`1，1`
	评论	`在这个问题中，我们不考虑“补码位”来缩短BDD。` `目前已知的找到a（n）的最佳方法大约需要2.5^n个步骤。`
	参考文献	`D.E.Knuth，《计算机编程的艺术》，第4A卷，第7.1.4节。`
	链接	`n=1..25时的n，a（n）表。` `比特·博利格、马丁·洛宾、马丁·索尔霍夫和英戈·沃纳，不同BDD模型下隐藏加权位函数的复杂性《理论信息学与应用》，33（1999），103-115，定理4.4。` `Randal E.Bryant，布尔函数的VLSI实现和图形表示的复杂性及其在整数乘法中的应用《IEEE计算机汇刊》C-40（1991），205-213。`
	例子	`例如，当n=8时，当一个测试首先测试x8（1个节点），然后测试x7（2个节点）、x1（4）、x6（6）、x2（9）、x5（12）、x4（8）、x3（2）时，获得最小BDD。节点总数为46，包括两个汇聚节点。`
	交叉参考	`参见。A136445号.` `上下文中的序列：A321986型 A325187型 A209083型A146926号 A000198型 A202674型` `相邻序列：A137199号 A137200型 A137201号A137203号 A137204号 A137205年`
	关键词	`非n,更多`
	作者	`高德纳，2008年4月23日`
	状态	`经核准的`

上次修改时间：美国东部夏令时2024年6月19日20:39。包含373507个序列。（在oeis4上运行。）