【摘 要】
:
一个图若包含Hamilton圈,则称这个图是Hamilton图。众所周知,一个极大平图是3连通图。判定一个3连通平面图是否是一个Hamilton图,这个问题是NP完备问题。然而,Chvatal和Wigderson也分别证明了判定一个极大平图是否是Hamilton图,这个问题仍是NP完备问题。因此对极大平图的Hamilton性进行研究是有重要意义的。Whitney证明了没有分离三角形的极大平图是Ha
论文部分内容阅读
一个图若包含Hamilton圈,则称这个图是Hamilton图。众所周知,一个极大平图是3连通图。判定一个3连通平面图是否是一个Hamilton图,这个问题是NP完备问题。然而,Chvatal和Wigderson也分别证明了判定一个极大平图是否是Hamilton图,这个问题仍是NP完备问题。因此对极大平图的Hamilton性进行研究是有重要意义的。Whitney证明了没有分离三角形的极大平图是Hamilton图(一个分离三角形是指去掉此三角形的三个顶点后使图不连通)。Tutte已经证明了4连通平图是Hamilton图。不含有分离三角形的极大平图是4连通图,因此Tutte的结果可以看作是Whitney结果的一个推广。注意到:一个极大平图若含有分离三角形,则其不是4连通的,因此不能运用Tutte的结果。Chen Chuiyuan证明了仅含有一个分离三角形的极大平图是Hamilton图。本文主要对含有分离三角形的极大平图进行了研究,主要结果叙述如下。 定理3.1若G是含有两个分离三角形的极大平图,则G有一条Hamilton路。 定理3.2若G是含有两个分离三角形的极大平图,且两分离三角形有公共边,则G是Hamilton图。 定理3.3设T是仅含有一个分离三角形的三角剖分图,且至多有七个边界点,则T有一条Hamilton路。
其他文献
关于线性算子升与降的概念最早由A.E.Taylor([1],1966)和D.C.Lay([2],1970)提出,他们利用升与降给出了线性算子谱分析的一些结果。这些内容也可见于由上述二人写的书[3]中,文献[3]对线性算子定义了升与降。1991年,S.M.Verduyn Lunel([4])对线性算子半群提出了升的概念,并利用它讨论算子半群无穷小母元根子空间完整性问题。但对线性算子半群升与降的系统研
本文主要讨论了算子的不动点的存在性问题,一是关于集值算子的,二是关于线性空间中的单值算子的。 集值分析是20世纪40年代以后蓬勃发展起来的一个现代数学分支,它已成为非线性分析的重要组成部分。而算子的不动点定理是非线性分析的基础,所以研究集值算子的不动点定理及其应用有着重要的意义。 第一章讨论了半序集和半序拓扑空间中的集值算子,主要使用了半序方法和单调迭代技巧。在§1.1中,将集值算子的
本文分为两章,第一章研究了连通无向图G的顶点扩张图(见定义1.13)的最小直径定向问题。图的最小直径定向问题的研究来自对单行街和流言问题的研究,目前这两个问题仍为研究的热点。单行街问题可以追溯到Robbins的经典论文[3],文[3]给出著名的单行街定理:一个连通的无向图G有强连通定向当且仅当G无桥。对一个无桥的连通无向图G,设Ω(G)表示G的强连通定向集合,对每一个D∈Ω(G),我们用d(D)(
本文分为三章对有限图的Hamilton性、Ramsey数和四色猜想三方面的问题分别作了讨论。 在第一章里我们讨论了图的Hamilton性问题。文章第一节首先介绍了Hamilton图的概念和一些相关的定理。第二节对Ore定理的结论进行了推广,证明了2连通简单图G,若独立数α≥3且对G中任意一个独立集{x,y,z}有dx+dy+dz≥3ν/2,则G是Hamilton图,同时还证明了G是2连通简单
集值分析是20世纪40年代以后蓬勃发展起来的一个现代数学分支。作为非线性分析的重要组成部分,在众多领域内有着广泛应用,其思想方法也已渗透到许多社会科学、自然科学以及技术领域的研究之中。由于不动点在理论和应用上的重要性,一直是数学研究的重点。关于集值映射不动点理论的研究,早在19世纪30年代Von Neumann就讨论过,之后,Kakutani, Brouwer, Bohnenblust, Karl
本文运用压缩的二维时域有限差分算法(Compact 2D FDTD)对方形渐变空气孔微结构光纤的色散特性进行了研究,并与方形不变和三角形渐变空气孔微结构光纤的色散特性进行了比较。所得结果对渐变微结构光纤的设计和应用有一定的参考意义。 本文的主要内容如下: 1、综述了微结构光纤的发展状况及主要研究方法。 2、介绍了时域有限差分算法的基本原理、数值稳定性条件、吸收边界条件以及它的有效
门限自回归模型在时间序列分析中已得到广泛应用。当建立或应用这种模型时,了解条件异方差的存在性是很重要的。本文分两节对门限自回归模型中自回归条件异方差的广义谱密度检验进行了讨论。在第一节中,我们介绍了广义谱密度检验。广义谱密度检验可以反映出时间序列的所有两两相依性,包括具有零自相关的那些序列。广义谱密度和它的导数还可以被用来检验序列相依的各个方面,例如鞅差,条件同方差性,条件对称性,和条件等峰度性等
设有限群S作用在有限群G上,记C=CG(S)为S在G中的不动点子群。特征标对应理论的一个核心问题是:何时存在一个典范双射 *:IrrS(G)→Irr(C),x(?)x*。 在互素条件下,即假定(|S|,|G|)=1时,Glauberman在1968年证明了当算子群S为可解群时存在上述典范双射,现在称其为Glauberman对应。剩下的是S不可解情形,此时由Feit-Thompson关于奇数阶
本文首先简单介绍了广义自回归模型,接下来给出了相关的主要结论。重点是第三章和第四章,分别是主要结论的证明和应用。本文给出的主要结论是将广义自回归模型的设计矩阵 Pn=sum from k=1 to n (XkX′k), X′k=(X(k),…,X(k-p+1))分解成对角矩阵,对角元分别为平稳的,振荡的和爆炸的自回归子模型,即存在一个非奇异的实矩阵R,使得 RPnR′=(1+o(1))
本试验对日本龟蜡蚧(Ceroplastes japonicus Green)、角蜡蚧(Ceroplastes ceriferus Fabricus)、白蜡绵粉蚧(Phenacoccus fraxinus Tang)、瘤大球坚蚧(Eulecanium gigantea Shinji)和朝鲜球蚧(Didesmococcus koreanus Borchsenius)等5种蚧虫基因组DNA的提取和微卫星