本刘子璐正文.docVIP

第1章 图论的起源与发展 1.1图论的起源 图论〔Graph Theory〕是数学的一个分支它以图为研究对象.图论中的图是由若干给定的点及连接两点的线所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系，用点代表事物，用连接两点的线表示相应两个事物间具有这种关系关于图论的文字记载最早出现在欧拉1736年的论着中，他所考虑的原始问题有很强的实际背景图论起源于著名的柯尼斯堡七桥问题在柯尼斯堡的普莱格尔河上有七座桥将河中的岛与河岸联结起来 问题是要从这四块陆地中任何一块开始，通过每一座桥正好一次，再回到起点然而无数次的尝试都没有成功.欧拉在1736年解决了这个问题，他用抽像分析法将这个问题化为第一个图论问题：即把每一块陆地用一个点来代替，将每一座桥用联接相应的两个点的一条线来代替，从而相当于得到一个“图”（如下图）欧拉证明了这个问题没有解，并且推广了这个问题，给出了对于一个给定的图可以某种方式走遍的判定法则这项工作使成为图论的创始人 有力的逻辑，漂亮的图形，高明的数学技巧等，对每个爱好科学的人来说都有挥之不去的诱惑. 1.2图论的基本概念 现实世界的许多事例用图形来描写可能是最方便的，这种图形是由一个点集以及这个点集中的某些点的连线构成的.例如，点可以表示人，连线表示一对朋友，或者用点表示通讯站，而连线表示通讯线路.这类事例数学抽象就产生了图的概念.下面给出图论的一些基本概念： 定义1.1 称数学结构为一个图其中是非空集合，是从集合到的一个映射，则称G是一个以为顶集合，以为边集合的有向图，中的元素成为图的顶点，中的元素成为G的边，成为G的关联函数.若，则简写成；称是有向边的头，若时，则称G为有限图，否则为无限图. 定义1.2 G与H是两个图，存在可逆映射 当且仅当时，，其中是G的关联函数，是H的关联函数，否则称图G与H同构，记成 定义1.3 设G使一个图，是另一个图，满足,中两顶相邻且仅当他们是G中的两条相邻的边，则称是G的边图. 定义1.4 补图：设是一个阶图，用的个顶点构造新图，使得图的任何两顶点之间有一条边相连当且仅当这两点在图中没有边相连，则称为的补图，并记为． 定义1.5 独立顶点集(独立集)：设是一个阶图．如果的任何两顶点之间都没有边相连，则称图为独立顶点集，记为． 定义1.6 Ramsey下界图：设是顶点图．如果既不含个顶点的完全子图点团，也不含个顶点的独立集不含有边，则称是一个Ramsey下界图，且称正整数为一个Ramsey下界数． 第2章 研究双色经典Ramsey数下界的理论依据. 2.1已知双色经典Ramsey数下界定理介绍 在图论的发展历史过程中，针对双色经典Ramsey数下界的估计，在众多数学家的努力下，有了很大的进展，给出了一系列双色经典Ramsey数下界的定理. 简单图G的一个团是指V中的一个子集S，使得是完全图.显然，S是G的团当且仅当S是的独立集.因此这两个概念是互补的. 若G没有大的团，则可以料想G有大的独立集.这种情况的真实性是由（1930）首次证明的.他指出：给定任意正整数和后，总存在一个最小整数，使得每个有个顶点的图，或者包含一个有个顶点的团，或者包含一个有个顶点的独立集.例如，容易看出：以及，数称为数.关于数的下述定理是由和（1935）提出的. 定理2.1 对于任意两个函数和，有 并且，若和都是偶数，则（2.3）式中不等式严格成立. 定理2.2 定理2.3 （，1947） 推论2.3 若，则 定理2.4 推论2.4 2.2探求Ramsey数下界的解决方法 确定数是一个非常困难的尚未解决的问题，通过构造适当的图可以得到它的下界. 所有已知的用构造性论证方法得到的的下界都比推论2.3给出的下界来的强；其中公式法得到的最好的一个结果由(1972)给出，他证明了： 关于数，有时还可以用另一种方式加以定义，它和前面我们给出的定义稍有不同.我们容易看出，可以看作是最小整数，使得的每个2边着色,或者包含一个个顶点的完全图，它的所有边都有颜色，或者包含一个个顶点的完全子图，它的所有边都有颜色. 例如，图是一个8个顶点的图，并且它的所有最大点团顶点集为{0，1}、{0，4}、{0，7}、{1，2}、{1，5}、{2，3}、{2，6}、{3，4}、{3，7}、{4，5}、{5，6}、{6，7}；所有最大顶点独立集为{0，2，5}、{0，3，5}、{0，3，6}、{1，3，6}、{1，4，6}、{1，4，7}、{2，4，7}、{2，5，7}；因而既不含3点团，也不含4顶点独立集．所以，图是一个-Ramsey下界图，9为一个Ramsey下界数（即）． 探求Ramse