用G=(V，E)表示一个图，A代表一个非平凡的阿贝尔群，用F(G，A)表示所有函数f：E(G)→A组成的集合，用D表示E(G)的定向。我们说G是A-可着色的当......