1. 引言
图的交叉数问题的研究,起源于20世纪40年代砖厂遇到的难题。据说第二次世界大战时期,Turan [1] 发现运砖车沿铁轨向仓库运砖时,车很容易在铁轨交点的位置脱节。他因此想到通过减少铁轨交叉个数来降低损失的方法,交叉数的概念由此而来。
关于图的交叉数的研究已经有几十年的历史,Garey和Johnson [2] 证明了确定一个图的交叉数是NP-完全问题。由于证明难度较大,国内外关于图的交叉数领域的研究进展缓慢。只得到了较少图的交叉数的精确值和一些具有特殊结构的图的交叉数的上下界。主要研究结果有:1960年,Guy [3] 对完全图
的交叉数提出猜想:对于任意的
,有
其中
表示不超过任意实数x的最大整数。1969年,Guy在文献 [4] 中验证了当
时,猜想成立。1970年,Kleitman在文献 [5] 中给出了当n足够大时,
交叉数的下界:
Richter等 [6] [7] 证明了
和
之间的关系:
。2019年,Balogh [8] 给出了完全图
的下界为
,这是当前最优的结论。
设A,B,C为图G的边集的互不相交的子集 [9] ,则对于图G的任意画法D,有
,
.
Jordan曲线定理 [10] 任意一条简单(自身不相交)闭曲线J把平面分成两个区域,在不同区域的两点若要相连,则连结的弧必与J相交。
根据Jordan曲线定理,我们有以下引理。
引理1 在图G中,设C和
是两个顶点不相交的圈,
是一条t阶路径且
。假设D是G的一个好的画法,那么
是偶数;当
和
位于
的同一区域时,
为偶数,否则为奇数。
2. 循环图C(16, 4)的交叉数
2.1. 循环图C(16, 4)的定义
循环图C(16, 4)的顶点集
,边集
,顶点标号i取模
,为了后续书写方便,用i表示
,
和
分别表示
和
。
2.2. 循环图C(16, 4)的交叉数的上界
引理2
证明:图1给出了
的一个有8个交叉点的好的画法,因此
。
Figure 1. Good drawings of C(16, 4)
图1. C(16, 4)的好的画法
2.3. 循环图C(16, 4)的交叉数的下界
引理3 令D是
的一个好画法,并且
,对于D的一个区域R的边界
,
的画法不存在。
证明:反证法,假设画法D存在。由
,可以得到4种情形,即8圈不自交,自交1次,自交2次,自交3次。画法D见图2。
情形1 8圈
不自交。8圈不自交时,8圈
的画法
为平面嵌入,在同构意义下,只有一种,见图3。记
,讨论将
中4条边全部添入8圈
后,产生交叉的所有情况。此时
中4条边等价,不失一般性,假设边
不产生交叉,则有2种画法且这2种画法同构,那么添入边
时,画法唯一。当前画法下,边
与边
等价,不失一般性,设
。此时
,则
。当
时,画法唯一,添入后,分离3度点,矛盾。当
时,根据好的画法的定义,相邻边不能交。若边
交边
一次,分离3度点,矛盾。若边
交路径
一次,分离3度点,矛盾。因此边
只能交边
一次。同理,边
只能交边
一次。此时,边
的两个端点处在不同的闭曲线中,由约当闭曲线定理得,边
交这两个闭曲线至少2次,此时
,矛盾。
情形2 8圈
自交1次。由于8圈
的8条边等价,不失一般性,选定边
作为产生交叉的一条边。剩下的边,根据与边
的距离分为3类,此时有3种子情形即
交
,
交
,
交
。
情形2.1
交
。如图4所示,若边
上不产生交叉,添入后,画法唯一,会分离3度点,矛盾。若边
上产生交叉,根据好的画法的定义,相邻边不能交,则
,
,
,
不能交。若
交
,画法唯一,分离3度点,因此
不能交
。记
交
的交叉点为x。同理,不能交
,
,
。那么
只能交
,同理,
只能交
。则在
中,有两个边不相交的四圈
与
交3次,由约当闭曲线定理,两个边不相交的四圈产生偶数个交叉点,则至少交4次,矛盾。
情形2.2
交
。如图4所示,若边
上不产生交叉,添入后,画法唯一,会分离3度点,矛盾。若边
上产生交叉,根据好的画法的定义,相邻边不能交,则
,
,
,
不能交。若
交
,画法唯一,分离3度点,因此
不能交
。记
交
的交叉点为x。同理,不能交
,
,
。那么
只能交
。添入
后,此时已有2个交叉。若边
上不产生交叉,添入后,画法唯一,会分离3度点,矛盾。若边
上产生交叉,根据好的画法的定义,相邻边不能交,则
,
,
,
不能交。
的两个端点位于圈
的同一区域,添入
后,由约当闭曲线定理,与当前至少交2次,则在
中,至少产生4个交叉,矛盾。
情形2.2
交
。如图4所示,若边
上不产生交叉,添入后,画法唯一,会分离3度点,矛盾。若边
上产生交叉,根据好的画法的定义,相邻边不能交,即
,
,
,
不能交。若
交
,画法唯一,分离3度点,因此
不能交
。记
交
的交叉点为x。同理,不能交
,
,
。那么
只能交
,同理,
只能交
。则在
中,有两个边不相交的四圈
与
交3次,由约当闭曲线定理,两个边不相交的四圈产生偶数个交叉点,则至少交4次,矛盾。
情形3 8圈
自交2次。此时有2种子情形即一条边上产生两个交叉,四条边两两相交产生两个交叉。
情形3.1 一条边上产生两个交叉。由于8圈
的8条边等价,不失一般性,假设被交叉2次的边是
。设
为
与沿着8圈逆时针方向走,第一次被交叉的边之间的距离。
为被交叉1次的两条边之间的距离。由此得到10个不同的数组
即
,
,
,
,
,
,
,
,
,
。其中不同的数组有着同构的画法即
与
,
与
,
与
,
与
。
数组
即
交
且
交
情形下,假设此时有3个交叉点,且8个3度点在同一区域的边界上,那么
,
至少有1条边干净。不失一般性,如果
干净,那么画法唯一,添入后,8个3度点分离,矛盾。
数组
即
交
且
交
情形下,假设此时有3个交叉点,且8个3度点在同一区域的边界上,那么
,
,
至少有2条边干净。不失一般性,如果交叉在
上,那么,
干净,那么画法唯一,添入后,8个3度点分离,矛盾。
数组
即
交
且
交
情形下,假设此时有3个交叉点,且8个3度点在同一区域的边界上,那么
,
,
,
最多有1个交叉。不失一般性,如果交叉在
上,那么
,
,
干净,那么画法唯一,添入后,8个3度点分离,矛盾。数组
,
,
同理得到矛盾。
情形3.2 四条边两两相交产生两个交叉。由于8圈
的8条边等价,不失一般性,假设产生交叉的四条边中的任意一条是
。设
是产生第一组交叉的两条边之间的距离,
是沿着8圈逆时针方向走,第一组交叉中的边与第二组交叉中的一条边之间的距离,
是产生第二组交叉的两条边之间的距离。由此得到10个不同的数组
即
,
,
,
,
,
,
,
,
,
。其中不同的数组有着同构的画法即
与
,
与
,
与
,
与
,
与
。
数组
即
交
且
交
情形下,假设此时有3个交叉点,且8个3度点在同一区域的边界上,那么
,
,
至少有2条边干净。不失一般性,如果交叉在
上,那么
,
干净,那么画法唯一,添入后,8个3度点分离,矛盾。
数组
即
交
且
交
情形下,假设此时有3个交叉点,且8个3度点在同一区域的边界上,那么
,
至少有1条边干净。不失一般性,如果
干净,那么画法唯一,添入后,8个3度点分离,矛盾。数组
,
,
同理得到矛盾。
情形4 8圈
自交3次。此时有5种子情形即三条边两两相交,一条边上产生三个交叉,四条边产生三个交叉,五条边产生三个交叉,六条边两两产生三个交叉。
情形4.1 三条边两两相交产生三个交叉。由于相交的三条边互不相邻,8条边中相交的有3条,干净的有5条。任意一对相交的边间,至少有一条干净的边,那么这三条两两相交的边之间的距离的情况在等价意义下只有两种数组:
与
。由于8圈
的8条边等价,不失一般性,假设
作为第一条边。
数组
即
交
且
交
且
交
情形下,假设此时8圈
已有3个交叉点,且8个3度点在同一区域的边界上,那么
,
,
,
全部干净,画法唯一,添入
后,8个3度点分离,矛盾。
数组
即
交
且
交
且
交
情形下,假设此时8圈
已有3个交叉点,且8个3度点在同一区域的边界上,那么
,
,
全部干净,画法唯一,添入
后,8个3度点分离,矛盾。
情形4.2 一条边产生三个交叉。由于8圈
的8条边等价,不失一般性,假设被交叉3次的边是
。设
是
与沿着8圈逆时针方向走,第一次被交叉的边之间的距离,
是沿着8圈逆时针方向走,第一次被交叉的边与第二次被交叉的边之间的距离,
是沿着8圈逆时针方向走,第二次被交叉的边与第三次被交叉的边之间的距离。由此得到10个不同的数组
即
,
,
,
,
,
,
,
,
,
。其中不同的数组有着同构的画法即
与
,
与
,
与
,
与
。
数组
即
交
且
交
且
交
情形下,将这3个交叉固定在四圈
与四圈
时,可以得到两个边不相交的四圈已交3次,由引理1,则在
中,至少产生4个交叉,矛盾。
数组
即
交
且
交
且
交
情形下,在四圈
中已有一条边被交,由引理1,至少与四圈
交2次,此时还有一个交叉,但与已有的交叉不同,则在
中,至少产生4个交叉,矛盾。数组
同理得到矛盾。
数组
即
交
且
交
且
交
情形下,假设此时8圈
已有3个交叉点,且8个3度点在同一区域的边界上,那么
,
,
全部干净,画法唯一,添入
后,8个3度点分离,矛盾。
数组
即
交
且
交
且
交
情形下,假设此时8圈
已有3个交叉点,且8个3度点在同一区域的边界上,那么
,
全部干净,画法唯一,添入
后,8个3度点分离,矛盾。
数组
即
交
且
交
且
交
情形下,假设此时8圈
已有3个交叉点,且8个3度点在同一区域的边界上,那么,
,
,
全部干净,画法唯一,添入
后,8个3度点分离,矛盾。
3. 结论
本文通过给出
相应的好的画法,确定了其交叉数的上界。再利用反证法证明
成立。假设
,则存在
的好的画法D,使得
。我们记
的边集为
,
的边集为
,F的边集为
。有
,且
。将好的画法D分为3个部分。结合公式及已有的定理引理,利用反证法证明循环图
的交叉数为8。