%I#27 2022年1月16日12:48:14
%S 1、3、9、15、28
%N个输入布尔函数的最大与或公式复杂度(运算符计数)
%C a(n)=2端串并联交换网络中的最小边数(其中边用变量X_i和X_i’标记),其实现了最差的f。
%考虑n个变量X_1,…,的所有2^2^n布尔函数f。。。,X_n;X_i及其负值X_1'。。。,X_n'是可用的,我们必须使用这些2n变量的and和OR实现f,并且and和OR's的总数最少;调用使用的最小AND和OR总数G(f);则a(n)=最大G(f)。
%H Russ Cox,计算注释a(4)</a>
%H Russ Cox,<a href=“http://research.swtch.com/boolean“>最小布尔公式</a>
%e对于n=2,最坏的f是XXOR Y,可以通过X AND Y'OR X'AND Y=XY'+X'Y实现。
%e对于n=3,最坏的f是XXOR Y XOR Z,它可以通过(X*Z'+X'*Z+Y')*(X*Z+X'*Z'+Y)实现。
%e当n=4时,最坏的f是W XOR X XOR Y XOR Z,它可以通过((X XOR Z)'+(W XOR Y)')*((X X或Z)+(W X或Y))=(X*Z'+X'*Z+W'*Y+W*Y')*。
%e对于n=5,输入变量的排列和否定有三个最差f。它们有32位真值表0x16686997、0x16696997和0x1669e996(十六进制)。
%Y参考A058759、A057241、A178939。
%K nonn,好,硬,更多
%O 1,2号机组
%A _N.J.A.Sloane,2001年1月5日
%E a(3)和a(4)由劳斯·考克斯计算,2001年1月3日
%E a(5)由_Russ-Cox_和_Alexander D.Healy_计算,2010年7月12日
|