%我#22 2017年12月16日22:43:55
%S 0,1,3,6,7,15,22,23,24,25,27,30,31,60,61,6310510711126127255,
%电话:27827928028128628730030130331317318360361,
%电话:36236336367382383384385386387339039395
%N大等价类中最小的布尔函数(按A000616计算)。
%当两个布尔函数可以通过否定和置换参数来表示时,它们属于同一个大等价类(bec)。例如,当f(~p,r,q)=g(p,q,r)时,则f和g属于同一bec。从几何角度来看,这意味着这些函数对应于具有二值着色顶点的超立方体,这些顶点相当于旋转和反射。
%C布尔函数对应于整数,因此每个bec可以用与其函数之一对应的最小整数表示。有A000616(n)个n元布尔函数的大等价类。它们按大小排序,形成有限序列A_n。这是A_(n+1)的开始,它导致了这个无限序列A。
%H Tilman Piesk,n的表格,n=0..9999的a(n)</a>
%H Tilman Piesk,<a href=“http://en.wikiversity.org/wiki/Equivalence_classes_of_Boolean_functions#bec“>布尔函数的大等价类</a>
%H Tilman Piesk,<a href=“http://commons.wikimedia.org/wiki/文件:0111_1000_1000_1000_Toolean_function_16*24.svg#文件“>bec四元函数</a>对应a(85)=854=0x0356
%H Tilman Piesk,<a href=“http://pastebin.com/kdZBTYnU“>用于计算的MATLAB代码</a>
%H<a href=“/index/Bo#Boolean”>为布尔函数相关序列的索引项</a>
%F a(A000616-1)=a(2,5,21401,…)=3,1525565535,…=A051179号
%e A000616(2)中排序的16个二元函数=6个大等价类:
%e a a(n)布尔函数超立方体(平方)
%e 0 0 0000空
%e 1 1 0001、0010、0100、1000一个在角落里
%e 2 3 0011、1100、0101、1010个
%e 3 6 0110,对角线上的1001个
%e 4 7 0111、1011、1101、1110个1在3个角
%e 5 15 1111完整
%Y参见A227722(对于小型等价类也是如此)。
%Y参考A000616、A051179。
%K nonn公司
%0、3
%A Tilman Piesk,2013年7月22日
|