有许多不理解的地方。
记下polya公式大概定义:每种转换方式下转换前后相同的着色方案数之和/转换方式数
补:想了想,转换方式数说得再准确点应该是在当前的转换规则下,每种状态可变为几种状态。这样想就不会漏掉也不会重复算一些情况了,许多不理解的例子也都能理解了(虽然原理证明还是一点都不知道=。=|||)。
小栗子:
三角形三顶点01染色,只允许翻转不允许旋转:
_0_ _0_ _2_ _2_ _1_ _1_
1_2 2_1 0_1 1_0 2_0 0_2
012只是编号而不是染色状态,以上六种其实都是最左边第1种状态的等价状态(虽然不允许旋转,但实际也可达到所有情况),原来按转换方式想的时候就有可能漏掉那些要翻两次才能到达的情况,如第3、5这两种。
那每个状态下与原状态相同的着色方案分别有:2^3、2^2、2^1、2^2、2^1、2^2。答案就是(8+4+2+4+2+4)/6=4。
再补:
好像会证明了。。。。。。
就上面那个例子来说,共6种等价转换方案,2^3=8种染色方案,答案是4,即4个等价集合(每一个集合里的染色方案都彼此等价)。
每种染色方案在进行6个转换方案后得到了6个状态,假设其中有x个还是跟本身一样(如上顶点0下两个都是1的染色方案在第1、2这两种转换后还是原来样子),那剩下的6-x个就是它的等价方案了,由对称性可得它的每个等价方案也必然有x个和本身一样,所以可得这种染色方案的等价方案有6/x个。而在公式的分子当中,只有转换后跟自己相同的那些被加上去了,也就是说每个染色方案被加了x次,而每个等价集合总共被加了6/x*x=6次,所以把那分子除以转换方案数6以后就是要求的等价集合数了。
不过用到了对称性,这样的话感觉转换方法是得满足什么条件。。。
暂时想不出来。
总之深深膜拜polya,为这世界带来如此美妙的智慧。