优雅图猜想

对于图G(p，q)，如果存在一个单射f：V(G)→［0，1，2，…，q］，使得f(E(G))={f(uv)=(f(u)+f(v))mod(q+1)|uv∈E(G)}=［1，…，q］，则称图G为优雅图．采用剪枝与预判函数相结合的方式，设计了递归回溯算法，对9个点内的所有简单连通图进行了优雅性验证，得到9个点内所有优雅图和非优雅图．根据实验结果，验证了当3≤p≤9时，所有的树图、单圈图几乎都是优雅的，证明了当3≤q≤9且q≠1(mod 4)时，图G(p，q)是优雅的．最后给出猜想：绝大多数的图是优雅的