
Open-world semi-supervised learning (OWSSL) has received significant attention since it addresses the issue of unlabeled data containing classes not present in the labeled data. Unfortunately, existing OWSSL methods still rely on a large amount of labeled data from seen classes, overlooking the reality that a substantial amount of labels is difficult to obtain in real scenarios. In this paper, we explored a new setting called open-world barely-supervised learning (OWBSL), where only a single label was provided for each seen class, greatly reducing labeling costs. To tackle the OWBSL task, we proposed a novel framework that leveraged augmented pseudo-labels generated for the unlabeled data. Specifically, we first generated initial pseudo-labels for the unlabeled data using visual-language models. Subsequently, to ensure that the pseudo-labels remained reliable while being updated during model training, we enhanced them using predictions from weak data augmentation. This way, we obtained the augmented pseudo-labels. Additionally, to fully exploit the information from unlabeled data, we incorporated consistency regularization based on strong and weak augmentations into our framework. Our experimental results on multiple benchmark datasets demonstrated the effectiveness of our method.
Citation: Zhongnian Li, Yanyan Ding, Meng Wei, Xinzheng Xu. Open-world barely-supervised learning via augmented pseudo labels[J]. Electronic Research Archive, 2024, 32(10): 5804-5818. doi: 10.3934/era.2024268
[1] | Yinwan Cheng, Chao Yang, Bing Yao, Yaqin Luo . Neighbor full sum distinguishing total coloring of Halin graphs. AIMS Mathematics, 2022, 7(4): 6959-6970. doi: 10.3934/math.2022386 |
[2] | Baolin Ma, Chao Yang . Distinguishing colorings of graphs and their subgraphs. AIMS Mathematics, 2023, 8(11): 26561-26573. doi: 10.3934/math.20231357 |
[3] | Ningge Huang, Lily Chen . AVD edge-colorings of cubic Halin graphs. AIMS Mathematics, 2023, 8(11): 27820-27839. doi: 10.3934/math.20231423 |
[4] | Huifen Ge, Shumin Zhang, Chengfu Ye, Rongxia Hao . The generalized 4-connectivity of folded Petersen cube networks. AIMS Mathematics, 2022, 7(8): 14718-14737. doi: 10.3934/math.2022809 |
[5] | Kai An Sim, Kok Bin Wong . On the cooling number of the generalized Petersen graphs. AIMS Mathematics, 2024, 9(12): 36351-36370. doi: 10.3934/math.20241724 |
[6] | Fugang Chao, Donghan Zhang . Neighbor sum distinguishing total choice number of IC-planar graphs with restrictive conditions. AIMS Mathematics, 2023, 8(6): 13637-13646. doi: 10.3934/math.2023692 |
[7] | Bana Al Subaiei, Ahlam AlMulhim, Abolape Deborah Akwu . Vertex-edge perfect Roman domination number. AIMS Mathematics, 2023, 8(9): 21472-21483. doi: 10.3934/math.20231094 |
[8] | Yanyi Li, Lily Chen . Injective edge coloring of generalized Petersen graphs. AIMS Mathematics, 2021, 6(8): 7929-7943. doi: 10.3934/math.2021460 |
[9] | Ali Raza, Mobeen Munir, Tasawar Abbas, Sayed M Eldin, Ilyas Khan . Spectrum of prism graph and relation with network related quantities. AIMS Mathematics, 2023, 8(2): 2634-2647. doi: 10.3934/math.2023137 |
[10] | Bao-Hua Xing, Nurten Urlu Ozalan, Jia-Bao Liu . The degree sequence on tensor and cartesian products of graphs and their omega index. AIMS Mathematics, 2023, 8(7): 16618-16632. doi: 10.3934/math.2023850 |
Open-world semi-supervised learning (OWSSL) has received significant attention since it addresses the issue of unlabeled data containing classes not present in the labeled data. Unfortunately, existing OWSSL methods still rely on a large amount of labeled data from seen classes, overlooking the reality that a substantial amount of labels is difficult to obtain in real scenarios. In this paper, we explored a new setting called open-world barely-supervised learning (OWBSL), where only a single label was provided for each seen class, greatly reducing labeling costs. To tackle the OWBSL task, we proposed a novel framework that leveraged augmented pseudo-labels generated for the unlabeled data. Specifically, we first generated initial pseudo-labels for the unlabeled data using visual-language models. Subsequently, to ensure that the pseudo-labels remained reliable while being updated during model training, we enhanced them using predictions from weak data augmentation. This way, we obtained the augmented pseudo-labels. Additionally, to fully exploit the information from unlabeled data, we incorporated consistency regularization based on strong and weak augmentations into our framework. Our experimental results on multiple benchmark datasets demonstrated the effectiveness of our method.
Let G be a simple, non-trivial connected graph with vertex set V(G). For any two distinct vertices u and v in G, u-v geodesic is a shortest walk between u and v without repetition of vertices. Two vertices are said to be adjacent if there is an edge between them, and they are also called neighbors of each other. The collection of all the neighbors of a vertex v in G is called the (open) neighborhood of v, denoted by N(v).
A vertex v of G distinguishes a pair (x,y) of distinct vertices of G, if the number of edges in v-x geodesic is different from the number of edge in v-y geodesic. If (x,y) is a pair of neighbors in G, then v is said to be adjacently distinguish the pair (x,y). Equivalently, a vertex v adjacently distinguishes a pair (x,y) of two neighbors if the difference between the number of edges in v-x geodesic and the number of edges in v-y geodesic is one.
A set D⊆V(G) is a distinguishing set (metric generator) for G if the members of D distinguish every pair of distinct vertices in G. The cardinality of a smallest distinguishing set for G is called the metric dimension of G, denoted by dim(G) [7,23]. The concept of distinguishing set was introduced, very firstly, by Blumenthal [5] in the general context of metric spaces. It was later rediscovered and studied, in the context of graphs, by Slater with the name locating set/reference set [23]. Independently, Harary and Melter studied distinguishing set as resolving set (metric generator) [7,20]. Applications of this notion to the navigation of robots in networks are discussed in [13,21], and applications to pharmaceutical chemistry in [10,11]. For more details about the theory and applications of this notion, we refer the readers to the papers cited in [3,5,8,9,12,13,14,15,19,22] and the references therein.
A set A⊆V(G) is a neighbor-distinguishing set (local metric generator) for G if the members of A adjacently distinguish every pair of neighboring (adjacent) vertices in G. The cardinality of a smallest neighbor-distinguishing set for G is called the adjacency (local) metric dimension of G, and we denote it by dima(G).
The problem of distinguishing every two neighbors with the aid of distance (the number of edges in a geodesic) in a connected graph was introduced and studied by Okamoto et al. in 2010 [16]. Then, up till now, this notion endlessly received remarkable interest of many researchers working with distance in graphs. In 2015 and 2018, every two neighbors in the corona product of graphs are distinguished [6,18], while this problem for strong product and lexicographic product of graphs was solved in 2016 [4] and in 2018 [2,6], respectively. Using the neighbor-distinguishing problem of primary subgraphs, this problem was solved for the super graphs of these subgraphs in 2015 [17]. In 2018, Salman et al. proposed linear programming formulation for this problem and distinguished neighbors in two families of convex polytopes [19]. Recently, in 2019, split graphs of complete and complete bipartite graphs have been considered in the context of this problem [1]. Due to this noteworthy attention of researchers to this problem, we extend this study towards a very renowned family of generalized Petersen graphs in this article. Next, we state two results, proved by Okamoto et al. [16], and Salman et al. [19], respectively, which will be used in the sequel.
Theorem 1. [16] Let G be a non-trivial connected graph of order n. Then dima(G) =n−1 if and only if G is a complete graph, and dima(G)=1 if and only if G is a bipartite graph.
Proposition 2. [19] A subset A of vertices in a connected graph G is a neighbor-distinguishing set for G if and only if for every u∈V(G) and for each v∈N(u), the pair (u,v) adjacently distinguished by some element of A.
Watkins, in 1969 [24], generalized the eminent Petersen graph, and proposed the notation P(n,m) to this generalized family, where n≥3 and 1≤m≤⌊n−12⌋. P(n,m) is a cubic graph having the set
V(P(n,m))={u1,u2,…,un,v1,v2,…,vn} |
as the vertex set, and the set
E(P(n,m))=n⋃i=1{uix,viy;x∈N(ui),y∈N(vi)} |
as the edge set, where N(ui)={ui+1,ui−1,vi} and N(vi)={ui,vi+m,vi−m} for each 1≤i≤n, and the indices greater than n or less than 1 will be taken modulo n. Vertices ui and vi (1≤i≤n) are called the outer vertices and inner vertices, respectively, in P(n,m). Figure 1 depicts graphs to two different families of generalized Petersen graphs.
The rest of the paper is divided into two sections: one is on the family of generalized Petersen graphs P(n,4); and the second is on the family of generalized Petersen graphs P(2n,n−1). These families have been considered in the context of metric dimension problem by Naz et al. [15] and Ahmad et al. [3], respectively. Here, we solve the neighbor-distinguishing problem for these families.
In the next result, we show that only two vertices of P(n,4) perform the neighbor-distinguishing.
Theorem 3. For n≥9, let G be a generalized Petersen graph P(n,4), then a neighbor-distinguishing set for G is a 2-element subset of V(G).
Proof. For n=9, it is an easy exercise to see that the set A={v1,v2} is a neighbor-distinguishing set for G. For n≥10, let A be a 2-element subset of V(G). Then, according to Proposition 2, we would perform neighbor-distinguishing for each pair (x,y), where x∈V(G) and y∈N(x). Note that, if x∈A, then (x,y) is adjacently distinguished, because the number of edges in y−x geodesic is 1, while the number of edges in x−x geodesic is 0. Now, we discuss the following eight cases:
Case 1: (n=8k with k≥2)
Let A={v1=a1,v3=a2}, then
● the number of edges in u1−a2 geodesic is 3,
● the number of edges in u2−a2 geodesic is 2,
● the number of edges in v1−a2 geodesic is 4,
● the number of edges in v2−a2 geodesic is 3.
Further, Tables 1 and 2 provide the lists of number of edges in x−a1 and x−a2 geodesics for all x∈V(G)−A.
Geodesic | The number of edges in the geodesic | |||
ui−a | i≡0 (mod 4) | i≡1 (mod 4) | i≡2 (mod 4) | i≡3 (mod 4) |
n=8k with k≥2, and A={v1=a1,v3=a2} | ||||
ui−a1, 1≤i≤4k+1 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+2≤i≤n | n−i+84 | n−i+54 | n−i+104 | n−i+114 |
ui−a2, 3≤i≤4k+3 | i+44 | i+74 | i+64 | i+14 |
ui−a2, 4k+4≤i≤n | n−i+124 | n−i+134 | n−i+104 | n−i+74 |
n=8k+1 with k≥2, and A={v1=a1,v4=a2} | ||||
ui−a1, 1≤i≤4k+1 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+2≤i≤n | n−i+114 | n−i+84 | n−i+54 | n−i+104 |
ui−a2, 4≤i≤5k+1 | i4 | i+34 | i+64 | i+54 |
ui−a2, 5k+2≤i≤n | n−i+114 | n−i+84 | n−i+134 | n−i+144 |
n=8k+2 with k≥1, and A={v1=a1,v2=a2} | ||||
ui−a1, 1≤i≤4k+2 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+3≤i≤n | n−i+104 | n−i+114 | n−i+84 | n−i+54 |
ui−a2, 2≤i≤4k+3 | i+84 | i+74 | i+24 | i+54 |
ui−a2, 4k+4≤i≤n | n−i+64 | n−i+114 | n−i+124 | n−i+94 |
n=8k+3 with k≥1, and A={v1=a1,v3=a2} | ||||
ui−a1, 1≤i≤4k+2 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+3≤i≤n | n−i+54 | n−i+104 | n−i+114 | n−i+84 |
ui−a2, 3≤i≤5k | i+44 | i+74 | i+64 | i+14 |
ui−a2, 5k+1≤i≤n | n−i+134 | n−i+104 | n−i+74 | n−i+124 |
n=8k+4 with k≥1, and A={v1=a1,v4=a2} | ||||
ui−a1, 1≤i≤4k+3 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+4≤i≤n | n−i+84 | n−i+54 | n−i+104 | n−i+114 |
ui−a2, 3≤i≤5k+2 | i4 | i+34 | i+64 | i+54 |
ui−a2, 5k+3≤i≤n | n−i+84 | n−i+134 | n−i+144 | n−i+114 |
n=8k+5 with k≥1, and A={v1=a1,v2=a2} | ||||
ui−a1, 1≤i≤5k+1 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 5k+2≤i≤n | n−i+114 | n−i+84 | n−i+54 | n−i+104 |
ui−a2, 2≤i≤5k+2 | i+84 | i+74 | i+24 | i+54 |
ui−a2, 5k+3≤i≤n | n−i+114 | n−i+124 | n−i+94 | n−i+64 |
n=8k+6 with k≥1, and A={v1=a1,v2=a2} | ||||
ui−a1, 1≤i≤4k+2 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+6≤i≤n | n−i+104 | n−i+114 | n−i+84 | n−i+54 |
ui−a2, 1≤i≤4k+3 | i+84 | i+74 | i+24 | i+54 |
ui−a2, 4k+7≤i≤n | n−i+64 | n−i+114 | n−i+124 | n−i+94 |
n=8k+7 with k≥1, and A={v1=a1,v3=a2} | ||||
ui−a1, 1≤i≤4k+3 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+6≤i≤n | n−i+54 | n−i+104 | n−i+114 | n−i+84 |
ui−a2, 2≤i≤5k+1 | i+44 | i+74 | i+64 | i+14 |
ui−a2, 5k+4≤i≤n | n−i+134 | n−i+104 | n−i+74 | n−i+124 |
Geodesic | The number of edges in the geodesic. | |||
vi−a | i≡0 (mod 4) | i≡1 (mod 4) | i≡2 (mod 4) | i≡3 (mod 4) |
n=8k with k≥2, and A={v1=a1,v3=a2} | ||||
vi−a1, 1≤i≤4k+1 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 4k+2≤i≤n | n−i+124 | n−i+14 | n−i+144 | n−i+154 |
vi−a2, 3≤i≤4k+3 | i+84 | i+114 | i+104 | i−34 |
vi−a2, 4k+4≤i≤n | n−i+164 | n−i+174 | n−i+144 | n−i+34 |
n=8k+1 with k≥2, and A={v1=a1,v4=a2} | ||||
vi−a1, 1≤i≤3k+1 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+10≤i≤n | n−i+154 | n−i+124 | n−i+14 | n−i+144 |
vi−a2, 4≤i≤4k | i−44 | i+74 | i+104 | i+94 |
vi−a2, 4k+6≤i≤n | n−i+154 | n−i+44 | n−i+174 | n−i+184 |
n=8k+2 with k≥1, and A={v1=a1,v2=a2} | ||||
vi−a1, 1≤i≤3k+2 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+10≤i≤n | n−i+144 | n−i+154 | n−i+124 | n−i+14 |
vi−a2, 2≤i≤3k+3 | i+124 | i+114 | i−24 | i+94 |
vi−a2, 3k+11≤i≤n | n−i+24 | n−i+154 | n−i+164 | n−i+134 |
n=8k+3 with k≥1, and A={v1=a1,v3=a2} | ||||
vi−a1, 1≤i≤3k+3 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+10≤i≤n | n−i+14 | n−i+144 | n−i+154 | n−i+124 |
vi−a2, 3≤i≤4k+1 | i+84 | i+114 | i+104 | i−34 |
vi−a2, 4k+8≤i≤n | n−i+174 | n−i+144 | n−i+34 | n−i+164 |
n=8k+4 with k≥1, and A={v1=a1,v4=a2} | ||||
vi−a1, 1≤i≤4k+3 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 4k+4≤i≤n | n−i+124 | n−i+14 | n−i+144 | n−i+154 |
vi−a2, 3≤i≤5k+2 | i−44 | i+74 | i+104 | i+94 |
vi−a2, 5k+3≤i≤n | n−i+44 | n−i+174 | n−i+184 | n−i+154 |
n=8k+5 with k≥1, and A={v1=a1,v2=a2} | ||||
vi−a1, 1≤i≤4k+1 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 4k+6≤i≤n | n−i+154 | n−i+124 | n−i+14 | n−i+144 |
vi−a2, 2≤i≤4k+2 | i+124 | i+114 | i−24 | i+94 |
vi−a2, 4k+7≤i≤n | n−i+154 | n−i+164 | n−i+134 | n−i+24 |
n=8k+6 with k≥1, and A={v1=a1,v2=a2} | ||||
vi−a1, 1≤i≤3k+2 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+14≤i≤n | n−i+144 | n−i+154 | n−i+124 | n−i+14 |
vi−a2, 1≤i≤3k+3 | i+124 | i+114 | i−24 | i+94 |
vi−a2, 3k+15≤i≤n | n−i+24 | n−i+154 | n−i+164 | n−i+134 |
n=8k+7 with k≥1, and A={v1=a1,v3=a2} | ||||
vi−a1, 1≤i≤3k+3 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+14≤i≤n | n−i+14 | n−i+144 | n−i+154 | n−i+124 |
vi−a2, 2≤i≤4k+1 | i+84 | i+114 | i+104 | i−34 |
vi−a2, 4k+12≤i≤n | n−i+174 | n−i+144 | n−i+34 | n−i+164 |
Case 2: (n=8k+1 with k≥2)
Let A={v1=a1,v4=a2}, then
● the number of edges in u1−a2 geodesic is 3,
● the number of edges in u2−a2 geodesic is 3,
● the number of edges in u3−a2 geodesic is 2.
Further, Tables 1–3 provide the lists of number of edges in x−a1 and x−a2 geodesics for all x∈V(G)−A.
i | 3k+2≡2(mod 4) | 3k+3≡3(mod 4) | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) |
λi | 5k4 | 3k+164 | 3k+164 | 3k+44 | 5k−44 | 5k+84 | 5k+84 | 3k+84 |
j | 1 | 2 | 3 | 4k+1≡1(mod 4) | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) |
λj | 4 | 4 | 3 | k+1 | k+3 | k+3 | k | k |
Case 3: (n=8k+2 with k≥1)
Let A={v1=a1,v2=a2}, then
● the number of edges in u2−a2 geodesic is 2.
Further, Tables 1, 2 and 4 provide the lists of number of edges in x−a1 and x−a2 geodesics for all x∈V(G)−A.
i | 3k+3≡3(mod 4) | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | − | − |
λi | 5k4 | 3k+164 | 3k+44 | 3k+164 | 5k−44 | 5k+84 | 3k+84 | − | − |
j | 1 | 2 | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) |
λj | 3 | 0 | 5k4 | 3k+164 | 3k+44 | 5k+84 | 5k−44 | 5k+84 | 3k+84 |
Case 4: (n=8k+3 with k≥1)
Let A={v1=a1,v3=a2}, then
● the number of edges in u1−a2 geodesic is 3,
● the number of edges in u2−a2 geodesic is 2.
Further, Tables 1, 2 and 5 provide the lists of number of edges in x−a1 and x−a2 geodesics for all x∈V(G)−A.
i | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | − | − |
λi | 5k4 | 3k+44 | 3k+164 | 5k+84 | 5k−44 | 3k+84 | − | − |
j | 1 | 2 | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) | 4k+6≡2(mod 4) | 4k+7≡3(mod 4) |
λj | 4 | 3 | k+1 | k | k+3 | k+3 | k | k+1 |
Case 5: (n=8k+4 with k≥1)
Let A={v1=a1,v4=a2}, then
● the number of edges in v1−a2 geodesic is 4,
● the number of edges in v2−a2 geodesic is 4,
● the number of edges in u1−a2 geodesic is 3,
● the number of edges in u2−a2 geodesic is 3.
Moreover, Tables 1 and 2 provide the lists of number of edges in x−a1 and x−a2 geodesics for all x∈V(G)−A.
Case 6: (n=8k+5 with k≥1)
Let A={v1=a1,v2=a2}, then
● the number of edges in u1−a2 geodesic is 2,
● the number of edges in v1−a2 geodesic is 3.
Further, Tables 1, 2 and 6 provide the lists of number of edges in x−a1 and x−a2 geodesics for all x∈V(G)−A.
i | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) |
λi | k+1 | k+4 | k+4 | k+1 |
j | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) | 4k+6≡2(mod 4) |
λj | k+1 | k+4 | k+4 | k+1 |
Case 7: (n=8k+6 with k≥1)
Let A={v1=a1,v2=a2}, then
● the number of edges in v3k+3−a1 geodesic is 5k+44≡3(mod 4),
● the number of edges in v3k+4−a2 geodesic is 5k+44≡0(mod 4),
● the number of edges in u4k+3−a1 geodesic is k+2,
● the number of edges in u4k+4−a1 geodesic is k+3,
● the number of edges in u4k+5−a1 geodesic is k+2,
● the number of edges in u4k+4−a2 geodesic is k+2,
● the number of edges in u4k+5−a2 geodesic is k+3,
● the number of edges in u4k+6−a2 geodesic is k+2.
Further, Tables 1, 2 and 7 provide the lists of number of edges in x−a1 and x−a2 geodesics for all x∈V(G)−A.
i | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) | 3k+11≡3(mod 4) | 3k+12≡0(mod 4) | 3k+13≡1(mod 4) |
λi | 3k+164 | 3k+44 | 3k+164 | 5k4 | 3k+204 | 3k+84 | 5k+64 | 5k−44 | 5k+84 | 3k+124 |
j | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) | 3k+11≡3(mod 4) | 3k+12≡0(mod 4) | 3k+13≡1(mod 4) | 3k+14≡2(mod 4) |
λj | 3k+164 | 3k+44 | 3k+164 | 5k4 | 3k+204 | 3k+84 | 5k+84 | 5k−44 | 5k+84 | 3k+124 |
Case 8: (n=8k+7 with k≥1)
Let A={v1=a1,v3=a2}, then
● the number of edges in v1−a2 geodesic is 4,
● the number of edges in u4k+4−a1 geodesic is k+2,
● the number of edges in u4k+5−a1 geodesic is k+2,
● the number of edges in u1−a2 geodesic is 3,
● the number of edges in u5k+2−a2 geodesic is 3k+124≡2(mod 4),
● the number of edges in u5k+3−a2 geodesic is 5k+44≡3(mod 4).
Moreover, Tables 1, 2 and 8 provide the lists of number of edges in x−a1 and x−a2 geodesics for all x∈V(G)−A.
i | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) | 3k+11≡3(mod 4) | 3k+12≡0(mod 4) | 3k+13≡1(mod 4) |
λi | 5k+44 | 3k+44 | 3k+164 | 3k+204 | 5k4 | 3k+84 | 3k+84 | 5k+124 | 5k+84 | 5k−44 |
j | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) | 4k+6≡2(mod 4) | 4k+7≡3(mod 4) | 4k+8≡0(mod 4) | 4k+9≡1(mod 4) | 4k+10≡2(mod 4) | 4k+11≡3(mod 4) |
λj | k+2 | k | k+3 | k+4 | k+1 | k+1 | k+4 | k+3 | k | k+2 |
In all of these eight cases, for y∈N(x), if we denote
● the number of edges in x−a1 geodesic by α1,
● the number of edges in y−a1 geodesic by β1,
● the number of edges in x−a2 geodesic by α2,
● the number of edges in y−a2 geodesic by β2,
then it can be seen that
either|α1−β1|=1wheneverα2=β2,or|α2−β2|=1wheneverα1=β1, |
which implies that either a1∈A or a2∈A adjacently distinguishes the pair (x,y). Hence, A is a neighbor-distinguishing set for G.
Theorem 4. For n≥9, if G is a generalized Petersen graph P(n,4), then dima(G)=2.
Proof. Since dima(G)=1 if and only if G is a bipartite graph, by Theorem 1. So dima(G)≥2, because G is not a bipartite graph. Hence, we get the required result, by Theorem 3.
The results of this section provide the solution of the problem of neighbor-distinguishing in the generalized Petersen graphs P(2n,n−1).
Theorem 5. For all n≥3, if G is a generalized Petersen graph P(2n,n−1), then the set A={u1,vn−1} is a neighbor-distinguishing set for G.
Proof. According to Proposition 2, we have to perform neighbor-distinguishing for each pair (x,y), where x∈V(G) and y∈N(x). When x∈A, then the pair (x,y) adjacently distinguished by x, because the number of edges in y−x geodesic is 1 while the number of edges in x−x geodesic is 0. Further, Table 9 provides the list of number of edges in x−u1 and x−vn−1 geodesics for all x∈V(G)−A.
Geodesic | The number of edges in the geodesics | |||||
When n=2k+1, k≥1 | ||||||
For i/geodesics | ui−u1 | ui−vn−1 | vi−u1 i is odd | vi−u1 i is even | vi−vn−1 i is odd | vi−vn−1 i is even |
1≤i≤k−1 | i−1 | i+2 | i | i | i+3 | i+1 |
k≤i≤k+1 | i−1 | 2k−i+1 | i | i | 2k−i+2 | 2k−i |
i=k+2 | n+12 | k−1 | n+12 | n+12 | 2k−i+2 | 2k−i |
k+3≤i≤2k | 2k−i+4 | 2k−i+1 | 2k−i+3 | 2k−i+3 | 2k−i+2 | 2k−i |
i=2k+1 | i−2k+2 | i−2k+1 | i−2k+1 | i−2k+1 | i−2k+2 | i−2k+2 |
i=2k+2 | 4 | i−n+2 | 3 | 3 | i−2k | i−2k |
2k+3≤i≤3k | i−2k | i−2k+1 | i−2k−1 | i−2k−1 | i−2k+2 | i−2k |
i=3k+1 | i−2k | i−n+1 | i−n | i−n | k+2 | k |
i=3k+2 | n+12 | k | i−n | i−n | k+1 | k−1 |
3k+3≤i≤4k | 2n−i+1 | 4k−i+2 | 2n−i+2 | 2n−i+2 | 4k−i+3 | 4k−i+1 |
i=2n−1 | 2 | 3 | 3 | 3 | 4 | 4 |
i=2n | 1 | 2 | 2 | 2 | 1 | 1 |
When n=2k, k≥2 | ||||||
1≤i≤k−2 | i−1 | i+2 | i | i | i+3 | i+1 |
i=k−1 | i−1 | n−i | i | i | k | k |
k≤i≤k+1 | i−1 | n−i | i | i | 2k−i−1 | 2k−i+1 |
i=k+2 | i−1 | n−i | n2 | n2 | n−i−1 | n−i+1 |
k+3≤i≤2k−1 | 2k−i+3 | 2k−i | 2k−i+2 | 2k−i+2 | 2k−i−1 | 2k−i+1 |
i=2k | 3 | 2 | 2 | 2 | 3 | 3 |
i=2k+1 | 4 | 3 | 3 | 3 | 2 | 2 |
2k+2≤i≤3k−2 | i−2k+1 | i−2k+2 | i−2k | i−2k | i−2k+1 | i−2k+3 |
i=3k−1 | i−2k+1 | i−2k+2 | i−2k | i−2k | k | k |
3k≤i≤3k+1 | 2n−i+1 | 4k−i | i−2k | i−2k | 4k−i+1 | 4k−i−1 |
i=3k+2 | k−1 | k−2 | n2 | n2 | 4k−i+1 | 4k−i−1 |
3k+3≤i≤4k−2 | 2n−i+1 | 4k−i | 2n−i+2 | 2n−i+2 | 4k−i+1 | 4k−i−1 |
i=2n−1 | 2 | 3 | 3 | 3 | 4 | 4 |
i=2n | 1 | 2 | 2 | 2 | 1 | 1 |
Now, for any y∈N(x), if we denote
● the number of edges in x−u1 geodesic by α1,
● the number of edges in y−u1 geodesic by β1,
● the number of edges in x−vn−1 geodesic by α2,
● the number of edges in y−vn−1 geodesic by β2,
then it can be seen that
either|α1−β1|=1wheneverα2=β2,or|α2−β2|=1wheneverα1=β1, |
which implies that either u1∈A or vn−1∈A adjacently distinguishes the pair (x,y). Hence, A is a neighbor-distinguishing set for G.
Theorem 6. For n≥3, if G is a generalized Petersen graph P(2n,n−1), then dima(G)=2.
Proof. Since dima(G)=1 if and only if G is a bipartite graph, by Theorem 1. So dima(G)≥2, because G is not a bipartite graph. Hence, we get the required result, by Theorem 5.
Distinguishing every two vertices in a graph is an eminent problem in graph theory. Many graph theorists have been shown remarkable interest to solve this problem with the aid of distance (the number of edges in a geodesic) from last four decades. Using the technique of finding geodesics between vertices, we solved the problem of distinguishing every two neighbors in generalized Petersen graphs P(n,4) and P(2n,n−1). We investigated that, in both the families of generalized Petersen graphs, only two vertices are adequate to distinguish every two neighbors.
The authors are grateful to the editor and anonymous referees for their comments and suggestions to improve the quality of this article. This research is supported by Balochistan University of Engineering and Technology Khuzdar, Khuzdar 89100, Pakistan.
The authors declare that they have no conflict of interest.
[1] | D. Berthelot, N. Carlini, I. Goodfellow, N. Papernot, A. Oliver, C. A. Raffel, Mixmatch: A holistic approach to semi-supervised learning, Adv. Neural Inf. Process. Syst., 32 (2019). |
[2] | D. Berthelot, N. Carlini, E. D. Cubuk, A. Kurakin, K. Sohn, H. Zhang, et al., Remixmatch: Semi-supervised learning with distribution alignment and augmentation anchoring, preprint, arXiv: 1911.09785. https://doi.org/10.48550/arXiv.1911.09785 |
[3] |
Z. Peng, S. Tian, L. Yu, D. Zhang, W. Wu, S. Zhou, Semi-supervised medical image classification with adaptive threshold pseudo-labeling and unreliable sample contrastive loss, Biomed. Signal Process. Control, 79 (2023), 104142. https://doi.org/10.1016/j.bspc.2022.104142 doi: 10.1016/j.bspc.2022.104142
![]() |
[4] | Y. Wang, H. Wang, Y. Shen, J. Fei, W. Li, G. Jin, et al., Semi-Supervised Semantic Segmentation Using Unreliable Pseudo-Labels, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, (2022), 4238–4247. https://doi.org/10.1109/CVPR52688.2022.00421 |
[5] | H. Xu, L. Liu, Q. Bian, Z. Yang, Semi-supervised semantic segmentation with prototype-based consistency regularization, Adv. Neural Inf. Process. Syst., 35 (2022), 26007–26020. |
[6] | H. Mai, R. Sun, T. Zhang, F. Wu, RankMatch: Exploring the better consistency regularization for semi-supervised semantic segmentation, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, (2024), 3391–3401. https://doi.org/10.1109/CVPR52733.2024.00326 |
[7] | H. Wang, Z. Zhang, J. Gao, W. Hu, A-teacher: Asymmetric network for 3D semi-supervised object detection, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, (2024), 14978–14987. https://doi.org/10.1109/CVPR52733.2024.01419 |
[8] | M. Xu, Z. Zhang, H. Hu, J. Wang, L. Wang, F. Wei, et al., End-to-end semi-supervised object detection with soft teacher, in Proceedings of the IEEE/CVF International Conference on Computer Vision, (2021), 3060–3069. https://doi.org/10.1109/ICCV48922.2021.00305 |
[9] | J. Zhang, X. Lin, W. Zhang, K. Wang, X. Tan, J. Han, et al., Semi-detr: Semi-supervised object detection with detection transformers, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, (2023), 23809–23818. https://doi.org/10.1109/CVPR52729.2023.02280 |
[10] | T. Sosea, C. Caragea, MarginMatch: Improving semi-supervised learning with pseudo-margins, in IEEE/CVF Conference on Computer Vision and Pattern Recognition, (2023), 15773–15782. https://doi.org/10.1109/CVPR52729.2023.01514 |
[11] | Y. Wang, H. Chen, Q. Heng, W. Hou, Y. Fan, Z. Wu, et al., FreeMatch: Self-adaptive thresholding for semi-supervised learning, in The Eleventh International Conference on Learning Representations, 2023. |
[12] | K. Cao, M. Brbic, J. Leskovec, Open-world semi-supervised learning, preprint, arXiv: 2102.03526. https://doi.org/10.48550/arXiv.2102.03526 |
[13] | L. Guo, Y. Zhang, Z. Wu, J. Shao, Y. Li, Robust semi-supervised learning when not all classes have labels, Adv. Neural Inf. Process. Syst., 35 (2022), 3305–3317. |
[14] | A. Radford, J. W. Kim, C. Hallacy, A. Ramesh, G. Goh, S. Agarwal, et al., Learning transferable visual models from natural language supervision, in International Conference on Machine Learning, 139 (2021), 8748–8763. |
[15] | D. H. Lee, Pseudo-label: The simple and efficient semi-supervised learning method for deep neural networks, in Workshop on Challenges in Representation Learning, ICML, 3 (2013), 896. |
[16] | P. Cascante-Bonilla, F. Tan, Y. Qi, V. Ordonez, Curriculum Labeling: Revisiting Pseudo-Labeling for Semi-Supervised Learning, in Proceedings of the AAAI Conference on Artificial Intelligence, 35 (2021), 6912–6920. https://doi.org/10.1609/aaai.v35i8.16852 |
[17] | J. Hu, C. Chen, L. Cao, S. Zhang, A. Shu, J. Jiang, et al., Pseudo-label alignment for semi-supervised instance segmentation, in Proceedings of the IEEE/CVF International Conference on Computer Vision, (2023), 16337–16347. https://doi.org/10.1109/ICCV51070.2023.01497 |
[18] | J. Li, C. Xiong, S. C. Hoi, Comatch: Semi-supervised learning with contrastive graph regularization, in Proceedings of the IEEE/CVF International Conference on Computer Vision, (2021), 9475–9484. https://doi.org/10.1109/ICCV48922.2021.00934 |
[19] | E. Arazo, D. Ortego, P. Albert, N. E. O'Connor, K. McGuinness, Pseudo-labeling and confirmation bias in deep semi-supervised learning, in Proceedings of the 2020 International Joint Conference on Neural Networks, (2020), 1–8. https://doi.org/10.1109/ijcnn48605.2020.9207304 |
[20] | S. Laine, T. Aila, Temporal ensembling for semi-supervised learning, preprint, arXiv: 1610.02242. https://doi.org/10.48550/arXiv.1610.02242 |
[21] | A. Tarvainen, H. Valpola, Mean teachers are better role models: Weight-averaged consistency targets improve semi-supervised deep learning results, Adv. Neural Inf. Process. Syst., 30 (2017). |
[22] | Q. Xie, Z. Dai, E. Hovy, T. Luong, Q. Le, Unsupervised Data Augmentation for Consistency Training, Adv. Neural Inf. Process. Syst., 33 (2020), 6256–6268. |
[23] |
Y. Fan, A. Kukleva, D. Dai, B. Schiele Revisiting consistency regularization for semi-supervised learning, Int. J. Comput. Vision, 131 (2023), 626–643. https://doi.org/10.1007/s11263-022-01723-4 doi: 10.1007/s11263-022-01723-4
![]() |
[24] | K. Sohn, D. Berthelot, N. Carlini, Z. Zhang, H. Zhang, C. A. Raffel, et al., Fixmatch: Simplifying semi-supervised learning with consistency and confidence, Adv. Neural Inf. Process. Syst., 33 (2020), 596–608. |
[25] | B. Zhang, Y. Wang, W. Hou, H. Wu, J. Wang, M. Okumura, et al., Flexmatch: Boosting semi-supervised learning with curriculum pseudo labeling, Adv. Neural Inf. Process. Syst., 34 (2021), 18408–18419. |
[26] | I. Nassar, M. Hayat, E. Abbasnejad, H. Rezatofighi, G. Haffari, Protocon: Pseudo-label refinement via online clustering and prototypical consistency for efficient semi-supervised learning, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, (2023), 11641–11650. https://doi.org/10.1109/CVPR52729.2023.01120 |
[27] | Y. Chen, X. Tan, B. Zhao, Z. Chen, R. Song, J. Liang, et al., Boosting semi-supervised learning by exploiting all unlabeled data, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, (2023), 7548–7557. https://doi.org/10.1109/CVPR52729.2023.00729 |
[28] | J. Park, S. Yun, J. Jeong, J. Shin, Opencos: Contrastive semi-supervised learning for handling open-set unlabeled data, in European Conference on Computer Vision, (2022), 134–149. https://doi.org/10.1007/978-3-031-25063-7_9 |
[29] | S. Mo, J. Su, C. Ma, M. Assran, I. Misra, L. Yu, et al., Ropaws: Robust semi-supervised representation learning from uncurated data, preprint, arXiv: 2302.14483. https://doi.org/10.48550/arXiv.2302.14483 |
[30] | T. Lucas, P. Weinzaepfel, G. Rogez, Barely-supervised learning: Semi-supervised learning with very few labeled images, in Thirty-Sixth AAAI Conference on Artificial Intelligence, (2022), 1881–1889. https://doi.org/10.1609/aaai.v36i2.20082 |
[31] | G. Gui, Z. Zhao, L. Qi, L. Zhou, L. Wang, Y. Shi, Improving barely supervised learning by discriminating unlabeled samples with super-class, Adv. Neural Inf. Process. Syst., 35 (2022), 19849–19860. |
[32] | Y. Sun, Y. Li, Opencon: Open-world contrastive learning, preprint, arXiv: 2208.02764. https://doi.org/10.48550/arXiv.2208.02764 |
[33] | M. N. Rizve, N. Kardan, M. Shah, Towards realistic semi-supervised learning, in European Conference on Computer Vision, (2022), 437–455. https://doi.org/10.1007/978-3-031-19821-2_25 |
[34] | Y. Wang, Z. Zhong, P. Qiao, X. Cheng, X. Zheng, C. Liu, et al., Discover and align taxonomic context priors for open-world semi-supervised learning, Adv. Neural Inf. Process. Syst., 36 (2024). |
[35] | S. Vaze, K. Han, A. Vedaldi, A. Zisserman, Generalized category discovery, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, (2022), 7492–7501. https://doi.org/10.1109/CVPR52688.2022.00734 |
[36] | X. Wen, B. Zhao, X. Qi, Parametric classification for generalized category discovery: A baseline study, in Proceedings of the IEEE/CVF International Conference on Computer Vision, (2023), 16590–16600. https://doi.org/10.1109/ICCV51070.2023.01521 |
[37] | B. Zhao, X. Wen, K. Han, Learning semi-supervised gaussian mixture models for generalized category discovery, in Proceedings of the IEEE/CVF International Conference on Computer Vision, (2023), 16623–16633. https://doi.org/10.1109/ICCV51070.2023.01524 |
[38] |
K. Zhou, J. Yang, C. C. Loy, Z. Liu, Learning to prompt for vision-language models, Int. J. Comput. Vision, 130 (2022), 2337–2348. https://doi.org/10.1007/s11263-022-01653-1 doi: 10.1007/s11263-022-01653-1
![]() |
[39] | K. Zhou, J. Yang, C. C. Loy, Z. Liu, Conditional prompt learning for vision-language models, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, (2022), 16816–16825. https://doi.org/10.1109/CVPR52688.2022.01631 |
[40] |
P. Gao, S. Geng, R. Zhang, T. Ma, R. Fang, Y. Zhang, et al., Clip-adapter: Better vision-language models with feature adapters, Int. J. Comput. Vision, 132 (2024), 581–595. https://doi.org/10.1007/s11263-023-01891-x doi: 10.1007/s11263-023-01891-x
![]() |
[41] | R. Zhang, R. Fang, W. Zhang, P. Gao, K. Li, J. Dai, et al., Tip-adapter: Training-free clip-adapter for better vision-language modeling, preprint, arXiv: 2111.03930. https://doi.org/10.48550/arXiv.2111.03930 |
[42] | A. Krizhevsky, Learning Multiple Layers of Features from Tiny Images, Master's thesis, University of Tront, 2009. |
[43] | Y. Le, X. Yang, Tiny ImageNet Visual Recognition Challenge, CS 231N, 7 (2015), 3. |
[44] | F. Li, F. Rob, P. Pietro, Learning generative visual models from few training examples: An incremental bayesian approach tested on 101 object categories, in 2004 Conference on Computer Vision and Pattern Recognition Workshop, (2004), 178–178. https://doi.org/10.1016/j.cviu.2005.09.012 |
[45] | L. Bossard, M. Guillaumin, L. V. Gool, Food-101-mining discriminative components with random forests, in ECCV 2014, (2014), 446–461. https://doi.org/10.1007/978-3-319-10599-4_29 |
[46] | I. Loshchilov, F. Hutter, Decoupled weight decay regularization, preprint, arXiv: 1711.05101. https://doi.org/10.48550/arXiv.1711.05101 |
[47] | E. D. Cubuk, B. Zoph, J. Shlens, Q. V. Le, Randaugment: Practical automated data augmentation with a reduced search space, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, (2020), 702–703. https://doi.org/10.1109/CVPRW50498.2020.00359 |
[48] | T. DeVries, Improved regularization of convolutional neural networks with cutout, preprint, arXiv: 1708.04552. https://doi.org/10.48550/arXiv.1708.04552 |
[49] | H. Wang, G. Pang, P. Wang, L. Zhang, W. Wei, Y.Zhang, Glocal energy-based learning for few-shot open-set recognition, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, (2023), 7507–7516. https://doi.org/10.1109/CVPR52729.2023.00725 |
1. | 莉 周, Vertex Reducible Edge (Total) Coloring of Two Classes of Generalized Petersen Graph, 2023, 13, 2160-7583, 1851, 10.12677/PM.2023.136188 |
Geodesic | The number of edges in the geodesic | |||
ui−a | i≡0 (mod 4) | i≡1 (mod 4) | i≡2 (mod 4) | i≡3 (mod 4) |
n=8k with k≥2, and A={v1=a1,v3=a2} | ||||
ui−a1, 1≤i≤4k+1 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+2≤i≤n | n−i+84 | n−i+54 | n−i+104 | n−i+114 |
ui−a2, 3≤i≤4k+3 | i+44 | i+74 | i+64 | i+14 |
ui−a2, 4k+4≤i≤n | n−i+124 | n−i+134 | n−i+104 | n−i+74 |
n=8k+1 with k≥2, and A={v1=a1,v4=a2} | ||||
ui−a1, 1≤i≤4k+1 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+2≤i≤n | n−i+114 | n−i+84 | n−i+54 | n−i+104 |
ui−a2, 4≤i≤5k+1 | i4 | i+34 | i+64 | i+54 |
ui−a2, 5k+2≤i≤n | n−i+114 | n−i+84 | n−i+134 | n−i+144 |
n=8k+2 with k≥1, and A={v1=a1,v2=a2} | ||||
ui−a1, 1≤i≤4k+2 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+3≤i≤n | n−i+104 | n−i+114 | n−i+84 | n−i+54 |
ui−a2, 2≤i≤4k+3 | i+84 | i+74 | i+24 | i+54 |
ui−a2, 4k+4≤i≤n | n−i+64 | n−i+114 | n−i+124 | n−i+94 |
n=8k+3 with k≥1, and A={v1=a1,v3=a2} | ||||
ui−a1, 1≤i≤4k+2 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+3≤i≤n | n−i+54 | n−i+104 | n−i+114 | n−i+84 |
ui−a2, 3≤i≤5k | i+44 | i+74 | i+64 | i+14 |
ui−a2, 5k+1≤i≤n | n−i+134 | n−i+104 | n−i+74 | n−i+124 |
n=8k+4 with k≥1, and A={v1=a1,v4=a2} | ||||
ui−a1, 1≤i≤4k+3 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+4≤i≤n | n−i+84 | n−i+54 | n−i+104 | n−i+114 |
ui−a2, 3≤i≤5k+2 | i4 | i+34 | i+64 | i+54 |
ui−a2, 5k+3≤i≤n | n−i+84 | n−i+134 | n−i+144 | n−i+114 |
n=8k+5 with k≥1, and A={v1=a1,v2=a2} | ||||
ui−a1, 1≤i≤5k+1 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 5k+2≤i≤n | n−i+114 | n−i+84 | n−i+54 | n−i+104 |
ui−a2, 2≤i≤5k+2 | i+84 | i+74 | i+24 | i+54 |
ui−a2, 5k+3≤i≤n | n−i+114 | n−i+124 | n−i+94 | n−i+64 |
n=8k+6 with k≥1, and A={v1=a1,v2=a2} | ||||
ui−a1, 1≤i≤4k+2 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+6≤i≤n | n−i+104 | n−i+114 | n−i+84 | n−i+54 |
ui−a2, 1≤i≤4k+3 | i+84 | i+74 | i+24 | i+54 |
ui−a2, 4k+7≤i≤n | n−i+64 | n−i+114 | n−i+124 | n−i+94 |
n=8k+7 with k≥1, and A={v1=a1,v3=a2} | ||||
ui−a1, 1≤i≤4k+3 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+6≤i≤n | n−i+54 | n−i+104 | n−i+114 | n−i+84 |
ui−a2, 2≤i≤5k+1 | i+44 | i+74 | i+64 | i+14 |
ui−a2, 5k+4≤i≤n | n−i+134 | n−i+104 | n−i+74 | n−i+124 |
Geodesic | The number of edges in the geodesic. | |||
vi−a | i≡0 (mod 4) | i≡1 (mod 4) | i≡2 (mod 4) | i≡3 (mod 4) |
n=8k with k≥2, and A={v1=a1,v3=a2} | ||||
vi−a1, 1≤i≤4k+1 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 4k+2≤i≤n | n−i+124 | n−i+14 | n−i+144 | n−i+154 |
vi−a2, 3≤i≤4k+3 | i+84 | i+114 | i+104 | i−34 |
vi−a2, 4k+4≤i≤n | n−i+164 | n−i+174 | n−i+144 | n−i+34 |
n=8k+1 with k≥2, and A={v1=a1,v4=a2} | ||||
vi−a1, 1≤i≤3k+1 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+10≤i≤n | n−i+154 | n−i+124 | n−i+14 | n−i+144 |
vi−a2, 4≤i≤4k | i−44 | i+74 | i+104 | i+94 |
vi−a2, 4k+6≤i≤n | n−i+154 | n−i+44 | n−i+174 | n−i+184 |
n=8k+2 with k≥1, and A={v1=a1,v2=a2} | ||||
vi−a1, 1≤i≤3k+2 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+10≤i≤n | n−i+144 | n−i+154 | n−i+124 | n−i+14 |
vi−a2, 2≤i≤3k+3 | i+124 | i+114 | i−24 | i+94 |
vi−a2, 3k+11≤i≤n | n−i+24 | n−i+154 | n−i+164 | n−i+134 |
n=8k+3 with k≥1, and A={v1=a1,v3=a2} | ||||
vi−a1, 1≤i≤3k+3 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+10≤i≤n | n−i+14 | n−i+144 | n−i+154 | n−i+124 |
vi−a2, 3≤i≤4k+1 | i+84 | i+114 | i+104 | i−34 |
vi−a2, 4k+8≤i≤n | n−i+174 | n−i+144 | n−i+34 | n−i+164 |
n=8k+4 with k≥1, and A={v1=a1,v4=a2} | ||||
vi−a1, 1≤i≤4k+3 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 4k+4≤i≤n | n−i+124 | n−i+14 | n−i+144 | n−i+154 |
vi−a2, 3≤i≤5k+2 | i−44 | i+74 | i+104 | i+94 |
vi−a2, 5k+3≤i≤n | n−i+44 | n−i+174 | n−i+184 | n−i+154 |
n=8k+5 with k≥1, and A={v1=a1,v2=a2} | ||||
vi−a1, 1≤i≤4k+1 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 4k+6≤i≤n | n−i+154 | n−i+124 | n−i+14 | n−i+144 |
vi−a2, 2≤i≤4k+2 | i+124 | i+114 | i−24 | i+94 |
vi−a2, 4k+7≤i≤n | n−i+154 | n−i+164 | n−i+134 | n−i+24 |
n=8k+6 with k≥1, and A={v1=a1,v2=a2} | ||||
vi−a1, 1≤i≤3k+2 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+14≤i≤n | n−i+144 | n−i+154 | n−i+124 | n−i+14 |
vi−a2, 1≤i≤3k+3 | i+124 | i+114 | i−24 | i+94 |
vi−a2, 3k+15≤i≤n | n−i+24 | n−i+154 | n−i+164 | n−i+134 |
n=8k+7 with k≥1, and A={v1=a1,v3=a2} | ||||
vi−a1, 1≤i≤3k+3 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+14≤i≤n | n−i+14 | n−i+144 | n−i+154 | n−i+124 |
vi−a2, 2≤i≤4k+1 | i+84 | i+114 | i+104 | i−34 |
vi−a2, 4k+12≤i≤n | n−i+174 | n−i+144 | n−i+34 | n−i+164 |
i | 3k+2≡2(mod 4) | 3k+3≡3(mod 4) | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) |
λi | 5k4 | 3k+164 | 3k+164 | 3k+44 | 5k−44 | 5k+84 | 5k+84 | 3k+84 |
j | 1 | 2 | 3 | 4k+1≡1(mod 4) | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) |
λj | 4 | 4 | 3 | k+1 | k+3 | k+3 | k | k |
i | 3k+3≡3(mod 4) | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | − | − |
λi | 5k4 | 3k+164 | 3k+44 | 3k+164 | 5k−44 | 5k+84 | 3k+84 | − | − |
j | 1 | 2 | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) |
λj | 3 | 0 | 5k4 | 3k+164 | 3k+44 | 5k+84 | 5k−44 | 5k+84 | 3k+84 |
i | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | − | − |
λi | 5k4 | 3k+44 | 3k+164 | 5k+84 | 5k−44 | 3k+84 | − | − |
j | 1 | 2 | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) | 4k+6≡2(mod 4) | 4k+7≡3(mod 4) |
λj | 4 | 3 | k+1 | k | k+3 | k+3 | k | k+1 |
i | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) |
λi | k+1 | k+4 | k+4 | k+1 |
j | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) | 4k+6≡2(mod 4) |
λj | k+1 | k+4 | k+4 | k+1 |
i | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) | 3k+11≡3(mod 4) | 3k+12≡0(mod 4) | 3k+13≡1(mod 4) |
λi | 3k+164 | 3k+44 | 3k+164 | 5k4 | 3k+204 | 3k+84 | 5k+64 | 5k−44 | 5k+84 | 3k+124 |
j | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) | 3k+11≡3(mod 4) | 3k+12≡0(mod 4) | 3k+13≡1(mod 4) | 3k+14≡2(mod 4) |
λj | 3k+164 | 3k+44 | 3k+164 | 5k4 | 3k+204 | 3k+84 | 5k+84 | 5k−44 | 5k+84 | 3k+124 |
i | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) | 3k+11≡3(mod 4) | 3k+12≡0(mod 4) | 3k+13≡1(mod 4) |
λi | 5k+44 | 3k+44 | 3k+164 | 3k+204 | 5k4 | 3k+84 | 3k+84 | 5k+124 | 5k+84 | 5k−44 |
j | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) | 4k+6≡2(mod 4) | 4k+7≡3(mod 4) | 4k+8≡0(mod 4) | 4k+9≡1(mod 4) | 4k+10≡2(mod 4) | 4k+11≡3(mod 4) |
λj | k+2 | k | k+3 | k+4 | k+1 | k+1 | k+4 | k+3 | k | k+2 |
Geodesic | The number of edges in the geodesics | |||||
When n=2k+1, k≥1 | ||||||
For i/geodesics | ui−u1 | ui−vn−1 | vi−u1 i is odd | vi−u1 i is even | vi−vn−1 i is odd | vi−vn−1 i is even |
1≤i≤k−1 | i−1 | i+2 | i | i | i+3 | i+1 |
k≤i≤k+1 | i−1 | 2k−i+1 | i | i | 2k−i+2 | 2k−i |
i=k+2 | n+12 | k−1 | n+12 | n+12 | 2k−i+2 | 2k−i |
k+3≤i≤2k | 2k−i+4 | 2k−i+1 | 2k−i+3 | 2k−i+3 | 2k−i+2 | 2k−i |
i=2k+1 | i−2k+2 | i−2k+1 | i−2k+1 | i−2k+1 | i−2k+2 | i−2k+2 |
i=2k+2 | 4 | i−n+2 | 3 | 3 | i−2k | i−2k |
2k+3≤i≤3k | i−2k | i−2k+1 | i−2k−1 | i−2k−1 | i−2k+2 | i−2k |
i=3k+1 | i−2k | i−n+1 | i−n | i−n | k+2 | k |
i=3k+2 | n+12 | k | i−n | i−n | k+1 | k−1 |
3k+3≤i≤4k | 2n−i+1 | 4k−i+2 | 2n−i+2 | 2n−i+2 | 4k−i+3 | 4k−i+1 |
i=2n−1 | 2 | 3 | 3 | 3 | 4 | 4 |
i=2n | 1 | 2 | 2 | 2 | 1 | 1 |
When n=2k, k≥2 | ||||||
1≤i≤k−2 | i−1 | i+2 | i | i | i+3 | i+1 |
i=k−1 | i−1 | n−i | i | i | k | k |
k≤i≤k+1 | i−1 | n−i | i | i | 2k−i−1 | 2k−i+1 |
i=k+2 | i−1 | n−i | n2 | n2 | n−i−1 | n−i+1 |
k+3≤i≤2k−1 | 2k−i+3 | 2k−i | 2k−i+2 | 2k−i+2 | 2k−i−1 | 2k−i+1 |
i=2k | 3 | 2 | 2 | 2 | 3 | 3 |
i=2k+1 | 4 | 3 | 3 | 3 | 2 | 2 |
2k+2≤i≤3k−2 | i−2k+1 | i−2k+2 | i−2k | i−2k | i−2k+1 | i−2k+3 |
i=3k−1 | i−2k+1 | i−2k+2 | i−2k | i−2k | k | k |
3k≤i≤3k+1 | 2n−i+1 | 4k−i | i−2k | i−2k | 4k−i+1 | 4k−i−1 |
i=3k+2 | k−1 | k−2 | n2 | n2 | 4k−i+1 | 4k−i−1 |
3k+3≤i≤4k−2 | 2n−i+1 | 4k−i | 2n−i+2 | 2n−i+2 | 4k−i+1 | 4k−i−1 |
i=2n−1 | 2 | 3 | 3 | 3 | 4 | 4 |
i=2n | 1 | 2 | 2 | 2 | 1 | 1 |
Geodesic | The number of edges in the geodesic | |||
ui−a | i≡0 (mod 4) | i≡1 (mod 4) | i≡2 (mod 4) | i≡3 (mod 4) |
n=8k with k≥2, and A={v1=a1,v3=a2} | ||||
ui−a1, 1≤i≤4k+1 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+2≤i≤n | n−i+84 | n−i+54 | n−i+104 | n−i+114 |
ui−a2, 3≤i≤4k+3 | i+44 | i+74 | i+64 | i+14 |
ui−a2, 4k+4≤i≤n | n−i+124 | n−i+134 | n−i+104 | n−i+74 |
n=8k+1 with k≥2, and A={v1=a1,v4=a2} | ||||
ui−a1, 1≤i≤4k+1 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+2≤i≤n | n−i+114 | n−i+84 | n−i+54 | n−i+104 |
ui−a2, 4≤i≤5k+1 | i4 | i+34 | i+64 | i+54 |
ui−a2, 5k+2≤i≤n | n−i+114 | n−i+84 | n−i+134 | n−i+144 |
n=8k+2 with k≥1, and A={v1=a1,v2=a2} | ||||
ui−a1, 1≤i≤4k+2 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+3≤i≤n | n−i+104 | n−i+114 | n−i+84 | n−i+54 |
ui−a2, 2≤i≤4k+3 | i+84 | i+74 | i+24 | i+54 |
ui−a2, 4k+4≤i≤n | n−i+64 | n−i+114 | n−i+124 | n−i+94 |
n=8k+3 with k≥1, and A={v1=a1,v3=a2} | ||||
ui−a1, 1≤i≤4k+2 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+3≤i≤n | n−i+54 | n−i+104 | n−i+114 | n−i+84 |
ui−a2, 3≤i≤5k | i+44 | i+74 | i+64 | i+14 |
ui−a2, 5k+1≤i≤n | n−i+134 | n−i+104 | n−i+74 | n−i+124 |
n=8k+4 with k≥1, and A={v1=a1,v4=a2} | ||||
ui−a1, 1≤i≤4k+3 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+4≤i≤n | n−i+84 | n−i+54 | n−i+104 | n−i+114 |
ui−a2, 3≤i≤5k+2 | i4 | i+34 | i+64 | i+54 |
ui−a2, 5k+3≤i≤n | n−i+84 | n−i+134 | n−i+144 | n−i+114 |
n=8k+5 with k≥1, and A={v1=a1,v2=a2} | ||||
ui−a1, 1≤i≤5k+1 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 5k+2≤i≤n | n−i+114 | n−i+84 | n−i+54 | n−i+104 |
ui−a2, 2≤i≤5k+2 | i+84 | i+74 | i+24 | i+54 |
ui−a2, 5k+3≤i≤n | n−i+114 | n−i+124 | n−i+94 | n−i+64 |
n=8k+6 with k≥1, and A={v1=a1,v2=a2} | ||||
ui−a1, 1≤i≤4k+2 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+6≤i≤n | n−i+104 | n−i+114 | n−i+84 | n−i+54 |
ui−a2, 1≤i≤4k+3 | i+84 | i+74 | i+24 | i+54 |
ui−a2, 4k+7≤i≤n | n−i+64 | n−i+114 | n−i+124 | n−i+94 |
n=8k+7 with k≥1, and A={v1=a1,v3=a2} | ||||
ui−a1, 1≤i≤4k+3 | i+84 | i+34 | i+64 | i+94 |
ui−a1, 4k+6≤i≤n | n−i+54 | n−i+104 | n−i+114 | n−i+84 |
ui−a2, 2≤i≤5k+1 | i+44 | i+74 | i+64 | i+14 |
ui−a2, 5k+4≤i≤n | n−i+134 | n−i+104 | n−i+74 | n−i+124 |
Geodesic | The number of edges in the geodesic. | |||
vi−a | i≡0 (mod 4) | i≡1 (mod 4) | i≡2 (mod 4) | i≡3 (mod 4) |
n=8k with k≥2, and A={v1=a1,v3=a2} | ||||
vi−a1, 1≤i≤4k+1 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 4k+2≤i≤n | n−i+124 | n−i+14 | n−i+144 | n−i+154 |
vi−a2, 3≤i≤4k+3 | i+84 | i+114 | i+104 | i−34 |
vi−a2, 4k+4≤i≤n | n−i+164 | n−i+174 | n−i+144 | n−i+34 |
n=8k+1 with k≥2, and A={v1=a1,v4=a2} | ||||
vi−a1, 1≤i≤3k+1 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+10≤i≤n | n−i+154 | n−i+124 | n−i+14 | n−i+144 |
vi−a2, 4≤i≤4k | i−44 | i+74 | i+104 | i+94 |
vi−a2, 4k+6≤i≤n | n−i+154 | n−i+44 | n−i+174 | n−i+184 |
n=8k+2 with k≥1, and A={v1=a1,v2=a2} | ||||
vi−a1, 1≤i≤3k+2 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+10≤i≤n | n−i+144 | n−i+154 | n−i+124 | n−i+14 |
vi−a2, 2≤i≤3k+3 | i+124 | i+114 | i−24 | i+94 |
vi−a2, 3k+11≤i≤n | n−i+24 | n−i+154 | n−i+164 | n−i+134 |
n=8k+3 with k≥1, and A={v1=a1,v3=a2} | ||||
vi−a1, 1≤i≤3k+3 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+10≤i≤n | n−i+14 | n−i+144 | n−i+154 | n−i+124 |
vi−a2, 3≤i≤4k+1 | i+84 | i+114 | i+104 | i−34 |
vi−a2, 4k+8≤i≤n | n−i+174 | n−i+144 | n−i+34 | n−i+164 |
n=8k+4 with k≥1, and A={v1=a1,v4=a2} | ||||
vi−a1, 1≤i≤4k+3 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 4k+4≤i≤n | n−i+124 | n−i+14 | n−i+144 | n−i+154 |
vi−a2, 3≤i≤5k+2 | i−44 | i+74 | i+104 | i+94 |
vi−a2, 5k+3≤i≤n | n−i+44 | n−i+174 | n−i+184 | n−i+154 |
n=8k+5 with k≥1, and A={v1=a1,v2=a2} | ||||
vi−a1, 1≤i≤4k+1 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 4k+6≤i≤n | n−i+154 | n−i+124 | n−i+14 | n−i+144 |
vi−a2, 2≤i≤4k+2 | i+124 | i+114 | i−24 | i+94 |
vi−a2, 4k+7≤i≤n | n−i+154 | n−i+164 | n−i+134 | n−i+24 |
n=8k+6 with k≥1, and A={v1=a1,v2=a2} | ||||
vi−a1, 1≤i≤3k+2 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+14≤i≤n | n−i+144 | n−i+154 | n−i+124 | n−i+14 |
vi−a2, 1≤i≤3k+3 | i+124 | i+114 | i−24 | i+94 |
vi−a2, 3k+15≤i≤n | n−i+24 | n−i+154 | n−i+164 | n−i+134 |
n=8k+7 with k≥1, and A={v1=a1,v3=a2} | ||||
vi−a1, 1≤i≤3k+3 | i+124 | i−14 | i+104 | i+134 |
vi−a1, 3k+14≤i≤n | n−i+14 | n−i+144 | n−i+154 | n−i+124 |
vi−a2, 2≤i≤4k+1 | i+84 | i+114 | i+104 | i−34 |
vi−a2, 4k+12≤i≤n | n−i+174 | n−i+144 | n−i+34 | n−i+164 |
i | 3k+2≡2(mod 4) | 3k+3≡3(mod 4) | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) |
λi | 5k4 | 3k+164 | 3k+164 | 3k+44 | 5k−44 | 5k+84 | 5k+84 | 3k+84 |
j | 1 | 2 | 3 | 4k+1≡1(mod 4) | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) |
λj | 4 | 4 | 3 | k+1 | k+3 | k+3 | k | k |
i | 3k+3≡3(mod 4) | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | − | − |
λi | 5k4 | 3k+164 | 3k+44 | 3k+164 | 5k−44 | 5k+84 | 3k+84 | − | − |
j | 1 | 2 | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) |
λj | 3 | 0 | 5k4 | 3k+164 | 3k+44 | 5k+84 | 5k−44 | 5k+84 | 3k+84 |
i | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | − | − |
λi | 5k4 | 3k+44 | 3k+164 | 5k+84 | 5k−44 | 3k+84 | − | − |
j | 1 | 2 | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) | 4k+6≡2(mod 4) | 4k+7≡3(mod 4) |
λj | 4 | 3 | k+1 | k | k+3 | k+3 | k | k+1 |
i | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) |
λi | k+1 | k+4 | k+4 | k+1 |
j | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) | 4k+6≡2(mod 4) |
λj | k+1 | k+4 | k+4 | k+1 |
i | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) | 3k+11≡3(mod 4) | 3k+12≡0(mod 4) | 3k+13≡1(mod 4) |
λi | 3k+164 | 3k+44 | 3k+164 | 5k4 | 3k+204 | 3k+84 | 5k+64 | 5k−44 | 5k+84 | 3k+124 |
j | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) | 3k+11≡3(mod 4) | 3k+12≡0(mod 4) | 3k+13≡1(mod 4) | 3k+14≡2(mod 4) |
λj | 3k+164 | 3k+44 | 3k+164 | 5k4 | 3k+204 | 3k+84 | 5k+84 | 5k−44 | 5k+84 | 3k+124 |
i | 3k+4≡0(mod 4) | 3k+5≡1(mod 4) | 3k+6≡2(mod 4) | 3k+7≡3(mod 4) | 3k+8≡0(mod 4) | 3k+9≡1(mod 4) | 3k+10≡2(mod 4) | 3k+11≡3(mod 4) | 3k+12≡0(mod 4) | 3k+13≡1(mod 4) |
λi | 5k+44 | 3k+44 | 3k+164 | 3k+204 | 5k4 | 3k+84 | 3k+84 | 5k+124 | 5k+84 | 5k−44 |
j | 4k+2≡2(mod 4) | 4k+3≡3(mod 4) | 4k+4≡0(mod 4) | 4k+5≡1(mod 4) | 4k+6≡2(mod 4) | 4k+7≡3(mod 4) | 4k+8≡0(mod 4) | 4k+9≡1(mod 4) | 4k+10≡2(mod 4) | 4k+11≡3(mod 4) |
λj | k+2 | k | k+3 | k+4 | k+1 | k+1 | k+4 | k+3 | k | k+2 |
Geodesic | The number of edges in the geodesics | |||||
When n=2k+1, k≥1 | ||||||
For i/geodesics | ui−u1 | ui−vn−1 | vi−u1 i is odd | vi−u1 i is even | vi−vn−1 i is odd | vi−vn−1 i is even |
1≤i≤k−1 | i−1 | i+2 | i | i | i+3 | i+1 |
k≤i≤k+1 | i−1 | 2k−i+1 | i | i | 2k−i+2 | 2k−i |
i=k+2 | n+12 | k−1 | n+12 | n+12 | 2k−i+2 | 2k−i |
k+3≤i≤2k | 2k−i+4 | 2k−i+1 | 2k−i+3 | 2k−i+3 | 2k−i+2 | 2k−i |
i=2k+1 | i−2k+2 | i−2k+1 | i−2k+1 | i−2k+1 | i−2k+2 | i−2k+2 |
i=2k+2 | 4 | i−n+2 | 3 | 3 | i−2k | i−2k |
2k+3≤i≤3k | i−2k | i−2k+1 | i−2k−1 | i−2k−1 | i−2k+2 | i−2k |
i=3k+1 | i−2k | i−n+1 | i−n | i−n | k+2 | k |
i=3k+2 | n+12 | k | i−n | i−n | k+1 | k−1 |
3k+3≤i≤4k | 2n−i+1 | 4k−i+2 | 2n−i+2 | 2n−i+2 | 4k−i+3 | 4k−i+1 |
i=2n−1 | 2 | 3 | 3 | 3 | 4 | 4 |
i=2n | 1 | 2 | 2 | 2 | 1 | 1 |
When n=2k, k≥2 | ||||||
1≤i≤k−2 | i−1 | i+2 | i | i | i+3 | i+1 |
i=k−1 | i−1 | n−i | i | i | k | k |
k≤i≤k+1 | i−1 | n−i | i | i | 2k−i−1 | 2k−i+1 |
i=k+2 | i−1 | n−i | n2 | n2 | n−i−1 | n−i+1 |
k+3≤i≤2k−1 | 2k−i+3 | 2k−i | 2k−i+2 | 2k−i+2 | 2k−i−1 | 2k−i+1 |
i=2k | 3 | 2 | 2 | 2 | 3 | 3 |
i=2k+1 | 4 | 3 | 3 | 3 | 2 | 2 |
2k+2≤i≤3k−2 | i−2k+1 | i−2k+2 | i−2k | i−2k | i−2k+1 | i−2k+3 |
i=3k−1 | i−2k+1 | i−2k+2 | i−2k | i−2k | k | k |
3k≤i≤3k+1 | 2n−i+1 | 4k−i | i−2k | i−2k | 4k−i+1 | 4k−i−1 |
i=3k+2 | k−1 | k−2 | n2 | n2 | 4k−i+1 | 4k−i−1 |
3k+3≤i≤4k−2 | 2n−i+1 | 4k−i | 2n−i+2 | 2n−i+2 | 4k−i+1 | 4k−i−1 |
i=2n−1 | 2 | 3 | 3 | 3 | 4 | 4 |
i=2n | 1 | 2 | 2 | 2 | 1 | 1 |