9
II. 母函数形式的Pò lya定理
我们这里给出的Polya计数定理其实是一 种特殊形式. 一般形式的Polya定理还可以 用来解决有条件限制而且互相不等价的染 色方案数目. 还有一个问题是如何列举出所有不同类型 的染色方案? 显然Polya定理无法告诉我 们这些. 它只能告诉我们总数. 母函数形式Polya定理可以满足这个要求.
22
III. Boole函数及其等价分类
布尔(Boole)函数在现代计算机逻辑 电路的设计中有很重要的应用. n个变量的Boole函数f(x1,x2,…,xn)就 是集合Z2n={(x1,x2,…,xn)|xi=0或1; i=1, 2,…,n} 到集合Z2={0,1}的一个映射. n个变量的不同Boole函数总数: 2 2
24
例如: f(x1,x2,x3)=x1+x2x3与g(x1,x2,x3)=x2+x3x1 等价, 因为g(x1,x2,x3)= f(x2,x3,x1). 取补型等价. 例如f(x1,x2,x3)与f(x1,x2,x3) 取补等价. 取补与下标置换混合等价. 可以利用Polya定理, 通过这些等价所对应 的置换群得出等价类型的数目. 我们不打 算详细推导这些情况. 下面只针对下标置换等价意义下布尔等价 类的计数给出一个例子.
( b1 b 2 b m )
c1 ( g )
( b1 b 2 b m )
n n n
cn ( g )
由此可以知道, 总的染色方案的列举 只要在轮换指标中令:
x i b1 b 2 b m
i i i
15
即可得到能列举出方案情况的母函数 形式的Polya定理:
10
先通过一个简单例题说明思想.