不含偶圈C_2c2m_的r色Ramsey数R_2cr_(C_2c2m_)的下界.pdfVIP

不古偶圈c2。的，色Ramsey数q(c2，)的下界 当禁止子图H为奇圈C2¨时，2’晰R，(C2卅+1)2p+2)!棚； 当禁止子图H为偶圈C：。时，R，(c：。)p一1)(Ⅲ一1)。 下界进行了较为详细的讨论，给出并证明了Ramsey数R，(c：。)一个更好的下界；并结 合构造性证明的方法得到尺，(G)的精确值，进一步给出关于R，(c：。)(卅≥3)的一个猜想。 不含偶圈c孙的r色Ramsey数R，(c2。)的下界 1相关概念 题。它表明：每一种“不规则”的结构，只要它足够大，就会含有指定大小的“规则” 子结构f21。 问题的一个重要的课题。为了在叙述中避免歧义，有必要先说明一下在本文中涉及到的 图论概念。 1．1本文涉及的图论概念 1．1．1图的基本概念 现实世界的许多事物或现象之间存在着某种联系，为了从这些联系中找出规律，人 们经常使用点表示要研究的事物或对象，用点与点之间的连线表示彼此间内在的联系， 这类事例的数学抽象就产生了图的概念。例如，在通讯网络的研究中，我们经常使用点 表示通讯站，而用连线表示通讯线路。 夺图 边与其两个端点相关联(Incident)。 与顶点的有序对v，，v，相关联，则称该边为有向边。 每一条边都是无向边的图称为无向图：每一条边都是有向边的图称为有向图：既有 无向边，又有有向边的图称为混合图。 在一个图中，若两个顶点由一条边相关联，则这两个顶点称为邻接点；与顶点 仅由孤立点组成的图称为零图；仅由一个孤立点组成的图称为平凡图。 类似于邻接点的概念，关联于同一个顶点的两条边称为邻接边：关联于同一个顶点 的一条边称为自回路或环(Loop)。环的方向是没有意义的，它既可作为有向边，也可作 为无向边。 关联于同～对顶点的两条或两条以上的边称为平行边；含有平行边的任何一个图称 不含偶圈C2。的，色Ramsey数B(c2。)的下界 为多重图：不含有平行边和环的图称为简单[](SimpleGraph)。 顶点集和边集都有限的图称为有限图。 本文所涉及的图均为有限的简单无向图。 p(G)=lV(G)l来表示；G的边数(Size)，用q(G)=IE(G)I来表示。 由图的定义可知，一个集合V和矿上的一个二元关系就是一个图。因此图的最本 质的内容就是一个二元关系，也就是顶点和边的关联关系。一个系统或一个结构若具有 二元关系便可用图作为数学模型。 夺度 d(v)； 其中顶点度最大的值称为图G的最大度，记作△(G)=ma)({d(v)：v∈n： 顶点度最小的值称为图G的最小度，记作6(G)=min{d(v)：v∈y)。 在有向图中，射入一个顶点的边数称为该顶点的入度；由一个顶点射出的边数称为 该顶点的出度。顶点的出度与入度之和就是该顶点的度数。 在任何有向图中，所有顶点的入度之和等于所有顶点的出度之和。 每个图中，顶点度数的总和等于边数的两倍，即∑d(V)=21E(G)I。 vEr(G) 夺完全图 简单图G=(V，E)中，若每一对顶点间都有边相连，则称该图为完全图；有n个顶 点的完全图记作世。，其边数为n(n一1)／2。 夺二部图 如果一个图的顶点集能被分成两个不相交的集合K，以(称为部分集)，且每条边将 K中的顶点与K中的顶点相连，则称此图为二部图，有时也称为二分图或偶图。若K中 的每个顶点与％中的每个顶点都相邻，则称此二部图为完全二部图，记为K…．，其中 P．=吲，P：=I％I。 中，各个集合分别包含P，，P：，…，P。(只0)个顶点，属于同一个集合中的顶点均不连结， 属于不同集合中的顶点均相互联结。完全m部图可表示为：世…，．。。 夺子图 若V’cV或E’cE，则称G’为G的真子图； 若V’=V，E’∈E，则称G’为G的生成子图(SpanningSubgraph) 不含偶圈C2。的r色Ramsey数耳(c2。．)的下界 Subgraph)。 Subgraph) 若图日不是图G的子图，可以称H是G的一个禁止子[](Forbidden 由一族图组成的集