陕西职业技术学院基础课部，陕西 西安

收稿日期：2024年1月22日；录用日期：2024年3月20日；发布日期：2024年3月27日

摘要

2017年，Jarnicki等人提出如下猜想：如果图G是哈密尔顿连通的且不是K₂，那么它的Mycielski图也是哈密尔顿连通的。在这篇论文中，证明了该猜想在部分图上是正确的。本文的主要研究结果如下：刻画了特殊图类的Mycielski图 $\mu \left(G\right)$ 是哈密尔顿连通的。当图G满足最小度 $\delta \left(G\right)\ge \frac{n}{2}+1$ 时， $\mu \left(G\right)$ 是哈密尔顿连通的。

关键词

Mycielski图，哈密尔顿连通，Mycielski因子

Hamilton-Connectedness of Mycielski Graphs

Yuanyuan Shen

Department of Basic Courses, Shaanxi Vocational & Technical College, Xi’an Shaanxi

Received: Jan. 22^nd, 2024; accepted: Mar. 20^th, 2024; published: Mar. 27^th, 2024

ABSTRACT

2017, Jarnicki and others conjectured that if G is Hamilton-connected and not K₂, then its Mycielski graph $\mu \left(G\right)$ is Hamilton-connected. In this paper, we confirm that the conjecture is true for part of graphs. Our main results are summarized as follows: We characterize special graph classes of $\mu \left(G\right)$ which are depicted to satisfy the characteristics of Hamiltonian connectivity. They are characterized as follows: Graph G satisfies $\delta \left(G\right)\ge \frac{n}{2}+1$ , $\mu \left(G\right)$ satisfies Hamiltonian connectivity.

Keywords:Mycielski Graphs, Hamilton-Connectedness, Mycielski Factor

Copyright © 2024 by author(s) and Hans Publishers Inc.

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

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

1. 引言

1.1. 研究背景及现状

自从二十世纪六十年代以来，图论已经成为发展迅速的数学分支之一，图论的很多理论在解决运筹学，化学，生物学，网络理论，博奕论等学科问题中起着非常重要的作用。它作为组合数学的一个分支受到了各个方向的普遍重视。

图的哈密顿问题便是其中一个比较重要的研究主题，哈密尔顿图是以爱尔兰著名数学家William·Hamilton的名字所命名的。他是第一个给出复数的代数(而非几何)描述的人，并且他于19世纪所发明的Icosian的游戏正是哈密尔顿图的前身，哈密尔顿图作为图论的一个重要分支和其它图理论问题有着非常紧密的联系，Hamilton问题是从所谓的“周游世界问题”的游戏中提出来的 [1] 。1856年著名的爱尔兰数学家William·Hamilton (1805~1865)设计了一个游戏：给定世界上20个城市，从某一顶点出发，沿着十二面体的棱，经过每个顶点恰好1次，最后回到出发点 [2] 。

1998年Fisher，McKenna和Boyer [3] 研究了图G的Mycielski图 $\mu \left(G\right)$ 的哈密尔顿性质，并得出了以下结论：

定理1.1(Fisher [3] )以下是关于图G的相关结论：

(1) 设G是哈密尔顿图，则 $\mu \left(G\right)$ 也是哈密尔顿图；

(2) 设G不是连通的，则 $\mu \left(G\right)$ 不是哈密尔顿图；

(3) 设G是至少含有两个悬挂点的图，则 $\mu \left(G\right)$ 不是哈密尔顿图。

2017年Jarnicki，Myrvold，Saltzman和Wagon [3] 进一步研究了一般图G及其Mycielski图之间的关系，并得到了以下结论：

定理1.2 (Jarnicki, Myrvold, Saltzman, Wagon [3] )图G具有如下结论：

(1) 如果图G是一个奇圈，那么 $\mu \left(G\right)$ 是哈密尔顿连通的；

(2) 如果图G是阶数为奇数的哈密尔顿连通图，那么 $\mu \left(G\right)$ 是哈密尔顿连通的；

(3) 如果图G是一个偶圈，那么 $\mu \left(G\right)$ 不是哈密尔顿连通的。

1.2. 基本概念

本论文只研究有限简单图。一个图称为简单图，如果它既没有自环也没有两条边连接同一对顶点。设 $G=\left(V\left(G\right),E\left(G\right)\right)$ 是一个简单图， $V\left(G\right)$ 是图G的顶点集，顶点数 $\left|V\left(G\right)\right|$ 称为图G的阶数， $E\left(G\right)$ 是图G的边集，边数 $\left|E\left(G\right)\right|$ 称为图G的大小。一般地，把由顶点u和v组成的边记为 $e=uv$ 或者 $uv$ 。图G中顶点v的度是指与v相关联的边数，记为 $d_G\left(v\right)$ 或 $d\left(v\right)$ ，度为0的顶点称为孤立点，度为1的顶点称为悬挂点。我们用 $\delta \left(G\right)=\min \left\{d\left(v\right)|v\in V\left(G\right)\right\}$ 记为G的最小度，即 $\delta \left(G\right)=\min \left\{d\left(v\right)|v\in V\left(G\right)\right\}$ ，用 $\Delta \left(G\right)$ 记为G的最大度，即 $\Delta \left(G\right)=\max \left\{d\left(v\right)|v\in V\left(G\right)\right\}$ 。

称图H是图G的子图(记为 $H\subseteq G$ )，如果 $V\left(H\right)\subseteq V\left(G\right)$ ，并且对于每一条边 $e=uv\in E\left(H\right)$ ，u，v都在顶点集 $V\left(H\right)$ 中。也就是说，图H可以通过删除图G中的一些顶点或一些边获得。图G的生成子图是指满足 $V\left(H\right)=V\left(G\right)$ 的子图H。

包含G的每个顶点的路称为G的哈密尔顿路；类似地，G的哈密尔顿圈是指包含G的每个顶点的圈。图G称为哈密尔顿连通当G满足，对任意一对顶点x，y，G中都存在从x出发到y的哈密尔顿路。

图G的顶点集记为 $V\left(G\right)=\left\{v_1,v_2,v_3,\cdots ,v_n\right\}$ ，它的Mycielski图记为 $\mu \left(G\right)$ ， $\mu \left(G\right)$ 的顶点集为 $X\cup Y\cup z=\left\{x_1,x_2,\cdots ,x_n,y_1,y_2,\cdots ,y_n,z\right\}$ ，边集为z所有的 $y_i$ 相邻，以及 $x_i{x}_j,x_i{y}_j,y_i{y}_j\in E\left(\mu \left(G\right)\right)$ ，当 $v_i{v}_j\in E\left(G\right)$ 。令 $M_1=K_1$ ，构造 $M_1$ 的Mycielski图得到 $M_2=\mu \left(M_1\right)=K_2$ ，由此重复选代可以得到 $M_3=\mu \left(M_2\right)=C_5,M_4,\cdots$ 。这样得到的图称为Mycielski图 $M_n$ 。 $M_n$ 是色数为n的不含三角形且顶点数较少的图。

对于上述概念和术语可以参考 [2] [4] [5] 。

1.3. 本文主要工作

本文研究了一些具有哈密尔顿性质的特殊图类，这些图的Mycielski图均具有哈密尔顿连通性质。

在本文中，我们主要得到一下结果。

定理1.3 设图G是哈密尔顿连通图，如果对任意的 $v\in V\left(G\right)$ ，存在由v开始的Mycielski因子，则 $\mu \left(G\right)$ 是哈密尔顿连通的。

定理1.4 设图G是阶数 $n\ge 3$ 的哈密尔顿连通图，如果 $\delta \left(G\right)\ge \frac{n}{2}+1$ ，则 $\mu \left(G\right)$ 是哈密尔顿连通的。

2. 主要结果

简单回忆哈密尔顿连通的定义：图G中，任意一对顶点 $\left(x,y\right)$ 在G中都存在从x出发到y结束的哈密尔顿路。

在证明下述定理之前，首先我们定义Mycielski因子如下：

定义2.1 设图G是阶数为偶数的n阶连通图， $v_1\in V\left(G\right)$ 。称图G的连通生成子图为Mycielski因子当且仅当中有一条从 $v_1$ 出发的路，该路包含个数为偶数的奇圈 $C_1,C_2,\cdots ,C_{2n}$ (可能n = 0)和含有一条偶长弦的偶圈 $C_{2n+1}$ (可能不存在)，这些圈由2s条边 $e_1,e_2,\cdots ,e_{2s}$ 连接， $e_i=v_i\text{'}{v}_{i+1}$ ， $i\in \left\{1,2,\cdots ,2s\right\}$ 使得 $v_i{v}_i\text{'}\in V\left(C_i\right)$ ， $i\in \left\{1,2,\cdots ,2s+1\right\}$ ，偶圈的弦连接 $v_{2s+1}\text{'}$ 和 $C_{2s+1}$ 上的一点使得该弦的距离为偶长。

定理2.2 设图G是哈密尔顿连通图，如果对任意的 $v\in V\left(G\right)$ ，存在由v开始的Mycielski因子，则 $\mu \left(G\right)$ 是哈密尔顿连通的。

证明：设图G是哈密尔顿连通的。由定理1.7 (2)可知，图G的顶点数为奇数时 $\mu \left(G\right)$ 也是哈密尔顿连通。故只需考虑当图G的顶点数为偶数时的情形。令 $V\left(G\right)=\left\{v_1,v_2,v_3,\cdots ,v_{2n}\right\},n\ge 2$ ， $V\left(\mu \left(G\right)\right)=X\cup Y\cup z$ 。任取两点 $u,v\in V\left(\mu \left(G\right)\right)$ 分别讨论 $u,v$ 在 $X,Y,\left\{z\right\}$ 中不同位置时的情况，并证明。

(i) $u\in X,v\in X$ 。

当 $u=x_1,v=x_{2n}$ 时，由于图G是哈密尔顿连通的，因此在图G中存在一条路P，其中P的起点为 $v_1$ ，终点为 $v_{2n}$ ，故在 $\mu \left(G\right)$ 中存在一条哈密尔顿路 $P^{\prime }$ 。记作：

$x_1-y_2-x_3-\cdots -y_{2n}-z-y_1-x_2-y_3-\cdots -x_{2n}$ ,

如图1所示。

图1. u到v的哈密尔顿路(1)

(ii) $u\in Y,v\in Y$ 。

当 $u=y_1,v=y_{2n}$ 时，由于图G是哈密尔顿连通的，因此在图G中存在一条路P，其中P的起点为 $v_1$ ，终点为 $v_{2n}$ ，故在 $\mu \left(G\right)$ 中存在一条哈密尔顿路 $P^{\prime }$ 。记作：

$y_1-x_2-x_1-\cdots -x_{2n-1}-x_{2n}-y_{2n-1}-x_{2n-2}-\cdots -y_3-z-y_{2n}$ ,

如图2所示。

图2. u到v的哈密尔顿路(2)

(iii) $u\in X,v\in Y$ 。

当 $u=x_1,v=y_{2n}$ 时，由于图G是哈密尔顿连通的，因此在图G中存在一条路P，其中P的起点为 $v_1$ ，终点为 $v_{2n}$ ，故在 $\mu \left(G\right)$ 中存在一条哈密尔顿路 $P^{\prime }$ 。记作：

$x_1-y_2-x_3-\cdots -x_{2n-1}-x_{2n}-y_{2n-1}-x_{2n}-x_{2n-1}-\cdots -y_1-z-y_{2n}$ ,

如图3所示。

图3. u到v的哈密尔顿路(3)

(iv) $u\in Y,v=z$ 。

当 $u=y_1$ 时，由于图G是哈密尔顿连通的，因此在图G中存在一条路P，其中P的起点为 $v_1$ ，终点为 $v_{2n}$ ，故在 $\mu \left(G\right)$ 中存在一条哈密尔顿路 $P^{\prime }$ 。记作：

$y_1-x_2-y_3-\cdots -x_{2n}-x_1-y_2-\cdots -y_{2n}-z$ ,

如图4所示。

图4. u到v的哈密尔顿路(4)

(v) $u\in X,v=z$ 。

令 $u=x_1$ ，图G中有一条从 $v_1$ 出发的路，该路包含个数为偶数的奇圈 $C_1,C_2,\cdots ,C_{2n}$ (可能n = 0)这些圈由2s条边 $e_1,e_2,\cdots ,e_{2s}$ 连接，和含有一条偶长弦的偶圈 $C_{2n+1}$ (可能不存在)，偶长弦连接 $v_{2s+1}\text{'}$ 和 $C_{2s+1}$ 上的一点，若 $S\ge 1$ ，对任意 $i\in \left\{1,2,\cdots ,2s\right\}$ ，给 $C_i$ 的顶点顺时针排序为 $u_1{u}_2\cdots u_{2k+1}$ 。因此在 $\mu \left(C_i\right)$ 中有如下的哈密尔顿路 $P_i$ ：

$x_1{y}_2{x}_3\cdots x_{2k+1}{y}_1{x}_2\cdots y_{2k+1}$ ，其中 $u_1=v_i,u_{2k+1}=v_i\text{'}\left(i\in \left\{1,2,3,\cdots ,2s\right\}\right)$ 。

令含有偶长弦的偶圈 $C_{2n+1}=w_1{w}_2{w}_3\cdots w_{2m}$ ，其中偶长弦为 $w_{2t}{w}_{2m}$ ，因为可以在 $\mu \left(C_{2s+1}\right)$ 中找到如下哈密尔顿路 $P_{2s+1}$ ：

$x_1{y}_2{x}_3{y}_4\cdots y_{2m}{x}_{2t}{y}_{2t+1}{x}_{2t+2}\cdots x_{2m}{y}_1{x}_2{y}_3\cdots y_{2t-1}$ , $w_1=v_{2s+1},w_{2m}=v_{2s+1}\text{'}$ .

如此便可得到 $\mu \left(G\right)$ 中从 $x_1$ 出发到z的哈密尔顿路：

$\left({\displaystyle \underset{i=1}{\overset{2s+1}{\cup }}{P}_i}\right)\cup \left\{v_i{v}_i\text{'}:1\le i\le 2s\right\}\cup \left\{y_{2t-1}z\right\}$

如此完成了证明 [3] [6] 。

定理2.3 设图G是阶数 $n\ge 3$ 的哈密尔顿连通图，如果 $\delta \left(G\right)\ge \frac{n}{2}+1$ ，则 $\mu \left(G\right)$ 是哈密尔顿连通的。

证明：因为图G是哈密尔顿连通的，故图G有哈密尔顿圈C。u是圈C上的一点，因为 $d\left(u\right)\ge \frac{n}{2}+1$ ，所以圈C上有距离u为偶数的邻点。由定理2.2可得， $\mu \left(G\right)$ 也是哈密尔顿连通的。

文章引用

沈源源. Mycielski图的哈密尔顿连通性
Hamilton-Connectedness of Mycielski Graphs[J]. 理论数学, 2024, 14(03): 83-88. https://doi.org/10.12677/pm.2024.143087

参考文献