圈的幂图的s-迹连通性

对于图G的任意两个顶点x和y,如果G有一条(x,y)-生成迹,则称图G是迹连通的。给定一个整数s≥0,对于任意点子集X?V(G)并且|X|≤s,如果G-X是迹连通的,则称图G是s-迹连通。设k是一个正整数,图G的k次幂图记为G~k。设t(G)是t一个最大值s使得图G是s-迹连通但不是(s+1)-迹连通,设C_n是一个包含n个点的圈,k是一个正整数并且k≥2,将证明:t(C_n~k)={2k-3,如果n=2k+22k-2,如果n≥2k+3 n-3,如果n≤2k+1.