曲面嵌入图的若干性质研究

来源 :华东师范大学 | 被引量 : 0次 | 上传用户:pigho
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文将讨论曲面嵌入图的几类重要性质.全文共分为以下的五章.在第一章中,我们将介绍本文的研究背景以及相关的一些基本定义.在第二章中,我们将研究平面图的染色扩展问题.设图G为一个平面图且W=W1∪W2…∪Wm为图G的一个子图,其中,每一个Wi均为一个完全子图且满足|V(Wi)| ≤ k.进一步地,我们假设W中任意两个连通分支之间的距离为d.我们知道如果d>6-2,那么W的任意一个正常5-染色均可扩展为图G的一个正常5-染色.Albertson与Moore[3]证明了当d≥4k时,这样的染色扩展即可完成.目前看来,d ≥ 4k是染色扩展所需距离条件的最好可能.事实上,Albertson与Moore[3]已经证明了当d = 4k-2时,始终存在一个图G使得W的某一个正常5-染色是不能够扩展为图G的正常5-染色的.然而,当d = 4k-1时,这种染色扩展能否完成仍然是一个未知的问题.在本章中,我们将研究一种特殊的情形,即每一个Wi均为K2,且得到了距离限制分别为d≥4,d≥6与d≥7时染色可扩展的充分条件.根据我们的结果,可以发现当d≥4,d≥ 与d≥7时,阻碍染色扩展的结构恰好为图G中的3-圈与4-圈.在第三章中,我们将研究曲面嵌入图的染色问题.由Thomassen的理论可知,平面图上的染色扩展是解决曲面嵌入图染色问题的一个重要技巧.具体来说,如果图G在曲面上存在一个三角剖分嵌入使得该嵌入的边宽度足够大,那么G中存在一组不相交的无弦圈{C1,C2,…,Ct}使得沿着这组圈将曲面剪开之后得到的新图G’为一个平面图.这个理论为我们的研究提供了原始的构思.易知,经过这个过程之后,每一个圈Ci均会产生一对圈{C’i,Ci"},且这对圈恰好对应新图G’中的两个非三角面的边界.如果我们能够找到新图G’的一个正常5-染色f满足f(C’i)= f(C"i),其中1 ≤ i ≤ t,那么只需将每一组对应圈再黏合起来便可得到图G的一个正常5-染色.因此,在这一章中,我们将首先完成由图G中一组不相交的圈出发的染色扩展,在此基础之上,给出曲面嵌入图的5-色定理.显然,我们的圈染色扩展结论连同Thomassen的理论(定理3.3[43])可以构成一个更加有效的方法去解决曲面嵌入图的染色问题.我们知道图G的任意一个强嵌入方案Π均可以决定一个符号差σΠ:E(G)→{±1}.此时,我们称符号图(G,σn)是由嵌入方案Π诱导出的.1983年,Bouchet[9]猜想如果一个符号图存在非零整数流,那么该符号图一定存在一个非零整数6-流.DeVos[14]证明了这样的符号图是存在非零整数12-流的,目前看来,这是对符号图6-流猜想的一个最好接近.在第四章中,我们将研究由嵌入方案Π诱导出的符号图(G,σn),并首先证明了若图G在不可定向曲面S上存在一个强嵌入且图G是k-面可染的,则符号图(G,σn)存在一个非零整数k-流,这就给出了符号图的整数流与面染色之间的联系.其次,我们还证明了有一类诱导符号图(G,σn)是存在非零整数8-流的.在第五章中,我们将研究3-正则极点图的最小亏格问题.通过使用翻桥的技巧,我们证明了这一章的主要结论.令图G为3-正则极点图,x为极点且N(x)={α,β,γ}为极点x的邻集.我们用G-x来表示收缩G-中所有2度顶点后得到的新图.设G二x是3-连通的,且Π为G-x的一个平面嵌入.Mohar[32]证明了若N(x)中的任意两点在平面嵌入Π中的面距离至少为4,则g(G)= 2.在此基础之上,我们进一步证明了若N(x)中的任意两点在平面嵌入Π中的面距离至少为2,且N(x)中所有两点之间的面距离之和大于7,则g(G)= 2.显然,对于N(x)中的任意两点之间的面距离而言,我们的结论是对Mohar的结论[32]的一个较好完善.
其他文献
近十来年,石墨烯材料在储能、太阳能电池、传感器、场发射器件等领域得到了广泛的应用。特别是在场发射器件中,石墨烯越来越成为热门研究材料。三维图案化的硅衬底作为场发射器件的衬底,既有独特的衬底结构又可与集成电路兼容。本文利用MEMS工艺制备了硅尖和硅微通道板(硅MCP)两种三维硅衬底,在衬底上沉积石墨烯,得到了石墨烯/三维硅结构,开展了其在场发射器件方面的研究工作。首先,使用电泳法制备了石墨烯/Ni/
This thesis contributes to the formal specification and verification of Sequential Dynamic Memory Allocators(SDMA,for short),which are key components of operating systems or standard libraries.SDMA ma
学位
在过去的三十多年里,由于现实社会实际生产与实践应用的广泛迫切需要,在天气预报、大型飞机研制、油田勘探与开采等诸多领域,数学物理和工程计算问题的数值模拟规模日趋增大,其相应的计算工作陷入了前所未有的极大困境,同时也伴随着或导致了难以承受的工作量。如此状况,使得信息与计算科学工作者切身感受到解决超大规模计算问题的紧迫性,同时也凸显了对计算方法研究的重要性。此外,计算机科学技术的迅猛发展在从根本上改变了
随着现代计算机系统的规模越来越大、复杂性越来越高,如何开发可信的软硬件系统已经成为计算机科学发展的巨大挑战。形式化方法是以数学理论为基础,对计算机系统进行严格地规约、建模与验证,实现系统的可信验证。形式化方法已经成为软件开发过程中不可或缺的一个环节,如何使用交互式的定理证明器对软件系统进行机械定义与验证是其中的一个研究重点。通过机械证明模型中的定理可以找出模型中存在的问题和漏洞,从而进一步提高模型
传统上认为机体抵御外来病原入侵的免疫系统可以分为两类,即先天免疫和适应性免疫。全部后生动物都具有先天免疫系统,其中脊椎动物除具有先天免疫之外还有以抗原特异性和免疫记忆为特点的适应性免疫。在无脊椎动物先天免疫系统中,模式识别受体(PRR)与病原体相关分子模式相互作用,直接或间接激活Toll信号通路,诱导Dorsal转录因子入细胞核从而调控不同的免疫效应因子表达,如调控抗菌肽的表达和释放,行使细胞的体
本论文主要研究了几何分析中两方面的问题:一是单位球面Sn中凸区域上特征’值的基本间隙问题,二是Bakry-(?)mery Ricci曲率积分条件下局部Sobolev常数估计及应用.基本间隙问题是几何分析领域中一个重要课题,它是指Laplacian算子或Schrodinger算子的基本间隙(前两个特征值之差)的最优下界估计.著名的基本间隙猜想(S.T.Yau问题集中§IV节谱的一个补充问题[69])
CD4+ T细胞亚群中的Th17细胞能够分泌致炎性细胞因子IL-17A,参与到多种自身免疫性疾病的过程中。尽管T细胞内在的信号通路调控Th17细胞的分化已经被广泛揭示,然而来自于固有免疫系统中参与调节Th17细胞发育的信号却鲜为人知。本文中,我们发现了一种蛋白酶体激活因子,11S家族成员之一的REGγ,参与了对Th17细胞的分化和自身免疫性疾病发生发展的调控,REGy的缺失显著地加剧了自身免疫性神
目前,互联网的核心是TCP/IP协议,该技术的设计初衷是针对端到端的主机通信。但随着互联网的高速发展,互联网用户的数量爆炸式增长的同时,网络数据内容也在急剧膨胀,它的自身缺陷会导致灵活性低、易拥塞、扩展性低等问题,以至于无法应对日益增长的大规模数据内容分发。为了解决这些问题,国际上有两种主流的方法:一种是不断改进现有的IPv4协议使其过渡到IPv6协议;另一种是从根本上去解决问题,即采用全新的互联
REGγ又被称作PA28γ,PSME3或者Ki抗原,是属于蛋白酶体激活因子11S家族的成员,能够结合并且激活20S蛋白酶体,从而以一种泛素化以及ATP非依赖的方式降解多种的底物,从而参与不同的生理过程。但REGγ在神经系统中的功能至今仍未被发现。在本课题中,包括形态学,行为学以及分子生物学多种方法被用于研究,对于REGy在神经系统中的作用进行了不同层次的探讨。首先,课题利用了形态学方法,对于REG