设G（V,E）是一个简单图，k是一个正整数，f是一个V（G）∪E（G）到{1，2，…，k]．的映射．如果Au，v∈E（G），则f（u）≠f（v），f（u）≠f（uv），f（v）≠f（uv），C（u）≠C（v），其中C（u）={f（u））U{f（uv）｜uv∈E（G））．......