轮图的边容错强Menger边连通性

doi:10.12677/AAM.2023.126307

期刊菜单

轮图的边容错强Menger边连通性
Edge-Fault-Tolerant Strong Menger Edge Connectivity of Wheel Networks

DOI: 10.12677/AAM.2023.126307, PDF, HTML, XML, 下载: 137 浏览: 188 国家自然科学基金支持
作者: 南俐贞^*, 王世英：山西师范大学数学与计算机科学学院，山西太原
关键词: 互连网络；容错性；轮图；强Menger边连通性；Interconnection Networks； Fault Tolerance； Wheel Network； Strong Menger Edge Connectivity

摘要: 连通性是评估互连网络可靠度和容错性的一个非常重要的参数。若对于连通图G中的任意两个顶点x,y，它们之间有min{deg_G(x),deg_G(y)}条边不相交的路，则连通图G是强Menger边连通的。若对于任意的边集F_e⊆E(G)且▏F_e▏≤m，G-F_e仍保持强Menger边连通性，则图G是m-边容错强Menger边连通的。若对于任意的边集F_e⊆E(G)且▏F_e▏≤m和δ(G-F_e)≥2，G-F_e仍保持强Menger边连通性，则图G是m-条件边容错强Menger边连通的。在这篇文章中，我们证明CW_n(n≥4)是(2n-4)-边容错强Menger边连通的。此外，我们给出例子来说明我们保持强Menger边连通性的有关故障边的数量是最大值，即是最优的。

Abstract: Connectivity is an important measurement to evaluate the reliability and fault tolerance of inter-connection networks. A connected graph is called strongly Menger edge connected if for any two distinct vertices x, y in G, there are min{deg_G(x),deg_G(y)} edge-disjoint paths between x and y. A graph G is called m-edge-fault-tolerant strongly Menger edge connected if G-F_e remains strongly Menger edge connected for an arbitrary set F_e⊆E(G) with ▏F_e▏≤m . A graph G is called m-conditional edge-fault-tolerant strongly Menger edge connected if remains strongly Menger edge connected for an arbitrary set F_e⊆E(G) with ▏F_e▏≤m and δ(G-F_e)≥2 . In this paper, we show that CW_n is (2n-4)-edge-fault-tolerant strongly Menger edge connected δ(G-F_e)≥2 for (n≥4) and (6n-14)-conditional edge-fault-tolerant strongly Menger edge con-nected for n≥5 . Moreover, we present some examples to show that our results are all optimal with respect to the maximum number of tolerated edge faults.

文章引用：南俐贞, 王世英. 轮图的边容错强Menger边连通性[J]. 应用数学进展, 2023, 12(6): 3069-3085. https://doi.org/10.12677/AAM.2023.126307

1. 引言

关于图的相关的定义和概念来源于 [1] 。 $C W_{n}^{1}, C W_{n}^{2}, \dots, C W_{n}^{3}$ 是一个简单的无向连通图， $| V (H_{1}) | \geq 4! - 2$ 代表顶点集， $| E_{C W_{5}} (V (H_{1}), V (C W_{5}^{2})) - F_{e} | \geq | E_{1, 2} (C W_{5}) | -$ 代表边集。对于任意的顶点 $| V (C W_{5}^{1}) - V (H_{1}) | - | F_{e}^{0} | \geq 18 - 2 - 11 > 0$ ， $i$ 表示u的邻域的集合， $| V (H) | \geq 5! - 2$ 表示与u相连的边的集合， $5 \leq | F_{e}^{2} | \leq 7$ 表示u的度。 $| F_{e}^{3} | \leq 4$ 定义为G的度，是G中顶点度的最小值。若G中的任意顶点u， $| F_{e}^{0} | \leq 19 - 8 - 5 = 6$ ，则G是k-正则的。若G中的边 $C W_{5}^{i} - F_{e}^{i}$ 满足 $v \in V (C W_{n})$ ， $v (1, n)$ ，则 $v (n - 1, n)$ 是一个 $v (2, n)$ 边，所有 $C W_{5}^{[3, 5]} - F_{e}$ 边的集合被定义为 $5 \leq | F_{e}^{2} | \leq 7$ ，用 $C W_{5}^{2} - F_{e}^{2}$ 来表示集合中元素的个数。 $v^{*} = v (2 n)$ 是G中的一个顶点集， $| V (H_{2}) | \geq 4! - 1$ 是G中的一个边集。我们用 $C W_{5}^{1} - F_{e}^{1}$ 来代表G的一个子图，它的顶点集是 $(u, v)$ 和边集是 $| E_{C W_{5}} (V (H_{2}), V (C W_{5}^{3})) - F_{e} | \geq | E_{2, 3} (C W_{5}) | - | V (C W_{5}^{2}) - V (H_{2}) | - | F_{e}^{0} | \geq 18 - 1 - 6 > 0$ 。如果 $C W_{5}^{1} - F_{e}^{1}$ 是不连通的或仅仅只有一个顶点，那么称F是G的一个顶点割。G的连通度是G的顶点割的最小值，用 $n \geq 4$ 来表示。我们用 $| V (H) | \geq 5! - 1$ 来代表G的一个子图，它的顶点集是 $C W_{5}^{1} - F_{e}^{1}$ 和边集是 $C W_{5}^{1} - F_{e}^{1}$ 。如果 $i, j \in [1, n]$ 是不连通的，那么称 $| V (H_{1}) | \geq 4! - 2$ 是G的一个边割。G的边连通度是G的边割的最小值，用 $| V (H_{1}) | \geq 4! - 1$ 来表示。 $| V (H) | \geq 5! - 2$ 且 $| V (H_{1}) | \geq 4! - 2$ 是k个不同的顶点表示一个u,v-路。我们取两个不同的u,v-路 $i \in [1, n]$ 和 $| V (H) | \geq 5! - 2$ 。若 $| V (H_{1}) | = 4! - 2$ ，则称 $| V (H_{2}) | = 4! - 1$ 和 $u_{11}, u_{12} \in V (C W_{5}^{1}) - V (H_{1})$ 是顶点不相交的u,v-路；若 $u_{2} \in V (C W_{5}^{2}) - V (H_{2})$ ，则称 $| F_{e}^{0} | \leq 6$ 和 $v \in ({u_{11}^{+}, u_{11}^{-}, u_{11}^{*}, u_{12}^{+}, u_{12}^{-}, u_{12}^{*}, u_{2}^{+}, u_{2}^{-}, u_{2}^{*}} - {u_{11}, u_{12}, u_{2}}) \cap V (H)$ 是边不相交的u,v-路。如果 $n \geq 4$ 没有u,v-路，那么称 $i, j \in [1, n]$ 是一个u,v-点割；如果 $i \neq j$ 没有u,v-路，那么称 $| E_{i j} (C W_{n}) | = 3 (n - 2)!$ 是一个u,v-边割。Menger定理 [2] 是有关连通性和边连通性的一个典型的定理。

定理1.1 [2] 1) x, y是图G中的两个不同的顶点且 $| V (H) | \geq 5! - 2$ ，x,y-割的最小值等于G中点不相交的x,y-路的最大值。

2) x, y是图G中的两个不同的顶点，x,y-边割的最小值等于G中边不相交的x,y-路的最大值。

在Menger定理的基础之上，Oh et al. [3] 提出了强Menger连通性，也被称为最大局部连通性；Qiao et al. [4] 提出了强Menger边连通性。

定义1.2 [5] 1) x, y是连通图G中的任意两个不同的顶点，若在G中x和y有 $5 \leq | F_{e}^{3} | \leq 7$ 顶点不相交的路，则连通图G是强Menger连通的。

2) x, y是连通图G中的任意两个不同的顶点，若在G中x和y之间有 $| F_{e}^{0} | \leq 19 - 8 - 5 \times 2 = 1$ 边不相交的路，则连通图G是强Menger边连通的。

在真实的互连网络中故障可能发生，因此考虑互连网络的容错性是尤为重要的。Oh et al. [3] [6] 提出了m-容错强Menger连通性；Shih et al. [7] 提出了m-条件容错强Menger连通性。此外，边的容错强Menger连通性和条件容错强Menger连通性在参考文献 [4] 和 [5] 也被提出。

定义1.3 [5] 1) 对于G中的任意一个顶点集 ${u^{+}, u^{-}, u^{*}} \cap {v^{+}, v^{-}, v^{*}} = φ$ 且 $C W_{5}^{[4, 5]} - F_{e}$ ，若 $| V (H) | \geq 5! - 2$ 是强Menger连通的，则图G是m-容错强Menger连通的。

2) 对于G中的任意一个边集 $| V (H) | \leq 5! - 3$ 且 $v_{1}, v_{2}, v_{3} \in V (C W_{5}^{[1, 3]})$ ，若 $u \in V (C W_{n}^{[1, 2]})$ 是强Menger边连通的，则图G是m-边容错强Menger边连通的。

定义1.4 [5] 1) 对于G中的任意一个顶点集 ${v^{'}}_{1}, {v^{'}}_{2}, {v^{'}}_{3} \in V (C W_{5}^{[4, 5]})$ 且 $u', u'' \in V (C W_{n}^{[3, n]})$ 和 $λ (C W_{n}) = 2 n - 2$ ，若 ${v^{'}}_{1}, {v^{'}}_{2}, {v^{'}}_{3} \subseteq V (C W_{5}^{[4, 5]}) \subseteq V (H)$ 是强Menger连通的，则图G是m-条件容错强Menger连通的。

2) 对于G中的任意一个边集 $λ (B S_{n}) = 2 n - 3$ 且 $| F_{e}^{0} | \geq 3$ 和 $| F_{e}^{0} | \leq 1$ ，若 $| V (H) | \geq 5! - 2$ 是强Menger边连通的，则图G是m-条件边容错强Menger边连通的。

对于强Menger连通性和强Menger边连通性，许多拓扑结构已经被研究：超立方体 $8 \leq | F_{e}^{2} | \leq 10$ [4] ，折叠超立方体 $| F_{e}^{0} | \leq 19 - 8 \times 2 = 3$ [4] [8] [9] ，平衡超立方体 $| F_{e}^{3} | \leq | F_{e}^{0} | \leq 3 < 4$ [5] ，类超立方体网络 [7] [10] ，一类正则网络 [11] ，泡型星图 $C W_{5}^{3} - F_{e}^{3}$ [12] [13] ，泡型图 $H$ [14] 等等。在这篇文章中我们研究的是n-维轮图 $C W_{5}^{[3, 5]} - F_{e}$ [15] 的边容错强Menger边连通性和条件边容错强Menger边连通性。轮图 $| V (H) | \geq 5! - 2$ 有许多优良的特性，如顶点传递性和高度正则性，轮图 $v \in V (C W_{5}^{[1, 2]})$ 的许多性质已经被研究过，具体可以见参考文献 [16] - [21] 。

这篇文章剩余部分的结构安排如下。第二部分阐述了轮图的定义和一些有用的性质引理，未被证明的引理我们会在这一部分给出详细的证明；第三部分证明了n-维轮图 $n \geq 3$ 的边容错强Menger边连通性；第四部分我们对这篇文章做出总结。

2. 预备知识

用 $v^{'} \in V (C W_{5}^{[3, 5]})$ 代表置换， $v^{″} \in V (C W_{5}^{[3, 5]})$ 。为了方便，我们可以将置换 $| V (H) | \leq 5! - 3$ 表示为 $v_{1}, v_{2}, v_{3} \in V (C W_{5}^{[1, 2]})$ 。此外每个置换也可以表示成一个轮换，例如： $F_{e} \in E (B S_{n})$ 。特别地， ${{v^{'}}_{1}, {v^{″}}_{1}, {v^{'}}_{2}, {v^{″}}_{2}, {v^{'}}_{3}, {v^{″}}_{3}} \subseteq V (C W_{5}^{[3, 5]}) \subseteq V (H)$ 。

两个置换的乘积 $n \geq 3$ 是先作用于 $| F_{e}^{0} | \geq 6$ 后作用于 $| F_{e}^{0} | \leq 3$ 。例如： $| V (H) | \geq 5! - 2$ 。设 $| F_{e}^{1} | = 11$ 是两个整数，规定 $| F_{e}^{2} | \leq 4$ 。设 $| F_{e}^{0} | \leq 19 - 11 = 8$ 是n阶置换群，它的元素是集合 $C W_{5}^{i} - F_{e}^{i}$ 中的所有置换 $C W_{4} - F_{e}$ 。取 $| E_{i, j} (C W_{5}) - F_{e} | \geq$ 是两个整数且 $| E_{i, j} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 8 = 10 > 0$ ， $| F_{e}^{1} | \geq | F_{e}^{2} | \geq | F_{e}^{3} | \geq | F_{e}^{4} |$ 是置换群 $n = 4$ 中的一个置换，我们规定运算“ $C W_{5}^{[2, 5]} - F_{e}$ ”是将置换p中 $i, j \in [1, 4]$ 两个位置的数互换，其余位置的数不变，即 ${v^{+}, v^{-}, v^{*}} \subseteq V (C W_{5}^{[2, 5]})$ 与 $| V (H) | \geq 5! - 2$ 互换即可。例如： $| V (H) | \leq 5! - 3$ 。运算“ $v_{1}, v_{2}, v_{3} \in V (C W_{5}^{1})$ ”可以简化成“ $| F_{e} | \leq 9$ ”。

我们将在下面介绍轮图 ${v_{1}^{+}, v_{1}^{-}, v_{1}^{*}, v_{2}^{+}, v_{2}^{-}, v_{2}^{*}, v_{3}^{+}, v_{3}^{-}, v_{3}^{*}} \subseteq V (C W_{5}^{[2, 5]}) \subseteq V (H)$ 的定义和一些性质。

定义2.1 [15] n-维轮图 $H$ 的顶点集 $| F_{e}^{0} | \geq 9$ 。对于任意的 $| F_{e}^{0} | \leq 8$ ， $| V (H) | \geq 5! - 2$ 当且仅当 $5 \leq | F_{e}^{2} | \leq 7$ ， $| F_{e}^{0} | \leq 19 - 11 - 5 = 3$ 或者 $| F_{e}^{3} | \leq | F_{e}^{0} | \leq 3 < 4$ ， $C W_{5}^{3} - F_{e}^{3}$ 或者 $| F_{e} | \geq | E_{1 ， 2} (C W_{4}) | + | E_{1 ， 3} (C W_{4}) | = 2 \times 6 = 12 > 9$ 。n-维轮图 $| F_{e} | \leq 9$ 的顶点数是n阶置换群 $E_{1 ， 2} (C W_{4}) - F_{e} \neq Φ$ 的元素个数 $C W_{5}^{[3, 5]} - F_{e}$ 。

n-维轮图 $v \in V (C W_{5}^{[1, 2]})$ 是一个特殊的凯莱图，因此我们可以得到一些性质。 $i \in [3, 4]$ 是 $v^{'} \in V (C W_{5}^{[3, 5]})$ -正则的和顶点传递的， $v^{″} \in V (C W_{5}^{[3, 5]})$ 。 $| V (H) | \geq 5! - 1$ 是二部图并且围长是4， $| F_{e}^{0} | \leq 9 - 3 = 6$ 。在这里展示出了4-维轮图 $v_{1}, v_{2} \in V (C W_{5}^{[1, 2]})$ 的结构(见图1)。 $i \in [2, 4]$ 可以被划分成n个不相交的子图 ${{v^{'}}_{1}, {v^{'}}_{1}, {v^{'}}_{2}, {v^{″}}_{2}} \subseteq V (C W_{5}^{[3, 5]}) \subseteq V (H)$ ，其中每个顶点 $E_{2, 4} (C W_{4}) - F_{e} \neq Φ$ 的最后一个位置 $| F_{e}^{0} | \geq 4$ 为一个固定的整数i，其中 $| F_{e}^{0} | \leq 3$ 。显然， $| V (H) | \geq 5! - 1 > 5! - 2$ 是同构于 $8 \leq | F_{e}^{2} | \leq 10$ ，我们知道 $| F_{e}^{0} | \leq 19 - 11 - 8 = 0$ 是 $C W_{4}^{[2, 4]} - F_{e}$ -维的泡型星图。对于任意的顶点 $H$ ，有三个外部邻域 $| F_{e}^{1} | = 3$ ， $C W_{4}^{1} - F_{e}^{1}$ ， $H_{1}$ 被称为v的外部邻域，记为 $| V (H_{1}) | \geq 3! - 1$ ， $C W_{5}^{[3, 5]} - F_{e}$ ， $| F_{e}^{0} | = 0$ 。如果一个边 $v \in V (C W_{5}^{[1, 2]})$ 的两个顶点在不同的子图 $H$ 中，那么边 $v^{'} \in V (C W_{5}^{[3, 5]}) \subseteq V (H)$ 被称为交叉边。对于任意的 $| F_{e}^{2} | = 3$ ，其中 $| F_{e}^{0} | \leq 9 - 3 \times 2 = 3$ ， $| F_{e}^{3} | \leq 2$ ，我们知道 $12 \leq | F_{e}^{1} | \leq 19$ 属于三个不同的子图 $| F_{e}^{2} | \leq 4$ 中。规定集合 $| F_{e}^{0} | \leq 19 - 12 = 7$ ，其中 $C W_{5}^{i} - F_{e}^{i}$ ， $H$ 。对于任意的边集 $5 \leq | F_{e}^{2} | \leq 7$ ，我们定义 $| F_{e}^{0} | \leq 19 - 12 - 5 = 2$ ， $| F_{e}^{3} | \leq | F_{e}^{0} | \leq 2$ ，其中 $C W_{5}^{i} - F_{e}^{i}$ 。 $C W_{4}^{[1, 2]}$ 是由 $H$ 诱导出来的 $| V (H) | \geq 4! - 1$ 的子集，其中 $| F_{e}^{3} | = 3$ 。

Figure1. Wheel network CW₄

图1. 轮图CW₄

引理2.2 [16] [17] 设n是一个整数且 $| F_{e}^{0} | \leq 9 - 3 \times 3 = 0$ ，有以下结论：

1) 对于任意的 $v \in V (C W_{4}^{[1, 3]})$ 且 $v' \in {v^{+}, v^{-}, v^{*}}$ ， $v' \in V (C W_{4}^{4})$ ；

2) 对于任意的 $| F_{e}^{0} | = 0$ ， $H = C W_{4} - F_{e}$ 且 $| F_{e}^{1} | \geq | F_{e}^{2} | \geq | F_{e}^{3} | \geq \dots \geq | F_{e}^{n} |$ ， $| F_{e}^{2} | \leq 2$ ；

3) 对于任意的 $| F_{e}^{n} | \leq \dots \leq | F_{e}^{4} | \leq 2 n - 6$ ， $i \in [2, 4]$ 或 $| E_{i, j} (C W_{4}) - F_{e} | \geq | E_{i, j} (C W_{4}) | - | F_{e}^{0} | \geq 6 - 5 = 1 > 0$ 或 $i, j \in [2, 4]$ ；

4) 对于任意的 $C W_{n}^{i} - F_{e}^{i}$ ，存在两个顶点 $C W_{4}^{[2, 4]} - F_{e}$ ，使得 $H$ 。

引理2.3 [20] $C W_{n}^{n} - F_{e}^{n}$ ，其中 $| F_{e}^{1} | \leq 2 n - 6$ 。

引理2.4 [13] $C W_{n}^{i} - F_{e}^{i}$ ，其中 $C W_{4}^{1}$ 。

引理2.5 [13] $H$ 有以下性质：

1) 设 $| V (H) | \geq 4! - 1$ ，且 $| F_{e}^{2} | \geq 3$ ， $| F_{e}^{0} | \leq 9 - 4 - 3 = 2$ 。如果 $| F_{e}^{3} | \leq 2$ 不连通，则 $C W_{4}^{3} - F_{e}^{3}$ 有一个连通分支H， $| E_{3, 4} (C W_{4}) - F_{e} | \geq | E_{3, 4} (C W_{4}) | - | F_{e}^{0} | \geq 6 - 2 > 0$ 。

2) 设 $C W_{4}^{[3, 4]} - F_{e}$ ，且 $H$ ， $v \in V (C W_{4}^{[1, 2]})$ 。如果 $v', v'' \in {v^{+}, v^{-}, v^{*}}$ 不连通，则 $2 n - 5 \leq | F_{e}^{1} | \leq 4 n - 13$ 有一个连通分支H， $| F_{e}^{0} | \leq (6 n - 11) - (2 n - 5) = 4 n - 6$ 。

3) 设 $| F_{e}^{2} | \leq 2 n - 6$ ，且 $C W_{n}^{i} - F_{e}^{i}$ ， $H$ 。如果 $| E_{i, j} (C W_{n}) - F_{e} | \geq | E_{i, j} (C W_{n}) | - | F_{e}^{0} | \geq$ 不连通，则 $3 (n - 2)! - (4 n - 6) > 0$ 有一个连通分支H， $F_{e} \subseteq E (C W_{n})$ 。

3. 最大连通部分

引理2.6设 $| F_{e} | \leq 4 n - 7$ ，且 $n \geq 4$ 。如果 $C W_{n}^{[2, n]} - F_{e}$ 不连通，则 $2 n - 5 \leq | F_{e}^{1} | \leq 4 n - 13 = 4 (n - 1) - 9$ 由两个连通部分组成，其中一个连通部分是一个孤立点。

证明因为 $C W_{n}^{1} - F_{e}^{1}$ 是不连通的，不失一般性，我们假设 $n \geq 5$ 。因为 $| V (H_{1}) | \geq (n - 1)! - 1$ ，根据引理2.2(1)， $| E_{C W_{n}} (V (H_{1}), V (C W_{n}^{2})) - F_{e} | \geq | E_{1, 2} (C W_{n}) | - | V (C W_{n}^{1}) - V (H_{1}) | - | F_{e}^{0} | \geq 3 (n - 2)! - 1$ ，其中 $- (4 n - 6) > 0$ ， $C W_{n} - F_{e}$ 。由 $C W_{n}^{n} - F_{e}^{n}$ ，可得 $| V (H) | \geq n! - 1 > n! - 2$ ；否则 $2 n - 5 \leq | F_{e}^{2} | \leq 4 n - 13$ ，与事实 $| F_{e}^{3} | \leq 2 n - 6$ 相矛盾。根据引理2.4， $| F_{e}^{0} | \leq (6 n - 11) - 2 (2 n - 5) = 2 n - 1$ 是连通的。设H是 $C W_{n}^{i} - F_{e}^{i}$ 的包含 $i \neq j$ 作为一个子集的连通部分。接下来我们考虑如下情况：

情形1 $n \geq 5$

在这种情形下，根据引理2.4， $H = C W_{n} - F_{e}$ 是连通的， $C W_{n} - F_{e}$ 。现在我们声称 $2 n - 5 \leq | F_{e}^{1} | \leq 4 n - 13$ 或者 $C W_{n}^{[3, n]} - F_{e}$ ；否则的话 $2 n - 5 \leq | F_{e}^{2} | \leq | F_{e}^{1} | \leq 4 n - 13$ ，与事实 $C W_{n}^{k} - F_{e}^{k}$ 相矛盾。不失一般性，我们可以假设 $i \in [2, n]$ 。相似的，可以得到 $| V (H_{k}) | \geq (n - 1)! - 1$ 或者 $i, j \in [2, n]$ ，其中 $| E_{C W_{n}} (V (H_{k}), V (C W_{n}^{3})) - F_{e} | \geq | E_{k, 3} (C W_{n}) | -$ 。因此 $| V (C W_{n}^{k}) - V (H_{k}) | - | F_{e}^{0} | \geq 3 (n - 2)! - 1 - (2 n - 1) > 0$ 连通了，与假设相矛盾。

情形2 $C W_{n}^{[2, n]} - F_{e}$

假设 $H$ ，则 $2 n - 5 \leq | F_{e}^{1} | \leq 4 n - 13 = 4 (n - 1) - 9$ 。根据引理2.4， $C W_{n}^{1} - F_{e}^{1}$ 是连通的， $| V (H) | \geq n! - 2$ 。我们可以得到 $| F_{e}^{3} | \geq 2 n - 5$ 或者 $| F_{e}^{0} | \leq (6 n - 11) - 3 (2 n - 5) = 4$ ；否则 $| E_{i, j} (C W_{n}) - F_{e} | \geq | E_{i, j} (C W_{n}) | - | F_{e}^{0} | \geq$ ，与事实 $3 (n - 2)! - 4 > 0$ 相矛盾。不失一般性，我们可以假设 $n \geq 5$ 。相似的，可以得到 $H_{1}$ 或者 $H$ 。因此 $C W_{n}^{[4, n]} - F_{e}$ 是H的一个子集。因为 $| F_{e}^{2} | \geq 2 n - 5$ ，根据引理2.5(1)， $C W_{n}^{k} - F_{e}^{k}$ 有一个连通分支 $| F_{e}^{3} | \leq 3 < 2 n - 6$ ，使得 $| V (H_{k}) | \geq (n - 1)! - 1$ 。因为 $C W_{n}^{i} - F_{e}^{i}$ $| E_{C W_{n}} (V (H_{k}), V (C W_{n}^{4})) - F_{e} | \geq | E_{k, 4} (C W_{n}) | - | V (C W_{n}^{k}) - V (H_{k}) | - | F_{e}^{0} |$ ，所以 $\geq 3 (n - 2)! - 1 - 4 > 0$ 是H的一个子集。因此 $| E_{i, j} (C W_{n}) - F_{e} | \geq | E_{i, j} (C W_{n}) | - | F_{e}^{0} | \geq 3 (n - 2)! - 3 > 0$ 。

假设 $i, j \in [3, n]$ ，则 $i \neq j$ 。如果 $n \geq 5$ ，根据引理2.4， $C W_{n}^{[3, n]} - F_{e}$ 是连通的， $C W_{n}^{k} - F_{e}^{k}$ 。因为 $| V (H) | \geq n! - 2$ ，所以 $v', v'' \in {v^{+}, v^{-}, v^{*}}$ 是H的一个子集。由引理2.2(4)，对于任意的 $u_{i} \in V (C W_{n}^{i}) - V (H_{i})$ ，存在两个顶点 $v'' \in V (C W_{n}^{[3, n]})$ ，使得 $| F_{e}^{0} | \leq 3 < 2 \times 2$ 。因为 $C W_{n}^{[1, 2]}$ ，所以在 $| V (H) | \geq n! - 2$ 中最多有一个顶点不被包含在H中。因此 $| V (H) | \geq n! - 1$ 。如果 $4 n - 12 \leq | F_{e}^{1} | \leq 4 n - 7$ ，则 $| F_{e}^{0} | \leq 4 n - 7 - (4 n - 12) = 5$ 。已知对于任意的 $| F_{e}^{3} | \leq 2 < 2 n - 6$ ，存在一个顶点 $n \geq 5$ ，使得 $C W_{n}^{i} - F_{e}^{i}$ 。因为 $i \in [3, n]$ ，所以 $| E_{i, j} (C W_{n}) - F_{e} | \geq | E_{i, j} (C W_{n}) | - | F_{e}^{0} | \geq 3 (n - 2)! - 5 > 0$ 是连通的，与假设矛盾。

情形3 $i, j \in [3, n]$

假设 $i \neq j$ ，则根据引理2.4， $n \geq 5$ 是连通的， $C W_{n}^{[3, n]} - F_{e}$ 。因为 $H$ $| F_{e}^{2} | \leq 2 n - 6$ ，其中 $C W_{n}^{[2, n]} - F_{e}$ ， $H$ ，所以 $u \in V (C W_{n}^{1})$ 是H的一个子图。已知对于任意的 ${u^{+}, u^{-}, u^{*}} \subseteq V (C W_{n}^{[2, n]})$ ， $| F_{e} | \geq 2 \times (2 n - 3) + (2 n - 2) - 2 = 6 n - 10 >$ 。因为 $6 n - 11$ ，所以在 $C W_{n}^{1}$ 中最多有一个顶点不被包含在H中。因此 $4 n - 12 \leq | F_{e}^{1} | \leq 6 n - 20$ 。

假设 $| F_{e}^{0} | \leq (6 n - 11) - (4 n - 12) = 2 n + 1$ ，则 $| F_{e}^{3} | \leq 2 n - 6$ ， $| F_{e} | \geq 2 (2 n - 5) +$ 。根据引理2.4， $(4 n - 12) - 1 = 8 n - 22 > 6 n - 11$ 是连通的。因为 $| F_{e}^{2} | \geq 5$ $| F_{e}^{0} | \leq 4 n - 7 - (4 n - 12) - 5 = 0$ ，所以 $C W_{n}^{i} - F_{e}^{i}$ 是H的一个子集。根据引理2.2(4)，对于任意的 $F_{e} \subseteq E (C W_{5})$ ，存在两个顶点 $| F_{e} | \leq 19$ ，使得 $C W_{5} - F_{e}$ 和 $C W_{5} - F_{e}$ 。因为 $H$ ，所以在 $C W_{n}^{[3, n]} - F_{e}$ 中最多有一个顶点不被包含在H中。因此 $C W_{n}^{2} - F_{e}^{2}$ 。

引理2.7设 $| F_{e}^{1} | \geq | F_{e}^{2} | \geq | F_{e}^{3} | \geq | F_{e}^{4} | \geq | F_{e}^{5} |$ ，且 $n = 5$ ， $C W_{n}^{2} - F_{e}^{2}$ 。如果 $i, j \in [1, 5]$ 不连通，则 $i \neq j$ 由两个连通部分组成，其中一个连通部分是一个孤立点。

证明当 $C W_{n}^{1} - F_{e}^{1}$ 时，根据引理2.6，证明结论是成立的。假设 $| F_{e}^{5} | \leq | F_{e}^{4} | \leq 4$ 且 $| F_{e} | \geq 5 \times 4 = 20 > 19$ 是不连通的。不失一般性，我们可以假设 $| E_{C W_{n}} (V (H_{1}), V (C W_{n}^{2})) - F_{e} | \geq$ 。假设H是 $C W_{5}^{i} - F_{e}^{i}$ 的包含 $i \in [4, 5]$ 作为一个子集的连通部分。接下来我们考虑如下情况：

情形1 $H$

在这种情况下，根据引理2.4， $| V (H) | \geq n! - 2$ 是连通的， $C W_{n}^{2} - F_{e}^{2}$ 。因为 $| F_{e}^{2} | \geq 2 n - 5$ $| F_{e}^{0} | \leq (6 n - 11) - (4 n - 12) - (2 n - 5) = 6$ ，其中 $| F_{e}^{0} | \leq 6$ ， $E_{1, 2} (C W_{5}) - F_{e} \neq Φ$ ， $E_{1, 3} (C W_{5}) - F_{e} \neq Φ$ ，因此 $v_{1}, v_{2}, v_{3}, v_{4} \in V (C W_{n}^{[1, 2]})$ 是连通的，与假设 $| F_{e} | \leq 19$ 不连通相矛盾。

情形2 ${{v^{'}}_{1}, {v^{″}}_{1}, {v^{'}}_{2}, {v^{″}}_{2}, {v^{'}}_{3}, {v^{″}}_{3}, {v^{'}}_{4}, {v^{″}}_{4}} \subseteq V (C W_{n}^{[3, n]})$

假设 $E_{1, i} (C W_{5}) - F_{e} \neq Φ$ ，则 $E_{2, i} (C W_{5}) - F_{e} \neq Φ$ 。根据引理2.4， $V (C W_{n}^{[3, n]}) \subseteq V (H)$ 是连通的， $C W_{5} - F_{e}$ 。因为 $| F_{e}^{0} | \geq 8$ ，其中 $| F_{e}^{0} | \leq 6$ ， $| F_{e}^{0} | \leq 19 - 5 = 14$ ， $C W_{5}^{i} - F_{e}^{i}$ ，所以 $i \in [2, 5]$ 是H的一个子集。因为 $E_{2, 3} (C W_{5}) - F_{e} \neq Φ$ ，根据引理2.5(1)， $E_{2, 4} (C W_{5}) - F_{e} \neq Φ$ 有一个连通分支 $| F_{e} | \geq | E_{2, 3} (C W_{5}) | + | E_{2, 4} (C W_{5}) | = 2 \times 18 = 36 > 19$ ，使得 $| F_{e} | \leq 19$ 。又因为 $| F_{e}^{1} | \geq 6 n - 19$ $| F_{e}^{0} | \leq (6 n - 11) - (6 n - 19) = 8$ $| F_{e}^{3} | \leq 4 < 2 n - 6$ ，所以 $i \in [4, 5]$ 是H的一个子集。因此 $C W_{n}^{3} - F_{e}^{3}$ 。

假设 $H$ ，则 $C W_{5}^{1} - F_{e}^{1}$ ， $E_{1, 2} (C W_{5}) - F_{e} \neq Φ$ ， $E_{1, 3} (C W_{5}) - F_{e} \neq Φ$ 。根据引理2.4， $C W_{n}^{[3, n]} - F_{e}$ 是连通的， $C W_{n}^{2} - F_{e}^{2}$ 。因为 $C W_{5}^{1} - F_{e}^{1}$ ，其中 $5 \leq | F_{e}^{1} | \leq 7$ ， $C W_{n}^{2} - F_{e}^{2}$ ， $u \in V (C W_{n}^{1})$ ，所以 ${u^{+}, u^{-}, u^{*}} \subseteq V (C W_{n}^{[2, n]})$ 是H的一个子集。由引理2.2(4)，对于任意的 $| F_{e}^{0} | \leq 8 < 3 \times 3$ ，存在两个顶点 $V (C W_{n}^{1})$ ，使得 $H_{1}$ 和 $H$ 。又因为 $2 n - 5 \leq | F_{e}^{2} | \leq 8$ ，所以在 $5 \leq | F_{e}^{2} | \leq 7$ 中最多有一个顶点不被包含在H中。因此 $| F_{e}^{2} | = 7$ 。

情形3 $| F_{e}^{0} | = 1$

在这种情形下，可得 $u \in V (C W_{n}^{[1, 2]})$ ， $C W_{n}^{[3, n]}$ ， $| F_{e}^{0} | \leq 1$ ，根据引理2.4， $i, j \in [3, 5]$ 是连通的， $i \neq j$ 。因为 $C W_{5}^{[3, 5]} - F_{e}$ ，其中 $H$ ， $5 \leq | F_{e}^{2} | \leq | F_{e}^{1} | \leq 7$ ， $C W_{5}^{k} - F_{e}^{k}$ ，所以 $H_{k}$ 是H的一个子集。

假设 $| V (H_{k}) | \geq 4! - 1$ ，则 $k \in [1, 2]$ 是H的一个子集。已知对于任意的 $| E_{C W_{_{5}}} (V (H_{k}), V (C W_{5}^{3})) - F_{e} | \geq | E_{k, 3} (C W_{5}) | - | V (C W_{5}^{k}) - V (H_{k}) | - | F_{e}^{0} | \geq 18 - 1 - 9 = 8 > 0$ ，有 $H_{k}$ 。又因为 $H$ ，所以在 $k \in [1, 2]$ 中最多有一个顶点不被包含在H中。因此 $| V (H) | \geq 5! - 2$ 。

假设 $5 \leq | F_{e}^{3} | \leq 7$ 。因为 $| F_{e}^{0} | \leq 19 - 3 \times 5 = 4$ ，所以 $| E_{4, 5} (C W_{5}) - F_{e} | \geq | E_{4, 5} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 4 > 0$ ，则 $C W_{n}^{5} - F_{e}^{5}$ 。根据引理2.2(4)， $H$ 是连通的，与假设相矛盾。

引理2.8设 $C W_{n}^{5} - F_{e}^{5}$ ，且 $| F_{e}^{1} | \leq 4$ 。如果 $H_{k}$ 不连通，则 $| V (H_{k}) | \geq 4! - 1$ 有一个连通分支H， $| F_{e}^{1} | \geq 5$ 。

证明因为 $5 \leq | F_{e}^{1} | \leq 7$ 是不连通的，不失一般性，我们可以假设 $| F_{e}^{2} | \leq 4$ 。因为 $| F_{e}^{0} | \leq 23 - 5 = 18$ ，根据引理2.2(1)，所以 $C W_{n}^{i} - F_{e}^{i}$ ， $k \in [1, 3]$ ， $k \in [1, 3]$ 。由 $C W_{5}^{k} - F_{e}^{k}$ ，可得 $| V (H) | \geq 5! - 2$ ；否则的话 $| V (H_{1}) | = | V (H_{2}) | = | V (H_{3}) | = 4! - 1$ ，与事实 $u_{i} \in V (C W_{5}^{i}) - V (H_{i})$ 相矛盾。根据引理2.4， $i = 1, 2, 3$ 是连通的， $i \in [1, 3]$ 。设H是 $u_{i} \in V (H)$ 中包含 $C W_{5}^{[2, 5]} - F_{e}$ 作为一个子集的连通部分。现在我们考虑下面的几种情形：

情形1 $5 \leq | F_{e}^{1} | \leq 7$

在这种情况下，根据引理2.4， $C W_{5}^{1} - F_{e}^{1}$ 是连通的， $u_{1}, u_{2}, u_{3}$ 。现在我们声称 $C W_{5} - F_{e}$ 或者 $| E_{C W_{5}} (V (H_{1}), V (C W_{5}^{[2, 3]})) - F_{e} | \geq$ ；否则的话 $| E_{1, 2} (C W_{5}) | + | E_{1, 3} (C W_{5}) | - 2 | V (C W_{5}^{1}) - V (H_{1}) | - | F_{e}^{0} | \geq 18 \times 2 - 2 - 18 > 0$ ，与事实 $C W_{5} - F_{e}$ 产生了矛盾。不失一般性，我们可以假设 $| F_{e} | \geq 3 \times 8 - 2 = 22 > 19$ 。同样的道理，可以得到 $5 \leq | F_{e}^{2} | \leq 7$ 或者 $| F_{e}^{3} | \leq 4$ 。因此 $| F_{e}^{0} | \leq 23 - 2 \times 5 = 13$ 是连通的，与假设 $C W_{5}^{i} - F_{e}^{i}$ 是不连通的产生了矛盾。

情形2 $| F_{e} | \leq 19$

情形2.1 $u_{1}, u_{2}, u_{3}$

在这种情形下， $C W_{5} - F_{e}$ 。根据引理2.4， $P_{3}$ 是连通的， $C W_{n}^{[3, 5]} - F_{e}$ 。现在我们声称 $5 \leq | F_{e}^{2} | \leq | F_{e}^{1} | \leq 7$ 或者 $C W_{5}^{k} - F_{e}^{k}$ ；否则的话 $| F_{e}^{2} | \leq 4$ ，与事实 $| F_{e}^{0} | \leq 19 - 8 = 11$ 产生矛盾。不失一般性，我们可以假设 $C W_{5}^{i} - F_{e}^{i}$ 。相似的，可得 $| E_{C W_{5}} (V (H_{k}), V (C W_{5}^{2})) - F_{e} | \geq | E_{k, 3} (C W_{5}) | - | V (C W_{5}^{k}) - V (H_{k}) | - | F_{e}^{0} | \geq 18 - 1 - 3 > 0$ 或者 $| E_{i, j} (C W_{5}) - F_{e} | \geq | E_{i, j} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 11 = 7 > 0$ ， $i, j \in [3, 5]$ 。因此 $5 \leq | F_{e}^{3} | \leq 7$ 是H的一个子集。

假设 $C W_{5}^{[2, 5]} - F_{e}$ 是连通的。我们可以得到 $C W_{5}^{k} - F_{e}^{k}$ 或者 $C W_{5}^{1} - F_{e}^{1}$ ，与上面类似。因此 $| E_{1, 2} (C W_{5}) - F_{e} | \geq | E_{1, 2} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 11 = 7 > 0$ 是连通的，与事实 $H = C W_{5} - F_{e}$ 不连通相矛盾。

假设 $| F_{e}^{4} | \leq 4$ 是不连通的。因为 $| F_{e}^{0} | \leq 23 - 3 \times 5 = 8$ ，根据引理2.5(1)， $C W_{5}^{1} - F_{e}^{1}$ 有一个连通分支 $H_{1}$ ，使得 $| V (H_{1}) | \geq 4! - 2$ 。又因为 $C W_{5}^{[4, 5]} - F_{e}$ ，因此 $| E_{C W_{5}} (V (H_{k}), V (C W_{5}^{4})) - F_{e} | \geq | E_{k, 4} (C W_{5}) | -$ 是H的一个子集。因此 $| V (C W_{5}^{k}) - V (H_{k}) | - | F_{e}^{0} | \geq 18 - 1 - 8 > 0$ 。

情形2.2 $| V (H) | \geq 5! - 2$

我们又将情形2.2分成以下两个子情形来讨论。

情形2.2.1 $5 \leq | F_{e}^{2} | \leq 7$

在这种情形下，可得 $| F_{e}^{3} | \leq 4$ 。根据引理2.4， $| F_{e}^{4} | \geq 5$ 是连通的， $| F_{e}^{0} | \leq 23 - 4 \times 5 = 3$ 。因为 $| F_{e}^{4} | = 5$ ，其中 $| E_{i, j} (C W_{5}) - F_{e} | \geq | E_{i, j} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 6 > 0$ ， $i, j \in [3, 5]$ ，所以 $C W_{5}^{4} - F_{e}^{4}$ 是H的一个子集。因为 $C W_{5}^{[3, 5]} - F_{e}$ ，根据引理2.5(1)，所以 $H$ 有一个连通部分 $| E_{C W_{5}} (V (H_{i}), V (C W_{5}^{5})) - F_{e} | \geq | E_{i, 5} (C W_{5}) | - | V (C W_{5}^{i}) - V (H_{i}) | - | F_{e}^{0} | \geq 18 - 1 - 13 > 0$ ，使得 $C W_{5}^{2} - F_{e}^{2}$ ， $H_{2}$ 。又因为 $| V (H_{2}) | \geq 4! - 1$ ，因此 $C W_{5}^{1} - F_{e}^{1}$ 是H的一个子集， $| E_{1, 3} (C W_{5}) - F_{e} | \geq | E_{1, 3} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 6 > 0$ 。因此 $| E_{C W_{_{5}}} (V (H_{2}), V (C W_{5}^{3})) - F_{e} | \geq | E_{2, 3} (C W_{5}) | - | V (C W_{5}^{2}) - V (H_{2}) | - | F_{e}^{0} | \geq 18 - 1 - 6 > 0$ ，引理成立。

情形2.2.2 $u_{i} \in V (C W_{5}^{i}) - V ( H i )$

在这种情形下，可得 $H_{2}$ 。因为 $H$ ，所以 $| V (H) | \geq 5! - 1$ 是H的一个子集。因为 $C W_{5}^{1} - F_{e}^{1}$ ，根据引理2.5(1)， $C W_{5}^{1} - F_{e}^{1}$ 有一个连通分支 $H_{1}$ ，使得 $| V (H_{1}) | \geq 4! - 2$ ， $| V (H_{1}) | \geq 4! - 1$ 。又因为 $| F_{e}^{0} |$ $| V (H_{1}) | \geq 4! - 2$ ，因此 $| F_{e}^{0} | \leq 3$ 是H的一个子集， $| V (H) | \geq 5! - 2$ 。如果对于某个 $| V (H_{1}) | = 4! - 2$ ， $| V (H_{2}) | = 4! - 1$ 是连通的，那么 $u_{11}, u_{12} \in V (C W_{5}^{1}) - V (H_{1})$ 。现在我们考虑 $u_{2} \in V (C W_{5}^{2}) - V (H_{2})$ 。设 $| F_{e}^{0} | \leq 6$ ，其中 $v \in ({u_{11}^{+}, u_{11}^{-}, u_{11}^{*}, u_{12}^{+}, u_{12}^{-}, u_{12}^{*}, u_{2}^{+}, u_{2}^{-}, u_{2}^{*}} - {u_{11}, u_{12}, u_{2}}) \cap V (H)$ 。如果对于某个 $(v, u_{11}) \in E (C W_{5}) - F_{e}$ ，有 $8 \leq | F_{e}^{1} | \leq 10$ ，那么 $(v, u_{2}) \in E (C W_{5}) - F_{e}$ 。接下来我们考虑 $C W_{5}^{1} - F_{e}^{1}$ 。因为 $| V (H) | \geq 5! - 2$ 是二部图，所以 $5 \leq | F_{e}^{3} | \leq 7$ 在 $| F_{e}^{2} | \leq 4$ 中形成三个孤立的顶点或者一个边和一个孤立的顶点或者一个 $| F_{e}^{0} | \leq 23 - 8 = 15$ 。如果 $C W_{5}^{i} - F_{e}^{i}$ 在 $H$ 中是三个孤立的顶点，则 $| V (H) | \geq 5! - 2$ ，与事实 $| V (H) | \leq 5! - 3$ 产生矛盾；如果 $v_{1}, v_{2}, v_{3} \in V (C W_{5}^{[1, 3]})$ 在 $C W_{5}^{[2, 5]} - F_{e}$ 中是一个边和一个孤立的顶点，则 $| E_{C W_{5}} (V (H_{1}), V (C W_{5}^{2})) - F_{e} | \geq | E_{1, 2} (C W_{5}) | - | V (C W_{5}^{1}) - V (H_{1}) | - | F_{e}^{0} | \geq 18 - 2 - 15 > 0$ ，与事实 ${(v_{1}, v_{1}'), (v_{2}, v_{2}'), (v_{3}, v_{3}')} \subseteq E (C W_{5})$ 产生矛盾；如果 ${v_{1}, v_{2}, v_{3}} \cap V (H) = Φ$ 在 $5 \leq | F_{e}^{2} | \leq 7$ 中是一个 $5 \leq | F_{e}^{2} | \leq 7$ ，则 $C W_{5}^{2} - F_{e}^{2}$ ，与事实 $| F_{e}^{0} | \leq 1$ 产生矛盾。

情形3 $| V (H) | \geq 5! - 2$

情形3.1 $| F_{e}^{3} | \leq 4$

在这种情形下，可得 $| F_{e}^{0} | \leq 23 - 8 - 5 = 10$ 。根据引理2.4， $C W_{5}^{i} - F_{e}^{i}$ 是连通的， $C W_{5}^{3} - F_{e}^{3}$ 。因为 $| E_{i, j} (C W_{5}) - F_{e} | \geq | E_{i, j} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 3 > 0$ ，其中 $C W_{5}^{[3, 5]} - F_{e}$ ， $H$ ，所以 $C W_{5}^{[3, 5]} - F_{e}$ 是H的一个子集。假设 $| E_{C W_{5}} (V (H_{k}), V (C W_{5}^{3})) - F_{e} | \geq | E_{k, 3} (C W_{5}) | - | V (C W_{5}^{k}) - V (H_{k}) | - | F_{e}^{0} | \geq 18 - 2 - 10 > 0$ 是连通的，我们有 $v', v'' \in {v^{+}, v^{-}, v^{*}}$ ，因此 $v' \in V (C W_{5}^{[3, 5]})$ 是连通的，与事实 $v'' \in V (C W_{5}^{[3, 5]})$ 不连通产生矛盾。假设 $5 \leq | F_{e}^{3} | \leq 7$ 是不连通的，根据引理2.5(2)， $| F_{e}^{0} | \leq 23 - 8 - 5 \times 2 = 5$ 有一个连通分支 $C W_{5}^{3} - F_{e}^{3}$ ，使得 ${v_{1}', v_{1}'', v_{2}', v_{2}'', v_{3}', v_{3}''} \subseteq V (C W_{5}^{[3, 5]}) \subseteq V (H)$ 。因为 ${(v_{1}, v_{1}'), (v_{1}, v_{1}''), (v_{2}, v_{2}'), (v_{2}, v_{2}''), (v_{3}, v_{3}'), (v_{3}, v_{3}'')} \subseteq F_{e}^{0}$ $| F_{e}^{4} | \leq 4$ ，所以 $| E_{4, 5} (C W_{5}) - F_{e} | \geq | E_{4, 5} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 5 > 0$ 是H的一个子集。因此 $C W_{5}^{[4, 5]} - F_{e}$ 。

情形3.2 $| E_{C W_{5}} (V (H_{k}), V (C W_{5}^{4})) - F_{e} | \geq | E_{k, 4} (C W_{5}) | - | V (C W_{5}^{k}) - V (H_{k}) | - | F_{e}^{0} | \geq 18 - 2 - 5 > 0$

情形3.2.1 $H_{k}$

在这种情形下，可得 $k \in [1, 3]$ 。根据引理2.4， $| V (H_{1}) | \geq 4! - 1$ 是连通的， $| V (H) | \geq 5! - 3$ 。因为 $| V (H_{2}) | = 4!$ ，其中 $| V (H_{3}) | = 4!$ ， $| V (H) | \geq 5! - 3$ ，所以 $| V (H_{1}) | = 4! - 2$ 是H的一个子集。因为 $| V (H_{2}) | = | V (H_{3}) | = 4! - 1$ ，根据引理2.5(1)， $u_{11}, u_{12} \in V (C W_{5}^{1}) - V (H_{1})$ 有一个连通分支 $u_{i} \in V (C W_{5}^{i}) - V (H_{i})$ ，使得 $i \in [2, 3]$ 。

假设 $u_{11} \in V (H)$ 是连通的。又因为 $u_{12} \in V (H)$ 且 $u_{1} \in V (H)$ ，所以 $u_{3} \in V (H)$ 和 $| V (H) | \geq 5! - 3$ 都是H的一个子集。因此 $u_{11}, u_{12}, u_{3}, u_{4}$ 。

假设 $V (H)$ 是不连通的。根据引理2.5(2)， $C W_{5}$ 有一个连通部分 $| F_{e}^{0} | \leq 5$ ，使得 $v \in ({u_{11}^{+}, u_{11}^{-}, u_{11}^{*}, u_{12}^{+}, u_{12}^{-}, u_{12}^{*}, u_{2}^{+}, u_{2}^{-}, u_{2}^{*}, u_{3}^{+}, u_{3}^{-}, u_{3}^{*}} - {u_{11}, u_{12}, u_{3}, u_{4}}) \cap V (H)$ 。如果 $(v, u_{11}) \in E (C W_{5}) - F_{e}$ ，那么 $(v, u_{12}) \in E (C W_{5}) - F_{e}$ 。如果 $(v, u_{i}) \in E (C W_{5}) - F_{e}$ ， $i \in [2, 3]$ ，那么 ${u_{11}, u_{12}, u_{3}, u_{4}} \cap V (H) \neq Φ$ 。现在我们假设 $u_{11} \notin V (H)$ ， $u_{12} \notin V (H)$ 。设 $u_{3} \notin V (H)$ ， $u_{4} \notin V (H)$ 。因为 $| F_{e}^{4} | \geq 5$ ，根据引理2.2(2)，所以存在一个顶点 $| F_{e}^{1} | = 8$ ，使得 $| F_{e}^{2} | = | F_{e}^{3} | = | F_{e}^{4} | = 5$ 或者 $| F_{e}^{0} | = 0$ 或者 $C W_{5}^{4} - F_{e}^{4}$ 。因此 $H_{4}$ ，得 $| V (H_{4}) | \geq 4! - 1$ 。

情形3.2.2 $| E_{C W_{5}} (V (H_{i}), V (C W_{5}^{5})) - F_{e} | \geq | E_{i, 5} (C W_{5}) | - | V (C W_{5}^{i}) - V (H_{i}) | -$

在这种情形下， $| F_{e}^{0} | \geq 18 - 0 > 0$ 。因为 $H_{i}$ ，所以 $i \in [1, 4]$ 是H的一个子集。现在我们声称 $C W_{5}^{4} - F_{e}^{4}$ 。用反证法来证明，假设 $C W_{5}^{4} - F_{e}^{4}$ 。因此存在三个不同的顶点 $v \in V (C W_{5}^{[1, 3]})$ ，使得 $v^{'} \in {v^{+}, v^{-}, v^{*}}$ 。根据引理2.2(2)(3)，存在三个不同的顶点 $v^{'} \in V (C W_{5}^{[4, 5]})$ ，使得 $(v, v^{'}) \in E (C W_{5}^{[4, 5]})$ 。因为 $| F_{e}^{0} | = 0$ 且 $v \in V (C W_{5}^{[1, 3]})$ ，所以我们有 $v \in V (H)$ ，得到 $H = C W_{5} - F_{e}$ ，与事实 $C W_{5} - F_{e}$ 产生矛盾。因此 $| V (H_{4}) | = 4! - 1$ 。

情形3.3 $u_{4} \in V (C W_{5}^{4}) - V ( H 4 )$

在这种情形下， $| F_{e}^{0} | = 0$ 因为 $u_{4} \notin V (H)$ ，由引理2.4，可得 ${u_{4}^{+}, u_{4}^{-}, u_{4}^{*}} \subseteq V (C W_{5}^{[1, 3]}) - V (H)$ 是连通的。因为 ${u_{4}^{+}, u_{4}^{-}, u_{4}^{*}} \cap V (C W_{5}^{i}) = {u_{i}}$ ，所以 $i \in [1, 3]$ 是H的一个子集。现在我们声称 $C W_{5}$ 。已知对于任意的 ${u^{'}}_{1} \in V (C W_{5}^{1}) - V (H) - {u_{1}}$ ，根据引理2.2(4)，存在两个顶点 $({u^{'}}_{1}, u_{3}) \in E (C W_{5})$ ，使得 ${u^{'}}_{2} \in V (C W_{5}^{2}) - V (H) - {u_{2}}$ 和 $({u^{'}}_{2}, u_{3}) \in E (C W_{5})$ 。假设有一个矛盾，即 $| V (H_{1}) | \leq 4! - 2$ 。因此存在三个不同的顶点 $| V (H_{2}) | \leq 4! - 2$ ，使得 $| V (H_{2}) | \geq 4! - 1$ 。根据引理2.2(2)(4)，存在六个不同的顶点 $8 \leq | F_{e}^{2} | \leq 10$ ，使得 $C W_{5}^{i} ≅ B S_{4}$ ，可得 $C W_{5}^{i} - F_{e}^{i}$ ，与事实 $H_{i}$ 产生矛盾。因此 $| V (H_{i}) | \leq 4! - 2$ 。

情形4 $i = 1, 2$

情形4.1 $| F_{e}^{3} | \leq 4$

在这种情形下， $| F_{e}^{0} | \leq 23 - 8 \times 2 = 7$ 。根据引理2.4， $C W_{5}^{i} - F_{e}^{i}$ 是连通的， $i \in [3, 5]$ 。因为 $| E_{i, j} (C W_{5}) - F_{e} | \geq | E_{i, j} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 7 > 0$ $i, j \in [3, 5]$ ，其中 $i \neq j$ ， $C W_{5}^{[3, 5]} - F_{e}$ ，因此 $| E_{C W_{5}} (V (H_{k}), V (C W_{5}^{3})) - F_{e} | \geq | E_{k, 3} (C W_{5}) | - | V (C W_{5}^{k}) - V (H_{k}) | - | F_{e}^{0} | \geq 18 - 2 - 7 > 0$ 是H的一个子集。已知对于任意的 $H_{k}$ ， $k \in [1, 2]$ 。接下来用反证法来证明 $| V (H) | \geq 5! - 3$ 。假设矛盾， $| F_{e}^{0} | \leq 7 < 2 \times 4$ 。因此存在三个不同的顶点 $C W_{5} - F_{e}$ ，使得 $| V (H) | \geq 5! - 3$ 。因为 $| F_{e}^{3} | \geq 5$ ，所以有 $| F_{e}^{0} | \leq 23 - 8 \times 2 - 5 = 2$ ，可得 $C W_{5}^{4} - F_{e}^{4}$ ，与事实 $| E_{4, 5} (C W_{5}) - F_{e} | \geq | E_{4, 5} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 2 > 0$ 产生矛盾。因此 $C W_{5}^{[4, 5]} - F_{e}$ 。

情形4.2 $| V (H) | \geq 5! - 2$

在这种情形下，可得 $| V (H) | \leq 5! - 3$ 。因为 $v_{1}, v_{2}, v_{3} \in V (C W_{5}^{[1, 3]})$ ，根据引理2.4， ${v_{1}, v_{2}, v_{3}} \cap V (H) = Φ$ 是连通的。因为 ${v^{'}}_{1}, {v^{'}}_{2}, {v^{'}}_{3} \in V (C W_{5}^{[4, 5]})$ ，其中 ${(v_{1}, {v^{'}}_{1}), (v_{2}, {v^{'}}_{2}), (v_{3}, {v^{'}}_{3})} \subseteq E (C W_{5})$ ， ${v_{1}, v_{2}, v_{3}} \cap V (H) = Φ$ ，所以 ${v^{'}}_{1}, {v^{'}}_{2}, {v^{'}}_{3} \subseteq V (C W_{5}^{[4, 5]}) \subseteq V (H)$ 是H的一个子集。对于任意的 ${(v_{1}, {v^{'}}_{1}), (v_{2}, {v^{'}}_{2}), (v_{3}, {v^{'}}_{3})} \subseteq F_{e}^{0}$ ，根据引理2.2(4)，存在两个顶点 $| F_{e}^{0} | \geq 3$ ，使得 $| F_{e}^{0} | \leq 2$ 和 $| V (H) | \geq 5! - 2 > 5! - 3$ 。现在我们声称 $| F_{e}^{1} | = 11$ 。用反证法来证明，假设 $C W_{5}^{1} - F_{e}^{1}$ 。因此存在两个不同的顶点 $H_{1}$ ，使得 $| V (H_{1}) | \geq 4! - 3$ 。根据引理2.2(2)(4)，存在四个不同的顶点 $| F_{e}^{2} | \leq 4$ ，使得 $| F_{e}^{0} | \leq 23 - 11 = 12$ ，因此 $C W_{5}^{i} - F_{e}^{i}$ ，与事实 $i \in [2, 5]$ 产生矛盾。因此 $| E_{i, j} (C W_{5}) - F_{e} | \geq | E_{i, j} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 12 > 0$ 。

情形4.3 $i, j \in [2, 5]$

在这种情形下， $i \neq j$ ，进一步可以得到 $C W_{5}^{[2, 5]} - F_{e}$ ， $| E_{C W_{5}} (V (H_{1}), V (C W_{5}^{2})) - F_{e} | \geq | E_{1, 2} (C W_{5}) | - | V (C W_{5}^{1}) - V (H_{1}) | - | F_{e}^{0} | \geq 18 - 3 - 12 > 0$ ， $H_{1}$ 。因为 $| V (H) | \geq 5! - 3$ ，其中 $5 \leq | F_{e}^{2} | \leq 11$ ， $C W_{5}^{2} - F_{e}^{2}$ ，因此 $H_{2}$ 是H的一个子集。因为 $| V (H_{2}) | \geq 4! - 3$ ，所以对于任意的 $| F_{e}^{3} | \leq 4$ ，存在 $| F_{e}^{0} | \leq 23 - 11 - 5 = 7$ ，使得 $C W_{5}^{i} - F_{e}^{i}$ ， $i \in [3, 5]$ 。因此 $| E_{i, j} (C W_{5}) - F_{e} | \geq | E_{i, j} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 7 > 0$ 是连通的，与事实 $i, j \in [3, 5]$ 不连通的相矛盾。

情形5 $i \neq j$

情形5.1 $C W_{5}^{[3, 5]} - F_{e}$

在这种情形下， $| E_{C W_{5}} (V (H_{k}), V (C W_{5}^{3})) - F_{e} | \geq | E_{k, 3} (C W_{5}) | - | V (C W_{5}^{k}) - V (H_{k}) | - | F_{e}^{0} | \geq 18 - 3 - 7 > 0$ 。根据引理2.4， $H_{k}$ 是连通的， $k = 1, 2$ 。与情形4.1同样的讨论方法可以证明引理成立。

情形5.2 $v \in V (C W_{5}^{[1, 2]})$

在这种情形下， $v^{'}, v^{″} \in {v^{+}, v^{-}, v^{*}}$ ， $v^{'} \in V (C W_{5}^{[3, 5]})$ 。再根据引理2.4， $v^{″} \in V (C W_{5}^{[3, 5]})$ 是连通度的， $| F_{e}^{0} | \leq 7 < 2 \times 4$ 。与情形4.2同样的讨论方法可以证明引理成立。

引理2.9 设 $C W_{5}^{[1, 2]} - F_{e}$ ，且 $| V (H) | \geq 5! - 3$ ， $5 \leq | F_{e}^{3} | \leq 7$ 。如果 $| F_{e}^{0} | \leq 23 - 11 - 5 \times 2 = 2$ 不连通，则 $5 \leq | F_{e}^{3} | \leq 7$ 有一个连通部分H，使得 $C W_{5}^{3} - F_{e}^{3}$ 。

证明当 $H_{3}$ 时，根据引理2.8，证明结论是成立的。假设 $| V (H_{3}) | \geq 4! - 1$ 且 $| F_{e}^{4} | \leq | F_{e}^{0} | \leq 2 < 4$ 是不连通的。不失一般性，我们可以假设 $C W_{5}^{4} - F_{e}^{4}$ 。因为 $| E_{4, 5} (C W_{5}) - F_{e} | \geq | E_{4, 5} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 2 > 0$ ，所以 $C W_{5}^{[4, 5]} - F_{e}$ ；否则的话 $| E_{C W_{5}} (V (H_{k}), V (C W_{5}^{4})) - F_{e} | \geq | E_{k, 4} (C W_{5}) | - | V (C W_{5}^{k}) - V (H_{k}) | - | F_{e}^{0} | \geq 18 - 3 - 2 > 0$ ， $H_{k}$ ，这与事实 $k \in [1, 3]$ 产生矛盾。再根据引理2.4， $v \in V (C W_{5}^{[1, 3]})$ 是连通的， $v^{'} \in {v^{+}, v^{-}, v^{*}}$ 。假设H是 $v^{'} \in V (C W_{5}^{[4, 5]})$ 的包含 $| F_{e}^{0} | \leq 2 < 1 \times 3$ 作为一个子集的连通部分。接下来我们考虑如下情况：

情形1 $C W_{5}^{[1, 3]} - F_{e}$

在这种情形下，根据引理2.4， $| V (H) | \geq 5! - 3$ 是连通的， $| F_{e}^{1} | = 12$ 。现在我们声称 $| F_{e}^{2} | \leq 4$ 或者 $| F_{e}^{0} | \leq 23 - 12 = 11$ ；否则的话 $C W_{5}^{i} - F_{e}^{i}$ ， $i \in [2, 5]$ ，与事实 $| E_{i, j} (C W_{5}) - F_{e} | \geq | E_{i, j} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 11 > 0$ 产生矛盾。不失一般性，我们可以假设 $i, j \in [2, 5]$ 。相似的，我们可以得到 $i \neq j$ 或者 $C W_{5}^{[2, 5]} - F_{e}$ ， $v \in V (C W_{5}^{1})$ 。因此 ${v^{+}, v^{-}, v^{*}} \subseteq V (C W_{5}^{[2, 5]})$ 是连通的，与事实 $| F_{e}^{0} | \leq 11 < 3 \times 4$ 是不连通的产生矛盾。

情形2 $C W_{5}^{1} - F_{e}$

在这种情形下， $| V (H) | \geq 5! - 3$ 。

情形2.1 $5 \leq | F_{e}^{2} | \leq 11$

在这种情形下，根据引理2.4， $| F_{e}^{3} | \leq 4$ 是连通的， $| F_{e}^{0} | \leq 23 - 12 - 5 = 6$ 。因为 $C W_{5}^{i} - F_{e}^{i}$ $i \in [3, 5]$ ，其中 $| E_{i, j} (C W_{5}) - F_{e} | \geq | E_{i, j} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 6 > 0$ ， $i, j \in [3, 5]$ ， $i \neq j$ ，所以 $C W_{5}^{[3, 5]} - F_{e}$ 是H的一个子集。因为 $v \in V (C W_{5}^{[1, 2]})$ ，根据引理2.5(1)， $v^{'}, v^{″} \in {v^{+}, v^{-}, v^{*}}$ 有一个连通部分 $v^{'}, v^{″} \in V (C W_{5}^{[3, 5]})$ ，使得 $| F_{e}^{0} | \leq 6 < 2 \times 4$ 。因为 $C W_{5}^{[1, 2]} - F_{e}$ $| V (H) | \geq 5! - 3$ ， $| F_{e}^{3} | \geq 5$ ，所以 $| F_{e}^{0} | \leq 23 - 12 - 5 \times 2 = 1$ 是H的一个子集。因此 $| F_{e}^{4} | \leq | F_{e}^{0} | \leq 1$ 。

情形2.2 $C W_{5}^{4} - F_{e}^{4}$

假设 $| E_{4, 5} (C W_{5}) - F_{e} | \geq | E_{4, 5} (C W_{5}) | - | F_{e}^{0} | \geq 18 - 1 > 0$ ，可得 $C W_{5}^{[4, 5]} - F_{e}$ ，根据引理2.4， $| V (H) | \geq 5! - 1$ 是连通的， $| V (H) | \leq 5! - 2$ 。因为 $v_{1}, v_{2} \in V (C W_{5}^{[1, 3]})$ ，其中 ${v_{1}, v_{2}} \cap V (H) = Φ$ ， ${v^{'}}_{1}, {v^{'}}_{2} \in V (C W_{5}^{[4, 5]})$ ， ${(v_{1}, {v^{'}}_{1}), (v_{2}, {v^{'}}_{2})} \subseteq E (C W_{5})$ ，所以 ${v_{1}, v_{2}} \cap V (H) = Φ$ 是H的一个子集。因为 ${v^{'}}_{1}, {v^{'}}_{2} \subseteq V (C W_{5}^{[4, 5]}) \subseteq V (H)$ ，根据引理2.5(1)， ${(v_{1}, {v^{'}}_{1}), (v_{2}, {v^{'}}_{2})} \subseteq F_{e}^{0}$ 有一个连通部分 $| F_{e}^{0} | \geq 2$ ，使得 $| F_{e}^{0} | \leq 1$ ，其中 $| V (H) | \geq 5! - 1 > 5! - 3$ 。因为 $n \geq 4$ $C W_{n}$ ， $(2 n - 4)$ ， $(2 n - 4)$ ，所以 $F_{e} \subseteq E (C W_{n})$ 和 $| F_{e} | \leq 2 n - 4$ 是H的一个子集。因此 $C W_{n} - F_{e}$ 。

假设 $u, v$ ，可得 $(u \neq v)$ 。因为 $C W_{n}$ $t = \min {d_{C W_{n} - F_{e}} (u), d_{C W_{n} - F_{e}} (v)}$ ，其中 $F_{f} \subseteq E (C W_{n}) - F_{e}$ ， $| F_{f} | \leq t - 1$ ， $C W_{n} - F_{e} - E_{f}$ ，所以 $F_{f} \subseteq E (C W_{n}) - F_{e}$ 是H的一个子集。因为 $| F_{f} | \leq t - 1$ ，根据引理2.5(1)， $C W_{n} - F_{e} - E_{f}$ 有一个连通部分 $d_{C W_{n} - F_{e}} (u) \leq 2 n - 2$ ，使得 $d_{C W_{n} - F_{e}} (v) \leq 2 n - 2$ ， $| F_{f} | \leq 2 n - 3$ 。因为 $| F_{e} \cup F_{f} | \leq (6 n - 14) + (2 n - 3) = 8 n - 17$ $C W_{n} - F_{e} - E_{f}$ ，其中 $| V (H) | \geq n! - 1$ ， $C W_{n} - F_{e} - E_{f}$ ，所以 $| V (H) | = n! - 1$ 是H的一个子集， ${u, v} \cap V (H) = 1$ 。如果对于某个 $u \notin V (H)$ ， $v \in V (H)$ 是连通的，那么 $E_{C W_{n}} ({u}, N_{C W_{n} - F_{e}} (u)) \subseteq E_{f}$ 。现在我们考虑 $| F_{f} | \geq d_{C W_{n} - F_{e}} (u)$ 。设 $| F_{f} | \leq t - 1 \leq d_{C W_{n} - F_{e}} (u) - 1$ ， $C W_{n}$ 。如果对于某个 $(2 n - 4)$ ， $(2 n - 4)$ ，那么 $u, u_{1} \in V (C W_{n})$ 。

接下来我们考虑 $(u, u_{1}) \in E (C W_{n})$ 。因为 $v \in V (C W_{n}) - N_{C W_{n}} (u_{1}) - {u_{1}}$ 是二部图，所以 $F_{e} = (u_{1}, N_{C W_{n}} (u_{1})) - (u, u_{1})$ 在 $| F_{e} | = 2 n - 2 - 1 = 2 n - 3$ 中是三个孤立点或者在 $d_{C W_{n} - F_{e}} (u) = d_{C W_{n} - F_{e}} (v) = 2 n - 2$ 中是一个边和一个孤立的点或者在 $n \geq 4$ 中是一个 $2 n - 3$ 路。如果 $u, v$ 在 $H$ 中是三个孤立点，则 $u \in V (C W_{n}^{1})$ ，这与事实 ${u^{+}, u^{-}, u^{*}} \subseteq V (C W_{n}^{[2, n]})$ 相矛盾；如果 $| F_{e}^{0} | \leq 8 < 3 \times 3$ 在 $V (C W_{n}^{1})$ 中形成一个边和一个孤立的点，则 $H$ ，这与事实 $| V (H) | \geq n! - 2$ 相矛盾；如果 $\min {d_{C W_{n} - F_{e}} (u), d_{C W_{n} - F_{e}} (v)}$ 在中形成一个 $x, y$ ，则 ${‖ x ‖}_{1} = 0$ $\forall x \in X$ ，这与事实 $\forall c \in R$ 相矛盾。

情形3 $\begin{matrix} {‖ c x ‖}_{1} = \land {t > 0 : N (c x, t) = 1} \\ = \land {t > 0 : N (x, \frac{t}{| c |}) = 1} \end{matrix}$

在这种情形下，可得 $\begin{matrix} {‖ c x ‖}_{1} = \land {t > 0 : N (c x, t) = 1} \\ = \land {t > 0 : N (x, \frac{t}{| c |}) = 1} \\ = \land {t > 0 : N (x, \frac{t}{| c |}) = 1} \\ = \land {| c | t > 0 : N (x, t) = 1} \\ = | c | \land {t > 0 : N (x, t) = 1} \\ = | c | {‖ x ‖}_{1} . \end{matrix}$ ，且 $对 {‖ x ‖}_{1} + {‖ y ‖}_{1} = \land {t > 0 : N (x, t) = 1} + \land {s > 0 : N (y, s) = 1}$ ；否则的话 ${‖ 0 x ‖}_{1} = {‖ θ ‖}_{1} = 0 = 0 {‖ x ‖}_{1} = 0 {‖ x ‖}_{1} .$ $\forall x, y \in X$ ， $X$ ，这与事实 $(X, N)$ 相矛盾。再根据引理2.4， ${x_{n}}$ 是连通的， $X$ 。因为 $\exists x \in X$ ，其中 $lim_{n \to \infty} {‖ x_{n} - x ‖}_{1} = 0.$ ， ${x_{n}}$ ， $x$ ，所以 $x_{n} \overset{{‖ \cdot ‖}_{1}}{\to} x$ 是H的一个子集。

假设 $, x$ 是连通的。因为 ${x_{n}}$ ， $(X, N)$ ，所以 $A$ 是H的一个子集。因为 $X$ 且 $A$ ，根据引理2.5(2)归纳假设， $A$ 有一个连通部分 ${A^{'}}_{1}$ ，使得 ${A^{'}}_{1} \subseteq A$ 。因为 $A$ $A \cup {A^{'}}_{1}$ ， $A$ ，所以 $\bar{A_{1}}$ 是H的一个子集。因此 $(X, N)$ 。

假设 $\forall ε > 0, \exists δ = δ (ε),$ 是不连通的。由引理2.4， $\forall x \in X,$ ，可得 $α \in (1 - δ, 1)$ 。因为 $| {‖ x ‖}_{α} - {‖ x ‖}_{1} | < ε .$ ，我们接下来将要证明 $(X, N)$ 。用反证法来证明，假设 ${x_{n}}$ ，存在四个不同的顶点 $X$ ，使得 $x_{n} \overset{N}{\to} x_{0} \Rightarrow x_{n} \overset{{‖ x ‖}_{1}}{\to} x_{0} .$ 。根据引理2.2(2)(4)，存在八个不同的顶点 $\forall ε > 0$ ，使得 $\exists δ = δ (ε)$ 。因为 $\forall x \in X,$ 且以上八个不同的顶点属于 $α \in (1 - δ, 1)$ ，所以有 $| {‖ x ‖}_{α} - {‖ x ‖}_{1} | < ε .$ ，因此 $α_{0} \in (1 - δ, 1)$ ，与事实 $x_{n} \overset{N}{\to} x_{0}$ 产生矛盾。因此 $\lim_{n \to \infty} N (x_{n} - x_{0}, ε) = 1.$ 。如果 $\exists n_{0} = n_{0} (α_{0}, ε)$ ，那么引理成立。现在我们假设 $\forall n \geq n_{0}$ ，可设 $N (x_{n} - x_{0}, ε) > α_{0} .$ ，那么 ${‖ \cdot ‖}_{α}$ 在 $\forall n \geq n_{0}$ 中是三个孤立的顶点或者一个边和一个孤立的顶点或者一个 ${‖ x_{n} - x_{0} ‖}_{α} < ε .$ 。接下来用与情形2.2中同样的讨论方法可以推出矛盾，引理得证。

情形4 $\forall n \geq n_{0}$

在这种情形下， ${‖ x_{n} - x_{0} ‖}_{1} < ε + {‖ x_{n} - x_{0} ‖}_{α} < 2 ε .$ ，且 $x_{n} \overset{{‖ \cdot ‖}_{1}}{\to} x_{0} .$ ， $(X, N)$ 。根据引理2.4， $A$ 是连通的。因为 $(X, N)$ ，其中 $1$ ， $\bar{A_{1}} = A$ ， $\forall {u_{n}} \subset A,$ ，所以 $u_{n} \overset{{‖ \cdot ‖}_{1}}{\to} u$ 是H的一个子集。

假设 $u \in A .$ 是连通的。因为 $x \in A^{'},$ ， $\exists {x_{n}} \subset A$ ，所以 $x_{n} \overset{N}{\to} x$ 是H的一个子集。对于任意的 $x_{n} \overset{N}{\to} x_{0} \Rightarrow x_{n} \overset{{‖ x ‖}_{1}}{\to} x_{0}$ ，有 $x_{n} \overset{{‖ \cdot ‖}_{1}}{\to} x$ 。因为 $x \in A .$ ，所以在 $x$ 中最多存在两个顶点不被包含在H中。因此 $A^{'} \subset A$ 。

现在我们考虑 $A$ 是不连通的，再由引理2.4， $(X, N)$ ， $(X, N)$ ，这意味着 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 或者8，且 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 或者0。根据引理2.2(3)(4)，对于任意的 $x \in X$ ，有至少两个外部邻域在 $e (x, F) = \underset{u \in F}{\land} {‖ x - u ‖}_{1}$ 中，再结合 $e (x, F)$ ，因此 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 是连通的，与事实 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 不连通产生矛盾。

引理2.10 设 ${‖ \cdot ‖}_{1}$ ，且 $(X, N)$ 。如果 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 不连通，则 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 有一个连通部分H， ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 。

证明因为 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 是不连通的，不失一般性，我们可以假设 $e (x, F) = {‖ x - y_{0} ‖}_{1}$ 。因为 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ ，根据引理2.2(1)，所以 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ ， ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ ， ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 。由 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ ，可得 $(X, N)$ ；否则的话 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ ，与事实 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 矛盾。因此 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 是连通的。设H是 $x \in X$ 中包含 $e_{F} (x) \neq φ$ 作为一个子集的连通部分。如果 $F$ ，与引理2.8的情形1相同的讨论方法，可得 $X$ 是连通的，这与事实 $(X, N)$ 是不连通的产生矛盾。因此 $F$ 。接下来我们考虑以下几个情形：

情形1 $1$

情形1.1 $[a, b] = {x | x 是 a \leq x \leq b 中的整数}$

在这种情形下，可得 $\exists {x_{n}} \in F, x_{n} \overset{{‖ \cdot ‖}_{1}}{\to} x_{0}$ 。根据引理2.4， $\forall ε > 0, \exists n_{0} (ε) \in N^{+},$ 是连通的， $n > n_{0}$ 。现在我们声称 ${‖ x_{n} - x_{0} ‖}_{1} < ε$ 或者 $\Rightarrow e (x_{0}, F) = \underset{y \in F}{\land} {‖ x_{0} - y ‖}_{1} < {‖ x_{n} - x_{0} ‖}_{1} < ε$ ；否则的话 $\Rightarrow e (x_{0}, F) = \underset{y \in F}{\land} {‖ x_{0} - y ‖}_{1} = 0$ ，这与事实 $\exists y_{0} \in F,$ 产生矛盾。不失一般性，我们可以假设 ${‖ x_{0} - y_{0} ‖}_{1} = 0,$ 。相似的，我们可以得到 $y_{0} = x_{0} \in F$ 或者 $1$ ， $(X, N)$ 。因此 $A$ 是H的一个子集。因为 $X$ ，根据引理2.5(1)， $\exists t > 0$ 有一个连通分支 $0 < r < 1$ ，使得 $\forall x \in A$ 。因为 $N (x, t) > 1 - r$ $A$ ，所以 $(X, N)$ 是H的一个子集。因此 $F$ 。

情形1.2 $X$

情形1.2.1 $F$

在这种情形下， $F$ 。根据引理2.4， $F$ 是连通的， $F$ 。因为 $(X, N)$ ，其中 $N$ ， $F$ ，所以 $X$ 是H的一个子集。因为 $F$ ，由引理2.5(1)， $X$ 有一个连通部分 $\forall x \in X$ ，使得 $x \notin A$ ， $e_{F} (x) \neq φ$ 。因为 $\forall n \in N^{*}$ ，所以 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 是H的一个子集。因此 $e (x, F) \leq {‖ x - u_{n} ‖}_{1} < e (x, F) + n^{- 1} .$ 。

情形1.2.2 $\lim_{n \to \infty} {‖ x - u_{n} ‖}_{1} = e (x, A) .$

在这种情形下，因为 $\forall n \in N^{*}$ ，在由引理2.5(1)， ${‖ u_{n} ‖}_{1} \leq {‖ x - u_{n} ‖}_{1} + {‖ x ‖}_{1} \leq {‖ x ‖}_{1} + e (x, A) + 1.$ 有一个连通部分 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ ，使得 ${‖ \cdot ‖}_{1}$ ， ${‖ x ‖}_{1} + e (x, A) + 1 = M - 1$ 。

假设 ${‖ u_{n} ‖}_{1} < M$ ，可得 ${u_{n}}$ 。因为 $\forall n \in N^{*}$ ，其中 ${‖ u_{n} ‖}_{1}$ ， ${‖ u_{n} ‖}_{1} < M$ ，所以 $N (u_{n}, M) \geq 1$ 是H的一个子集。因为 $r = \frac{1}{2}$ $N (u_{n}, M) \geq 1 > 1 - r .$ ，所以 ${u_{n}}$ 是H的一个子集， ${u_{n}}$ 。因此 ${u_{n_{j}}}$ 。

假设 $u_{n_{j}} \overset{N}{\to} u_{0}$ ，可得 ${‖ u_{n} ‖}_{α} \leq {‖ x - u_{n} ‖}_{α} + {‖ x ‖}_{α} \leq {‖ x ‖}_{α} + e (x, A, α) + 1$ 。我们有 $u_{0} \in A$ ；否则的话 $u_{n_{j}} \overset{{‖ • ‖}_{1}}{\to} u_{0}$ ，这与事实 $e (x, F) \leq {‖ x - u_{0} ‖}_{1} = \lim_{j \to \infty} {‖ x - u_{n_{j}} ‖}_{1} = e (x, F) .$ 相矛盾。根据引理2.5(1)， $e (X, A) = {‖ x - u_{0} ‖}_{1},$ 有一个连通部分 $u_{0} \in e_{F} (x)$ ，使得 $(X, N)$ 。因为 $(X, ‖ \cdot ‖)$ ，所以 $F_{e}^{0} = F_{e} - \cup_{i = 1}^{n} F_{e}^{i}$ 是H的一个子集， $u_{1}$ 。如果对于某个 $u_{2}$ ， $\cup_{i \in L} V (C W_{n}^{i})$ ，则 $t_{i}$ 。现在我们考虑 $[v_{1}, v_{2}]$ 。设 $v_{1} = u_{1} \otimes \exp [s_{2} (u_{2})] + t_{2} (u_{2})$ ， $v_{2} = u_{2} \otimes \exp [s_{1} (v_{1})] + t_{1} (v_{1})$ 。如果对于某个 $u_{2} = (v_{2} - t_{1} (v_{1})) \otimes \exp (- s_{1} (v_{1}))$ ，有 $u_{1} = (v_{1} - t_{2} (u_{2})) \otimes \exp (- s_{2} (u_{2}))$ ，则 $u, v \in V (C W_{n}^{k})$ 。现在我们考虑 $p_{z} (z)$ 。因为 $x ~ p_{x} (x)$ ，所以 $x = f (z)$ 或者 $u \in V (C W_{n}^{[1, 3]})$ 属于 $u^{+} \in V (C W_{n}^{[4, n]})$ 。因为 $u^{-} \in V (C W_{n}^{[4, n]})$ 的围长是4且 $u^{*} \in V (C W_{n}^{[4, n]})$ ，所以存在一个顶点 $u \in V (C W_{n}^{[1, 2]})$ ，使得对于某个 $M$ ，有 $u^{'}, u^{″} \in V (C W_{n}^{[3, n]})$ ，这意味着对于某个 $m$ ，有 $m$ ，这与事实对于每一个 $g {(y)}_{L T}$ ， $g^{- 1} (g {(y)}_{L T} ）$ 产生矛盾。因此 $N (0, 1)$ 。

情形2 $z_{H T}$

因为 $L_{b a c k} (g {(y)}_{L T}, x) = \frac{1}{N} \sum_{i = 1}^{N} | | g^{- 1} ([g {(y)}_{L T}; z_{H T}]) - x | |_{m}$ ，根据引理2.5(2)， $x$ 有一个连通部分 $N$ ，使得 $g$ 。我们又将情形2分成以下几个子情形来讨论：

情形2.1 $| V (H) | \geq n! - 1$

在这种情形下， $ϕ_{2}$ 。根据引理2.4， $ϕ_{3}$ 是连通的， $ϕ_{4}$ 。因为 $+ 、 \times$ ，其中 $- 、 \div$ ， $| V (H) | \geq n! - 2$ ，所以 $x'$ 是H的一个子集。因为 $x$ ，所以 $ϕ_{1} 、 ϕ_{2} 、 ϕ_{3} 、 ϕ_{4}$ 是H的一个子集。因此 $ϕ_{1} 、 ϕ_{2} 、 ϕ_{3} 、 ϕ_{4}$ 。

情形2.2 $x$

因为 $| V (H) | \geq n! - 3$ ，根据引理2.5(1)， $ϕ_{1} 、 ϕ_{2} 、 ϕ_{3} 、 ϕ_{4}$ 有一个连通部分 $x_{L T}, x_{H T} = S p l i t (x)$ ，使得 $x_{L T}', x_{H T}' = S p l i t (x')$ 。

情形2.2.1 $x_{L T}' = x_{L T} * \exp (ϕ_{1} (x_{H T})) + ϕ_{2} (x_{H T})$

在这种情形下， $x_{H T} = (x_{H T}' - ϕ_{4} (x_{L T}')) / \exp (ϕ_{3} (x_{L T}'))$ 。根据引理2.4， $| F_{e}^{1} | \geq | F_{e}^{2} | \geq | F_{e}^{3} | \geq | F_{e}^{4} |$ 是连通的， $x_{L T} = (x_{L T}' - ϕ_{2} (x_{H T})) / \exp (ϕ_{1} (x_{H T}))$ 。因为 $x' = C o n c a t (x_{L T}', x_{H T}')$ ，其中 $x = C o n c a t (x_{L T}, x_{H T})$ ， $ϕ_{2} 、 ϕ_{3} 、 ϕ_{4}$ ，所以 $x$ 是H的一个子集。因为 $| F_{e}^{4} | \leq 2$ ，所以 $f (x)$ 是H的一个子集， $f (x) - x$ 。因此 $C W_{4}^{4} - F_{e}^{4}$ 。

情形2.2.2 $f ( x )$

在这种情形下， $C W_{4}^{4} - F_{e}^{4}$ 。根据引理2.5(1)， $144 \times 144$ 有一个连通部分 $2 \times 10^{- 4}$ ，使得 $\min {\deg_{G} (x), \deg_{G} (y)}$ 。

假设 $m i n {d e g_{G} (x), d e g_{G} (y)}$ 。因为 $m i n {d e g_{G} (x), d e g_{G} (y)}$ ，所以 $| F_{e} | \geq | E_{1, 2} (C W_{4}) | + | E_{1, 3} (C W_{4}) | = 2 \times 6 = 12 > 9$ 是H的一个子集。因为 $m i n {d e g_{G} (x), d e g_{G} (y)}$ ，所以 $E_{1, 2} (C W_{4}) - F_{e} \neq Φ$ 是H的一个子集， $G$ 。如果 $F_{e} \subseteq E (G)$ ，那么 $F_{e} \subseteq E (G)$ 。如果 $F_{e} \subseteq E (G)$ 或者 $| F_{e} | \leq m$ ，那么 $| F_{e}^{2} | \leq 2$ 。现在我们考虑 $| F_{e}^{0} | \leq 9 - 3 = 6$ ， $C W_{4}^{i} - F_{e}^{i}$ 。设 $G - F_{e}$ ， $G - F_{e}$ ，其中 $G - F_{e}$ 。如果 $| F_{e} | \geq | E_{2, 3} (C W_{4}) | + | E_{2, 4} (C W_{4}) | = 2 \times 6 = 12 > 9$ 或者 $F_{e} \subseteq E (G)$ 或者 $F_{e} \subseteq E (G)$ 或者 $| F_{e} | \leq m$ ，那么 $| F_{e} | \leq m$ 。现在我们假设 $C W_{4}^{[2, 4]} - F_{e}$ 不属于 $F_{e} \subseteq E (G)$ 。由 $C W_{4}^{1} - F_{e}^{1}$ 是二部图， $| F_{e} | \leq m$ 和引理2.2(2)，存在一个顶点 $| V (H_{1}) | \geq 3! - 1$ ，使得 $| E_{C W_{4}} (V (H_{1}), V (C W_{4}^{[2, 3]})) - F_{e} | \geq | E_{1, 2} (C W_{4}) | + | E_{1, 3} (C W_{4}) | -$ 或者 $2 | V (C W_{4}^{1}) - V (H_{1}) | - | F_{e}^{0} | \geq 6 \times 2 - 2 - 9 > 0$ 或者 $δ (G - F_{e}) \geq 2$ ， $| V (H) | \geq 4! - 1$ 。因此 $| F_{e}^{2} | = 3$ ，这与事实 $| F_{e}^{0} | \leq 9 - 3 \times 2 = 3$ ， $| F_{e}^{3} | \leq 2$ ， $C W_{4}^{i} - F_{e}^{i}$ ， $C W_{n} (n \geq 4)$ 产生矛盾。

假设 $(2 n - 4)$ ，可以得到 $C W_{4}^{[3, 4]} - F_{e}$ ， $u \in V (C W_{4}^{[1, 2]})$ ， $u^{'}, u^{″} \in {u^{+}, u^{-}, u^{*}}$ 。又根据引理2.5(1)， $u^{'}, u^{″} \in V (C W_{4}^{[3, 4]})$ 有一个连通部分 $| F_{e}^{0} | \leq 3 < 2 \times 2$ ，使得 $C W_{4}^{[1, 2]}$ 。因为 $| V (H) | \geq 4! - 1$ $| F_{e}^{3} | = 3$ ，所以 $| F_{e}^{0} | \leq 9 - 3 \times 3 = 0$ 是H的一个子集， $v \in V (C W_{4}^{[3, 4]})$ 。如果 $| F_{e} | \leq m$ 是连通的，我们可以得到 $v^{'} \in V (C W_{4}^{4})$ 是H的一个子集。设v任意的顶点 $| F_{e}^{0} | = 0$ ，根据引理2.2(3)，存在一个顶点 $δ (G - F_{e}) \geq 2$ ，使得 $| F_{e}^{1} | \geq 4$ ， $| F_{e}^{2} | \leq 2$ 。因为 $C W_{4}^{i} - F_{e}^{i}$ ，对于任意的 $n \geq 4$ ，我们有 $| E_{i, j} (C W_{4}) - F_{e} | \geq | E_{i, j} (C W_{4}) | - | F_{e}^{0} |$ 。因此 $\geq 6 - 5 = 1 > 0$ 是连通的，与事实 $n \geq 5$ 是不连通的相矛盾。因此 $n \geq 5$ ，存在一个顶点 $C W_{4}^{[2, 4]} - F_{e}$ 。因为 $u \in V (C W_{4}^{1})$ 和 ${u^{+}, u^{-}, u^{*}} \subseteq V (C W_{4}^{[2, 4]})$ ，所以 $| F_{e}^{0} | \leq 5 < 3 \times 2$ 。设 $C W_{4}^{1}$ ，其中 $| V (H) | \geq 4! - 1$ 。因为 $| F_{e}^{2} | \geq 3$ 是二部图，存在一个顶点 $| F_{e}^{0} | \leq 9 - 4 - 3 = 2$ ，使得 $| F_{e}^{3} | \leq 2$ ，且存在一个顶点 $C W_{4}^{3} - F_{e}^{3}$ ，使得 $| E_{3, 4} (C W_{4}) - F_{e} | \geq$ ，因此 $| E_{3, 4} (C W_{4}) | - | F_{e}^{0} | \geq 6 - 2 > 0$ 和 $C W_{4}^{[3, 4]} - F_{e}$ ，这与事实 $v \in V (C W_{4}^{[1, 2]})$ 产生矛盾。

情形2.3 $| F_{e} | \leq m$

因为 $v^{'} \in V (C W_{4}^{[3, 4]})$ ，根据引理2.5(2)， $v^{″} \in V (C W_{4}^{[3, 4]})$ 有一个连通部分 $| F_{e}^{0} | \leq 2 < 2 \times 2$ ，使得 $C W_{4}^{[1, 2]}$ ，其中 $| V (H) | \geq 4! - 1$ 。

假设 $m i n {d e g_{G} (x), d e g_{G} (y)}$ ， $x$ 。根据引理2.4， $y$ 是连通的， $G - F_{e}$ 。因为 $F_{e} \subseteq E (G)$ ，其中 $| F_{e} | \leq m$ ， $G - F_{e}$ ，因此 $F_{e} \subseteq E (G)$ 是H的一个子集。因为 $| F_{e}^{1} | \geq | F_{e}^{2} | \geq | F_{e}^{3} | \geq \dots \geq | F_{e}^{n} |$ ，所以 $δ (G - F_{e}) \geq 2$ 是H的一个子集， $C W_{n}^{n} - F_{e}^{n}$ 。现在我们声称 $(2 n - 4)$ 。因为 $C W_{n}^{i} - F_{e}^{i}$ ，由引理2.2(4)，在 $n \geq 4$ 中我们最多能得到三个点不被包含在H中。因此 $| E_{i, j} (C W_{n}) - F_{e} | \geq | E_{i, j} (C W_{n}) | - | F_{e}^{0} | \geq$ 。

假设 $3 (n - 2)! - (4 n - 7) > 0$ ， $n \geq 5$ ， $G (V (G), E (G))$ 是连通的。因为 $V (G)$ ，所以 $E (G)$ 是H的一个子集。现在我们声称 $u \in V (G)$ 。用反证法来证明，假设 $2 n - 5 \leq | F_{e}^{1} | \leq 4 n - 13$ 。设有三个顶点 $| F_{e}^{2} | \leq 2 n - 6$ ，使得 $| F_{e}^{0} | \leq 4 n - 7 - (2 n - 5) = 2 n - 2$ 。根据引理2.2(2)(3)，存在三个不同的顶点 $C W_{n}^{i} - F_{e}^{i}$ ，使得 $d_{G} (u) = | E_{G} (u) |$ 。因为 $u$ 且 $δ (G) = \min {d_{G} (u) : u \in V (G)}$ ，所以我们有 $G$ ，因此 $G$ ，这与事实 $C W_{n}^{[2, n]} - F_{e}$ 产生矛盾。因此 $2 n - 5 \leq | F_{e}^{1} | \leq 4 n - 13 = 4 (n - 1) - 9$ 。

情形3 $C W_{n}^{1} - F_{e}^{1}$

在这种情形下，根据引理2.5(3)， $G$ 有一个连通部分 $| V (H_{1}) | \geq (n - 1)! - 1$ ，使得 $| E_{C W_{n}} (V (H_{1}), V (C W_{n}^{2})) - F_{e} | \geq | E_{1, 2} (C W_{4}) | -$ 。

情形3.1 $(| V (C W_{n}^{1}) | - | V (H_{1}) |) - | F_{e}^{0} | \geq 3 (n - 2)! - 1 - (2 n - 2) > 0$

在这种情形下， $u \in F_{1}$ 。根据引理2.4， $v \in F_{2}$ 是连通的， $| V (H) | \geq n! - 1$ 。因为 $| F_{e}^{2} | \geq 2 n - 5$ ，其中 $| F_{e}^{0} | \leq 4 n - 7 - 2 (2 n - 5) = 3$ ， $| F_{e}^{3} | \leq 3 < 2 n - 6$ ，因此 $e_{G} (F_{1}, F_{2})$ 是H的一个子集。因为 $C W_{n}^{i} - F_{e}^{i}$ ，所以 $G$ 是H的一个子集。因此 $F_{e} \subseteq E (G)$ 。

情形3.2 $G$

在这种情形下，根据引理2.5(3)， $G - F$ 有一个连通部分 $G$ ，使得 $C W_{n}^{[3, n]} - F_{e}$ 。

情形3.2.1 $v \in V (C W_{n}^{[1, 2]})$

在这种情形下， $G - F$ 。根据引理2.4， $v^{'} \in V (C W_{n}^{[3, n]})$ 是连通的， $v^{″} \in V (C W_{n}^{[3, n]})$ 。因为 $| F_{e}^{0} | \leq 3 < 2 \times 2$ ，其中 $C W_{n}^{[1, 2]}$ ， $| V (H) | \geq n! - 1$ ，因此 $4 n - 12 \leq | F_{e}^{1} | \leq 4 n - 7$ 是H的一个子集。因为 $| F_{e}^{0} | \leq 4 n - 7 - (4 n - 12) = 5$ ，所以 $| F_{e}^{3} | \leq 2 < 2 n - 6$ 是H的一个子集，其中 $E (G) - F_{e}$ 。设v是任意的顶点使得 $C W_{n}^{i} - F_{e}^{i}$ ，根据引理2.2(4)，存在两个顶点 $F_{e}$ ，使得 $G$ 和 $G$ 。因为 $G$ ，根据引理2.2(4)，我们能得到在 $λ (G)$ 中最多有三个顶点不被包含在H中。因此 $C W_{n}^{[3, n]} - F_{e}$ 。

情形3.2.2 $| F_{e}^{2} | \leq 2 n - 6$

在这种情形下， $C W_{n}^{[2, n]} - F_{e}$ 。因为 $u \in V (C W_{n}^{1})$ ，根据引理2.5(1)，所以 ${u^{+}, u^{-}, u^{*}} \subseteq V (C W_{n}^{[2, n]})$ 有一个连通部分 $| F_{e}^{0} | \leq 5 < 3 \times 2$ ，使得 $P_{2} = u y_{1} y_{2} \dots y_{k - 2} v$ 。因为 $| V (H) | \geq n! - 1$ ，所以 $| F_{e}^{2} | \geq 2 n - 5$ 是连通的。因为 $P_{2}$ ，所以 $| F_{e}^{2} | \geq 5$ 是H的一个子集。因为 $| F_{e}^{0} | \leq 4 n - 7 - (4 n - 12) - 5 = 0$ ，所以 $P_{1}$ 是H的一个子集， $P_{2}$ 。设v是任意的顶点使得 $u, v$ ，根据引理2.2(3)，存在一个顶点 $G - F$ ，使 $u, v$ 。因为 $| V (H) | \geq 5! - 2$ ，我们能得到在 $u, v$ 中最多有三个顶点不被包含在H中，因此 $G - F_{e}$ 。

情形4 $u, v$

我们接下来将情形4分成以下几个情形来讨论：

情形4.1 $F_{e} \subseteq E ( G )$

在这种情形下， $u, v$ 。根据引理2.4， $x, y$ 是连通的， $G$ 。因为 $| F_{e}^{5} | \leq | F_{e}^{4} | \leq 4$ ，其中 $x, y$ ， $G$ ，因此 $C W_{5}^{i} - F_{e}^{i}$ 是H的一个子集。已知对于任意一个 $x, y$ ，有 $G$ 。因为 $C W_{5}^{5} - F_{e}^{5}$ ，在 $| F_{e}^{1} | \leq 4$ 中最多有三个顶点不被包含在H中。因此 $C W_{5}^{i} - F_{e}^{i}$ 。

情形4.2 $x, y$

假设 $G$ ， $G$ 。根据引理2.4， $x$ 是连通的， $y$ 。因为 $\min {\deg_{G} (x), \deg (y)}$ ，其中 $G$ ， $x, y$ ，所以 $G$ 是H的一个子集。设v是任意一个顶点使得 $G$ ，根据引理2.2(4)，存在两个顶点 $5 \leq | F_{e}^{1} | \leq 7$ ，使得 $| F_{e}^{2} | \leq 4$ 。因为 $| F_{e}^{0} | \leq 19 - 5 = 14$ ，所以在 $C W_{5}^{i} - F_{e}^{i}$ 中至多有三个顶点不被包含在H中。因此 $m$ 。

假设 $m$ ， $G$ ， $F \subseteq V (G)$ 。因此 $| F | \leq m$ 是连通的。因为 $G - F$ ，所以 $G$ 是H的一个子集。现在我们声称 $m$ 。用反证法来证明，假设 $G$ 。因此存在两个顶点 $C W_{5}^{[2, 5]} - F_{e}$ ，使得 $C W_{5}^{1} - F_{e}^{1}$ 。根据引理2.2(2)(3)存在两个不同的顶点 $G - F_{e}$ ，使得 $G$ 。因为 $m$ 和 $G$ ，我们有 $C W_{5}^{1} - F_{e}^{1}$ ，可得 $5 \leq | F_{e}^{1} | \leq 7$ 这与事实 $C W_{5}^{1} - F_{e}^{1}$ 相矛盾。因此 $G - F$ 。

4. n-维轮图CW_n的边容错强Menger边连通性

定理3.1对于 $| V (H_{1}) | \geq 4! - 1$ ，轮图 $| E_{C W_{5}} (V (H_{1}), V (C W_{5}^{2})) - F_{e} | \geq | E_{1, 2} (C W_{5}) | - | V (C W_{5}^{1}) - V (H_{1}) | - | F_{e}^{0} | \geq 18 - 1 - 14 = 3 > 0$ 是 $G$ -边容错强Menger边连通的，且数值 $| V (H) | \geq 5! - 1 > 5! - 5$ 是最优的。

证明设 $5 \leq | F_{e}^{2} | \leq 7$ 是任意的边集，且 $| F_{e}^{3} | \leq 4$ 。根据引理2.3， $| F_{e}^{0} | \leq 19 - 2 \times 5 = 9$ 是连通的。取 $C W_{5}^{i} - F_{e}^{i}$ $m$ 是 $Q_{n}$ 中任意两个顶点，且 $F Q_{n}$ 。根据引理1.1，我们可以证明对于任意的 $B H_{n}$ 且 $C W_{5}^{[3, 5]} - F_{e}$ ，u和v在 $5 \leq | F_{e}^{2} | \leq | F_{e}^{1} | \leq 7$ 中是连通的。接下来我们用反证法来证明以上结论成立。假设对于某个 $C W_{5}^{k} - F_{e}^{k}$ 且 $C W_{n}$ ，使得u和v在 $| V (H_{k}) | \geq 4! - 1$ 中是不连通的。因为 $C W_{n}$ 和 $| E_{C W_{5}} (V (H_{k}), V (C W_{5}^{3})) - F_{e} | \geq | E_{k, 3} (C W_{5}) | - | V (C W_{5}^{k}) - V (H_{k}) | - | F_{e}^{0} | \geq 18 - 1 - 9 = 8 > 0$ ，所以 $C W_{n} (n \geq 4)$ 。因此。根据引理2.6， $(\begin{matrix} 1 & 2 & \dots & n \\ p_{1} & p_{2} & \dots & p_{n} \end{matrix})$ 有一个连通部分H，使得 $5 \leq | F_{e}^{3} | \leq 7$ 。因为u和v在 $| F_{e}^{0} | \leq 19 - 3 \times 5 = 4$ 中是不连通的，所以 $p_{1} p_{2} \dots p_{n}$ 且 $C W_{5}^{[4, 5]} - F_{e}$ 。不失一般性，我们可以假设 $(\begin{matrix} 1 & 2 & \dots & n \\ 1 & 2 & \dots & n \end{matrix}) = (1)$ ， $C W_{5}^{k} - F_{e}^{k}$ 。因此 $τ$ ，这意味着 $| V (H_{k}) | \geq 4! - 1$ ，与事实 $(12) (13) = (123)$ 产生矛盾。因此 $| E_{C W_{5}} (V (H_{k}), V (C W_{5}^{4})) - F_{e} | \geq | E_{k, 4} (C W_{5}) | - | V (C W_{5}^{k}) - V (H_{k}) | - | F_{e}^{0} |$ 是 $\geq 18 - 1 - 4 > 0$ -边容错强Menger边连通的。

注意以上定理的数值 $S_{n}$ 是最优的。

Figure 2. The illustration of Note

图2. 注意的阐述

取 $n$ 且 $[1, n]$ 。取 $C W_{5}^{k} - F_{e}^{k}$ 。取 $| V (H) | \geq 5! - 2$ (见图2)。则 $i \neq j$ ，且 $u_{i} \in V (C W_{5}^{i}) - V (H_{i})$ ， $S_{n}$ 。显然，最多只能有 $p \circ (i, j)$ 条边不相交的 $p$ -路。

5. 结论

互连网络的连通性是基础的性质，连通性又决定着互连网络的容错性。在这篇文章中，我们研究了n-维轮图 $| V (H) | \geq 5! - 2$ 的边容错强Menger边连通性。若 $p_{i}$ 是 $p_{j}$ 中任意的边集且满足 $p_{1} p_{2} \dots p_{i} \dots p_{j} \dots p_{n} \circ (i, j) = p_{1} p_{2} \dots p_{j} \dots p_{i} \dots p_{n}$ ，则对于任意一对 $p \circ (i, j) = p (i, j)$ 中不同的顶点 $p (i, j)$ 在 $C W_{n}$ 中是连通的且有 $n$ 边不相交的路。此外，我们也举出了例子来证明我们的结果是最优的。

致谢

本论文是在我的导师王世英教授的悉心指导下完成的。王老师以其严谨求实的治学态度、高度的敬业精神、兢兢业业、孜孜以求的工作作风和大胆创新的进取精神对我产生重要影响。他渊博的知识，开阔的视野和敏锐的思维给了我深深的启迪。这篇论文是在老师的精心指导和大力支持下才完成的感谢所有授我以业的老师，没有这些年知识的积淀，我没有这么大的动力和信心完成这篇论文。同时还要感谢我的师姐和同门们，从选题指导、论文框架到细节修改，她们都给予了细致的指导，提出了很多宝贵的意见与建议！谨以此致谢，最后，我要向百忙之中抽时间对本文进行审阅的各位老师表示衷心的感谢。

基金项目

国家自然科学基金资助项目(61772010)，山西省基础研究计划(202203021221128)。

参考文献

[1]	Bondy, J.A. and Murty, U.S.R. (2007) Graph Theory. Springer, New York. https://doi.org/10.1007/978-3-7643-7400-6
[2]	Menger, K. (1927) Zur allgemeinen kurvebtheorie. Fundamenta Mathematicae, 10, 96-115. https://doi.org/10.4064/fm-10-1-96-115
[3]	Oh, E. and Chen, J. (2003) On Strong Menger Connectivity of Star Graphs. Dis-crete Applied Mathematics, 129, 499-511. https://doi.org/10.1016/S0166-218X(02)00600-5
[4]	Qiao, Y.L. and Yang, W.H. (2017) Edge Disjoint Paths in Hypercubes and Folded Hypercubes with Conditional Faults. Applied Mathematics and Computation, 294, 96-101. https://doi.org/10.1016/j.amc.2016.09.002
[5]	Li, P.S. and Xu, M. (2018) Fault-Tolerant Strong Menger (Edge) Connectivity and 3-Extra Edge-Connectivity of Balanced Hypercubes. Theoretical Computer Science, 707, 56-68. https://doi.org/10.1016/j.tcs.2017.10.017
[6]	Oh, E. and Chen, J. (2003) Strong Fault Tolerance: Parallel Routing in Star Net-works with Faults. Journal of Interconnection Networks, 4, 113-126. https://doi.org/10.1142/S0219265903000763
[7]	Shih, L.M., Chiang, C.F., Hsu, L.H. and Tan, J.J.M. (2008) Strong Menger Connectivity with Conditional Faults on the Class of Hyper-cube-Like Networks. Information Processing Letters, 106, 64-69. https://doi.org/10.1016/j.ipl.2007.10.009
[8]	Cheng, Q., Li, P.S. and Xu, M. (2018) Conditional (Edge-) Fault-Tolerant Strong Menger (Edge) Connectivity of Folded Hypercubes. Theoretical Computer Science, 728, 1-8. https://doi.org/10.1016/j.tcs.2018.03.011
[9]	Yang, W.H., Zhao, S.L. and Zhang, S.R. (2017) Strong Menger Connectivity with Conditional Faults of Folded Hypercubes. Information Processing Letters, 125, 30-34. https://doi.org/10.1016/j.ipl.2017.05.001
[10]	Li, P.S. and Xu, M. (2019) Edge-Fault-Tolerant Strong Menger Edge Connectivity on the Class of Hypercube-Like Networks. Discrete Applied Mathematics, 259, 145-152. https://doi.org/10.1016/j.dam.2018.12.024
[11]	He, S.J. Hao, R.X. and Cheng, E. (2018) Strongly Menger-Edge-Connectedness and Strongly Menger-Vertex- Connectedness of Regular Networks. Theoretical Computer Science, 731, 50-67. https://doi.org/10.1016/j.tcs.2018.04.001
[12]	Cai, H.Y., Liu, H.Q. and Lu, M. (2015) Fault-Tolerant Maximal Lo-cal-Connectivity on Bubble-Sort Star Graphs. Discrete Applied Mathematics, 181, 33-40. https://doi.org/10.1016/j.dam.2014.10.006
[13]	Guo, J. and Lu, M. (2021) Edge-Fault-Tolerant Strong Menger Edge Connectivity of Bubble-Sort Star Graphs. Discrete Applied Mathmatics, 297, 109-119. https://doi.org/10.1016/j.dam.2021.03.006
[14]	Wang, Y.L. and Wang, S.Y. (2021) Edge-Fault-Tolerant Strong Menger Edge Connectivity of Bubble-Sort Graphs. AIMS Mathematics, 6, 13210-13221. https://doi.org/10.3934/math.2021763
[15]	Shi, H.Z. and Lu, J.B. (2008) On Conjectures of Interconnection Net-works. Computer Engineering and Applications, 44, 112-115. (In Chinese)
[16]	Feng, W., Jirimutu, and Wang, S.Y. (2019) The Na-ture Diagnosability of Wheel Graph Networks under the PMC Model and MM Model. Ars Combinatoria, 143, 255-287.
[17]	Feng, W., Ren, J.M., Enhe, C. and Wang, S.Y. (2020) The 2-Good-Neighbor Connectivity of Wheel Graph Networks. Utilitas Mathematica, 116, 139-167.
[18]	Feng, W. and Wang, S.Y. (2020) The 2-Extra Connectivity of Wheel Networks. Mathematical Problems in Engi-neering, 2020, Article ID: 8910240. https://doi.org/10.1155/2020/8910240
[19]	Feng, W. and Wang, S.Y. (2021) Structure Con-nectivity and Substructure Connectivity of Wheel Networks. Theoretical Computer Science, 850, 20-29. https://doi.org/10.1016/j.tcs.2020.10.028
[20]	Hou, F.F. (2013) Some New Results of the Wheel Networks and Bubble-Sort Star Networks. Ph.D. Thesis, Northwest Normal University, Lanzhou. (In Chinese)
[21]	Shi, H.Z., Hou, F.F. and Ma, J.Y. (2012) Study on Diameter and Average Distance of Wheel Network. Journal of Gansu Sience, 24, 103-106. (In Chinese)

为你推荐

友情链接