Polya定理

  Burnside和Polya定理都是高级计数的工具。对于一般计数问题,可以用排列组合来统计,但是对于更复杂的问题,比如对n个点用m种颜色染色,并且认为这n个点可以相互转移,即第一个点的位置可以与第二个点互换等等,求最多有多少种不同的染色(两种染色不同,当且仅当两者在空间上存在相同位置的两点颜色,且无法通过允许的转移从前者转移到后者)。

  组合数学提供了强悍的Burnside和Polya定理来对这种复杂情况的可能数进行计数。

基础知识

  我们将允许的转移以下列方程表示出来:

  (1 2 3 4 5)

  (2 3 4 5 1)

  对于任意输入值,我们先在上面方框里找到对应的下标(如果值未上方标识出来,那么返回值就是输入值,即等值转换),并用该下标在下面方框里找到映射值。实际上可以发现置换是一个函数,因为每个输入值通过转移可以转换为另外一个确定的值。我们将其记作t。

  对于定义域和值域均落在集合V上的所有置换的集合,称为V上的置换类。(事实上这个类是一个群,但是我们不细讲)

  可以发现上面的输入值x转移得到的值均为上方括号该值出现的后一位(最后一位后面就认为是首位),其构成了一个循环,我们用(1 2 3 4 5)来简单标记,称这样的置换为循环。

  由于置换是函数,因此我们可以进行复合操作,即对于置换f与g,我们记fg为二者的复合函数(转移),而(fg)(x)=f(g(x))。若f与g是循环,其也可以写作(f1 f2 ... fn)(g1 g2 ... gm)。

定理:任意一个置换都可以拆解成为若干个不相交循环。比如(1 2 3)(4 5)等价于下面的置换:

  (1 2 3 4 5)

  (2 3 1 5 4)

  对于指定值x,若置换f满足f(x)=x,那么称f是x不动置换,相应的称x是f的不动点,由所有x的不动置换组成的集合称为x不动置换类。

  置换可以直接作用于向量,对于向量(a1,a2,...,an),我们记f(a1,a2,...,an)=(af(1),af(2),...,af(n))

核心定理

  现在来描述问题。有n个点和m种颜色,问有多少种不同的染色的可能。并且提供一个[1,n]上的置换类G,当且仅当两个染色方案a与b,对于所有G中的置换g,都满足g(a)<>b,才认为两个染色方案不同。而每个染色方案可以用向量来表示(c1,c2,...,cn)。其中ci表示第i个点所上的颜色。并且我们称相同的染色方案(向量)为等价类。

Polya定理:记置换G={a1,...,ak},在[1,m]^n上,不同的向量数目为$ L=\left(\sum_{i=1}^k{m^{l\left(a_i\right)}}\right)/|G| $。其中l(ai)表示置换ai可以展开为循环的节数,比如(1 2)(3 4)(5)就是3节循环。

  注意使用这两个定理,要保证G中不含重复的置换。(两个置换相同与函数相同的定义一致)。

posted @ 2018-02-03 20:33  dalt  阅读(...)  评论(...编辑  收藏