图K^(m+1)^(+s)(m,m+1)的色唯一性

设 G 是一个图,用 P(G,λ)表示图 G 的色多项式,称图 G 与 H 是色等价的,如果 P(G,λ)=P(H,λ),记为 H～G。本文证明了 m≥s+2且 s≥1,S 是 K_(m+1)的某 s 条边组成的集合且 S 在 K_(m+1)中的导出子图〈S〉是二部图,则[K_(m+1)^(+s)(m,m+1)]=|N_mVG|G∈[(?)