令[k]={1,2,…,k},Φ为图G的一个正常[k]-全染色。用f(v)表示点v及所有与其关联的边的颜色的加和,如果对任意边uv∈E(G),有f(u)≠f(v),则称该染色为图G的[k]-邻和可区别全染色。k的最小值称为图G的邻和可区别全色数,记为χ″Σ(G)。Pils’niak和Woz’niak提出猜想:对任意简单图G,有χ″Σ(G)≤Δ(G)+3,其中Δ(G)表示图G的最大度。运用组合零点定理证明了该猜想对于任一Halin图成立。