跳到内容
返回探索
离散数学 / 英语

连通图和强连通图

南极玄武岩 · 哔哩哔哩 · 7:44

打开原视频
阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文
阅读完整概览

本片段讲解离散数学中的连通图与强连通图。视频先区分适用范围:连通图针对无向图,强连通图针对有向图。随后给出连通图定义:任意两个顶点之间都存在路径;并用左侧无向图说明即使两点没有直接边,也可通过中间顶点形成路径。接着给出强连通图定义:任意一对顶点都双向可达,并用右侧有向图验证 A 与 B 强连通。画面下方还展示了 n 个顶点时连通图、非连通图、强连通图的最少边数与最多边数公式。 这段视频围绕“连通图和强连通图”展开。先用左右对照给出定义:无向图中任意两顶点连通称为连通图;有向图中任意一对顶点都强连通称为强连通图。随后用右上有向示例逐对验证其是强连通图,再判断图1、图2都不是强连通图,并把图2临时改成环形以说明最小边数情形。最后总结常见考点:无向连通图最少 n-1 条边、最多 n(n−1)/2n(n-1)/2 条边,非连通图最多 (n-1)(n-2)/2 条边;有向强连通图最少 n 条边、最多 n(n−1)n(n-1) 条边。 片段围绕“连通图和强连通图”展开,先给出无向图连通与有向图强连通的定义,再重点讲解 n 个顶点图的边数极值:连通无向图最少 n-1 条边,无向图最多 n(n−1)/2n(n-1)/2 条边,非连通无向图最多 (n-1)(n-2)/2 条边,强连通有向图最少 n 条边,有向图最多 n(n−1)n(n-1) 条边。讲解者用星形图、完全图计数和“5 点完全图 + 1 个孤立点”的构造来直观说明这些结论。 本片段围绕“连通图和强连通图”展开,先给出无向连通图与有向强连通图的定义,再总结 n 个顶点时两类图的边数极值:无向连通图最少 n-1 条边、最多 n(n−1)/2n(n-1)/2 条边;无向非连通图最多 (n-1)(n-2)/2 条边;有向强连通图最少 n 条边、最多 n(n−1)n(n-1) 条边。教师用 5 个、6 个顶点的例子解释非连通图极值构造,并用 4 个顶点的有向环说明强连通图最少边数,最后强调有向图最多边数是无向完全图的两倍。

在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。

章节

0:00引入:连通图和强连通图0:09概念适用范围:无向图与有向图0:24连通图的定义0:35用路径理解连通性1:18强连通图的定义1:31双向可达与示例验证2:00强连通图示例验证2:23图1不是强连通图2:38图2不是强连通图3:14把图2改成环后的最小强连通例子3:37连通图与强连通图的边数考点4:00连通图最少边数的星形例子4:12无向图最大边数与完全图公式5:13非连通图最大边数的构造5:40强连通图与有向图边数结论在页面上并列呈现6:00无向连通图与非连通图的边数极值6:54有向强连通图的边数极值

学习解说文稿

依据视频画面与讲解整理,并非逐字语音转写。

这一节从两个并列概念入手:左边是无向图中的“连通图”,右边是有向图中的“强连通图”。页面上同时给出了两类图的定义文字,以及关于 nn 个顶点时边数上下限的考点总结。

第一步先划清适用范围。视频强调,“连通图”这个说法针对的是无向图,而“强连通图”针对的是有向图。也就是说,后面判断时不能把两类概念混用:无向图看是否存在路径,有向图谈强连通时还要看方向。

接着给出连通图的定义:如果图中任意两个顶点都是连通的,那么这个图就是连通图;否则就是非连通图。这里的关键词是“任意两个顶点”,不是只看某一对特殊顶点。

为了说明什么叫“连通”,视频用左侧示例图中的 AA 和 DD 做例子。虽然 AA 与 DD 之间没有直接边,但可以从 AA 走到 CC,再从 CC 走到 DD,即存在路径 A→C→DA \to C \to D。因此,AA 与 DD 仍然是连通的。这里纠正了一个常见误区:连通不要求两点直接相邻,只要求能够通过若干边依次到达。

在此基础上,视频进一步说明左侧图中其他顶点对之间也都存在路径,所以整张无向图满足“任意两个顶点都连通”的条件,因而是一幅连通图。这一步把单个例子推广到全图判定。

然后转到右侧的有向图,给出强连通图的定义:如果图中任意一对顶点都是强连通的,则称此图为强连通图。这里的“任意一对顶点”与前面“任意两个顶点”在形式上相似,但内涵更强,因为对象换成了有向图。

视频随即解释“强连通”的含义:对两个顶点 AA、BB 来说,不仅要有从 AA 到 BB 的路径,还要有从 BB 到 AA 的路径。只有正反两个方向都可达,才能称为强连通。这一步把定义落到可操作的判定标准上。

最后用右侧示例图验证一对顶点:AA 可以到 BB,BB 也可以到 AA,所以 AA 与 BB 是强连通的。片段在准备继续检查下一对顶点时结束,因此这里展示的是强连通判定的方法,而不是对整张图完成最终结论。

这一段先处理右上方的有向示例图。讲解者按强连通图的定义逐对检查顶点之间的双向可达性:先看 A 与 C,指出 A 可以经 B 到 C,C 也可以经 D 回到 A,因此 A 与 C 强连通。

接着继续检查其余顶点对,包括 A 与 E、A 与 D、B 与 C、B 与 E、B 与 D、C 与 E、C 与 D、E 与 D,结论都是强连通。由于任意一对顶点都满足双向可达,这个有向图就是强连通图。

然后转到下方的图1。这里的关键不是“能不能走到”,而是“能不能来回走”。讲解者指出 A 可以到 D,但 D 不能反过去到 A,所以 A 与 D 这一对顶点不满足强连通条件,图1因此不是强连通图。

再看图2。讲解者先顺着箭头说明 B 可以到 A,B 也可以到 C,C 能到 A,但问题在于 A 没有办法到 B。只要存在这样一对顶点不能互相到达,图2同样不是强连通图。

为了说明怎样才算“最少边”的强连通结构,讲解者把图2附近的箭头临时改成环形:B 可以到 C,C 可以到 A,A 可以到 B。这样三条有向边首尾相接形成环,任意两点都能沿环互相到达,于是得到强连通图,而且这种情形的边数是最小的。

最后进入考点总结。对于 N 个顶点的无向图 G,如果 G 是连通图,则最少有 n-1 条边,最多有 n(n−1)/2n(n-1)/2 条边;如果 G 是非连通图,则最多可能有 (n-1)(n-2)/2 条边。讲解者还补充说,连通图取到最少边数时的情形“类似于一棵树”。

对于 N 个顶点的有向图 G,如果 G 是强连通图,则最少有 n 条边,画面把这种最少情形标注为“回路”;最多有 n(n−1)n(n-1) 条边。前面的环形示例正好对应这一结论。

这一段先解决“连通图最少要多少条边”。画面左侧是印刷的无向图示例,讲解者在空白处写下 A、B、C、D、E 五个顶点,然后把 C 放在中心,依次连出 C-A、C-B、C-D、C-E 四条边。这个星形图说明:只要任意两点都能通过路径相连,图就是连通的,并不要求每两点都直接有边。于是 5 个顶点最少用 4 条边就能连通,对应一般结论 n-1。

接着问题转到“最多能有多少条边”。讲解者先给出结论 n(n−1)/2n(n-1)/2,再把它和“完全图”联系起来。为了说明这个公式,他从 5 个顶点的具体例子出发:第一个顶点与其余 4 个顶点相连,贡献 4 条边;第二个顶点再与尚未统计过的 3 个顶点相连,贡献 3 条边;依次得到 4+3+2+14+3+2+1。板书随后把这串求和改写成 5×4/25\times 4/2,并把 5 对应到一般的 n,得到 n(n−1)/2n(n-1)/2。这里的关键依据是:无向图中一对顶点之间最多只有一条边,所以最大边数就是所有无序顶点对的数目。

然后进入“非连通图最多有多少条边”。屏幕上给出的公式是 (n-1)(n-2)/2,但讲解者口述时把公式念错了,这一点需要以屏幕文字为准。为了直观解释,他画出 A、B、C、D、E、F 六个顶点,并把 A 到 E 五个点圈在一起,让 F 单独留在外面。构造思想是:如果要求整图非连通,又要边数尽可能多,那就让其中 n-1 个顶点两两相连形成完全子图,再把剩下的 1 个顶点做成孤立点。这样既保证图不连通,又让内部边数达到最大。

在同一页的下半部分,还并列给出了有向图的相关结论。右侧定义“强连通图”:任意一对顶点都强连通。下方文字进一步说明,在 n 个顶点的有向图 G 中,如果 G 是强连通图,则最少有 n 条边,并把这个最少情形标注为“回路”;而有向图最多可有 n(n−1)n(n-1) 条边。与无向图相比,区别在于有向边有方向,同一对顶点之间可以存在两条方向相反的边,所以最大值从 n(n−1)/2n(n-1)/2 变成 n(n−1)n(n-1)。

片段最后停在非连通图例子的继续计算前。讲解者已经完成了“5 个点成完全图,1 个点孤立”的构造,正准备回答“这幅图如果是完全图的话需要有多少条边”。从已给信息可以直接推出:6 个顶点情形下,这个极值非连通图的边数就是 5 个顶点完全图的边数,即 5×4/2=105\times 4/2=10,对应一般公式 (n-1)(n-2)/2 在 n=6n=6 时的结果。

这一段首先承接上一页关于无向图边数的讨论。画面上方左侧给出“连通图”的定义:图中任意两个顶点都是连通的,则称为连通图,否则是非连通图;下方左侧则列出考点:对于 n 个顶点的无向图 G,如果 G 是连通图,则最少有 n-1 条边,最多为 n(n−1)/2n(n-1)/2;若为非连通图,则最多可能有 (n-1)(n-2)/2 条边。

教师用具体数字解释这个非连通图极值公式。若总顶点数为 6,为了让图仍然非连通且边数最多,可以把 1 个顶点孤立出来,剩下 5 个顶点彼此全部相连,形成完全图。此时边数为 5×4/25\times 4/2,也就是把 n=6n=6 代入 (n-1)(n-2)/2 后得到的结果。

接着教师强调边界条件:那个被单独分出来的顶点不能再与其余 5 个顶点中的任何一个相连,否则整张图就不再是非连通图。这一步说明 (n-1)(n-2)/2 之所以是“最多”,是因为它对应的正是“一个孤立点 + 一个 n-1 阶完全图”的极端构造。

随后内容转到有向图。画面上方右侧给出“强连通图”的定义:图中任意一对顶点都是强连通的,则称此图为强连通图;下方右侧列出考点:在 n 个顶点的有向图 G 中,若 G 是强连通图,则最少有 n 条边(回路),最多 n(n−1)n(n-1) 条边。

为了说明“最少 n 条边”,教师在空白处画出 4 个顶点 A、B、C、D,并把它们连成一个有向环。这个例子的关键是:每个顶点都有一条出边指向下一个顶点,因此 4 个顶点恰好对应 4 条边;推广到一般情形,就是 n 个顶点的有向强连通图最少需要 n 条边。

最后解释“最多 n(n−1)n(n-1) 条边”。教师把它与前面无向完全图的结论联系起来:无向情况下最多是 n(n−1)/2n(n-1)/2,而有向图中同一对顶点之间可以有方向相反的两条边,一个指过去、一个指过来,所以总数要乘以 2,得到 n(n−1)n(n-1)。片段结尾教师说明这部分推导留给观众自行完成。

知识卡片

01

连通图与强连通图的适用范围

视频首先区分两类概念的适用对象:连通图用于无向图,强连通图用于有向图。这个区分决定后续判断时是否要考虑边的方向。

02

连通图的定义

若一个无向图中任意两个顶点之间都存在路径,则称该图为连通图;否则为非连通图。判断对象是“任意两个顶点”,不是个别顶点对。

03

连通性看路径,不看是否直接相连

视频用 AA 与 DD 为例说明,即使两点没有直接边,只要存在 A→C→DA \to C \to D 这样的路径,它们仍然连通。常见错误是把“连通”误解为“必须有直接边”。

A→C→DA \to C \to D
04

强连通图的定义

若一个有向图中任意一对顶点都满足双向可达,则称该图为强连通图。与无向图中的连通相比,这里额外要求路径方向可以往返。

05

强连通的双向路径判定

对顶点 AA、BB,强连通意味着既要存在 A⇝BA \leadsto B 的路径,也要存在 B⇝AB \leadsto A 的路径。视频用右侧有向图验证 AA 与 BB 满足这一条件。

A⇝B且B⇝AA \leadsto B \text{且} B \leadsto A
06

n 个顶点图的边数范围

画面给出常见极值结论:无向连通图最少 n−1n-1 条边,最多 n(n−1)2\frac{n(n-1)}{2} 条边;无向非连通图最多 (n−1)(n−2)2\frac{(n-1)(n-2)}{2} 条边;有向强连通图最少 nn 条边,最多 n(n−1)n(n-1) 条边。

an undirected connected graph has at leastn−1edges 且 at mostn(n−1)2edges; an undirected disconnected graph has at most(n−1)(n−2)2edges; a directed strongly connected graph has at leastnedges 且 at mostn(n−1)edges\text{an undirected connected graph has at least} n-1 \text{edges \text{且} at most} \frac{n(n-1)}{2} \text{edges; an undirected disconnected graph has at most} \frac{(n-1)(n-2)}{2} \text{edges; a directed strongly connected graph has at least} n \text{edges \text{且} at most} n(n-1) \text{edges}
07

连通图的定义

视频把连通图定义为:在一个图中,如果任意两个顶点都是连通的,则称为连通图,否则是非连通图。页面同时把它放在“无向图”一侧,说明这里讨论的是无向图中的连通性。

08

强连通图的定义

强连通图针对有向图:如果图中任意一对顶点都是强连通的,则称此图为强连通图。讲解中通过逐对验证顶点之间是否双向可达来说明这一定义。

09

示例:右上有向图是强连通图

讲解者先验证 A 与 C 双向可达,再依次验证 A 与 E、A 与 D、B 与 C、B 与 E、B 与 D、C 与 E、C 与 D、E 与 D 都强连通。由于任意一对顶点都满足条件,所以该图是强连通图。

10

反例:图1不是强连通图

图1中 A 可以到 D,但 D 不能反过去到 A。强连通要求双向可达,单向可达不够,因此图1不是强连通图。

11

反例:图2不是强连通图

图2中虽然 B 可以到 A,B 也可以到 C,C 能到 A,但 A 没有办法到 B。存在一对顶点不能互相到达,所以图2不是强连通图。

12

环形构造与最小边数

讲解者把图2的箭头临时改成 B→CB\to C、C→AC\to A、A→BA\to B 的环。这样任意两点都能沿环互相到达,图成为强连通图,而且这种结构的边数是最小的。

13

无向连通图的边数范围

对于 N 个顶点的无向图 G,如果 G 是连通图,则最少有 n-1 条边,最多有 n(n−1)/2n(n-1)/2 条边;如果 G 是非连通图,则最多可能有 (n-1)(n-2)/2 条边。讲解者把最少边情形类比为树。

minimum=n−1,maximum=n(n−1)2,maximum non-connected=(n−1)(n−2)2\text{minimum}=n-1,\quad \text{maximum}=\frac{n(n-1)}{2},\quad \text{maximum non-connected}=\frac{(n-1)(n-2)}{2}
14

有向强连通图的边数范围

对于 N 个顶点的有向图 G,如果 G 是强连通图,则最少有 n 条边,画面把这种情形标注为“回路”;最多有 n(n−1)n(n-1) 条边。

minimum=n,maximum=n(n−1)\text{minimum}=n,\quad \text{maximum}=n(n-1)
15

连通图与非连通图

这是无向图的基本定义。若图中任意两个顶点之间都存在路径,则称为连通图;否则称为非连通图。注意“连通”不要求任意两点直接相邻,只要求可达。片段中的星形图就是典型例子:5 个顶点只有 4 条边,仍然连通。

16

强连通图

这是有向图中的概念。若图中任意一对顶点都是强连通的,则称此图为强连通图。与无向图的连通性相比,强连通强调沿有向边方向也能互相到达。页面右侧用有向图示例来对应这一概念。

17

连通无向图的最少边数

对于 n 个顶点的无向图,如果它是连通图,那么最少需要 n-1 条边。讲解者用 5 个顶点的星形图说明:中心点连接其余 4 个点,总共 4 条边即可使全图连通。这个结论常用于判断一个图是否可能连通。

n−1n-1
18

无向图的最大边数

n 个顶点的无向图最多有 n(n−1)/2n(n-1)/2 条边。这个上界在完全图中达到,也就是任意两顶点之间都有一条边。讲解者通过 5 个顶点的例子把边数写成 4+3+2+14+3+2+1,再化为 5×4/25\times 4/2,进而推广到一般公式。

n(n−1)2\frac{n(n-1)}{2}
19

完全图边数的计数方法

完全图的边数可以按“逐个顶点新增边”的方式数:第一个顶点连出 n-1 条边,第二个再新增 n-2 条,依次相加,得到 (n-1)+(n-2)+...+1=n(n−1)/21 = n(n-1)/2。片段中用 n=5n=5 的具体例子展示了这一过程。

4+3+2+1=5×424+3+2+1=\frac{5\times4}{2}
20

非连通无向图的最大边数

如果 n 个顶点的无向图不是连通图,那么它的边数最多为 (n-1)(n-2)/2。直观构造是:让 n-1 个顶点形成一个完全子图,再把剩下的 1 个顶点孤立起来。这样图一定非连通,而内部边数又尽可能多。屏幕公式清楚,但讲解者口述时曾把公式念错。

(n−1)(n−2)2\frac{(n-1)(n-2)}{2}
21

强连通有向图的最少边数

对于 n 个顶点的有向图,如果它是强连通图,那么最少需要 n 条边。页面把这种最少情形标注为“回路”,对应一个把所有顶点串起来的有向环。与无向图最少 n-1 条边不同,有向图要保证双向可达,至少需要形成一个闭合有向回路。

nn
22

有向图的最大边数

n 个顶点的有向图最多有 n(n−1)n(n-1) 条边。原因是每一对不同顶点之间都可以有两条方向相反的有向边,所以最大值是无向图情形 n(n−1)/2n(n-1)/2 的两倍。这一结论与页面下方的有向图示例相呼应。

n(n−1)n(n-1)
23

连通图与非连通图

无向图中,如果任意两个顶点之间都存在路径,则称为连通图;否则称为非连通图。这个定义是后续讨论无向图边数极值的前提。

24

强连通图

有向图中,如果任意一对顶点之间都互相可达,则称为强连通图。页面右侧用带箭头的示例图强调“任意一对顶点都是强连通的”。

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 20

n

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    考点文字中出现“N个顶点的无向图G”、“n-1条边”、“n∗(n−1)/2n*(n-1)/2”等表达式。

符号

n

含义

图中顶点的数量

适用范围

正整数

G

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    考点文字中出现“对于N个顶点的无向图G”、“在N个顶点的有向图G中”。

符号

G

含义

被讨论的图

适用范围

无向图或有向图

A, B, C, D, E

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    左侧无向图和右侧有向图中的顶点均标注为 A、B、C、D、E。

符号

A, B, C, D, E

含义

示例图中的顶点标签

适用范围

顶点集合

n

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    画面左下考点文字中出现“N个顶点的无向图G”“n-1条边”“n∗(n−1)/2n*(n-1)/2”等表述。

符号

n

含义

图中顶点个数;画面正文有时写作 N,有时写作 n。

适用范围

正整数

G

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    画面左下考点文字写有“对于N个顶点的无向图G”“在N个顶点的有向图G中”。

符号

G

含义

被讨论的图,既可用于无向图也可用于有向图。

适用范围

图

A, B, C, D, E

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    上方两个示例图和下方图1、图2中都使用 A、B、C、D、E 标注顶点。

符号

A, B, C, D, E

含义

示例图中的顶点标签。

适用范围

顶点集合元素

n

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字多次出现“N个顶点”“n-1条边”“n∗(n−1)/2n*(n-1)/2”等表达式。

  2. 声音
    观察依据

    讲解者说“五个顶点”“n等于五嘛,五个顶点就是五乘四”。

符号

n

含义

图中顶点的个数

适用范围

正整数

G

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字写有“对于N个顶点的无向图G”“在N个顶点的有向图G中”。

符号

G

含义

被讨论的图,片段中既指无向图也指有向图

适用范围

图结构

A,B,C,D,E

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    左侧无向图示例中顶点标注为 A、B、C、D、E。

  2. 声音
    观察依据

    讲解者说“字母A B C D E”。

符号

A,B,C,D,E

含义

用于举例的五个顶点名称

适用范围

顶点标签

A,B,C,D,E,F

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说“比方说下面有五个顶点A B C D E,还有一个F”。

  2. 图示
    观察依据

    讲解者在空白处手写 A、B、C、D、E、F 六个顶点。

符号

A,B,C,D,E,F

含义

用于构造非连通图极值例子的六个顶点名称

适用范围

顶点标签

n-1

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“如果G是连通图则最少有n-1条边”。

符号

n-1

含义

n个顶点的连通无向图的最少边数

适用范围

非负整数表达式

n(n−1)/2n(n-1)/2

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“最多为 n∗(n−1)/2n*(n-1)/2”。

  2. 声音
    观察依据

    讲解者说“最多会有二分之n乘n减一条边”。

符号

n(n−1)/2n(n-1)/2

含义

n个顶点的无向图的最大边数,也是完全图的边数

适用范围

非负整数表达式

知识点 · 20

连通图的定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说:“好,我们接着来看一下连通图的定义。图中任意两个顶点都是连通的,则称为连通图,否则是非连通图。”

  2. 字幕依据
    观察依据

    画面左侧文字为“图中任意两个顶点都是连通的,则称为连通图,否则是非连通图”。

定义
解释

连通图是无向图中的概念。若图中任意两个顶点之间都存在路径,则称该图为连通图;只要存在某两个顶点之间没有路径,就称为非连通图。

公式
适用条件
  1. 适用于无向图

  2. 要求任意两个顶点之间都存在路径

强连通图的定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说:“在强连通图当中,图中任意一对顶点都是强连通的,则称此图为强连通图。”

  2. 字幕依据
    观察依据

    画面右侧文字为“图中任意一对顶点都是强连通的,则称此图为强连通图”。

定义
解释

强连通图是有向图中的概念。若图中任意一对顶点都满足双向可达,即从一个顶点到另一个顶点有路径,反向也有路径,则称该图为强连通图。

公式
适用条件
  1. 适用于有向图

  2. 要求任意一对顶点之间都存在双向路径

先修条目
  1. 连通图的定义

连通图与强连通图的适用范围

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说:“在讲连通图之前,我们要先明确,连通图主要是在无向图当中才有这个概念……强连通图是在有向图当中才有这个概念。”

  2. 动画
    观察依据

    讲师在“连通图”旁手写“无向图”,在“强连通图”旁手写“有向图”。

定义
解释

视频明确区分两类概念的适用对象:连通图用于无向图,强连通图用于有向图。这一区分决定了后续判断时要看单向路径还是双向路径。

公式
适用条件
  1. 连通图针对无向图

  2. 强连通图针对有向图

n 个顶点图的边数范围

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    画面下方考点文字写出无向图和有向图在 n 个顶点时的最少边数与最多边数公式。

待核验内容
  1. 视频画面中这些公式一直存在,但本片段音频未逐条讲解其推导。

公式
解释

视频给出关于 n 个顶点图的基本计数结论:无向连通图最少需要 n-1 条边,最多有 n(n−1)/2n(n-1)/2 条边;无向非连通图最多可能有 (n-1)(n-2)/2 条边;有向强连通图最少有 n 条边,最多有 n(n−1)n(n-1) 条边。

公式
an undirected connected graph has at leastn−1edges 且 at mostn(n−1)2edges; an undirected disconnected graph has at most(n−1)(n−2)2edges; a directed strongly connected graph has at leastnedges 且 at mostn(n−1)edges\text{an undirected connected graph has at least} n-1 \text{edges \text{且} at most} \frac{n(n-1)}{2} \text{edges; an undirected disconnected graph has at most} \frac{(n-1)(n-2)}{2} \text{edges; a directed strongly connected graph has at least} n \text{edges \text{且} at most} n(n-1) \text{edges}
适用条件
  1. n 表示顶点数

  2. 前两条针对无向图

  3. 最后两条针对有向图

先修条目
  1. 连通图的定义
  2. 强连通图的定义

连通图

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    左侧定义文字写明“图中任意两个顶点都是联通的,则称为连通图,否则是非连通图”。

  2. 图示
    观察依据

    左侧示例为无向图,顶点 A、B、C、D、E 之间以无向边相连。

定义
解释

视频把“连通图”定义为:在一个图中,如果任意两个顶点之间都是连通的,则该图称为连通图;否则称为非连通图。画面同时强调这一概念对应“无向图”。

公式
适用条件
  1. 适用于无向图

  2. 要求任意两个顶点之间都存在连通路径

强连通图

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    右侧定义文字写明“图中任意一对顶点都是强联通的,则称此图为强连通图”。

  2. 图示
    观察依据

    右侧示例为有向图,顶点 A、B、C、D、E 之间以有向边相连。

  3. 声音
    观察依据

    讲解者逐一验证 A 与 C、A 与 E、A 与 D、B 与 C、B 与 E、B 与 D、C 与 E、C 与 D、E 与 D 都强连通,并总结“任意一对顶点都是强连通的,所以该图就是一个强连通图”。

定义
解释

视频把“强连通图”定义为:在一个有向图中,如果任意一对顶点之间都是强连通的,则称该图为强连通图。讲解中还通过逐对检查顶点之间的双向可达性来演示这一定义。

公式
适用条件
  1. 适用于有向图

  2. 要求任意一对顶点之间都互相可达

无向连通图与非连通图的边数范围

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    左下考点文字写有“如果G是连通图则最少有n-1条边,最多为 n∗(n−1)/2n*(n-1)/2”“若为非连通图,则最多可能有 (n-1)*(n-2)/2 条边”。

  2. 声音
    观察依据

    讲解者读到“在无向图当中,如果G是连通图的话,则最少有n减一条边”,并追问“什么时候情况是最小的呢?就是类似于一棵树的时候”。

公式
解释

视频给出关于 N 个顶点无向图 G 的常见考点:若 G 是连通图,则边数最少为 n-1,最多为 n(n−1)/2n(n-1)/2;若 G 是非连通图,则边数最多为 (n-1)(n-2)/2。讲解进一步指出,连通图取到最少边数的情形“类似于一棵树”。

公式
minimum number of edges in a connected graph=n−1,maximum number of edges in a connected graph=n(n−1)2,maximum number of edges in a disconnected graph=(n−1)(n−2)2\text{minimum number of edges in a connected graph}=n-1,\quad \text{maximum number of edges in a connected graph}=\frac{n(n-1)}{2},\quad \text{maximum number of edges in a disconnected graph}=\frac{(n-1)(n-2)}{2}
适用条件
  1. 针对 N 个顶点的无向图 G

  2. n 为顶点数

先修条目
  1. 连通图

有向强连通图的边数范围

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    左下考点文字写有“在N个顶点的有向图G中,若G是强连通图,则最少有n条边(回路),最多n∗(n−1)n*(n-1)”。

公式
解释

视频给出关于 N 个顶点有向图 G 的常见考点:若 G 是强连通图,则边数最少为 n 条,并且画面把这种最少情形标注为“回路”;边数最多为 n(n−1)n(n-1)。

公式
minimum number of edges in a strongly connected graph=n,maximum number of edges in a strongly connected graph=n(n−1)\text{minimum number of edges in a strongly connected graph}=n,\quad \text{maximum number of edges in a strongly connected graph}=n(n-1)
适用条件
  1. 针对 N 个顶点的有向图 G

  2. n 为顶点数

先修条目
  1. 强连通图

连通图与非连通图

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“图中任意两个顶点都是联通的,则称为连通图,否则是非连通图”。

  2. 图示
    观察依据

    左侧标题为“连通图”,配有无向图示例,顶点 A、B、C、D、E 之间有若干无向边。

定义
解释

片段给出无向图语境下的定义:若图中任意两个顶点之间都存在通路,则称该图为连通图;否则称为非连通图。这里的“任意两个顶点都联通”不是要求两两直接相邻,而是要求两两可达。

公式
适用条件
  1. 讨论对象是无向图

  2. 判断标准是任意两顶点之间是否存在通路

强连通图

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“图中任意一对顶点都是强联通的,则称此图为强连通图”。

  2. 图示
    观察依据

    右侧标题为“强连通图”,配有有向图示例,顶点 A、B、C、D、E 之间有带方向的边。

定义
解释

片段给出有向图语境下的定义:若图中任意一对顶点都是强连通的,则称此图为强连通图。结合右侧有向图示例,强连通强调的是沿有向边方向也能互相到达。

公式
适用条件
  1. 讨论对象是有向图

  2. 任意一对顶点都要满足强连通

连通无向图的最少边数

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“如果G是连通图则最少有n-1条边”。

  2. 声音
    观察依据

    讲解者画出一个以 C 为中心连接 A、B、D、E 的星形图,并说“五个顶点用到了四条边”。

公式
解释

对于 n 个顶点的无向图 G,若 G 是连通图,则其边数至少为 n-1。讲解者用 5 个顶点的星形例子说明:5 个顶点只需 4 条边即可保持连通。

公式
n−1n-1
适用条件
  1. G 为无向图

  2. G 有 n 个顶点

  3. G 连通

先修条目
  1. 连通图与非连通图

无向图的最大边数与完全图

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“最多为 n∗(n−1)/2n*(n-1)/2”。

  2. 声音
    观察依据

    讲解者说“最多会有二分之n乘n减一条边”,并联系“完全图”。

  3. 图示
    观察依据

    讲解者在空白处写出 4+3+2+14+3+2+1,再写成 5∗4/25*4/2。

公式
解释

n 个顶点的无向图最多有 n(n−1)/2n(n-1)/2 条边,这个上界在完全图中达到。讲解者把最大边数与“完全图”联系起来,并用 5 个顶点的具体例子计算为 5×4/25\times 4/2。

公式
n(n−1)2\frac{n(n-1)}{2}
适用条件
  1. G 为无向图

  2. G 有 n 个顶点

  3. 求的是可能的最大边数

先修条目
  1. 连通图与非连通图
定理与条件 · 10

连通无向图最少边数命题

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“如果G是连通图则最少有n-1条边”。

  2. 声音
    观察依据

    讲解者用 5 个顶点、4 条边的星形图演示最少连通情形。

命题
命题

对于 n 个顶点的无向图 G,如果 G 是连通图,则 G 至少有 n-1 条边。

前提
  1. G 是无向图

  2. G 有 n 个顶点

  3. G 是连通图

量词

对所有满足前提的 n 和 G 成立

无向图最大边数命题

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“最多为 n∗(n−1)/2n*(n-1)/2”。

  2. 声音
    观察依据

    讲解者说“最多会有二分之n乘n减一条边”,并问“大家有没有想到这个完全图”。

命题
命题

对于 n 个顶点的无向图,其边数最多为 n(n−1)/2n(n-1)/2,且该上界对应完全图。

前提
  1. G 是无向图

  2. G 有 n 个顶点

量词

对所有 n 个顶点的无向图成立

非连通无向图最大边数命题

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“若为非连通图,则最多可能有 (n-1)*(n-2)/2 条边”。

  2. 图示
    观察依据

    讲解者构造 6 个顶点例子,其中 5 个顶点圈成一组,第 6 个顶点孤立。

待核验内容
  1. 讲解者口述公式与屏幕公式不一致,屏幕公式更清晰。

命题
命题

对于 n 个顶点的无向图,如果它不是连通图,则其边数最多为 (n-1)(n-2)/2。

前提
  1. G 是无向图

  2. G 有 n 个顶点

  3. G 非连通

量词

对所有满足前提的 n 和 G 成立

强连通有向图最少边数命题

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“在N个顶点的有向图G中,若G是强连通图,则最少有n条边(回路)”。

  2. 图示
    观察依据

    右下方“图1”为 4 个顶点的有向环。

命题
命题

对于 n 个顶点的有向图 G,如果 G 是强连通图,则 G 至少有 n 条边。

前提
  1. G 是有向图

  2. G 有 n 个顶点

  3. G 是强连通图

量词

对所有满足前提的 n 和 G 成立

有向图最大边数命题

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“最多n∗(n−1)n*(n-1)”。

命题
命题

对于 n 个顶点的有向图,其边数最多为 n(n−1)n(n-1)。

前提
  1. G 是有向图

  2. G 有 n 个顶点

量词

对所有 n 个顶点的有向图成立

无向连通图最少边数命题

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    幻灯片文字:“如果G是连通图则最少有n-1条边”。

命题
命题

对于 n 个顶点的无向图 G,如果 G 是连通图,则 G 最少有 n-1 条边。

前提
  1. G 是无向图

  2. G 有 n 个顶点

  3. G 是连通图

量词

对所有满足条件的无向图 G 成立

无向连通图最多边数命题

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    幻灯片文字:“最多为 n∗(n−1)/2n*(n-1)/2”。

命题
命题

对于 n 个顶点的无向图 G,如果 G 是连通图,则 G 最多有 n(n−1)/2n(n-1)/2 条边。

前提
  1. G 是无向图

  2. G 有 n 个顶点

  3. G 是连通图

量词

对所有满足条件的无向图 G 成立

无向非连通图最多边数命题

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    幻灯片文字:“若为非连通图,则最多可能有 (n-1)*(n-2)/2 条边”。

命题
命题

对于 n 个顶点的无向图 G,如果 G 是非连通图,则 G 最多有 (n-1)(n-2)/2 条边。

前提
  1. G 是无向图

  2. G 有 n 个顶点

  3. G 是非连通图

量词

对所有满足条件的无向图 G 成立

有向强连通图最少边数命题

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    幻灯片文字:“若G是强连通图,则最少有n条边(回路)”。

  2. 声音
    观察依据

    教师说“让它成为一个环形嘛……这种情况下就是有的最少的边数,n个顶点对应n条边”。

命题
命题

对于 n 个顶点的有向图 G,如果 G 是强连通图,则 G 最少有 n 条边。

前提
  1. G 是有向图

  2. G 有 n 个顶点

  3. G 是强连通图

量词

对所有满足条件的有向图 G 成立

有向强连通图最多边数命题

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    幻灯片文字:“最多n∗(n−1)n*(n-1)”。

  2. 声音
    观察依据

    教师说“最多有n乘n减一……因为在有向图当中它有两条边嘛,它一个指过去一个指过来,所以说在它基础上它要乘个二”。

命题
命题

对于 n 个顶点的有向图 G,如果 G 是强连通图,则 G 最多有 n(n−1)n(n-1) 条边。

前提
  1. G 是有向图

  2. G 有 n 个顶点

  3. G 是强连通图

量词

对所有满足条件的有向图 G 成立

推导与证明 · 13

用路径解释 A 与 D 连通

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说:“连通的意思就是任意两个顶点之间存在路径。比方说这个A和D……A与D的话,它可以通过A走到C,C再走到D,有这么一条路径,所以说可以认为A与D之间是连通的。”

  2. 动画
    观察依据

    讲师在左侧无向图上沿 A-C-D 描出路径。

直观解释
步骤
  1. 公式
    A→C→DA \to C \to D
    解释

    从顶点 A 出发,经过 C,再到 D,形成一条可达路径。

    步骤依据

    依据视频中“连通”的解释:两顶点之间存在路径即为连通。

    视频直接表达
结论

即使 A 与 D 没有直接相连,只要存在 A-C-D 这样的路径,A 与 D 仍然是连通的。

左侧示例图是连通图

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说:“并且A与B、C、E,B与C、E、D,C与E、D,E与D之间都是存在路径的。所以这幅图就是一个连通图。”

待核验内容
  1. 讲师口头列举了多组顶点对,但未逐一画出所有路径。

直观解释
步骤
  1. 公式
    ∀u,v∈V, u≠v, there existsu⇝va path\forall u,v \in V,\ u \neq v,\ \text{there exists} u \leadsto v \text{a path}
    解释

    视频通过列举若干顶点对之间存在路径,说明左侧无向图满足任意两点连通。

    步骤依据

    依据连通图定义:任意两个顶点都连通则为连通图。

    依据视频推导
结论

左侧示例图满足任意两顶点间都有路径,因此是连通图。

强连通要求双向路径

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说:“强连通的意思就是说,比方说现在有两个顶点A与B,A到B有路径,B到A也有路径,这种情况下才叫强连通的。”

  2. 动画
    观察依据

    讲师在空白处写出 A→BA\to B 和 B→AB\to A。

直观解释
步骤
  1. 公式
    A⇝BA \leadsto B
    解释

    先从 A 到 B 存在一条有向路径。

    步骤依据

    这是强连通定义的一半条件。

    视频直接表达
  2. 公式
    B⇝AB \leadsto A
    解释

    再从 B 回到 A 也存在一条有向路径。

    步骤依据

    这是强连通定义的另一半条件。

    视频直接表达
结论

只有当两个顶点之间正反方向都可达时,才能称为强连通。

右侧示例图中 A 与 B 强连通

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说:“好,我们来看一下A和B之间,A可以到B,B可以到A,所以AB是强连通的,没问题。”

  2. 图示
    观察依据

    右侧有向图中 A 与 B 之间有双向箭头。

视觉说明
步骤
  1. 公式
    A→BA \to B
    解释

    图中存在从 A 指向 B 的有向边。

    步骤依据

    直接读取右侧有向图。

    视频直接表达
  2. 公式
    B→AB \to A
    解释

    图中存在从 B 指向 A 的有向边。

    步骤依据

    直接读取右侧有向图。

    视频直接表达
结论

因为 A 到 B 和 B 到 A 都存在路径,所以 A 与 B 是强连通的。

右上示例图是强连通图的判定过程

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者依次说明“A可以走B再走到C”“C走D再走到A”“A与C之间也是强连通”,随后继续列举 A 与 E、A 与 D、B 与 C、B 与 E、B 与 D、C 与 E、C 与 D、E 与 D 都强连通。

  2. 图示
    观察依据

    右上有向示例图中,顶点 A、B、C、D、E 之间存在多条有向边,支持这些双向可达路径。

严格证明
步骤
  1. 公式
    A→B→C,C→D→AA \to B \to C,\quad C \to D \to A
    解释

    先检查 A 与 C 这一对顶点:从 A 可以经 B 到达 C,从 C 可以经 D 回到 A。

    步骤依据

    依据有向图中“强连通”需要双向可达的定义。

    视频直接表达
  2. 公式
    A↔CA \leftrightarrow C
    解释

    因此 A 与 C 之间是强连通的。

    步骤依据

    由上一步得到的双向路径推出。

    视频直接表达
  3. 公式
    A↔E, A↔D, B↔C, B↔E, B↔D, C↔E, C↔D, E↔DA \leftrightarrow E,\ A \leftrightarrow D,\ B \leftrightarrow C,\ B \leftrightarrow E,\ B \leftrightarrow D,\ C \leftrightarrow E,\ C \leftrightarrow D,\ E \leftrightarrow D
    解释

    讲解者继续对剩余顶点对作同样的双向可达检查,并逐对给出肯定结论。

    步骤依据

    依据强连通图定义,需要对任意一对顶点都验证双向可达。

    视频直接表达
  4. 公式
    ∀u,v∈V(G), u↔v\forall u,v\in V(G),\ u \leftrightarrow v
    解释

    由于任意一对顶点都强连通,所以该有向图是强连通图。

    步骤依据

    直接套用视频中给出的强连通图定义。

    视频直接表达
结论

右上示例有向图满足“任意一对顶点都强连通”,因此是强连通图。

图1不是强连通图的反例判定

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说“很明显图一不是吧。A可以到D,但D不能反过去到A。所以说它就不是一个强连通图。”

  2. 图示
    观察依据

    下方图1为有向图,顶点 A、B、C、D、E 之间有单向边,其中存在 A 到 D 的方向但缺少从 D 返回 A 的路径。

严格证明
步骤
  1. 公式
    A→DA \to D
    解释

    在图1中,可以从 A 沿有向边到达 D。

    步骤依据

    由图中可见的有向路径得出。

    视频直接表达
  2. 公式
    D↛AD \not\to A
    解释

    但从 D 出发无法沿有向边返回 A。

    步骤依据

    讲解者明确指出“D不能反过去到A”。

    视频直接表达
  3. 公式
    ¬(A↔D)\neg(A \leftrightarrow D)
    解释

    因此 A 与 D 这一对顶点不是强连通的。

    步骤依据

    强连通要求双向可达,单向可达不满足定义。

    视频直接表达
  4. 公式
    graph one is not strongly connected\text{graph one is not strongly connected}
    解释

    只要存在一对顶点不满足双向可达,整个有向图就不是强连通图。

    步骤依据

    依据强连通图定义。

    视频直接表达
结论

图1不是强连通图。

图2不是强连通图的反例判定

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者先说“图二肯定也不是了”,接着解释“B可以到A,B也可以到C,C能到A,但A没有办法到B吧……所以说图二也不是一个强连通图。”

  2. 图示
    观察依据

    下方图2为有向图,顶点 A、B、C、D、E 之间的箭头方向使某些顶点只能单向到达其他顶点。

严格证明
步骤
  1. 公式
    B→A,B→C,C→AB \to A,\quad B \to C,\quad C \to A
    解释

    在图2中,B 可以到达 A,B 也可以到达 C,且 C 可以到达 A。

    步骤依据

    由图中可见的有向边和讲解者的口头列举得出。

    视频直接表达
  2. 公式
    A↛BA \not\to B
    解释

    但 A 无法沿有向边到达 B。

    步骤依据

    讲解者明确说“A没有办法到B”。

    视频直接表达
  3. 公式
    ¬(A↔B)\neg(A \leftrightarrow B)
    解释

    因此 A 与 B 这一对顶点不是强连通的。

    步骤依据

    强连通要求双向可达。

    视频直接表达
  4. 公式
    graph two is not strongly connected\text{graph two is not strongly connected}
    解释

    存在一对顶点不满足双向可达,故图2不是强连通图。

    步骤依据

    依据强连通图定义。

    视频直接表达
结论

图2不是强连通图。

修改图2箭头后形成最小强连通结构

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说“除非他要把这个箭头改一下……这样它就是一个连通图了。看到没?B可以到C,C可以到A,A可以到B。这样形成一个环,它就是强连通图,并且这种情况下它的边数是最小的。”

  2. 动画
    观察依据

    讲解者在图2附近手绘修改箭头,形成 A、B、C 之间的环形有向结构。

待核验内容
  1. 讲解者口头一度说“这样它就是一个连通图了”,随后又明确说“它就是强连通图”;结合上下文和画面,这里实际讨论的是有向图的强连通性。

视觉说明
步骤
  1. 公式
    B→C,C→A,A→BB \to C,\quad C \to A,\quad A \to B
    解释

    讲解者把箭头改成三条首尾相接的有向边,形成一个环。

    步骤依据

    由手绘修改和口头描述共同给出。

    视频直接表达
  2. 公式
    A↔B↔C↔AA \leftrightarrow B \leftrightarrow C \leftrightarrow A
    解释

    在这个环中,任意两个顶点都可以沿环双向到达,因此它们彼此强连通。

    步骤依据

    依据强连通定义。

    依据视频推导
  3. 公式
    number of edges=3\text{number of edges}=3
    解释

    该构造只用三条有向边就使三个顶点构成强连通图。

    步骤依据

    讲解者明确说“这种情况下它的边数是最小的”。

    视频直接表达
结论

把图2中的箭头改成 A→B→C→AA\to B\to C\to A 这样的环后,图成为强连通图,并且这是边数最小的情形之一。

完全图边数的逐步计数

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说“A与另外四个顶点都有相连,那么就用了四条边。然后接着是B与另外三个边相连,三条边。四加三加二加一。”

  2. 图示
    观察依据

    讲解者在空白处依次写出 4、4+34+3、4+3+24+3+2、4+3+2+14+3+2+1,再写成 5∗4/25*4/2。

直观解释
步骤
  1. 公式
    4+3+2+14+3+2+1
    解释

    对 5 个顶点的完全图,先数与第一个顶点相连的 4 条边,再数与第二个顶点新相连的 3 条边,依次类推。

    步骤依据

    按顶点顺序逐次加入新边,避免重复计数同一条无向边。

    视频直接表达
  2. 公式
    5×42\frac{5\times 4}{2}
    解释

    把 4+3+2+14+3+2+1 改写为 5×4/25\times 4/2。

    步骤依据

    这是等差数列求和的结果,讲解者口头提到“首项加末项”。

    视频直接表达
  3. 公式
    n(n−1)2\frac{n(n-1)}{2}
    解释

    将具体例子推广到一般 n 个顶点。

    步骤依据

    讲解者明确说“n在这个地方就是n等于五嘛,五个顶点就是五乘四”,把 5 替换为一般的 n。

    视频直接表达
结论

n 个顶点的完全图有 n(n−1)/2n(n-1)/2 条边,因此 n 个顶点的无向图最多也有这么多条边。

非连通图最大边数的构造思路

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说“我们要让这幅图是一个非连通图且有最多的边,那么就让下面这五个顶点成为一个完全图,并且让F与A B C D E都不相连”。

  2. 图示
    观察依据

    讲解者画出 A、B、C、D、E、F 六个顶点,把 A-E 圈在一起,F 单独在外。

待核验内容
  1. 片段在 120 秒结束时尚未完成最终数值计算,只完成了构造思路。

直观解释
步骤
  1. 公式
    A,B,C,D,EA,B,C,D,E
    解释

    先把其中 5 个顶点放在一起,令它们两两相连,形成一个完全子图。

    步骤依据

    这样可以在不引入第 6 个顶点的连边时尽量多地增加边数。

    视频直接表达
  2. 公式
    FF
    解释

    让第 6 个顶点 F 与 A、B、C、D、E 都不相连。

    步骤依据

    只要 F 与其余顶点没有任何边,整图就必然非连通。

    视频直接表达
  3. 公式
    (n−1)(n−2)2\frac{(n-1)(n-2)}{2}
    解释

    把上述构造推广到 n 个顶点:取 n-1 个顶点构成完全图,剩 1 个孤立顶点。

    步骤依据

    屏幕文字给出该极值公式;讲解者的构造正是这一公式的直观来源。

    依据视频推导
结论

要使非连通无向图的边数最多,应让 n-1 个顶点形成完全图,另 1 个顶点孤立,从而得到最大边数 (n-1)(n-2)/2。

无向非连通图最大边数的直观推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说“因为总总的顶点数为六个,最终答案是二分之五乘四……因为它是根据顶点为n减一个顶点嘛,本来是n个减去这一个为,然后剩余的剩余的顶点数就为n减一个顶点,n减一个顶点对应的完全图的数量不就是二分之n乘n减一嘛”。

  2. 图示
    观察依据

    教师在幻灯片下方画出包含 A、B、C、D、E 五个顶点的圈,并在旁边写出 5∗4/25*4/2,随后又写出 (n-1)*(n-2)/2。

直观解释
步骤
  1. 公式
    解释

    考虑 n 个顶点的无向非连通图,为了使边数尽可能多,应让其中一个连通分量包含 n-1 个顶点,另一个连通分量只包含 1 个孤立顶点。

    步骤依据

    视频通过“本来是n个减去这一个”说明把 1 个顶点单独分离出去。

    视频直接表达
  2. 公式
    (n−1)(n−2)2\frac{(n-1)(n-2)}{2}
    解释

    n-1 个顶点的完全图边数为 (n−1)((n−1)−1)2=(n−1)(n−2)2\frac{(n-1)((n-1)-1)}{2}=\frac{(n-1)(n-2)}{2}。

    步骤依据

    教师口述“n减一个顶点对应的完全图的数量”,并写出相应表达式。

    视频直接表达
  3. 公式
    解释

    若这个孤立顶点再与下面 n-1 个顶点中的任意一个相连,则整张图就不再是非连通图。

    步骤依据

    教师说“如果这个单独出来的一个顶点与下面的这五个顶点当中任意一颗顶点之间都有连线的话,那么它就不能成为非连通图了”。

    视频直接表达
结论

因此,n 个顶点的无向非连通图最多有 (n−1)(n−2)2\frac{(n-1)(n-2)}{2} 条边。

有向强连通图最少边数的构造推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说“让它成为一个环形嘛,ABCD,A指C,C指D,D指B,B指A。好,这种情况下就是有的最少的边数,n个顶点对应n条边,比方说这个四条顶点对应四条边”。

  2. 图示
    观察依据

    教师手写 A、B、C、D 四个顶点,并用箭头连成一个有向环。

待核验内容
  1. 教师口述“A指C,C指D,D指B,B指A”,但画面中更像是在画一个相邻连接的有向环;具体箭头方向以画面为准存在轻微不一致。

视觉说明
步骤
  1. 公式
    解释

    取 n 个顶点,把它们连成一个有向环。

    步骤依据

    教师说“让它成为一个环形嘛”。

    视频直接表达
  2. 公式
    解释

    在有向环中,每个顶点都有一条出边指向下一个顶点,因此共有 n 条边。

    步骤依据

    教师举例“四条顶点对应四条边”。

    视频直接表达
  3. 公式
    解释

    有向环中任意两点沿环方向可达,因此该图是强连通图。

    步骤依据

    这是“强连通图”定义下对环形构造的直接应用。

    依据视频推导
结论

所以 n 个顶点的有向强连通图最少需要 n 条边。

例题详解 · 11

无向连通图示例

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    左侧展示一个含顶点 A、B、C、D、E 的无向图。

  2. 声音
    观察依据

    讲师围绕该图解释“任意两个顶点都是连通的”并以 A、D 为例说明路径存在。

题目

判断左侧无向图是否为连通图。

已知条件
  1. 图为无向图

  2. 顶点为 A、B、C、D、E

  3. 讲师指出 A 与 D 可通过 A-C-D 路径相连

  4. 讲师指出其他顶点对之间也存在路径

目标

说明该图满足连通图定义。

步骤
  1. 公式
    A⇝D via A→C→DA \leadsto D \text{ via } A \to C \to D
    解释

    先验证没有直接边的两个顶点 A、D 之间仍有路径。

    步骤依据

    连通性看的是路径存在,而不是是否有直接边。

    视频直接表达
  2. 公式
    且 paths exist between all other pairs of vertices\text{\text{且} paths exist between all other pairs of vertices}
    解释

    再推广到任意两顶点都连通。

    步骤依据

    依据连通图定义。

    视频直接表达
结果

左侧无向图是连通图。

检验

与画面定义“图中任意两个顶点都是连通的,则称为连通图”一致。

有向强连通图示例

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    右侧展示一个含顶点 A、B、C、D、E 的有向图。

  2. 声音
    观察依据

    讲师解释强连通定义,并举例验证 A 与 B 之间双向可达。

待核验内容
  1. 片段在讲师刚要开始检查 A 与 C 时结束,未给出完整的全图判定过程。

题目

理解右侧有向图中“强连通”的含义,并检查部分顶点对是否强连通。

已知条件
  1. 图为有向图

  2. 顶点为 A、B、C、D、E

  3. A 与 B 之间存在双向路径

目标

说明何为强连通,并验证 A 与 B 是否强连通。

步骤
  1. 公式
    A⇝B且B⇝AA \leadsto B \text{且} B \leadsto A
    解释

    对顶点对 A、B 检查两个方向是否都可达。

    步骤依据

    强连通要求双向路径同时存在。

    视频直接表达
  2. 公式
    thereforeA,Bstrongly connected\text{therefore} A,B \text{strongly connected}
    解释

    由双向可达得出结论。

    步骤依据

    依据强连通图定义。

    视频直接表达
结果

在该示例中,A 与 B 是强连通的。

检验

与讲师口头结论“A和B之间,A可以到B,B可以到A,所以AB是强连通的”一致。

右上有向示例图是强连通图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    右上有向示例图展示顶点 A、B、C、D、E 及其有向边。

  2. 声音
    观察依据

    讲解者逐对验证顶点之间的强连通性并得出结论。

题目

判断右上示例有向图是否为强连通图。

已知条件
  1. 图为有向图

  2. 顶点为 A、B、C、D、E

  3. 图中存在若干有向边,使讲解者可逐对验证双向可达

目标

验证是否任意一对顶点都强连通。

步骤
  1. 公式
    A→B→C,C→D→AA \to B \to C,\quad C \to D \to A
    解释

    先验证 A 与 C 的双向可达。

    步骤依据

    强连通图要求任意一对顶点双向可达。

    视频直接表达
  2. 公式
    A↔E, A↔D, B↔C, B↔E, B↔D, C↔E, C↔D, E↔DA \leftrightarrow E,\ A \leftrightarrow D,\ B \leftrightarrow C,\ B \leftrightarrow E,\ B \leftrightarrow D,\ C \leftrightarrow E,\ C \leftrightarrow D,\ E \leftrightarrow D
    解释

    继续验证其余顶点对。

    步骤依据

    逐对检查定义条件。

    视频直接表达
  3. 公式
    every pair of vertices is strongly connected\text{every pair of vertices is strongly connected}
    解释

    所有顶点对均满足双向可达。

    步骤依据

    由前面逐对验证得到。

    视频直接表达
结果

该有向图是强连通图。

检验

依据视频给出的定义:图中任意一对顶点都是强连通的,则称此图为强连通图。

图1是否为强连通图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    下方图1为有向图,标注为“图1”。

  2. 声音
    观察依据

    讲解者判断“图一不是”,理由是 A 可以到 D,但 D 不能反过去到 A。

题目

判断图1是不是强连通图。

已知条件
  1. 图1是有向图

  2. 存在从 A 到 D 的有向路径

  3. 不存在从 D 返回 A 的有向路径

目标

判断图1是否满足强连通图定义。

步骤
  1. 公式
    A→DA \to D
    解释

    A 可以到达 D。

    步骤依据

    图中可见路径。

    视频直接表达
  2. 公式
    D↛AD \not\to A
    解释

    D 不能到达 A。

    步骤依据

    讲解者明确指出。

    视频直接表达
  3. 公式
    ¬(A↔D)\neg(A \leftrightarrow D)
    解释

    A 与 D 不满足双向可达。

    步骤依据

    由上两步推出。

    依据视频推导
结果

图1不是强连通图。

检验

只要存在一对顶点不是强连通的,就不满足强连通图定义。

图2是否为强连通图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    下方图2为有向图,标注为“图2”。

  2. 声音
    观察依据

    讲解者判断“图二肯定也不是了”,并举出 A 无法到 B 的例子。

题目

判断图2是不是强连通图。

已知条件
  1. 图2是有向图

  2. B 可以到 A,B 也可以到 C,C 能到 A

  3. A 没有办法到 B

目标

判断图2是否满足强连通图定义。

步骤
  1. 公式
    B→A,B→C,C→AB \to A,\quad B \to C,\quad C \to A
    解释

    先列出图中可见的若干有向路径。

    步骤依据

    由图和讲解者描述得出。

    视频直接表达
  2. 公式
    A↛BA \not\to B
    解释

    但 A 不能到达 B。

    步骤依据

    讲解者明确指出。

    视频直接表达
  3. 公式
    ¬(A↔B)\neg(A \leftrightarrow B)
    解释

    因此 A 与 B 不是强连通的。

    步骤依据

    强连通要求双向可达。

    依据视频推导
结果

图2不是强连通图。

检验

存在一对顶点不满足双向可达,即不符合强连通图定义。

把图2改成环后得到最小强连通例子

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    讲解者在图2旁手绘修改箭头,形成环状有向结构。

  2. 声音
    观察依据

    讲解者说“B可以到C,C可以到A,A可以到B。这样形成一个环,它就是强连通图,并且这种情况下它的边数是最小的。”

待核验内容
  1. 该例子是在原图2基础上临时改写得到的示意构造,不是原图2本身。

题目

如何通过修改箭头使图2变成强连通图,并观察其边数特点。

已知条件
  1. 原图2不是强连通图

  2. 讲解者手动把箭头改成 B→CB\to C、C→AC\to A、A→BA\to B 的环形结构

目标

说明修改后的图为何是强连通图,并指出其边数最小。

步骤
  1. 公式
    B→C,C→A,A→BB \to C,\quad C \to A,\quad A \to B
    解释

    修改后三条有向边首尾相接形成环。

    步骤依据

    由手绘动画和讲解者描述得出。

    视频直接表达
  2. 公式
    A↔B↔C↔AA \leftrightarrow B \leftrightarrow C \leftrightarrow A
    解释

    环上任意两点都可沿两个方向到达对方。

    步骤依据

    依据有向环的可达性。

    依据视频推导
  3. 公式
    minimum number of edges\text{minimum number of edges}
    解释

    讲解者指出这种环形构造的边数是最小的。

    步骤依据

    视频口头结论。

    视频直接表达
结果

修改后的图是强连通图,并且这种环形构造对应边数最小的情形。

检验

与后面给出的有向强连通图最少 n 条边的考点一致。

5个顶点连通图的最少边例子

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说“我们让C连A,C连B,C连D,C连E。看到没?五个顶点用到了四条边。”

  2. 图示
    观察依据

    讲解者在空白处画出中心点 C 分别连接 A、B、D、E 的星形无向图。

题目

用 5 个顶点构造一个连通的无向图,并观察最少需要多少条边。

已知条件
  1. 顶点为 A、B、C、D、E

  2. 要求图连通

目标

给出一个边数较少的连通构造,并说明其边数。

步骤
  1. 公式
    C−A, C−B, C−D, C−EC-A,\ C-B,\ C-D,\ C-E
    解释

    让中心顶点 C 分别与其他四个顶点相连。

    步骤依据

    这样任意两个顶点都可以通过 C 相互到达,因此图连通。

    视频直接表达
  2. 公式
    4=5−14=5-1
    解释

    该例子共用了 4 条边。

    步骤依据

    讲解者明确说“五个顶点用到了四条边”,对应一般公式 n-1。

    视频直接表达
结果

5 个顶点的连通无向图最少可用 4 条边,即 n-1。

检验

检查任意两点是否都能经过中心点 C 相连通;本例中所有点都邻接 C,因此连通。

5个顶点完全图的边数例子

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说“A与另外四个顶点都有相连……B与另外三个……四加三加二加一……就等于二分之五乘四。”

  2. 图示
    观察依据

    讲解者写出 4+3+2+14+3+2+1,再写成 5∗4/25*4/2。

题目

计算 5 个顶点的完全图有多少条边,并由此理解无向图最大边数公式。

已知条件
  1. 顶点数为 5

  2. 图为完全图,即任意两顶点都直接相连

目标

求出总边数,并对应到一般公式 n(n−1)/2n(n-1)/2。

步骤
  1. 公式
    4+3+2+14+3+2+1
    解释

    依次统计每个新顶点带来的新边数。

    步骤依据

    第一个顶点贡献 4 条边,第二个在未重复计数的前提下再贡献 3 条,依此类推。

    视频直接表达
  2. 公式
    5×42\frac{5\times 4}{2}
    解释

    把 4+3+2+14+3+2+1 化为 5×4/25\times 4/2。

    步骤依据

    这是等差求和的写法,讲解者口头提到“首项加末项”。

    视频直接表达
  3. 公式
    n(n−1)2, n=5\frac{n(n-1)}{2},\ n=5
    解释

    将 5 代入一般公式。

    步骤依据

    讲解者明确把例子中的 5 对应到公式里的 n。

    视频直接表达
结果

5 个顶点的完全图有 10 条边,一般公式为 n(n−1)/2n(n-1)/2。

检验

用组合计数也可得到 C(5,2)=10C(5,2)=10,与 5×4/25\times 4/2 一致。

6个顶点非连通图的最大边构造例子

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说“比方说下面有五个顶点A B C D E,还有一个F。我们要让这幅图是一个非连通图且有最多的边,那么就让下面这五个顶点成为一个完全图,并且让F与A B C D E都不相连。”

  2. 图示
    观察依据

    讲解者画出 A、B、C、D、E、F 六个顶点,把 A-E 圈在一起,F 单独在外。

待核验内容
  1. 片段结束时只完成构造,未把 6 个顶点情形的最终数值算完。

题目

构造一个 6 个顶点的非连通无向图,使它的边数尽可能多。

已知条件
  1. 顶点为 A、B、C、D、E、F

  2. 要求整图非连通

目标

给出边数最多的非连通构造。

步骤
  1. 公式
    K5 on A,B,C,D,EK_5 \text{ on } A,B,C,D,E
    解释

    让 A、B、C、D、E 五个顶点两两相连,形成一个 5 个顶点的完全子图。

    步骤依据

    在固定这 5 个顶点内部时,完全图能给出最多内部边数。

    视频直接表达
  2. 公式
    F isolatedF \text{ isolated}
    解释

    让 F 与 A、B、C、D、E 都不相连。

    步骤依据

    只要存在孤立顶点,整图就一定非连通。

    视频直接表达
  3. 公式
    5×42=10\frac{5\times 4}{2}=10
    解释

    该构造中边全部来自 A-E 形成的完全子图。

    步骤依据

    沿用前面完全图计数公式,5 个顶点的完全图有 10 条边。

    依据视频推导
结果

6 个顶点的非连通图若要边数最多,可让其中 5 个顶点构成完全图,第 6 个顶点孤立;本例边数为 10。

检验

若再给 F 添加任意一条边,虽然边数增加,但图可能仍非连通与否取决于具体连接;而屏幕给出的极值公式对应的是“一个孤立点 + 其余点完全图”的极端构造。

5个顶点完全图边数示例

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说“它有五个顶点的话,那么就是二分之五乘四嘛”。

  2. 图示
    观察依据

    教师在幻灯片下方写出 5∗4/25*4/2。

题目

计算 5 个顶点的无向完全图有多少条边。

已知条件
  1. 顶点数为 5

目标

求完全图边数

步骤
  1. 公式
    5×42\frac{5\times 4}{2}
    解释

    代入无向完全图边数公式 n(n−1)2\frac{n(n-1)}{2}。

    步骤依据

    教师口述“二分之五乘四”。

    视频直接表达
  2. 公式
    1010
    解释

    计算得到 10 条边。

    步骤依据

    算术化简。

    依据视频推导
结果

10

检验

与公式 n(n−1)2\frac{n(n-1)}{2} 在 n=5n=5 时的取值一致。

6个顶点无向非连通图最大边数示例

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说“因为总总的顶点数为六个,最终答案是二分之五乘四”。

  2. 图示
    观察依据

    教师写出 6,随后写出 (n-1)*(n-2)/2,并画出 5 个顶点的圈。

题目

计算 6 个顶点的无向非连通图最多可以有多少条边。

已知条件
  1. 顶点数为 6

  2. 图是非连通图

目标

求最大边数

步骤
  1. 公式
    (6−1)(6−2)2\frac{(6-1)(6-2)}{2}
    解释

    代入非连通图最大边数公式 (n−1)(n−2)2\frac{(n-1)(n-2)}{2}。

    步骤依据

    教师说“总的顶点数为六个,最终答案是二分之五乘四”。

    视频直接表达
  2. 公式
    5×42\frac{5\times 4}{2}
    解释

    化简为 5×42\frac{5\times 4}{2}。

    步骤依据

    算术代入。

    视频直接表达
  3. 公式
    1010
    解释

    计算得到 10 条边。

    步骤依据

    算术化简。

    依据视频推导
结果

10

检验

对应构造是一个 5 个顶点的完全图加 1 个孤立顶点。

图示与动画 · 13

手写标注概念适用范围

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    讲师用红笔在“连通图”旁写“无向图”,在“强连通图”旁写“有向图”。

图中对象
  1. 标题“连通图和强连通图”

  2. 左侧“连通图”

  3. 右侧“强连通图”

  4. 红色手写批注

变化过程
  1. 在连通图旁补充“无向图”

  2. 在强连通图旁补充“有向图”

不变量
  1. 两张示例图本身未改变

  2. 页面整体版式未改变

数学含义

视觉上强调两类概念分别属于无向图和有向图,避免混淆。

描出 A 到 D 的路径

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    讲师在左侧无向图上沿 A-C-D 描线,展示一条路径。

图中对象
  1. 左侧无向图

  2. 顶点 A、C、D

  3. 红色描线

变化过程
  1. A 到 C 的边被强调

  2. C 到 D 的边被强调

不变量
  1. 图的结构未改变

  2. 顶点位置未改变

数学含义

说明即使 A 与 D 没有直接边,也可以通过中间顶点形成路径,从而满足连通性。

双向路径示意

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    讲师在空白处写出 A→BA\to B 与 B→AB\to A 的双向示意。

图中对象
  1. 手写 A

  2. 手写 B

  3. 两个方向箭头

变化过程
  1. 先写出 A 到 B 的方向

  2. 再补出 B 到 A 的方向

不变量
  1. 这是对定义的抽象示意,不是原示例图的一部分

数学含义

用极简图示说明强连通的核心是双向可达。

页面整体布局

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    整页标题为“连通图和强连通图”;左上为“连通图 无向图”示例,右上为“强连通图 有向图”示例,左下为“考点”文字,右下为“图1”“图2”两个有向图。

图中对象
  1. 标题“连通图和强连通图”

  2. 左上无向示例图

  3. 右上有向示例图

  4. 左下考点文字

  5. 右下图1和图2

变化过程
  1. 讲解过程中在图1、图2附近添加红色圈划、叉号和箭头修改痕迹。

不变量
  1. 页面主标题和四个主要区域的位置保持不变。

  2. 左下考点文字始终可见。

数学含义

页面用左右对照方式区分无向图的连通图与有向图的强连通图,并用下方两个小图做判断题示例。

图1的否定标注

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    讲解者在图1周围做圈划和否定标记,配合口头判断其不是强连通图。

图中对象
  1. 图1

  2. 红色圈划与否定标记

变化过程
  1. 图1被重点圈出并加上表示“不是”的标记。

不变量
  1. 图1原有顶点和边不变。

数学含义

视觉标注用于强调图1不满足强连通图定义。

图2箭头被临时改成环

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    讲解者在图2附近手绘新的箭头方向,形成环状结构。

图中对象
  1. 图2

  2. 新绘制的有向箭头

变化过程
  1. 箭头方向被改成 B→CB\to C、C→AC\to A、A→BA\to B 的环形连接。

不变量
  1. 顶点标签 A、B、C 不变。

数学含义

通过改变边的方向而不是增加顶点,演示如何得到强连通且边数最小的结构。

幻灯片总体布局

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    整页分为左右两部分:左侧标题“连通图”,右侧标题“强连通图”;下方有“考点”文字和两个小型有向图“图1”“图2”。

图中对象
  1. 左侧连通图示例

  2. 右侧强连通图示例

  3. 下方考点文字

  4. 右下图1和图2

变化过程
  1. 讲解者在空白处不断添加红色手写顶点、边和算式

不变量
  1. 页面主标题和印刷文字保持不变

  2. 左右两栏的主题划分保持不变

数学含义

版面把无向图的连通性与有向图的强连通性并列呈现,便于对比两类图的定义和边数极值。

星形连通图的绘制过程

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    讲解者先写 A、B、C、D、E,再把 C 放在中心并向四周连线。

  2. 声音
    观察依据

    讲解者同步说“C连A,C连B,C连D,C连E”。

图中对象
  1. 五个顶点 A,B,C,D,E

  2. 中心点 C

  3. 四条无向边

变化过程
  1. 先出现顶点标签,再出现中心点 C,最后逐条画出 C 到其他四点的边

不变量
  1. 顶点总数始终为 5

  2. 最终边数为 4

数学含义

该动画展示了一个 5 顶点连通图的最小边构造,用来说明连通图最少需要 n-1 条边。

从具体求和到一般公式的板书演变

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    讲解者依次写出 4、4+34+3、4+3+24+3+2、4+3+2+14+3+2+1,再改写成 5∗4/25*4/2,并在旁边标注 n=5n=5。

图中对象
  1. 算式 4+3+2+14+3+2+1

  2. 算式 5∗4/25*4/2

  3. 标注 n=5n=5

变化过程
  1. 算式从逐项累加变为乘积除以 2 的闭式表达

  2. 随后把具体数字 5 对应到一般符号 n

不变量
  1. 表达的对象始终是 5 个顶点完全图的边数

数学含义

视觉过程把“逐个数边”的直观计数转化为一般公式 n(n−1)/2n(n-1)/2 的推导。

非连通极值图的构造动画

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    讲解者画出 A、B、C、D、E、F 六个顶点,把 A-E 圈在一起,F 单独放在外面。

  2. 声音
    观察依据

    讲解者说让五个顶点成为完全图,F 与其他点都不相连。

图中对象
  1. 六个顶点 A,B,C,D,E,F

  2. 圈住的 A-E 子集

  3. 孤立的 F

变化过程
  1. 先列出六个顶点,再把其中五个归为一组,最后强调第六个点孤立

不变量
  1. 总顶点数为 6

  2. 目标是构造非连通且边数最多的图

数学含义

该画面把抽象公式 (n-1)(n-2)/2 具体化为“n-1 个点成完全图,1 个点孤立”的极值构造。

幻灯片整体布局

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    整页幻灯片上方左侧为“连通图”示例,右侧为“强连通图”示例;下方左侧为无向图考点文字,右侧为有向图考点文字和图1、图2。

图中对象
  1. 连通图示例

  2. 强连通图示例

  3. 无向图考点文字

  4. 有向图考点文字

  5. 图1

  6. 图2

变化过程
  1. 无动态变化,整段保持同一页面

不变量
  1. 页面主题始终是“连通图和强连通图”

  2. 左右两栏分别对应无向图与有向图

数学含义

视觉上把无向连通图与有向强连通图并列对照,便于比较二者边数极值公式。

无向非连通图最大边数的板书标注

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    教师在左下区域用红笔圈出“非连通图”相关文字,写出 6、(n-1)*(n-2)/2,并画出包含 A、B、C、D、E 的圈。

图中对象
  1. 红色圈注

  2. 数字 6

  3. 表达式 (n-1)*(n-2)/2

  4. 五个顶点 A、B、C、D、E 的圈

变化过程
  1. 先圈出非连通图文字

  2. 再写出 6 和公式

  3. 最后画出 5 个顶点的圈并标注 5∗4/25*4/2

不变量
  1. 始终围绕“非连通图最多边数”这一结论

数学含义

板书把“孤立 1 个顶点 + 其余 n-1 个顶点构成完全图”的极值构造可视化。

易错点 · 8

误以为必须有直接边才算连通

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说:“有些同学会认为A与D之间没有直接相连的这条红线,所以说他认为A与D之间不是连通的。这种理解很明显是错误的。”

误区

把“连通”误解为两个顶点之间必须存在直接相连的边。

说明

连通只要求两个顶点之间存在路径,允许经过其他中间顶点。

不要把连通图与强连通图的适用对象混淆

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    页面把“连通图”与“无向图”并列,把“强连通图”与“有向图”并列。

误区

以为“连通图”和“强连通图”是同一类概念,或者都可以在同一种图上不加区分地使用。

说明

视频明确把“连通图”放在无向图一侧,把“强连通图”放在有向图一侧;后者要求任意一对顶点双向可达。

单向可达不等于强连通

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者在图1和图2中都因为某一对顶点只能单向到达而判定其不是强连通图。

误区

只要从一个顶点能走到另一个顶点,就认为这两个顶点强连通。

说明

视频反复强调必须双向可达;图1中 A 可到 D 但 D 不能回 A,图2中 A 不能到 B,因此都不算强连通。

把“连通”误以为“任意两点必须直接相连”

依据清楚
补充解释
来源依据
  1. 声音
    观察依据

    讲解者先用星形图说明“五个顶点用到了四条边”就能连通,后面又把最大边数与“完全图”联系起来。

  2. 字幕依据
    观察依据

    幻灯片同时给出最少 n-1 条边和最多 n(n−1)/2n(n-1)/2 条边两个不同极值。

误区

看到“任意两个顶点都是联通的”时,容易误解为任意两点之间必须有一条直接边。

说明

连通只要求任意两点之间存在一条路径,不要求直接相邻。片段中的星形图就是反例:5 个点只有 4 条边仍然连通。

混淆无向图与有向图的最大边数

依据清楚
补充解释
来源依据
  1. 字幕依据
    观察依据

    幻灯片对无向图给出“最多为 n∗(n−1)/2n*(n-1)/2”,对有向图给出“最多n∗(n−1)n*(n-1)”。

误区

把无向图的最大边数 n(n−1)/2n(n-1)/2 直接套用到有向图上。

说明

有向图中一对顶点之间可以有两条方向相反的边,因此最大边数是 n(n−1)n(n-1),不是 n(n−1)/2n(n-1)/2。

口述公式与屏幕公式不一致

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者把非连通图最多边数读成“n减一乘二分之n乘n减一乘n减二条边”。

  2. 字幕依据
    观察依据

    屏幕文字清楚写着“(n-1)*(n-2)/2”。

误区

仅凭口述容易记错非连通图最大边数公式。

说明

应以屏幕显示的 (n-1)(n-2)/2 为准;讲解者此处口述出现了明显偏差。

误以为非连通图还能让孤立点继续连边

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说“如果这个单独出来的一个顶点与下面的这五个顶点当中任意一颗顶点之间都有连线的话,那么它就不能成为非连通图了”。

误区

在求非连通图最大边数时,误以为可以把那个单独分出来的顶点再与其他顶点相连而不影响“非连通”。

说明

一旦这个孤立顶点与其余连通分量中的任一顶点相连,整张图就会变成连通图,不再属于非连通图。

误把有向图最多边数等同于无向图

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说“因为在有向图当中它有两条边嘛,它一个指过去一个指过来,所以说在它基础上它要乘个二”。

误区

误以为有向图最多边数仍是 n(n−1)2\frac{n(n-1)}{2}。

说明

有向图中同一对顶点之间可以有方向相反的两条边,所以最多边数是无向完全图的两倍,即 n(n−1)n(n-1)。

概念关系 · 16

连通图与强连通图的适用范围 → 连通图的定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师明确说连通图在无向图中,强连通图在有向图中。

包含
解释

“适用范围”这一知识点直接规定了连通图定义只用于无向图。

连通图与强连通图的适用范围 → 强连通图的定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师明确说强连通图在有向图中才有这个概念。

包含
解释

“适用范围”这一知识点直接规定了强连通图定义只用于有向图。

强连通图的定义 → 连通图的定义

依据清楚
依据视频推导
来源依据
  1. 声音
    观察依据

    讲师先讲无向图中的“连通”是存在路径,再讲有向图中的“强连通”是正反方向都有路径。

待核验内容
  1. 这是基于视频内容的分析员归纳,视频未直接使用“推广”一词。

推广
解释

在有向图语境下,强连通比单纯“存在一条路径”更严格,要求任意一对顶点双向可达。

n 个顶点图的边数范围 → 连通图的定义

依据清楚
依据视频推导
来源依据
  1. 字幕依据
    观察依据

    画面下方边数公式分别针对“连通图”“非连通图”“强连通图”给出。

待核验内容
  1. 本片段未展开证明这些公式,只是展示结论。

应用
解释

边数范围公式建立在连通图与强连通图定义之上,用于刻画不同结构下的极值情况。

连通图 → 强连通图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    页面左右并列展示“连通图 无向图”和“强连通图 有向图”。

对比
解释

视频通过左右对照区分两类概念:前者面向无向图,只要求任意两顶点连通;后者面向有向图,要求任意一对顶点强连通。

强连通图 → 有向强连通图的边数范围

依据清楚
依据视频推导
来源依据
  1. 声音
    观察依据

    讲解者在环形示例中说“这种情况下它的边数是最小的”。

  2. 字幕依据
    观察依据

    左下考点随后写出“若G是强连通图,则最少有n条边(回路)”。

应用
解释

前面用环形有向图演示最小强连通结构,后面把它归纳为有向强连通图最少需要 n 条边的考点。

连通图 → 无向连通图与非连通图的边数范围

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    左下考点先定义无向图 G 的连通情形,再给出最少 n-1 条边。

  2. 声音
    观察依据

    讲解者把最少边情形解释为“类似于一棵树的时候”。

应用
解释

连通图定义直接用于推出无向连通图的最少边数和最多边数范围。

连通图与非连通图 → 连通无向图的最少边数

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片先定义连通图,紧接着给出“如果G是连通图则最少有n-1条边”。

  2. 声音
    观察依据

    讲解者用星形图解释最少边数。

应用
解释

连通图的定义直接引出其最少边数结论:要达到任意两点可达,至少需要 n-1 条边。

无向图的最大边数与完全图 → 连通图与非连通图

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者问“大家有没有想到这个完全图”,随后说“完全图当中不就是二分之n乘n减一条边吗”。

对比
解释

最大边数对应的是完全图这种“两两直接相连”的极端情形,而连通图只要求可达,不要求两两直接相连。

非连通无向图的最大边数 → 连通图与非连通图

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    幻灯片把“如果G是连通图……”与“若为非连通图……”并列书写。

  2. 图示
    观察依据

    讲解者用 6 个顶点的孤立点构造说明非连通极值。

对比
解释

非连通图的最大边数是相对于连通图定义的补面情形:一旦要求图不连通,就必须至少留下一个与其他部分断开的顶点。

强连通图 → 强连通有向图的最少边数

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    右侧先定义“强连通图”,下方又写“在N个顶点的有向图G中,若G是强连通图,则最少有n条边(回路)”。

  2. 图示
    观察依据

    右下图1是有向环。

应用
解释

强连通图的定义直接推出有向情形下的最少边数:要让任意两点双向可达,至少需要一个覆盖全图的有向回路。

有向图的最大边数 → 无向图的最大边数与完全图

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    同一页并列给出无向图最多 n(n−1)/2n(n-1)/2 条边和有向图最多 n(n−1)n(n-1) 条边。

对比
解释

两者差别来自边的方向性:无向边一对顶点只算一条,有向边一对顶点可算两条方向相反的边。

问题定位 · 23

什么是连通图?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师朗读连通图定义。

涉及知识点
  1. 连通图的定义

为什么 A 和 D 没有直接边也算连通?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师以 A 和 D 为例解释路径存在即可认为连通。

涉及知识点
  1. 连通图的定义
  2. 误以为必须有直接边才算连通

什么是强连通图?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师朗读强连通图定义并解释双向路径。

涉及知识点
  1. 强连通图的定义

连通图和强连通图有什么区别?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师区分连通图用于无向图,强连通图用于有向图。

涉及知识点
  1. 连通图与强连通图的适用范围
  2. 连通图的定义
  3. 强连通图的定义

n 个顶点的连通图、非连通图、强连通图最少和最多有多少条边?

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    画面下方给出 n 个顶点时各类图的最少边数和最多边数。

涉及知识点
  1. n 个顶点图的边数范围

什么是连通图?

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    左侧定义文字直接给出连通图定义。

涉及知识点
  1. 连通图

怎样判断一个有向图是不是强连通图?

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    右侧定义文字直接给出强连通图定义。

  2. 声音
    观察依据

    讲解者逐对验证任意顶点对都强连通。

涉及知识点
  1. 强连通图
  2. 右上示例图是强连通图的判定过程

为什么图1和图2都不是强连通图?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者分别判断图1和图2都不是强连通图,并给出反例路径。

涉及知识点
  1. 图1不是强连通图的反例判定
  2. 图2不是强连通图的反例判定
  3. 图1是否为强连通图
  4. 图2是否为强连通图

连通图和强连通图最少分别需要多少条边?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说环形构造“边数是最小的”。

  2. 字幕依据
    观察依据

    考点文字给出无向连通图最少 n-1 条边、有向强连通图最少 n 条边。

涉及知识点
  1. 无向连通图与非连通图的边数范围
  2. 有向强连通图的边数范围
  3. 修改图2箭头后形成最小强连通结构

什么是连通图,什么情况下叫非连通图?

依据清楚
补充解释
来源依据
  1. 字幕依据
    观察依据

    幻灯片文字:“图中任意两个顶点都是联通的,则称为连通图,否则是非连通图”。

涉及知识点
  1. 连通图与非连通图

为什么 n 个顶点的连通无向图最少要有 n-1 条边?

依据清楚
补充解释
来源依据
  1. 声音
    观察依据

    讲解者用 5 个顶点、4 条边的星形图说明最少连通边数。

涉及知识点
  1. 连通无向图的最少边数
  2. 5个顶点连通图的最少边例子

为什么无向图最多有 n(n−1)/2n(n-1)/2 条边,这个公式怎么来的?

依据清楚
补充解释
来源依据
  1. 声音
    观察依据

    讲解者把最大边数与完全图联系起来,并写出 4+3+2+1=5∗4/24+3+2+1=5*4/2。

涉及知识点
  1. 无向图的最大边数与完全图
  2. 完全图边数的逐步计数
  3. 5个顶点完全图的边数例子
覆盖情况与待核验内容

已覆盖 · 开场引入本节主题,画面已展示连通图、强连通图定义和边数考点。

已覆盖 · 讲师明确连通图对应无向图,强连通图对应有向图,并做手写标注。

已覆盖 · 给出连通图定义。

已覆盖 · 用左侧无向图举例说明路径存在即连通,纠正“必须直接相连”的误解。

已覆盖 · 转入强连通图定义。

已覆盖 · 解释强连通是双向可达,并验证右侧示例图中 A 与 B 强连通。

已覆盖 · 右上有向示例图被逐对验证为强连通图。

已覆盖 · 图1被判定不是强连通图,理由是 A 可到 D 但 D 不能回 A。

已覆盖 · 图2被判定不是强连通图,理由是 A 无法到 B。

已覆盖 · 讲解者把图2箭头改成环,说明这样形成强连通图且边数最小。

已覆盖 · 进入考点总结,给出无向连通图和有向强连通图的边数范围。

已覆盖 · 讲解者画出 5 个顶点的星形连通图,说明连通图最少需要 n-1 条边。

已覆盖 · 讲解者把最大边数与完全图联系,逐步写出 4+3+2+1=5∗4/24+3+2+1=5*4/2,并推广到 n(n−1)/2n(n-1)/2。

已覆盖 · 讲解者转入非连通图极值,构造 6 个顶点中 5 个成完全图、1 个孤立的例子;屏幕公式为 (n-1)(n-2)/2,口述有误。

已覆盖 · 讲解无向连通图与非连通图的定义及边数极值,并用 5、6 个顶点例子说明 (n-1)(n-2)/2 的来源。

已覆盖 · 讲解有向强连通图的定义、最少 n 条边与最多 n(n−1)n(n-1) 条边,并用有向环示例说明。

探索视频中的知识

已审核的主题路径

这个视频解答的问题

理解原因

↗
理解原因

↗
理解原因

↗
理解原因

↗
理解原因

↗
理解原因

↗