完全三部图K(n-4,n,n)的色唯一性

设G是简单图，用P（G，λ）表示图G的色多项式．若对任意图H使P（H，λ）＝P（G，λ），都有H与G同构，则称G是色唯一图．用K（m，n，r）表示完全三部图，证明了当K＝4时，如下猜想[1]成立：对非负整数n，k，当n≥k＋2时，K（n－k，n，n）是色唯一图．即当n≥6时，K（n－4，n，n）是色唯一图．