美文网首页计算机中的数学
证明简单平面图中顶点度数平方和的上界

证明简单平面图中顶点度数平方和的上界

作者: 久别重逢已经那边v发 | 来源:发表于2024-11-02 06:49 被阅读0次

G=(V,E)是阶数v\geq 4的简单平面图。证明:\sum_{x\in V}d_G(x)^2≤2(v+3)^2−62

证:

一、证明准备

1.欧拉公式:对于任意简单平面图G,有v-e+f=2。其中v是顶点数,e 是边数,f是面数。

2.顶点度数与边数的关系:对于图G,所有顶点的度数之和是边数的两倍,即\sum_{x \in V} d_G(x) =2e

3.每个面的度数性质:在平面图中,每个面的边界至少是三条边,设f_i表示第i个面的边界边数,那么每个面的度数至少是3,即f_i\geq 3

二、关键推导

1.利用二次图论不等式:

我们利用已知的一个关于平面图的结果:对于一个阶数为v的简单平面图 G,有$$

\sum_{x \in V} d_G(x)^2\leq 4e$$

其中e \leq 3v-6,因此有\sum_{x \in V} d_G(x)^2 \leq 4(3v-6)=12v-24

2.目标不等式的化简:我们需要证明:

$$

\sum_{x \in V} d_G(x)^2 \leq 2(v+ 3)^2-62

$$

展开右边的表达式:

$$

2(v + 3)^2 - 62 = 2(v2+6v+9)-62=2v2+12v+18-62=2v^2+12v-44

$$

3.比较大小:我们需要证明:

$$

12v - 24\leq 2v^2+12v-44

$$

移项得到:

$$

0 \leq 2v^2-20

$$

化简为:

$$

v^2\geq 10

$$

对于v\geq4,显然v^2\geq16\geq 10,因此不等式成立。

综上所述,我们证明了对于阶数v\geq 4的简单平面图G,有

$$

\sum_{x \in V} d_G(x)^2 \leq 2(v+3)^2-62

$$

这个不等式在 v\geq 4 时恒成立。

相关文章

  • 【图论】欧拉圈与哈密顿圈

    欧拉迹和圈 包含所有边仅一次的迹。 一般图中欧拉迹存在的必要条件:每个顶点度数为偶数。 一般连通图中欧拉圈存在的充...

  • 图的表示

    如何理解“图”? 图中的元素我们就叫作顶点(vertex)。图中的一个顶点可以与任意其他顶点建立连接关系。我们把这...

  • 图的表示

    如何理解“图”? 图中的元素我们就叫作顶点(vertex)。图中的一个顶点可以与任意其他顶点建立连接关系。我们把这...

  • 图 graph

    相关概念 社交网络就是典型的图应用。无向图 顶点(vertex):图中的元素。 边(edge):图中的一个顶点可以...

  • 图的深度优先遍历(DFS)

    从图中的某个顶点v出发,访问此顶点,然后从v的未被访问的领接点出发深度优先遍历图,直至图中所有和v有路径相同的顶点...

  • 图论(7):图的遍历 - 广度优先和深度优先算法

    定义 从图中某一顶点出发访遍图中其余顶点,且使每一个顶点仅被访问一次,这个访问的过程叫做图的遍历(Traversi...

  • 高等代数理论基础34:标准形

    标准形 平方和形式 定理:数域P上任一二次型都可经非退化的线性替换变成平方和的形式 证明: 对角阵 平方和的二次型...

  • 欧拉图

    定义欧拉通路图中行遍所有顶点且恰好经过图中的每条边一次的通路. 顶点可以重复经过,边只经过一次。欧拉回路图中行遍...

  • 图的表示

    图的概念 无向图无向图 有向图有向图 带权图带权图 顶点:图中的元素。 边:图中的一个顶点可以与任意其他顶点建立连...

  • 聊一聊数据结构中加权图

    加权图的类型有两种: 顶点加权和边加权。在顶点加权图中,每个顶点都分配了一个权值。在边加权图中,每条边都分配一个权...

网友评论

    本文标题:证明简单平面图中顶点度数平方和的上界

    本文链接:https://www.haomeiwen.com/subject/jkvidjtx.html