图论第8章.ppt

第八章 拉姆齐问题简介 * 1、概念 定义1 设G=(V ,E)是一个图。V的一个顶点子集V1称为G的一个点独立集, 如果V1中的顶点互不邻接； 一、独立集与覆盖 G的一个包含顶点数最多的独立集称为G的最大独立集。最大独立集包含的顶点数，称为G的点独立数，记为α(G)。 v2 v1 v6 v5 v4 v3 v8 v7 G的一个独立集 v2 v1 v6 v5 v4 v3 v8 v7 G的一个最大独立集 * 定义2 设G=(V ,E)是一个图。V的一个顶点子集K称为G的一个点覆盖, 如果E中的每条边至少有一个端点在K中。 G的一个包含顶点数最少的点覆盖称为G的最小点覆盖。最小点覆盖包含的顶点数，称为G的点覆盖数，记为β(G)。 v2 v1 v6 v5 v4 v3 v8 v7 G的一个点覆盖 v2 v1 v6 v5 v4 v3 v8 v7 G的一个最小点覆盖 * 定理1 (加莱) 对任意不含孤立点的n阶图G，有： 2、加莱恒等式 α(G)+ β(G)= n 二、拉姆齐数R(m, n) 1. Ramsey 问题 问题：在任意 6 个人中，一定存在三个人彼此相识，或者彼此不相识。 * 拉姆齐( 1903---1930) 英国数学家。1920年毕业于英国曼切斯特学院，随后获得奖