双广义Petersen图DP(7,1)的交叉数 The Crossing Number of Double Generalized Petersen Graph DP(7,1)

doi:10.12677/AAM.2023.123116

Advances in Applied Mathematics
Vol. 12 No. 03 ( 2023 ), Article ID: 62970 , 11 pages
10.12677/AAM.2023.123116

双广义Petersen图DP(7,1)的交叉数

白贺

●How to Cite this Article

辽宁师范大学数学学院，辽宁大连

收稿日期：2023年2月21日；录用日期：2023年3月16日；发布日期：2023年3月23日

摘要

图的交叉数是图论的一个重要的分支，近百年以来，国内外诸多学者对于图的交叉数这一问题进行了广泛且深入的研究。事实上已证实确定一个图的交叉数问题是NP-完全问题。由于证明难度较大，国内外关于图的交叉数目问题的研究进展缓慢。本文主要采用反证法研究了双广义Petersen图DP(7,1)的交叉数，给出双广义Petersen图DP(7,1)的交叉数为7的一个好的画法。采用反证法，将图DP(7,1)的边集分为互不相交的7组，对所有可能情形进行讨论，从而确定交叉数的下界至少是7，得到图DP(7,1)的交叉数的精确值。

关键词

交叉数，图，画法

The Crossing Number of Double Generalized Petersen Graph DP(7,1)

He Bai

School of Mathematics, Liaoning Normal University, Dalian Liaoning

Received: Feb. 21^st, 2023; accepted: Mar. 16^th, 2023; published: Mar. 23^rd, 2023

ABSTRACT

The crossing number of graphs plays an important role in graph theory. In the last hundred years, many scholars have conducted extensive and in-depth research on the problem of graph crossing numbers at home and abroad. In fact, a number of scholars have proved that determining the crossing number of a graph is a NP-complete problem. Due to the difficulty of proof, scholars at home and abroad have experienced a difficult process in the field of the crossing numbers. This paper mainly studies the crossing number of double generalized Petersen graph DP(7,1) and use proof by contradiction; a drawing of a crossing number of 7 for the double generalized Petersen graph DP(7,1) is given by the definition of a good drawing. Firstly, the edge sets of graph DP(7,1) are divided into 7 groups that do not intersect each other; secondly, all possible cases are discussed to determine that the lower bound of the crossing number of graph DP(7,1) is at least 7; finally, the exact value of the crossing number of graph DP(7,1) is obtained.

Keywords:Crossing Number, Graph, Drawing

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 交叉数的研究进展

近代图论中发展了图的交叉数这一概念，交叉数是图论中的重要分支，起源于上个世纪五十年代Turan [1] 遇到的砖厂运砖这一实际问题，一经提出，不断吸引国内外众多学者研究，研究图的交叉数问题不仅在拓扑图论研究中具有不可替代的作用，同时在其它学科领域也有重要的应用，如生物工程DNA的图示，电子线路板设计的布线等。由于图的自身结构复杂，对于具体图类的研究绝非易事，Garey，Johnson [2] 已经证实证明图的交叉数问题是一个NP-完全问题，至今，国内外也进行了许多研究，主要研究成果如下。

1.1. 完全图

上个世纪七十年代，R.K. Guy [3] 首次在文献中提出关于完全图 $K_{n}$ 的猜想：对于任意的 $n \geq 1$ ，有

$Z (n) = \frac{1}{4} ⌊ \frac{n}{2} ⌋ ⌊ \frac{n - 1}{2} ⌋ ⌊ \frac{n - 2}{2} ⌋ ⌊ \frac{n - 3}{2} ⌋ .$

对任意实数x， $⌊ x ⌋$ 表示不超过x的最大整数。

1969年R.K. Guy [4] 对 $n \geq 10$ 进行了验证，目前的最优结果对于 $n = 11, 12$ 上面公式成立。

Blazek，Koman等人 [5] 在60年代中期的研究表明上述公式给出的是完全图 $K_{n}$ 的交叉数的一个上界。即：

$c r (K_{n}) \leq \frac{1}{4} ⌊ \frac{n}{2} ⌋ ⌊ \frac{n - 1}{2} ⌋ ⌊ \frac{n - 2}{2} ⌋ ⌊ \frac{n - 3}{2} ⌋ .$

1970年根据Kleitman [6] 的关于完全二分图的交叉数的结果，对足够大的n有如下的公式成立：

$c r (K_{n}) \geq n (n - 1) (n - 2) (n - 3) / 80 .$

Richter等人得到了 $K_{n - 1}$ 与 $K_{n}$ 的关系 [7] [8] ：

$c r (K_{n}) \geq ⌈ \frac{n}{n - 4} \cdot c r (K_{n - 1}) ⌉ .$

2002年Alcholzer，Aurenhammer和Krasser [9] 利用计算机穷举方法证明了 $K_{11}$ 和 $K_{12}$ 的交叉数分别为100和150，并给出了 $K_{13}$ 的交叉数为229。

1.2. 广义Petersen图

不少学者就广义Petersen图进行了广泛的研究，最早于1981年，Exoo，Harary和Kabel [10] 证明了：

${\begin{cases} c r (P (n, 2)) = 0, 若 n 为偶数或 n = 3; \\ c r (P (n, 2)) = 2, 若 n = 5; \\ c r (P (n, 2)) = 3, 若 n 为奇数或 n \geq 7. \end{cases}$

1986年Fiorini [11] 对广义Petersen图的交叉数进行研究，计算出当 $n \geq 14$ 时所有图 $P (n, k)$ 的交叉数的具体值，然而Fiorini的证明存在错误。对于 $c r (P (9, 3)) = 2$ 给出了的数学证明，确定了 $c r (P (10, 3)) = 4$ ，并且

${\begin{cases} c r (P (3 h, 3)) = h, (h \geq 4); \\ h + 3 \leq c r (P (3 h + 1, 3)) \leq h + 1, (h \geq 3); \\ c r (P (3 h + 2, 3)) = h + 2, (h \geq 2) . \end{cases}$

2002年，Richter [12] 和Sarazin指出Fiorini在证明 $C (n : {1, 3})$ 的交叉数的下界时有漏洞，并以 $c r (P (10, 3)) = 6$ ， $c r (P (11, 3)) = 5$ ， $c r (P (12, 3)) = 4$ 为起点，用数学归纳法重新证明并对其结论进行了更正：

${\begin{cases} c r (P (3 h, 3)) = h, (h \geq 4); \\ c r (P (3 h + 1, 3)) = h + 3, (h \geq 3); \\ c r (P (3 h + 2, 3)) = h + 2, (h \geq 3) . \end{cases}$

2004年，林晓惠 [13] 在其论文中得出了 $P (4 k + 2, 2 k)$ 等部分广义Petersen图的交叉数的上界。

2005年，马登举 [14] 等人得到了广义Petersen图 $G (2 m + 1, m)$ 的交叉数。

2009年，杨元生 [15] 等人利用算法给出了 $n \leq 16$ 时 $P (n, k)$ 的交叉数的精确值。

Fiorini和黄元秋 [16] 等人分别用不同方法证明了 $P (3 k, k)$ 的交叉数。

2012年，周进鑫、冯衍全 [17] 在广义Petersen图的基础上，首次提出双广义Petersen图的概念，并随后证明了双广义Petersen图不是点传递图。

2013年，郑百功 [18] 在硕士论文中总结了其子图画法的一些性质并给出一种新的对偶图的定义，进而按照这种对偶图的不同情况证明了 $P (10, 3)$ 的交叉数的精确值为6。

2. 双广义Petersen图DP(7,1)的交叉数

2.1. 双广义Petersen图DP(7,1)

令双广义Petersen图DP(7,1)的顶点集与边集分别为： $V (D P (7, 1)) = {x_{i}, y_{i}, u_{i}, v_{i} : 0 \leq i \leq 6}$ ； $E (D P (7, 1)) = {x_{i} x_{i + 1}, y_{i} y_{i + 1} : 0 \leq i \leq 6} \cup {u_{i} v_{i + 1}, v_{i} u_{i + 1} : 0 \leq i \leq 6}$ 。由于双广义Petersen图DP(7,1)是一个简单图，记为G。图G的一个分解是子图的列表，使得图G中的每一条都恰好在其中的一个子图中。

将图G的边集分为7个互不相交的子集，令 $H_{i}$ 的顶点集与边集分别表示为

$V (H_{i}) = {x_{i}, x_{i + 1}, y_{i}, y_{i + 1}, u_{i}, u_{i + 1}, v_{i}, v_{i + 1}}$ ， $E (H_{i}) = {x_{i} x_{i + 1}, x_{i} u_{i}, u_{i} v_{i + 1}, y_{i} y_{i + 1}, y_{i} v_{i}, v_{i} u_{i + 1}}$ ， $0 \leq i \leq 6$ ，可得到 ${H_{0}, H_{1}, \dots, H_{6}}$ 为图G的一个可传递分解。

用 $f_{D} (H_{i})$ 表示在画法D下与 $H_{i}$ 相关的交叉点数目的函数，如下：

$f_{D} (H_{i}) = c r_{D} (H_{i}) + c r_{D} (H_{i}, D P (7, 1) \ E (H_{i})) / 2$

令D为双广义Petersen图DP(7,1)的一个好的画法，在画法D下的交叉数以 $c r (D)$ 或者 $c r_{D} (G)$ 表示。对于DP(7,1)的给定画法D，

$c r (D) = \sum_{i = 0}^{6} f_{D} (H_{i}) .$

令 $C (x_{i}, x_{i + 1}, x_{i + 2}, u_{i + 2}, v_{i + 1}, u_{i})$ 与 $C (y_{i}, y_{i + 1}, y_{i + 2}, v_{i + 2}, u_{i + 1}, v_{i})$ 分别表示圈 $x_{i} x_{i + 1} x_{i + 2} u_{i + 2} v_{i + 1} u_{i} x_{i}$ 与圈 $y_{i} y_{i + 1} y_{i + 2} v_{i + 2} u_{i + 1} v_{i} y_{i}$ ， $0 \leq i \leq 6$ 。令 $W_{i} = {x_{i}, u_{i}, y_{i}, v_{i}}$ ， $B_{i}$ 是 $W_{i}$ 诱导DP(7,1)的子图， $B_{i, i + 1} = B_{i} \cup B_{i + 1}$ 且 $C_{i} = H_{i} \cup B_{i + 1}$ ， $0 \leq i \leq 6$ 。

若 $0 \leq i \leq t$ ，令c为一个正实数，若存在一个正整数 $l_{i}$ 满足 $f_{D} (H_{i, i - 1 + l_{i}}) \geq l_{i} c$ ，则令 $l_{c}^{D} (H_{i})$ 为使得 $f_{D} (H_{i, i - 1 + l_{i}}) \geq l_{i} c$ 成立的 $l_{i}$ 的最小值，反之若这样的 $l_{i}$ 不存在，则 $l_{c}^{D} (H_{i}) = + \infty$ 。

Jordan曲线定理任意一条简单(不自交)闭曲线J把平面分成两个区域，在不同区域的两点若要相连，则连结的弧必定与J相交。

根据Jordan曲线定理，则有以下引理：

引理2.1 在图G中，若C与 $C^{'}$ 为两个顶点不相交的圈， $P_{t} = u_{1} u_{2} \dots u_{t}$ 为t阶路径且 $V (P_{t}) \cap V (C) = \emptyset$ ，假设D是图G的一个好的画法，若 $u_{i}$ 与 $u_{t}$ 位于 $D (C)$ 所在区域边界划分平面的相同区域，则 $c r_{D} (C, C^{'})$ 为偶数；反之若 $u_{i}$ 与 $u_{t}$ 位于 $D (C)$ 所在区域边界划分平面的不同区域，那么 $c r_{D} (C, C^{'})$ 为奇数，后述记为引理2。

2.2. 双广义Petersen图DP(7,1)的交叉数上界

引理2.2 对于双广义Petersen图DP(7,1)的一个好的画法D，存在 $c r (D) < 7$ 。

证明：如图1所示，给出了双广义Petersen图DP(7,1)的一个好的画法

Figure 1. A good drawing of DP(7,1)

图1. DP(7,1)的一个好的画法

2.3. 双广义Petersen图DP(7,1)的交叉数下界

假设D为双广义Petersen图DP(7,1)的一个好的画法，由引理2.2可知 $c r (D) < 7$ 。若 $0 \leq i \leq 6$ ，这里将 $l_{61 / 70}^{D} (H_{i})$ 简记为 $l_{i}^{D}$ ，显然 $D P (7, 1) \ E (B_{i, i + 1})$ 为 $D P (5, 1)$ 的一个子图。

引理2.3 $c r_{D} (B_{i, i + 1}) + c r_{D} (B_{i, i + 1}, D P (7, 1) \ E (B_{i, i + 1})) \leq 2$ ， $0 \leq i \leq 6$ 。

引理2.4 若 $l_{i}^{D} \geq 4$ ， $0 \leq i \leq 6$ ，则 $c r_{D} (C_{i}) = 0$ 。

证明：反证法，不失一般性，假设 $c r_{D} (C_{0}) \geq 1$ ，由于 $l_{i}^{D} \geq 4$ ，则 $f_{D} (H_{0}) < 61 / 70$ ， $f_{D} (H_{0, 1}) < 122 / 70$ ， $f_{D} (H_{0, 2}) < 183 / 70$ 。由 $f_{D} (H_{0, 1}) < 122 / 70$ 且 $c r_{D} (C_{0}) \geq 1$ ，则 $c r_{D} (H_{0, 1}) = 1$ 且 $c r_{D} (C_{0}) = 1$ 。根据 $f_{D} (H_{0, 2}) < 183 / 70$ ，则 $c r_{D} (H_{0, 1} \cup B_{2}) \leq 2$ 。在画法D中，若 $C (x_{0}, x_{1}, x_{2}, u_{2}, v_{1}, u_{0})$ 相交叉于

$C (y_{0}, y_{1}, y_{2}, v_{2}, u_{1}, v_{0})$ ，则由引理2可知 $c r_{D} (C (x_{0}, x_{1}, x_{2}, u_{2}, v_{1}, u_{0}), C (y_{0}, y_{1}, y_{2}, v_{2}, u_{1}, v_{0})) = 0$ ，与

$f_{D} (H_{0, 2}) < 183 / 70$ 相矛盾，因此 $c r_{D} (C (x_{0}, x_{1}, x_{2}, u_{2}, v_{1}, u_{0}), C (y_{0}, y_{1}, y_{2}, v_{2}, u_{1}, v_{0})) = 0$ 。

假设 $c r_{D} (H_{0, 1} \cup B_{2}) = 2$ ，根据 $c r_{D} (H_{0, 1}) = 1$ ，则 $B_{2}$ 一定被交叉。不失一般性，假设在 $D (H_{0, 1} \cup B_{2})$ 中 $x_{2} u_{2}$ 被交叉，由于 $c r_{D} (C (x_{0}, x_{1}, x_{2}, u_{2}, v_{1}, u_{0}), C (y_{0}, y_{1}, y_{2}, v_{2}, u_{1}, v_{0})) = 0$ 且D是一个好的画法，则 $c r_{D} (x_{2} u_{2}, C_{0}) = 1$ 。由引理2可知 $x_{2}$ 与 $u_{2}$ 在 $D (C_{0})$ 所在区域边界划分平面的不同区域，因此路径 $x_{2} x_{3} x_{4} u_{4} v_{3} u_{2}$ 相交于 $C_{0}$ 至少一次，则在D中 $C_{0}$ 至少被交叉三次。又由引理2.3可知

$c r_{D} (B_{1}) + c r_{D} (B_{1}, D P (7, 1) \ E (B_{1})) \leq 2$ ，因此由于 $f_{D} (H_{0}) < 61 / 70$ ，那么路径 $x_{2} u_{2}$ 或 $x_{2} x_{3} x_{4} u_{4} v_{3} u_{2}$ 相交于 $H_{0}$ 一次，则 $c r_{D} (v_{1} y_{1}, x_{1} u_{1}) = 1$ 。

由于 $c r_{D} (H_{0, 1} \cup B_{2}) = 2$ ， $c r_{D} (x_{2} u_{2}, C_{0}) = 1$ 且 $c r_{D} (C_{0}) = 1$ ，则 $c r_{D} (C_{0}, u_{1} v_{2} y_{2} y_{1}) = 0$ 。由于

$c r_{D} (v_{1} y_{1}, x_{1} u_{1}) = 1$ 且 $c r_{D} (C_{0}, u_{1} v_{2} y_{2} y_{1}) = 0$ ，则 $D (C_{0} \cup u_{1} v_{2} y_{2} y_{1})$ 分别同构于图2(a)，图2(b)。若 $D (C_{0} \cup u_{1} v_{2} y_{2} y_{1})$ 同构于图2(a)，由引理2可知路径 $x_{0} x_{6} u_{6} v_{0}$ ， $u_{0} v_{6} y_{6} y_{0}$ 相交于 $x_{1} u_{1} v_{2} y_{2} y_{1} v_{1}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 2}) < 183 / 70$ 相矛盾。若 $D (C_{0} \cup u_{1} v_{2} y_{2} y_{1})$ 同构于图2(b)，由引理2可知路径 $x_{0} x_{6} x_{5} x_{4} x_{3} u_{3} v_{2}$ ， $u_{0} v_{6} y_{6} y_{5} y_{4} y_{3} y_{2}$ 相交于 $x_{1} u_{1} v_{0} y_{0} y_{1} v_{1}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 2}) < 183 / 70$ 相矛盾，因此由于 $c r_{D} (H_{0, 1} \cup B_{2}) \leq 2$ 且 $c r_{D} (C_{0}) = 1$ ，则 $c r_{D} (H_{0, 1} \cup B_{2}) = 1$ 。

(a) (b) (c) (d) (e)

Figure 2. Good drawings of $D (C_{0} \cup u_{1} v_{2} y_{2} y_{1})$

图2. $D (C_{0} \cup u_{1} v_{2} y_{2} y_{1})$ 的好的画法

由于 $f_{D} (H_{0}) < 61 / 70$ 且 $c r_{D} (C_{0}) = 1$ ，不失一般性，假设在 $D (C_{0})$ 中 $v_{1} y_{1}$ 被交叉，若 $c r_{D} (v_{1} y_{1}, x_{1} u_{1}) = 1$ ，则 $D (H_{0, 1} \cup B_{2})$ 分别同构于图2(c)~(e)。若 $D (H_{0, 1} \cup B_{2})$ 同构于图2(c)，由引理2可知路径 $x_{0} x_{6} u_{6} v_{0}$ ， $u_{0} v_{6} y_{6} y_{0}$ 同时相交于 $x_{1} u_{1} v_{2} y_{2} y_{1} v_{1}$ ， $u_{1} x_{1} x_{2} u_{2} v_{1} y_{1}$ 至少各产生两个交叉，与 $f_{D} (H_{0, 2}) < 183 / 70$ 相矛盾。若 $D (H_{0, 1} \cup B_{2})$ 同构于图2(d)，由引理2可知路径 $u_{2} v_{3} u_{4} v_{5} u_{6} v_{0}$ ， $x_{2} x_{3} x_{4} x_{5} u_{5} v_{6} y_{6} y_{0}$ 同时相交于 $x_{1} u_{1} v_{2} y_{2} y_{1} v_{1}$ ， $u_{1} x_{1} x_{0} u_{0} v_{1} y_{1}$ 至少各产生两个交叉，与 $f_{D} (H_{0, 2}) < 183 / 70$ 相矛盾。若 $D (H_{0, 1} \cup B_{2})$ 同构于图2(e)，由引理2可知路径 $u_{2} v_{3} y_{3} y_{2}$ ， $x_{2} x_{3} u_{3} v_{2}$ 同时相交于 $x_{1} u_{1} v_{0} y_{0} y_{1} v_{1}$ ， $u_{1} x_{1} x_{0} u_{0} v_{1} y_{1}$ 至少各产生两个交叉，与 $f_{D} (H_{0, 2}) < 183 / 70$ 相矛盾，因此 $c r_{D} (v_{1} y_{1}, x_{1} u_{1}) = 0$ 。由于 $c r_{D} (v_{1} y_{1}, x_{1} u_{1}) = 0$ ，若 $x_{2}$ 与 $v_{2}$ 在 $D (C_{0})$ 划分平面的不同区域，由引理2可知路径 $u_{2} v_{3} y_{3} y_{2}$ ， $x_{2} x_{3} u_{3} v_{2}$ 相交于 $C_{0}$ 至少各产生一个交叉。又由引理2.3可知 $c r_{D} (B_{1}) + c r_{D} (B_{1}, D P (7, 1) \ E (B_{1})) \leq 2$ 且 $c r_{D} (v_{1} y_{1}, x_{1} u_{1}) = 0$ ，则 $f_{D} (H_{0}) \geq 1$ ，产生矛盾，因此 $x_{2}$ 与 $v_{2}$ 在 $D (C_{0})$ 划分平面的相同区域。若 $x_{2}$ 与 $u_{2}$ 在 $D (C_{0})$ 划分平面的不同区域，由引理2可知路径 $x_{2} u_{2}$ ， $x_{2} x_{3} x_{4} u_{4} v_{3} u_{2}$ 相交于 $C_{0}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 1}) < 122 / 70$ 相矛盾，因此 $x_{2}$ 与 $u_{2}$ 在 $D (C_{0})$ 划分平面的相同区域。则 $D (H_{0, 1} \cup B_{2})$ 分别同构于图3(a)~(d)。

(a) (b) (c) (d)

Figure 3. Good drawings of $D (H_{0, 1} \cup B_{2})$ with $c r_{D} (C_{0}) = 1$

图3. $D (H_{0, 1} \cup B_{2})$ 在 $c r_{D} (C_{0}) = 1$ 下的好的画法

若 $D (H_{0, 1} \cup B_{2})$ 同构于图3(a)，由引理2可知路径 $x_{0} x_{6} x_{5} u_{5} v_{6} u_{0}$ ， $v_{0} u_{6} v_{5} u_{4} x_{4} x_{3} x_{2}$ ， $y_{0} y_{6} y_{5} y_{4} y_{3} v_{3} u_{2}$ 相交于 $H_{0, 1} \cup B_{2}$ 至少各产生一个交叉。由引理2.3可知 $c r_{D} (B_{1, 2}) + c r_{D} (B_{1, 2}, D P (7, 1) \ E (B_{1, 2})) \leq 2$ ，则路径 $x_{0} x_{6} x_{5} u_{5} v_{6} u_{0}$ ， $v_{0} u_{6} v_{5} u_{4} x_{4} x_{3} x_{2}$ 或 $y_{0} y_{6} y_{5} y_{4} y_{3} v_{3} u_{2}$ 最多交叉于 $B_{1}$ 或者 $B_{2}$ 一次，与 $f_{D} (H_{0, 1}) < 122 / 70$ 相矛盾。

若 $D (H_{0, 1} \cup B_{2})$ 同构于图3(b)，由引理2可知路径 $x_{0} x_{6} u_{6} v_{0}$ ， $u_{0} v_{6} y_{6} y_{0}$ 相交于 $H_{0, 1} \cup B_{2}$ 至少各产生一个交叉，由于 $f_{D} (H_{0, 2}) < 183 / 70$ ，则 $c r_{D} (x_{2} x_{3} \cup v_{2} u_{3}, H_{0, 1} \cup B_{2}) = 0$ 。由引理2可知，若 $x_{3}$ 与 $u_{3}$ 位于 $D (H_{0, 1} \cup B_{2})$ 划分平面的不同区域，则路径 $x_{3} u_{3}$ ， $x_{3} x_{4} x_{5} u_{5} v_{4} u_{3}$ 相交于 $H_{0, 1} \cup B_{2}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 3}) < 244 / 70$ 相矛盾，因此 $x_{3}$ 与 $u_{3}$ 位于 $D (H_{0, 1} \cup B_{2})$ 划分平面的相同区域，由引理2可知若 $x_{3} u_{3}$ 相交于 $H_{0, 1} \cup B_{2}$ 至少产生两个交叉，与 $f_{D} (H_{0, 2}) < 183 / 70$ 相矛盾，则 $c r_{D} (x_{2} x_{3} u_{3} v_{2}, H_{0, 1} \cup B_{2}) = 0$ 。同理可证， $c r_{D} (u_{2} v_{3} y_{3} y_{2}, H_{0, 1} \cup B_{2} \cup x_{2} x_{3} u_{3} v_{2}) = 0$ ，则 $D (H_{0, 2} \cup B_{3})$ 同构于图4(a)。如图4(a)所示，由引理2可知路径 $x_{0} x_{6} u_{6} v_{0}$ ， $u_{0} v_{6} y_{6} y_{0}$ 相交于 $v_{3} y_{3} y_{2} y_{1} v_{1} u_{2} v_{3}$ ，由引理2可知若路径 $x_{0} x_{6} u_{6} v_{0}$ 相交于 $u_{2} v_{3} y_{3} y_{2}$ ，则路径 $x_{0} x_{6} u_{6} v_{0}$ 相交于 $u_{2} v_{3} y_{3} y_{2} v_{2} u_{3} x_{3} x_{2} u_{2}$ 至少两次，若路径 $u_{0} v_{6} y_{6} y_{0}$ 相交于 $u_{2} v_{3} y_{3} y_{2}$ ，情形一致。又由于 $f_{D} (H_{0, 1}) < 122 / 70$ 可知 $v_{1} y_{1} y_{2}$ 被路径 $u_{0} v_{6} y_{6} y_{0}$ 或 $x_{0} x_{6} u_{6} v_{0}$ 交叉最多一次，因此路径 $x_{0} x_{6} u_{6} v_{0}$ ， $u_{0} v_{6} y_{6} y_{0}$ 相交于 $H_{0, 2} \cup B_{3}$ 至少产生三个交叉。若路径 $x_{0} x_{6} u_{6} v_{0}$ 相交于 $v_{1} y_{1} y_{2}$ 可知 $x_{6}$ ， $u_{6}$ 在区域 $R_{2}$ ， $R_{4}$ 或 $R_{6}$ 中，由引理2可知路径 $x_{6} x_{5} x_{4} x_{3}$ ， $u_{6} v_{5} y_{5} y_{4} v_{4} u_{3}$ 相交于 $H_{0, 2} \cup B_{3}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 3}) < 244 / 70$ 相矛盾，则路径 $u_{0} v_{6} y_{6} y_{0}$ 相交于 $y_{1} v_{1} u_{2}$ 。若路径 $u_{0} v_{6} y_{6} y_{0}$ 相交于 $y_{1} v_{1} u_{2}$ ，根据引理2可知 $v_{6}$ ， $y_{6}$ 在区域 $R_{2}$ ， $R_{4}$ 或 $R_{6}$ 中，由引理2可知路径 $v_{6} u_{5} v_{4} u_{3}$ ， $y_{6} y_{5} v_{5} u_{4} x_{4} x_{3}$ 相交于 $H_{0, 2} \cup B_{3}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 3}) < 244 / 70$ 相矛盾。

若 $D (H_{0, 1} \cup B_{2})$ 同构于图3(c)，由引理2可知路径 $v_{0} u_{6} v_{5} y_{5} y_{6} y_{0}$ ， $u_{0} v_{6} u_{5} v_{4} y_{4} y_{3} y_{2}$ ， $x_{0} x_{6} x_{5} x_{4} x_{3} u_{3} v_{2}$ 相交于 $H_{0, 1} \cup B_{2}$ 至少各产生一个交叉。由引理2.3可知 $c r_{D} (B_{1, 2}) + c r_{D} (B_{1, 2}, D P (7, 1) \ E (B_{1, 2})) \leq 2$ ，则路径 $v_{0} u_{6} v_{5} y_{5} y_{6} y_{0}$ ， $u_{0} v_{6} u_{5} v_{4} y_{4} y_{3} y_{2}$ 或 $x_{0} x_{6} x_{5} x_{4} x_{3} u_{3} v_{2}$ 最多交叉于 $B_{1}$ 或者 $B_{2}$ 一次，与 $f_{D} (H_{0, 1}) < 122 / 70$ 相矛盾。

若 $D (H_{0, 1} \cup B_{2})$ 同构于图3(d)，由引理2可知路径 $x_{0} x_{6} u_{6} v_{0}$ ， $u_{0} v_{6} y_{6} y_{0}$ 相交于 $H_{0, 1} \cup B_{2}$ 至少各产生一个交叉，由于 $f_{D} (H_{0, 2}) < 183 / 70$ ，则 $c r_{D} (x_{2} x_{3} \cup v_{2} u_{3}, H_{0, 1} \cup B_{2}) = 0$ 。由引理2可知，若 $x_{3}$ 与 $u_{3}$ 位于 $D (H_{0, 1} \cup B_{2})$ 划分平面的不同区域，则路径 $x_{3} u_{3}$ ， $x_{3} x_{4} x_{5} u_{5} v_{4} u_{3}$ 相交于 $H_{0, 1} \cup B_{2}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 3}) < 244 / 70$ 相矛盾，因此 $x_{3}$ 与 $u_{3}$ 位于 $D (H_{0, 1} \cup B_{2})$ 划分平面的相同区域，由引理2可知若 $x_{3} u_{3}$ 相交于 $H_{0, 1} \cup B_{2}$ 至少产生两个交叉，与 $f_{D} (H_{0, 2}) < 183 / 70$ 相矛盾，则 $c r_{D} (x_{2} x_{3} u_{3} v_{2}, H_{0, 1} \cup B_{2}) = 0$ 。同理可证， $c r_{D} (u_{2} v_{3} y_{3} y_{2}, H_{0, 1} \cup B_{2} \cup x_{2} x_{3} u_{3} v_{2}) = 0$ ，则 $D (H_{0, 2} \cup B_{3})$ 同构于图4(b)。如图4(b)所示，由引理2可知路径 $x_{0} x_{6} u_{6} v_{0}$ ， $u_{0} v_{6} y_{6} y_{0}$ 相交于 $v_{3} y_{3} y_{2} y_{1} v_{1} u_{2} v_{3}$ ，由引理2可知若路径 $x_{0} x_{6} u_{6} v_{0}$ 相交于 $u_{2} v_{3} y_{3} y_{2}$ ，则路径 $x_{0} x_{6} u_{6} v_{0}$ 相交于 $u_{2} v_{3} y_{3} y_{2} v_{2} u_{3} x_{3} x_{2} u_{2}$ 至少两次，若路径 $u_{0} v_{6} y_{6} y_{0}$ 相交于 $u_{2} v_{3} y_{3} y_{2}$ ，情形一致。又由于 $f_{D} (H_{0, 1}) < 122 / 70$ 可知 $y_{1} v_{1} u_{2}$ 被路径 $u_{0} v_{6} y_{6} y_{0}$ 或 $x_{0} x_{6} u_{6} v_{0}$ 交叉最多一次，因此路径 $x_{0} x_{6} u_{6} v_{0}$ ， $u_{0} v_{6} y_{6} y_{0}$ 相交于 $H_{0, 2} \cup B_{3}$ 至少产生三个交叉。若路径 $x_{0} x_{6} u_{6} v_{0}$ 相交于 $y_{1} v_{1} u_{2}$ 可知 $x_{6}$ ， $u_{6}$ 在区域 $R_{2}$ ， $R_{4}$ 或 $R_{6}$ 中，由引理2可知路径 $x_{6} x_{5} x_{4} x_{3}$ ， $u_{6} v_{5} y_{5} y_{4} v_{4} u_{3}$ 相交于 $H_{0, 2} \cup B_{3}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 3}) < 244 / 70$ 相矛盾，则路径 $u_{0} v_{6} y_{6} y_{0}$ 相交于 $y_{1} v_{1} u_{2}$ 。若路径 $u_{0} v_{6} y_{6} y_{0}$ 相交于 $y_{1} v_{1} u_{2}$ ，根据引理2可知 $v_{6}$ ， $y_{6}$ 在区域 $R_{2}$ ， $R_{4}$ 或 $R_{6}$ 中，由引理2可知路径 $v_{6} u_{5} v_{4} u_{3}$ ， $y_{6} y_{5} v_{5} u_{4} x_{4} x_{3}$ 相交于 $H_{0, 2} \cup B_{3}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 3}) < 244 / 70$ 相矛盾，则 $c r_{D} (C_{0}) = 0$ 。

(a) (b)

Figure 4. Good drawing of $D (H_{0, 2} \cup B_{3})$

图4. $D (H_{0, 2} \cup B_{3})$ 的好的画法

引理2.5 若 $l_{0}^{D} \geq 4$ ， $c r_{D} (C_{0}) = 0$ ， $c r_{D} (H_{0, 1} \cup B_{2}) = 1$ 且 $c r_{D} (C_{0}, x_{1} x_{2} \cup y_{1} y_{2}) = 1$ ，则 $D (H_{0, 1} \cup B_{2})$ 同构于图5中的一个图。

证明：由于 $l_{0}^{D} \geq 4$ ，得到 $f_{D} (H_{0}) < 61 / 70$ ， $f_{D} (H_{0, 1}) < 122 / 70$ ， $f_{D} (H_{0, 2}) < 183 / 70$ 。因为

$c r_{D} (H_{0, 1} \cup B_{2}) = 1$ 和 $H_{0, 1} \cup B_{2} = C_{0} \cup (x_{1} x_{2} u_{2} v_{1} \cup y_{1} y_{2} v_{2} u_{1})$ ，则

$c r_{D} (C_{0}, x_{1} x_{2} u_{2} v_{1} \cup y_{1} y_{2} v_{2} u_{1}) + c r_{D} (x_{1} x_{2} u_{2} v_{1} \cup y_{1} y_{2} v_{2} u_{1}) = 1$ 。由 $c r_{D} (C_{0}, x_{1} x_{2} \cup y_{1} y_{2}) = 1$ ，不失一般性令 $c r_{D} (C_{0}, x_{1} x_{2}) = 1$ 。由于 $c r_{D} (H_{0, 1} \cup B_{2}) = 1$ 且 $c r_{D} (C_{0}, x_{1} x_{2}) = 1$ ，那么 $x_{2}$ 和 $u_{2}$ 位于 $C_{0}$ 划分平面的同一区域， $v_{2}$ 和 $y_{2}$ 位于 $C_{0}$ 划分平面的同一区域。根据引理2可知，若 $x_{2}$ 与 $v_{2}$ 位于 $C_{0}$ 划分平面的不同区域，则路径 $x_{2} x_{3} u_{3} v_{2}$ 交 $C_{0}$ 至少产生一个交叉，路径 $u_{2} v_{3} y_{3} y_{2}$ 交 $C_{0}$ 至少产生一个交叉，与 $f_{D} (H_{0, 1}) < 122 / 70$ 相矛盾，所以 $v_{2}$ 与 $x_{2}$ 位于 $C_{0}$ 划分平面的同一区域。根据引理2可知

$c r_{D} (C (x_{0}, x_{1}, x_{2}, u_{2}, v_{1}, u_{0}), C (y_{0}, y_{1}, y_{2}, v_{2}, u_{1}, v_{0})) = 0$ 。又由好的画法的定义可知 $x_{1} x_{2}$ 只能相交于 $x_{0} u_{0}$ ， $u_{0} v_{1}$ 或 $v_{1} y_{1}$ ，则 $D (H_{0, 1} \cup B_{2})$ 同构于图5中的一个图。

(a) (b) (c)

Figure 5. A good drawing of $H_{0, 1} \cup B_{2}$ if $x_{1} x_{2}$ crosses $x_{0} u_{0} v_{1} y_{1}$

图5. $H_{0, 1} \cup B_{2}$ 在 $x_{1} x_{2}$ 交 $x_{0} u_{0} v_{1} y_{1}$ 下的一个好的画法

引理2.6 令D是一个好的画法，若 $l_{0}^{D} \geq 5$ 且 $D (H_{0, 1} \cup B_{2})$ 同构于图5(a)，则 $c r (D) \geq 7$ 。

证明：反证法，假设 $c r (D) \leq 6$ 。由于 $l_{0}^{D} \geq 5$ ，得到 $f_{D} (H_{0}) < 61 / 70$ ， $f_{D} (H_{0, 1}) < 122 / 70$ ， $f_{D} (H_{0, 2}) < 183 / 70$ ， $f_{D} (H_{0, 3}) < 244 / 70$ ， $f_{D} (H_{0, 4}) < 305 / 70$ 。

如图5(a)所示，由引理2可知路径 $x_{0} x_{6} u_{6} v_{0}$ ， $y_{0} y_{6} v_{6} u_{0}$ 交叉于 $H_{0, 1} \cup B_{2}$ ，则 $H_{0, 1} \cup B_{2}$ 的边被交叉至少两次。又由于 $f_{D} (H_{0, 2}) < 183 / 70$ ，则 $c r_{D} (v_{2} u_{3} \cup x_{2} x_{3}, H_{0, 1} \cup B_{2}) = 0$ 。若 $x_{3}$ 与 $u_{3}$ 位于 $D (H_{0, 1} \cup B_{2})$ 划分平面的不同区域，由引理2可知路径 $x_{3} u_{3}$ ， $x_{3} x_{4} x_{5} u_{5} v_{4} u_{3}$ 相交于 $H_{0, 1} \cup B_{2}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 2}) < 183 / 70$ 相矛盾，则 $x_{3}$ 与 $u_{3}$ 位于 $D (H_{0, 1} \cup B_{2})$ 划分平面的同一区域。若 $x_{3} u_{3}$ 相交于 $H_{0, 1} \cup B_{2}$ ，由引理2可知 $H_{0, 1} \cup B_{2}$ 的边被交叉至少两次，与 $f_{D} (H_{0, 2}) < 183 / 70$ 相矛盾，则 $c r_{D} (x_{3} u_{3}, H_{0, 1} \cup B_{2}) = 0$ 。 $D (H_{0, 1} \cup B_{2} \cup v_{2} u_{3} x_{3} x_{2})$ 同构于图6(a)。如图6(a)所示，根据引理2可知路径 $x_{0} x_{6} u_{6} v_{0}$ 相交于 $u_{0} v_{1} y_{1} y_{2} v_{2} u_{1} x_{1} x_{2}$ ，若 $x_{0} x_{6} u_{6} v_{0}$ 相交于 $u_{0} v_{1} y_{1} y_{2} v_{2}$ ，由引理2可知 $x_{0} x_{6} u_{6} v_{0}$ 相交于 $u_{0} v_{1} y_{1} y_{2} v_{2} u_{1} x_{1} x_{2}$ 至少产生两个交叉。同理 $y_{0} y_{6} v_{6} u_{0}$ 相交于 $u_{0} v_{1} y_{1} y_{2} v_{2} u_{1} x_{1} x_{2}$ 的情形完全一致。又由 $f_{D} (H_{0, 2}) < 183 / 70$ 可知 $v_{2} u_{1} x_{1} x_{2}$ 被路径 $x_{0} x_{6} u_{6} v_{0}$ 或 $y_{0} y_{6} v_{6} u_{0}$ 交叉至多一次，从而路径 $x_{0} x_{6} u_{6} v_{0}$ ， $y_{0} y_{6} v_{6} u_{0}$ 相交于 $H_{0, 1} \cup B_{2} \cup v_{2} u_{3} x_{3} x_{2}$ 至少三次。由 $f_{D} (H_{0, 3}) < 244 / 70$ ，可以得到 $c r_{D} (u_{2} v_{3} y_{3} y_{2}, H_{0, 1} \cup B_{2} \cup v_{2} u_{3} x_{3} x_{2}) = 0$ 和 $c r_{D} (y_{2} y_{3}, u_{2} v_{3}) = 0$ ，则 $D (H_{0, 2} \cup B_{3})$ 同构于图6(b)。

(a) (b) (c) (d)

Figure 6. Sub-drawings from D with $x_{1} x_{2}$ crosses $u_{0} v_{1}$

图6. 在 $x_{1} x_{2}$ 交 $u_{0} v_{1}$ 下D的子画法

如图6(b)所示，若 $x_{4}$ 与 $u_{4}$ 位于 $D (H_{0, 2} \cup B_{3})$ 划分平面的不同区域，由引理2可知路径 $x_{4} u_{4}$ ， $x_{4} x_{5} u_{5} v_{4} y_{4} y_{5} v_{5} u_{4}$ 交于 $H_{0, 2} \cup B_{3}$ 至少各产生一个交叉，与 $f_{D} (H_{0, 3}) < 244 / 70$ 相矛盾，则 $x_{4}$ 与 $u_{4}$ 位于 $D (H_{0, 2} \cup B_{3})$ 划分平面的同一区域。如果 $x_{4} u_{4}$ 交叉于 $H_{0, 2} \cup B_{3}$ ，由引理2可知 $H_{0, 2} \cup B_{3}$ 的边被交叉至少两次，与 $f_{D} (H_{0, 3}) < 244 / 70$ 相矛盾，因此 $c r_{D} (x_{4} u_{4}, H_{0, 2} \cup B_{3}) = 0$ 。又由于 $f_{D} (H_{0, 3}) < 244 / 70$ ，则 $c r_{D} (x_{3} x_{4} \cup v_{3} u_{4}, H_{0, 2} \cup B_{3}) = 0$ ， $c r_{D} (x_{3} x_{4}, v_{3} u_{4}) = 0$ 。 $D (H_{0, 2} \cup B_{3} \cup x_{3} x_{4} u_{4} v_{3})$ 同构于图6(c)。

如图6(c)所示，由引理2可知路径 $x_{0} x_{6} u_{6} v_{0}$ ， $y_{0} y_{6} v_{6} u_{0}$ 相交于 $H_{0, 1} \cup B_{2} \cup v_{2} u_{3} x_{3} x_{2}$ 至少产生三个交叉，又由 $f_{D} (H_{0, 3}) < 244 / 70$ 可知 $c r_{D} (u_{3} v_{4} \cup y_{3} y_{4}, H_{0, 2} \cup B_{3}) = 0$ 和 $c r_{D} (u_{3} v_{4}, y_{3} y_{4}) = 0$ 。若 $v_{4} y_{4}$ 相交于 $C (x_{2}, x_{3}, x_{4}, u_{4}, v_{3}, u_{2})$ ，由引理2.2可知 $v_{4} y_{4}$ 所在的圈 $C (y_{2}, y_{3}, y_{4}, v_{4}, u_{3}, v_{2})$ 交于圈 $C (x_{2}, x_{3}, x_{4}, u_{4}, v_{3}, u_{2})$ 至少产生两个交叉，与 $f_{D} (H_{0, 4}) < 305 / 70$ 相矛盾，因此 $c r_{D} (v_{4} y_{4}, C (x_{2}, x_{3}, x_{4}, u_{4}, v_{3}, u_{2})) = 0$ 。若 $v_{4}$ 和 $y_{4}$ 位于 $D (H_{0, 2} \cup B_{3} \ E (x_{3} x_{2} u_{2} v_{3}))$ 划分平面的不同区域，由引理2可知路径 $v_{4} y_{4}$ ， $v_{4} u_{5} x_{5} x_{4} u_{4} v_{5} y_{5} y_{4}$ 交叉于 $H_{0, 2} \cup B_{3} \ E (x_{3} x_{2} u_{2} v_{3})$ ，则 $H_{0, 2} \cup B_{3} \ E (x_{3} x_{2} u_{2} v_{3})$ 的边被交叉至少两次，与 $f_{D} (H_{0, 3}) < 244 / 70$ 相矛盾，则 $v_{4}$ 与 $y_{4}$ 位于 $D (H_{0, 2} \cup B_{3} \ E (x_{3} x_{2} u_{2} v_{3}))$ 划分平面的同一区域。如果 $v_{4} y_{4}$ 相交于 $H_{0, 2} \cup B_{3} \ E (x_{3} x_{2} u_{2} v_{3})$ ，由引理2可知 $H_{0, 2} \cup B_{3} \ E (x_{3} x_{2} u_{2} v_{3})$ 的边被交叉至少两次，与 $f_{D} (H_{0, 3}) < 244 / 70$ 相矛盾，则 $c r_{D} (v_{4} y_{4}, H_{0, 2} \cup B_{3} \ E (x_{3} x_{2} u_{2} v_{3})) = 0$ 。 $D (H_{0, 3} \cup B_{4})$ 同构于图6(d)。如图6(d)所示，由引理2可知路径 $u_{0} v_{6} u_{5} v_{4}$ 相交于 $H_{0, 3} \cup B_{4}$ 至少产生一个交叉，路径 $v_{0} u_{6} x_{6} x_{5} x_{4}$ ， $y_{0} y_{6} y_{5} v_{5} u_{4}$ 相交于 $H_{0, 3} \cup B_{4}$ 至少各产生两个交叉，因此对于D有 $c r (D) \geq 6$ 。由假设 $c r (D) \geq 6$ ，则 $c r_{D} (H_{0, 3} \cup B_{4}, v_{6} y_{6} \cup x_{0} x_{6}) = 0$ ，由引理2可知路径 $u_{0} v_{6} u_{5} v_{4}$ 相交于 $H_{0, 3} \cup B_{4}$ 产生一个交叉，路径 $v_{0} u_{6} x_{6} x_{5} x_{4}$ ， $y_{0} y_{6} y_{5} v_{5} u_{4}$ 相交于 $H_{0, 3} \cup B_{4}$ 各产生两个交叉。由引理2可知 $u_{0} v_{6} u_{5} v_{4}$ 交叉于 $v_{2} u_{3} x_{3}$ ，则 $v_{6}$ 在区域 $R_{5}$ ， $R_{8}$ 或 $R_{0}$ 中，下面分为三种情形讨论。

情形1：若 $v_{6}$ 在区域 $R_{5}$ 中，由引理2可知 $u_{0} v_{6} u_{5} v_{4}$ 交叉于 $v_{2} u_{3} x_{3}$ ，则 $u_{5}$ 在区域 $R_{8}$ ， $R_{5}$ 或 $R_{0}$ 中。若 $u_{5}$ 在区域 $R_{5}$ 中，由引理2可知若 $v_{4} u_{5}$ 相交于 $v_{2} u_{3}$ ，则 $D (H_{0, 3} \cup B_{4} \cup v_{4} u_{5} v_{6} u_{0})$ 同构于图7(a)。若 $v_{4} u_{5}$ 相交于 $x_{3} u_{3}$ ，则 $D (H_{0, 3} \cup B_{4} \cup v_{4} u_{5} v_{6} u_{0})$ 同构于图7(b)。若 $u_{5}$ 在区域 $R_{8}$ 中，由引理2可知 $v_{6} u_{5}$ 相交于 $v_{2} u_{3}$ ，则 $D (H_{0, 3} \cup B_{4} \cup v_{4} u_{5} v_{6} u_{0})$ 同构于图7(c)。若 $u_{5}$ 在区域 $R_{0}$ 中，由引理2可知 $v_{6} u_{5}$ 相交于 $x_{3} u_{3}$ ，则 $D (H_{0, 3} \cup B_{4} \cup v_{4} u_{5} v_{6} u_{0})$ 同构于图7(d)。如图7所示，由 $c r_{D} (H_{0, 3} \cup B_{4}, v_{6} y_{6}) = 0$ 可知 $v_{6} y_{6}$ 干净，则 $y_{6}$ 在区域 $R_{5}$ 或 $R_{9}$ 中。由 $y_{6}$ 在区域 $R_{5}$ 或 $R_{9}$ 中，根据引理2可知路径 $y_{0} y_{6} y_{5} v_{5} u_{4}$ 都交于 $H_{0, 3} \cup B_{4} \cup v_{4} u_{5} v_{6} u_{0}$ 至少产生三个交叉。

(a) (b) (c) (d)

Figure 7. A good drawing of $H_{0, 3} \cup B_{4} \cup u_{0} v_{6} u_{5} v_{4}$

图7. $H_{0, 3} \cup B_{4} \cup u_{0} v_{6} u_{5} v_{4}$ 的一个好的画法

情形2：若 $v_{6}$ 在区域 $R_{8}$ 中，则 $D (H_{0, 3} \cup B_{4} \cup v_{4} u_{5} v_{6} u_{0})$ 同构于图8(a)。如图8(a)所示，由于 $c r_{D} (H_{0, 3} \cup B_{4}, x_{0} x_{6}) = 0$ 可知 $x_{0} x_{6}$ 干净，则 $x_{6}$ 在区域 $R_{2}$ 或 $R_{5}$ 中。由 $x_{6}$ 在区域 $R_{2}$ 或 $R_{5}$ 中，根据引理2可知路径 $v_{0} u_{6} x_{6} x_{5} x_{4}$ 相交于 $H_{0, 3} \cup B_{4} \cup v_{4} u_{5} v_{6} u_{0}$ 至少产生三个交叉。

情形3：若 $v_{6}$ 在区域 $R_{0}$ 中，则 $D (H_{0, 3} \cup B_{4} \cup v_{4} u_{5} v_{6} u_{0})$ 同构于图8(b)。如图8(b)所示，由于 $c r_{D} (H_{0, 3} \cup B_{4}, x_{0} x_{6}) = 0$ 可知 $x_{0} x_{6}$ 干净，则 $x_{6}$ 在区域 $R_{2}$ 或 $R_{5}$ 中。由 $x_{6}$ 在区域 $R_{2}$ 或 $R_{5}$ 中，根据引理2可知路径 $v_{0} u_{6} x_{6} x_{5} x_{4}$ 相交于 $H_{0, 3} \cup B_{4} \cup v_{4} u_{5} v_{6} u_{0}$ 至少产生三个交叉。

(a) (b)

Figure 8. A good drawing of $H_{0, 3} \cup B_{4} \cup u_{0} v_{6} u_{5} v_{4}$

图8. $H_{0, 3} \cup B_{4} \cup u_{0} v_{6} u_{5} v_{4}$ 的一个好的画法

3. 结论

本文主要证明图DP(7,1)的交叉数，给出交叉数为7的一个好的画法。近一步通过反证法证明了交叉数的下界，最终证明了图DP(7,1)在 $l_{0}^{D} \geq 5$ ， $c r_{D} (C_{0}) = 1$ 且 $c r_{D} (x_{1} x_{2}, u_{0} v_{1}) = 1$ 下的交叉数为7。对于双广义Petersen图 $D P (2 k + 1, 1)$ ， $(k \geq 3)$ ，证明了归纳基础 $c r_{D} (H_{7}) = 7$ ，对于图 $D P (2 k + 1, 1)$ ， $(k \geq 3)$ 交叉数将是下一步继续研究的内容。

文章引用

白贺. 双广义Petersen图DP(7,1)的交叉数
The Crossing Number of Double Generalized Petersen Graph DP(7,1)[J]. 应用数学进展, 2023, 12(03): 1141-1151. https://doi.org/10.12677/AAM.2023.123116

参考文献

1. Turan, P. (1997) A Note of Welcome. Journal of Graph Theory, 1, 7-9. https://doi.org/10.1002/jgt.3190010105

2. Garey, M.R. and Johnson, D.S. (1993) Crossing Number Is NP-Complete. SIAM Journal on Algebraic & Discrete Methods, 1, 312-316. https://doi.org/10.1137/0604033

3. Guy, R.K. (1960) A Combinatorial Problem. The Bulletin of the Malaysian Mathematical Society, 7, 68-72.

4. Guy, R.K. (1969) Proof Techniques in Graph Theory. Academic Press, New York.

5. Blazer, J and Koman, N. (1964) Theory of Graphs and Its Applications. Academic Press, New York.

6. Kieitman, D.J. (1970) The Crossing Number of K5,n. Combinatrial Theory (Series B), 9, 315-325. https://doi.org/10.1016/S0021-9800(70)80087-4

7. Pan, S. and Richter, R.B. (2007) The Crossing Number of K11 Is 100. Journal of Graph Theory, 56, 128-134. https://doi.org/10.1002/jgt.20249

8. Mcquillan, D., Pan, S. and Richter, R.B. (2010) On the Crossing Number of K13. Journal of Combinatorial Theory, 115, 224-235. https://doi.org/10.1016/j.jctb.2015.06.002

9. Aichholzer, O., Aurenhammer, F. and Krasser, H. (2002) On the Crossing Number of Complete Graphs. Proceedings of the 18th Annual Symposium on Computational Geometry, Barcelona, 5-7 June 2002, 19-24. https://doi.org/10.1145/513400.513403

10. Exoo, G., Harary, F. and Kabell, J. (1981) The Crossings of Some Generalized Petersen Graphs. Mathematica Scandinavica, 48, 184-188. https://doi.org/10.7146/math.scand.a-11910

11. Fiorini, S. (1986) On the Crossing Number of Generalized Pe-tersen Graph. Discrete Mathematic, 30, 221-242. https://doi.org/10.1016/S0304-0208(08)73140-2

12. Richter, R.B. and Salazar, G. (2002) The Crossing Number of P(N, 3). Graphs and Combinatorics, 18, 381-394. https://doi.org/10.1007/s003730200028

13. 林晓惠. 图论中若干难题的研究[D]: [博士学位论文]. 大连: 大连理工大学, 2004.

14. 马登举, 任韩, 卢俊杰. 广义Petersen 图G(2m+1, m)的交叉数[J]. 华东师范大学学报(自然科学版), 2005(1): 34-39.

15. Lin, X.H., Yang, Y.S., Zheng, W.P., et al. (2009) The Crossing Number of General-ized Petersen Graphs with Small Order. Discrete Applied Mathematics, 157, 1016-1023. https://doi.org/10.1016/j.dam.2008.01.012

16. Fiorini, S. and Gauci, J.B. (2003) The Crossing Number of the Generalized Petersen Graph P(3k, k). Mathematica Bohemica, 128, 337-347. https://doi.org/10.21136/MB.2003.134001

17. Zhou, J.X. and Feng, Y.Q. (2012) Cubic Vertex-Transitive Non-Cayley Graphs of Order 8p. Electronic Journal of Combinatorics, 19, 453-472. https://doi.org/10.37236/2087

18. 郑百功. 冒泡排序图Bn和双广义Petersen图P(10, 3)的交叉数[D]: [硕士学位论文]. 大连: 大连理工大学, 2013.

期刊菜单