设G是简单图，用P（G，λ）表示图G的色多项式．若对任意图H使P（H，λ）＝P（G，λ），都有H与G同构，则称G是色唯一图．用K（m，n，r）表示完全三部图，证明了当K＝4时，如下猜......