超图的拉格朗日与Turán数.docx

超图的拉格朗日与Turán数 拉格朗日和Turán数都是图论领域中的重要概念，我们将分别阐述它们的定义、性质以及应用。 一、拉格朗日 1.1 定义 拉格朗日是指一个无向简单图中的最大独立集大小与最小顶点覆盖大小的和，记作L(G)。其中，独立集是指图中任意两个顶点之间没有边相连的顶点集合，顶点覆盖是指可以用最少的顶点集合覆盖图中的所有边。 1.2 性质 拉格朗日具有以下性质： （1）对于任意无向简单图G，都有L(G)≥|V(G)|/2，其中|V(G)|表示G中顶点的个数。 （2）对于完全图K_n，其拉格朗日L(K_n)=n/2。 （3）对于n个顶点的奇环C_{2k+1}，其拉格朗日L(C_{2k+1})=(n+1)/2。 （4）对于n个顶点的偶环C_{2k}，其拉格朗日L(C_{2k})=n/2。 1.3 应用 拉格朗日可以应用于解决许多图论中的问题，如最小顶点覆盖、最大独立集等。同时，拉格朗日在设计算法时也有着重要的作用。 二、Turán数 2.1 定义 Turán数是指一个含有n个顶点的无向简单图中不含有大小为r+1的完全图的最多边数，记作T(n,r)。即，当一个图中边的条数达到Turán数时，这个图中一定不会同时含有大小为r+1的完全图。 2.2 性质 Turán数具有以下性质： （1）对于任意n和r，都有T(n,r)≤(r-1)/(r) * (n^2)/2。 （2）对于n≥r