关于n长路的(a,b;n)-优美标号

证明了a=4时,Gvozdjak猜想成立.即路Pn存在一个(a,b;n)-优美标号,当且仅当整数a,b,n满足:(1)b-a与n(n+1)/2有相同的奇偶性;(2)0<|b-a|≤(n+1)/2;(3)n/2≤a+b≤3n/2.在a=4时,成立.