关于梅花图的优美性

对于一个简单图 G=(V,E),若对每一个 v∈V,存在一个整数 l(v)(称为顶点 v的标号)使满足:(1)(?)u,v∈V,若 u≠v,,则 l(u)≠l(v);(2)max{l(v)|v∈V}=|E|;(3)(?)e′,e″∈E,若 e′≠e″,则 l′(e′)≠l′(e″),这里 l′(e)定义为|l(u)-l(v)|,此时若 e=uv,则称 G 为优美图(graceful graph).