【摘 要】
：
图（超图）的划分和覆盖是属于图论的Ramsey理论的一类经典问题.它包含两个子问题:一、在一个任意的r-边染色完全图（超图）中我们一定能够找到最多包含多少个顶点且具有特定结构的单色子图（超图）?二、需要至少多少个特定类型的单色子图（超图）就一定可以覆盖一个任意r-边染色完全图（超图）的所有顶点?该类问题在图的层面结果很多,然而在超图中相应的结果很少,甚至在2-边染色一致完全超图中,基本的路和圈划分
论文部分内容阅读
图（超图）的划分和覆盖是属于图论的Ramsey理论的一类经典问题.它包含两个子问题:一、在一个任意的r-边染色完全图（超图）中我们一定能够找到最多包含多少个顶点且具有特定结构的单色子图（超图）?二、需要至少多少个特定类型的单色子图（超图）就一定可以覆盖一个任意r-边染色完全图（超图）的所有顶点?该类问题在图的层面结果很多,然而在超图中相应的结果很少,甚至在2-边染色一致完全超图中,基本的路和圈划分和覆盖以及相关的Ramsey数问题也没有得到完全解决.本论文主要研究边染色一致超图的线性路和线性圈划分和覆盖问题.在此基础上研究边染色一致完全超图的?-路和?-圈以及其他子图的划分和覆盖问题.本论文分为以下五个章节.第一章我们介绍了一些基本概念和定义,比较全面地介绍了与本论文相关的边染色图划分和覆盖的已知结果和重要猜想.第二章我们介绍了边染色超图的基本概念,给出了边染色超图划分和覆盖的相关结论.并重点研究了2-边染色k-一致完全超图线性路划分和覆盖问题.这一问题源于2013年Gy′arf′as和S′ark¨ozy提出的如下猜想.猜想:每个2-边染色k-一致完全超图Kk n一定存在两条顶点不交且颜色不同的单色线性路覆盖Kk n中至少n-k+2个顶点.Gy′arf′as和S′ark¨ozy说明了如果猜想成立,则该结果对充分大的n是紧的.Gy′arf′as和S′ark¨ozy证明了每个2-边染色k-一致完全超图Kk n一定存在两条顶点不交且颜色不同的单色线性路覆盖Kk n中至少n-2k+5个顶点.该结果表明猜想对k=3是成立的.我们证明了一个比Gy′arf′as和S′ark¨ozy提出的猜想更强的结论.定理.设k≥3为任意正整数.对每个2-边染色k-一致完全超图Kk n而言,如果n=r（k-1）+2对某个非负整数r成立,则V（Kk n）可以划分成两条不同颜色的单色线性路.基于这个结论,我们自然地考虑如下的覆盖问题:对任意一个2-边染色Kk n,我们是否可以找到两条不同颜色的单色线性路（不必顶点不交）覆盖V（Kk n）满足这两条路相交的顶点数尽可能少?我们得到了如下2-边染色k-一致完全超图的线性路覆盖结果.定理.设k≥3为任意正整数.对任意2-边染色k-一致完全超图Kk n,它的所有顶点可以由两条不同颜色的单色线性路覆盖使得这两条路至多共用k-2个顶点.这个结果是紧的.第三章我们介绍了单色线性圈划分和覆盖的现有结果.我们猜想:对k≥3和任意的2-边染色k-一致完全超图Kk n,V（Kkn）可以由两个不同颜色的单色线性圈（不必顶点不交）覆盖.我们证明了k=3时,该猜想是成立的.定理.设K3n是一个2-边染色3-一致完全超图.则V（K3n）能被两个不同颜色的单色线性圈覆盖满足这两个圈至多共用2个顶点.第四章我们考虑了边染色完全超图的?-路和?-圈覆盖和划分问题.我们提出如下猜想:设s≥0,k≥3为两个任意的正整数,如果n=s（k-?）+2?,则2-边染色k-一致完全超图Kk n的所有顶点可以划分成两条不同颜色的单色?-路.我们证明了当?|k或?≤k3时,该猜想是成立的.定理.设?,s,k为任意的三个正整数且?≤k3.如果n=s（k-?）+2?,则2-边染色k-一致完全超图Kk n的所有顶点可以划分成两条不同颜色的单色?-路.第五章我们对本论文进行了简单的总结,提出了以后要进一步考虑的主要问题.
其他文献
全球气候变化以及人类干扰改变了各个空间尺度上生物群落的组成,引发了一系列生态连锁效应,导致生态系统功能受到严重影响。因此,生物多样性与生态系统功能关系的研究逐渐成为生态学研究的热点之一,并在过去的20年中取得累累硕果,证实了生物多样性的丧失不仅会严重影响生态系统的资源与能量利用效率,还会影响群落或者生态系统的稳定性,并且这种影响远远超过其他环境因素的影响。但以往的研究大多集中在物种多样性水平,忽略
在本论文里,我们主要利用的伽马函数的一些性质和经典超几何级数中著名的杜格尔求和公式。通过对杜格尔求和公式中参数a的求导我们得到一些新的恒等式,然后进行相应的参数变换得到四个参数的超几何级数的展开式,由这些公式推导出关于1/π的拉马努金型恒等式和相关常数的拉马努金型级数。全文共分四章。第一章,我们主要介绍Gamma函数,Digamma函数,Trigamma函数和它们的一些性质,并介绍了相关超几何级数
本论文里,我们主要研究了一些特殊函数的相关问题。Gamma函数和Gamma函数比值的渐进展开问题,Theta函数高阶导数在同余子群上的模形式结构和相关应用问题,得到了部分结果并给出了一些近似和恒等式。本文共分四个部分:第一部分:用Pade逼近的方法,利用Gamma函数的展开,在Laplace公式的基础上建立了Gamma函数和Stirling公式更精确、更漂亮的近似和公式,在此基础上我们给出了更一般
精子发生是一个严密调控的复杂的细胞分裂分化过程。精原干细胞（SSC）分化为精母细胞后经过减数分裂形成单倍体精子细胞。这一过程被精确调控,任何差错都可能导致精子发生失败,引起不育。同时,精子发生的微环境由支持细胞（Sertoli cells）,Leydig细胞及血管内皮细胞等组成。其中,Sertoli cells通过紧密连接形成的血睾屏障（BTB）,血睾屏障将曲细精管分为外部的基底膜区和内部的腔区。
本文研究非交换紧致空间上的度量几何,讨论扭变群C*-代数上的量子度量空间结构.全文共分为四章;具体如下:在第一章中,我们集中介绍本文的研究背景及本文所涉及到的一些基本概念和预备知识.在第二章我们利用离散群的扭变速降性质构造了一类新的紧致量子度量空间.我们推广了经典的速降性质和有限生成群的扭变速降性质至更为一般的离散群的扭变速降性质,并给出了它的几个等价刻画.对于一个具有2-上闭链σ的离散群r,利用
混成系统是一类复杂的动力系统,其中既包含了连续演变行为又含有离散变迁行为,并且两者又交织发生.连续演变状态可用于描述各个独立物理硬件的连续行为,离散变迁状态可用于描述离散控制或不同模态切换行为.因此,使得混成系统能很好的应用于嵌入式系统及其逐步发展衍生的信息物理融合系统（即CPS）的形式化分析与建模研究之中.随着信息技术和制造工程的快速发展,嵌入式系统和CPS在众多关系国计民生的安全攸关领域,如航
热机的产生和普及对于人类历史的进展具有无可替代的作用。卡诺热机的提出定义了经典热机下的最高效率:在两个一定温度热库之间工作的热机,以可逆热机的效率为最高,并且只与两个热库的温度相关。不断集成化和微型化的发展趋势使得机械装置的尺度逼近介观甚至于微观量子区域,这对传统机械的工作原理,尤其是基于经典热力学原理的机械动力部分提出了挑战。经典热机理论在量子区域将面对原理性的困难,这在应用层面促使量子热机的研
文化指示语是指向文化语境的语言表达方式。本文在描述美国话语中文化指示语表现形式的基础上,探讨说话人是如何在自身内化的文化语境信息驱动下,运用文化指示语在话语中体现文化主体印记,并在话语中实现与他者互动的主体间性。指示语,即用来表示指示含义的语言形式,是语言学的基本范畴之一,一直是语言哲学、语用学、系统功能语言学、社会学等多个领域的研究对象。语言学家从指示语的基本特质入手,分析指示语的指示中心和指示
“结构决定功能”被认为是生物学领域中最基本的原则之一。自从视觉功能柱发现以来,研究者们普遍认为神经元的聚类结构是皮层结构和功能的基本单位。通过将具有类似反应特性的神经元聚集在一起,不仅在总体上降低了神经元之间的连接代价,促进了神经元间的信息交换;同时,神经元群体上的反应也减弱了随机噪音对单个神经元反应的影响,进而提高了感觉信息编码的可靠性。因此,阐明与不同感觉信息加工相关的神经元是否存在聚类性对于
半个多世纪以来,最优控制理论已经成为研究各类最优控制问题、控制目标和求解方法的一个广阔领域.控制目标的不断复杂化必然导致其数学模型和求精确解及渐近解的复杂性.由于研究对象的复杂性以及数学公式和计算变得更加复杂,寻找解析解变的更加困难甚至不可能做到.因此,诸如数值方法的渐近方法可用来寻找问题的渐近解.通常情况下,迭代法被用作渐近方法.然而只有当方程具有合适的初始近似时,才能得到理想的解.由于尚未建立