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

连通图和强连通图

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

打开原视频
阅读与收藏

把讲解展开来看。

被收藏 0

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

本片段主要讲解了图论中的连通图和强连通图概念。首先明确了连通图适用于无向图,而强连通图适用于有向图。接着给出了连通图的定义:图中任意两个顶点都存在路径。讲师通过具体例子纠正了“必须有直接边才算连通”的误区,指出可以通过中间节点形成路径。随后介绍了强连通图的定义:有向图中任意一对顶点都存在双向路径。此外,幻灯片上还列出了关于 N 个顶点的图在不同连通状态下的边数范围公式。 本片段围绕“连通图”和“强连通图”展开。先用左右对照的板书给出定义:无向图中任意两点连通称为连通图,有向图中任意两点双向可达称为强连通图。随后通过上方有向示例逐对验证强连通性,再用下方“图1”“图2”说明如何凭一对不可互达顶点否定强连通。最后总结常见考点,给出 n 个顶点无向图在连通与非连通时的边数极值,以及有向强连通图的最少、最多边数。 片段围绕“连通图和强连通图”展开,先定义无向连通图与有向强连通图,再给出若干边数极值结论:无向连通图最少 n-1 条边,无向简单图最多 n(n−1)/2n(n-1)/2 条边,非连通图最多 (n-1)(n-2)/2 条边,有向强连通图最少 n 条边、最多 n(n−1)n(n-1) 条边。讲解者用5个顶点的星形连通示例、完全图计数 4+3+2+1=(5⋅4)/24+3+2+1=(5\cdot 4)/2,以及“5点完全图+1个孤立点”的构造来直观说明这些结论。 本片段围绕“连通图和强连通图”的边数极值展开。视频先给出无向连通图、非连通图和有向强连通图的定义,再总结三类核心结论:n 个顶点无向连通图最少 n-1 条边、最多 n(n−1)2\frac{n(n-1)}{2} 条边;无向非连通图最多 (n−1)(n−2)2\frac{(n-1)(n-2)}{2} 条边;n 个顶点有向强连通图最少 n 条边、最多 n(n−1)n(n-1) 条边。讲解者用 n=6n=6 的具体例子解释非连通图最大边数公式,并用红笔绘制有向环说明强连通图最少边数的构造,最后将有向图最大边数与无向完全图边数作对比。

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

章节

0:00概念引入与适用范围0:24连通图的定义与路径判断1:23强连通图的定义与双向路径2:00连通图与强连通图定义2:23图1不是强连通图2:38图2不是强连通图3:14把图2改成有向环3:37常见考点:边数极值4:00连通图定义与最少边数示例4:12无向图最多边数与完全图4:304+3+2+14+3+2+1 的计数推导5:13非连通图最大边数结论5:28完全子图加孤立点的构造说明6:00连通图与强连通图定义及考点总览6:14非连通无向图最大边数的直观解释6:54有向强连通图最少边数:环形构造7:23有向图最大边数与无向完全图的对比

学习解说文稿

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

视频开篇展示了“连通图”和“强连通图”的对比页面。讲师首先明确了这两个概念的适用范围:连通图是针对无向图的概念,而强连通图是针对有向图的概念。画面中讲师用红笔分别在标题旁标注了“无向图”和“有向图”。

接下来进入连通图的定义讲解。幻灯片上写着:“图中任意两个顶点都是连通的,则称为连通图,否则是非连通图。”讲师进一步解释,“连通”并不意味着两个顶点之间必须有直接的边相连,而是指它们之间存在一条路径。

为了澄清常见的误区,讲师以左侧示例图中的顶点 A 和 D 为例。他指出,虽然 A 和 D 之间没有直接的红线相连,但这并不代表它们不连通。实际上,可以从 A 走到 C,再从 C 走到 D,这条 A-C-D 的路径证明了 A 和 D 是连通的。讲师在图上用红线描出了这条路径,并确认图中其他任意两点间也都存在路径,因此这是一个连通图。

随后,讲师转向强连通图的定义。幻灯片显示:“图中任意一对顶点都是强连通的,则称此图为强连通图。”讲师强调,强连通的要求比连通更严格,它不仅要求从 u 到 v 有路径,还要求从 v 到 u 也有路径,即必须是双向可达的。

讲师在右侧的有向图示例中,以 A 和 B 为例进行说明。他在下方写出了 A→BA \rightarrow B 和 B→AB \rightarrow A,表示 A 到 B 和 B 到 A 都有路径,因此 A 和 B 是强连通的。最后,讲师准备继续检查 A 和 C 之间的强连通性,片段在此结束。

这一段先把两类图并列讲清:左边是无向图的“连通图”,右边是有向图的“强连通图”。板书定义分别是“图中任意两个顶点都是连通的,则称为连通图”和“图中任意一对顶点都是强连通的,则称此图为强连通图”。

接着用右上方有向示例做逐对验证。讲解者沿着箭头说明 A→B→CA\to B\to C,再说明 C→D→AC\to D\to A,于是 AA 与 CC 双向可达;随后继续检查 AA 与 EE、AA 与 DD、BB 与 CC、BB 与 EE、BB 与 DD、CC 与 EE、CC 与 DD、EE 与 DD 等顶点对,得出“任意一对顶点都是强连通的”,所以该图是强连通图。

然后转到下方“图1”。这里的关键不是看有没有路,而是看能不能来回都走通。图中 AA 可以到 DD,但 DD 没有回到 AA 的路径,因此存在一对顶点不满足双向可达,图1不是强连通图。

再看“图2”。讲解者先顺着箭头说 BB 可以到 AA,BB 也可以到 CC,CC 能到 AA,但 AA 无法回到 BB。只要有一对顶点不能互达,整个有向图就不是强连通图,所以图2同样不是强连通图。

随后讲解者直接在图2上补画反向箭头,把三个顶点改成沿同一方向闭合的环:B→C→A→BB\to C\to A\to B。这样一来,环上任意两点都能沿环互相到达,图就变成强连通图。视频还特别指出,这种环状结构的边数是最小的,为后面总结“有向强连通图最少 nn 条边”作铺垫。

最后进入“考点”总结。板书给出:对 nn 个顶点的无向图 GG,若 GG 连通,则最少 n−1n-1 条边,最多 n(n−1)2\frac{n(n-1)}{2} 条边;若 GG 非连通,则最多 (n−1)(n−2)2\frac{(n-1)(n-2)}{2} 条边。对有向图 GG,若 GG 强连通,则最少 nn 条边,最多 n(n−1)n(n-1) 条边。讲解者口头补充,最小连通情形“类似于一棵树”。

这一页把两类概念并列讲:左边是“连通图”,右边是“强连通图”。先看左边,课件文字给出定义:图中任意两个顶点都是联通的,就称为连通图,否则是非连通图。讲解者随即在空白处画了 A、B、C、D、E 五个点,并让 C 分别连到 A、B、D、E,用 4 条边把 5 个点连起来。这个例子的作用是直观说明:n 个顶点的无向连通图最少需要 n-1 条边。

接着他转向“最多有多少条边”。课件上写着“最多为 n∗(n−1)/2n*(n-1)/2”。这里的关键是把最大值和“完全图”联系起来:当任意两个不同顶点之间都有一条边时,边数达到最大。

为了说明这个公式为什么成立,讲解者在左侧绿色完全图上做逐步计数。先说 A 与另外四个顶点相连,贡献 4 条边;再说 B 与剩下三个未计过的顶点相连,贡献 3 条边;依次得到 4+3+2+14+3+2+1。板书把这个和写成 (5⋅45\cdot 4)/2,也就是把具体例子中的 n=5n=5 代入通式 n(n−1)/2n(n-1)/2。这样既解释了完全图边数,也解释了无向简单图的最大边数上界。

然后进入下一行考点:“若为非连通图,则最多可能有 (n-1)*(n-2)/2 条边。”这句话的意思是,如果图不连通,但仍想让边数尽可能多,就不能把所有顶点都放进同一个稠密分量里。

讲解者用构造法说明这一点。他画出 A、B、C、D、E、F 六个点,把 A 到 E 圈在一起,让它们构成一个完全图,而把 F 单独留在外面,不与任何点相连。这样整个图仍然是非连通的,但内部边数已经尽量多。这个例子对应的就是一般结论:从一个 n 顶点非连通图中,最多可以让其中 n-1 个顶点形成完全图,边数为 (n-1)(n-2)/2,剩下 1 个顶点孤立。片段在这里结束,没有继续把该构造代入具体数值算完。

这一段首先承接前面的例子:若讨论 5 个顶点的无向完全图,边数就是 5×42\frac{5\times4}{2}。画面同时给出本页主题“连通图和强连通图”,以及两类定义:无向图中任意两点都连通则为连通图,否则为非连通图;有向图中任意一对顶点都强连通则为强连通图。

接着讲解者转到“非连通图最多有多少条边”的问题。他先用 n=6n=6 的具体情形说明:把一个顶点单独拿出来,剩下 6−1=56-1=5 个顶点,若要边数最多,就让这 5 个顶点两两相连,于是得到 5×42\frac{5\times4}{2} 条边。

然后把具体数值推广到一般情形:从 nn 个顶点中拿出 1 个孤立点,剩余 n−1n-1 个点构成完全图,其边数为 (n−1)(n−2)2\frac{(n-1)(n-2)}{2}。这就是幻灯片上“若为非连通图,则最多可能有 (n−1)∗(n−2)/2(n-1)*(n-2)/2 条边”的由来。

讲解者进一步强调边界条件:如果这个被单独拿出来的顶点再与其余任一顶点相连,图就不再是非连通图。因此,非连通图的最大边数只能来自“一个孤立点 + 其余 n−1n-1 个点的完全图”这种极端构造。

随后进入有向图性质。幻灯片写明:在 nn 个顶点的有向图 GG 中,若 GG 是强连通图,则最少有 nn 条边,最多有 n(n−1)n(n-1) 条边。讲解者先解释最少边数。

他用红笔画出一个由若干顶点组成的有向环,并说“让它成为一个环形嘛”。在这种构造里,每个顶点恰有一条出边和一条入边,nn 个顶点正好对应 nn 条边;沿环走可以互相到达,所以这就是强连通有向图的最少边情形。

最后解释最多边数。讲解者把它与前面无向完全图的 n(n−1)2\frac{n(n-1)}{2} 对照:在无向图中,一对顶点之间最多一条边;在有向图中,同一对顶点可以有“一个指过去、一个指过来”的两条反向边,所以总数要乘以 2,得到 2×n(n−1)2=n(n−1)2\times\frac{n(n-1)}{2}=n(n-1)。

片段结尾,讲解者没有再展开更多证明,而是把这一乘法关系留作自行推导,整页内容收束在连通图、非连通图与强连通图的边数极值对比上。

知识卡片

01

连通图的定义

在无向图中,如果任意两个顶点之间都存在路径,则该图被称为连通图。注意,“连通”指的是存在路径,不要求顶点之间有直接的边相连。例如,可以通过中间节点间接到达。

02

强连通图的定义

在有向图中,如果任意一对顶点之间都存在双向路径(即从 u 到 v 和从 v 到 u 都有路径),则该图被称为强连通图。这比无向图的连通性要求更严格。

03

连通图的边数范围

对于 N 个顶点的无向图 G,如果是连通图,其边数 e 的范围是:最少 N-1 条边(此时为树),最多 N∗(N−1)/2N*(N-1)/2 条边(此时为完全图)。

N−1≤e≤N(N−1)2N - 1 \le e \le \frac{N(N-1)}{2}
04

非连通图的最大边数

对于 N 个顶点的无向图 G,如果是非连通图,其边数 e 最多可能有 (N-1)*(N-2)/2 条。这意味着即使边很多,只要不满足连通条件,就不是连通图。

e≤(N−1)(N−2)2e \le \frac{(N-1)(N-2)}{2}
05

强连通图的边数范围

对于 N 个顶点的有向图 G,如果是强连通图,其边数 e 的范围是:最少 N 条边(构成一个有向回路),最多 N∗(N−1)N*(N-1) 条边(任意两点间都有双向边)。

N≤e≤N(N−1)N \le e \le N(N-1)
06

连通图

视频给出的定义是:在无向图中,如果任意两个顶点都是连通的,则称为连通图;否则称为非连通图。判断重点是“任意两点之间是否存在通路”。

07

强连通图

视频给出的定义是:在有向图中,如果任意一对顶点都是强连通的,则称此图为强连通图。这里的“强连通”意味着两点之间要能沿箭头方向互相到达,而不是只单向往来。

08

如何判定一个有向图是否强连通

片段中的方法是逐对检查顶点是否双向可达。上方示例通过 A→B→CA\to B\to C 与 C→D→AC\to D\to A 等路径说明多对顶点互达;而图1、图2则分别用 A→DA\to D 但 D↛AD\not\to A、B→AB\to A 但 A↛BA\not\to B 这样的反例否定强连通性。

09

有向环是最小强连通结构的直观例子

讲解者把图2补画成 B→C→A→BB\to C\to A\to B 的有向环后,说明这样任意两点都能沿环互达,因此成为强连通图,并强调这种情形下边数最小。这一例子为后面“nn 个顶点的有向强连通图最少 nn 条边”提供直观支撑。

10

无向图连通与非连通的边数极值

板书总结:对 nn 个顶点的无向图 GG,若 GG 是连通图,则最少有 n−1n-1 条边,最多有 n(n−1)2\frac{n(n-1)}{2} 条边;若 GG 是非连通图,则最多可能有 (n−1)(n−2)2\frac{(n-1)(n-2)}{2} 条边。讲解者口头指出最小情形“类似于一棵树”。

minimum connectedn−1maximum connectedn(n−1)2maximum disconnected(n−1)(n−2)2\text{minimum connected} n-1 \quad \text{maximum connected} \frac{n(n-1)}{2} \quad \text{maximum disconnected} \frac{(n-1)(n-2)}{2}
11

有向强连通图的边数极值

板书总结:在 nn 个顶点的有向图 GG 中,若 GG 是强连通图,则最少有 nn 条边,最多有 n(n−1)n(n-1) 条边。前面的三顶点有向环正是“最少边数”思想的简化示例。

minimum strongly connectednmaximum strongly connectedn(n−1)\text{minimum strongly connected} n \quad \text{maximum strongly connected} n(n-1)
12

连通图与非连通图

片段对无向图给出定义:若图中任意两个顶点之间都存在通路,则称为连通图;只要存在某两个顶点不连通,就称为非连通图。左侧示例用绿色无向图表示这一概念。

13

强连通图

片段对有向图给出定义:若图中任意一对顶点都是强连通的,则称此图为强连通图。右侧示例用橙色有向环表示每个顶点都能沿有向边到达其他顶点。

14

无向连通图最少边数

对于 n 个顶点的无向图 G,如果 G 连通,则边数至少为 n-1。讲解者用 5 个顶点、4 条边的星形例子说明这一点。

∣E∣≥n−1|E|\ge n-1
15

无向完全图边数

n 个顶点的无向完全图有 n(n−1)/2n(n-1)/2 条边,这也是无向简单图的最大边数。片段用 4+3+2+1=(5⋅4)/24+3+2+1=(5\cdot 4)/2 的计数过程解释该公式。

∣E∣=n(n−1)2|E|=\frac{n(n-1)}{2}
16

无向非连通图最大边数

若 n 个顶点的无向图不是连通图,则它最多可能有 (n-1)(n-2)/2 条边。讲解者用“n-1 个顶点组成完全图,剩下 1 个顶点孤立”的构造说明该上界。

∣E∣≤(n−1)(n−2)2|E|\le \frac{(n-1)(n-2)}{2}
17

有向强连通图最少边数

在 n 个顶点的有向图 G 中,如果 G 是强连通图,则最少需要 n 条边。课件以“回路”形式给出例子,右侧图示就是有向环。

∣E∣≥n|E|\ge n
18

有向强连通图最大边数

片段文字给出:在 n 个顶点的有向图 G 中,若 G 是强连通图,则边数最多为 n(n−1)n(n-1)。这对应于有向简单图中任意两个不同顶点之间最多存在两条方向相反的有向边。

∣E∣≤n(n−1)|E|\le n(n-1)
19

连通图与非连通图

视频给出的定义是:在无向图中,如果任意两个顶点都是连通的,则称为连通图;否则称为非连通图。这里的关键是“存在路径”而不是“必须有直接边”。

20

强连通图

对有向图而言,若任意一对顶点都是强连通的,则称此图为强连通图。结合示例可理解为:任意两点之间既要能沿有向路径到达对方,也要能被对方沿有向路径到达。

21

无向连通图的边数范围

对于 nn 个顶点的无向图 GG,若 GG 连通,则最少有 n−1n-1 条边,最多有 n(n−1)2\frac{n(n-1)}{2} 条边。最少对应树形连通结构,最多对应无向完全图。

n−1≤∣E∣≤n(n−1)2n-1 \le |E| \le \frac{n(n-1)}{2}
22

无向非连通图的最大边数

若 nn 个顶点的无向图是非连通图,则最多有 (n−1)(n−2)2\frac{(n-1)(n-2)}{2} 条边。视频的直观构造是:让 1 个顶点孤立,其余 n−1n-1 个顶点两两相连形成完全图;若再给孤立点连边,图就不再非连通。

∣E∣≤(n−1)(n−2)2|E| \le \frac{(n-1)(n-2)}{2}
23

有向强连通图的最少边数

在 nn 个顶点的有向图中,若图强连通,则最少需要 nn 条边。讲解者用“环形”构造说明:把所有顶点连成一个有向环,每个顶点一条出边、一条入边,总共 nn 条边即可互相到达。

∣E∣min⁡=n|E|_{\min}=n
24

有向图的最大边数

nn 个顶点的有向图最多有 n(n−1)n(n-1) 条边。视频把它与无向完全图的 n(n−1)2\frac{n(n-1)}{2} 对比:有向图中每一对顶点可以有两条方向相反的边,所以要在无向完全图边数基础上乘以 2。

∣E∣max⁡=n(n−1)|E|_{\max}=n(n-1)

详细学习笔记

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

符号定义 · 21

N

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

    考点文字中出现“N个顶点”

符号

N

含义

图中顶点的数量

适用范围

正整数

e

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

    考点文字中出现“e条边”

符号

e

含义

图中边的数量

适用范围

非负整数

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”等表述。

待核验内容
  1. 画面同时使用大写 N 和小写 n 指代顶点数,视频未解释二者是否严格同义。

符号

n

含义

图中顶点个数

适用范围

正整数

G

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

    板书写作“如果G是连通图”“若G是强连通图”。

符号

G

含义

被讨论的图

适用范围

无向图或有向图

A, B, C, D, E

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

    上方示例图与下方图1、图2中的顶点均用 A、B、C、D、E 标注。

  2. 声音
    观察依据

    讲解者反复说“A可以走B再走到C”“B可以到A”等。

符号

A, B, C, D, E

含义

示例图中的顶点标签

适用范围

顶点集合中的元素

n

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

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

  2. 声音
    观察依据

    讲解中把具体例子中的顶点数代入 n=5n=5,说明“n在这个地方就是n等于5嘛,五个顶点”。

符号

n

含义

图中顶点的个数

适用范围

正整数;在本片段的具体示例中取 n=5n=5

G

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

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

符号

G

含义

被讨论的图;在本片段中既指无向图也指有向图,需结合上下文判断

n-1

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

    “如果G是连通图则最少有n-1条边”。

  2. 声音
    观察依据

    讲解者画出5个顶点并用4条边把它们连起来,说“五个顶点用到了四条边”。

符号

n-1

含义

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

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

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

    “最多为 n∗(n−1)/2n*(n-1)/2”。

  2. 公式
    观察依据

    板书写出 4+3+2+1=(5⋅4)/24+3+2+1 = (5\cdot 4)/2,并口头联系到完全图。

符号

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

含义

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

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

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

    “若为非连通图,则z最多可能有 (n-1)*(n-2)/2 条边”。

  2. 声音
    观察依据

    讲解者举例构造:让其中5个顶点形成完全图,另一个顶点与前5个都不相连。

待核验内容
  1. 字幕中该处写作“z最多可能有”,但 z 未在片段内另行定义,疑似排版占位或笔误。

符号

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

含义

n 个顶点的无向非连通图可能达到的最大边数

n

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

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

  2. 图示
    观察依据

    右侧“强连通图”示例为5个顶点的有向环。

符号

n

含义

n 个顶点的有向强连通图最少边数;片段中以“回路”形式给出

知识点 · 21

连通图的定义

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

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

  2. 字幕依据
    观察依据

    图中任意两个顶点都是连通的,则称为连通图,否则是非连通图

定义
解释

在无向图中,如果任意两个顶点之间都存在路径,则该图被称为连通图;否则为非连通图。

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

强连通图的定义

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

    在强连通图当中,图中任意一对顶点都是强连通的,则称此图为强连通图。

  2. 字幕依据
    观察依据

    图中任意一对顶点都是强连通的,则称此图为强连通图

定义
解释

在有向图中,如果任意一对顶点之间都存在双向路径(即从 u 到 v 和从 v 到 u 都有路径),则该图被称为强连通图。

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

连通图的边数范围

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

    如果G是连通图则最少有n-1条边,最多为 n∗(n−1)/2n * (n-1) / 2

公式
解释

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

公式
e≥N−1,e≤N(N−1)2e \ge N - 1, \quad e \le \frac{N(N-1)}{2}
适用条件
  1. G 是无向连通图

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

非连通图的最大边数

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

    若为非连通图,则e最多可能有(n-1) * (n-2) / 2条边

公式
解释

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

公式
e≤(N−1)(N−2)2e \le \frac{(N-1)(N-2)}{2}
适用条件
  1. G 是无向非连通图

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

强连通图的边数范围

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

    在N个顶点的有向图G中,若G是强连通图,则最少有n条边(回路),最多n*(n-1)

公式
解释

对于 N 个顶点的有向图 G,如果是强连通图,则最少有 N 条边(构成一个回路),最多有 N∗(N−1)N*(N-1) 条边。

公式
e≥N,e≤N(N−1)e \ge N, \quad e \le N(N-1)
适用条件
  1. G 是有向强连通图

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

连通图

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

    左侧板书写明:“图中任意两个顶点都是连通的,则称为连通图,否则是非连通图。”

  2. 图示
    观察依据

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

定义
解释

视频将连通图定义为无向图中任意两个顶点之间都存在通路的情形;只要存在某一对顶点不连通,就称为非连通图。

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

  2. 要求任意两个顶点都连通

强连通图

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

    右侧板书写明:“图中任意一对顶点都是强连通的,则称此图为强连通图。”

  2. 图示
    观察依据

    右侧示例为有向图,顶点 A、B、C、D、E 之间带有方向箭头。

  3. 声音
    观察依据

    讲解者说“A可以走B再走到C……C走D再走到A……A与C之间也是强连通”,并总结“任意一对顶点都是强连通的,所以该图就是一个强连通图”。

定义
解释

视频把强连通图定义为有向图中任意一对顶点之间都能沿有向路径互相到达的图。判断方法是逐对检查是否存在双向可达路径。

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

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

先修条目
  1. 连通图

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

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

    板书考点写出:“对于N个顶点的无向图G,如果G是连通图则最少有n-1条边,最多为 n∗(n−1)/2n*(n-1)/2;若为非连通图,则最多可能有 (n-1)*(n-2)/2 条边。”

  2. 声音
    观察依据

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

待核验内容
  1. 视频只口头解释最小边数对应“类似于一棵树”,未给出正式证明。

公式
解释

视频给出 n 个顶点无向图在连通与非连通两种情形下的边数极值:连通时最少 n-1 条边、最多完全图边数 n(n−1)/2n(n-1)/2;非连通时最多 (n-1)(n-2)/2 条边。

公式
minimum connectedn−1maximum connectedn(n−1)2maximum disconnected(n−1)(n−2)2\text{minimum connected} n-1 \quad \text{maximum connected} \frac{n(n-1)}{2} \quad \text{maximum disconnected} \frac{(n-1)(n-2)}{2}
适用条件
  1. G 为含 n 个顶点的无向图

  2. 分别针对 G 连通与 G 非连通两种情形

先修条目
  1. 连通图

有向强连通图的边数范围

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

    板书最后一行写出:“在N个顶点的有向图G中,若G是强连通图,则最少有n条边(回路),最多n∗(n−1)n*(n-1)。”

待核验内容
  1. 视频在本片段内未展开解释“最少有n条边(回路)”的完整证明,只在前面用三顶点环作直观说明。

公式
解释

视频给出 n 个顶点有向图在强连通时的边数极值:最少 n 条边,并以“回路”提示最小结构;最多 n(n−1)n(n-1) 条边,即任意两不同顶点间都可存在一对相反方向的有向边。

公式
minimum strongly connectednmaximum strongly connectedn(n−1)\text{minimum strongly connected} n \quad \text{maximum strongly connected} n(n-1)
适用条件
  1. G 为含 n 个顶点的有向图

  2. G 是强连通图

先修条目
  1. 强连通图

连通图与非连通图

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

    “图中任意两个顶点都是联通的,则称为连通图,否则是非连通图”。

  2. 图示
    观察依据

    左侧标题为“连通图”,配有一个5顶点无向图示例。

定义
解释

片段对无向图给出定义:若图中任意两个顶点之间都存在通路,则称为连通图;只要存在某两个顶点不连通,就称为非连通图。左侧示例用绿色无向图直观表示这一概念。

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

  2. 判定依据是“任意两个顶点”是否都连通

强连通图

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

    “图中任意一对顶点都是强联通的,则称此图为强连通图”。

  2. 图示
    观察依据

    右侧标题为“强连通图”,配有一个5顶点有向环示例。

定义
解释

片段对有向图给出定义:若图中任意一对顶点之间都是强连通的,则称此图为强连通图。右侧示例用橙色有向环表示每个顶点都能沿有向边到达其他顶点。

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

  2. 要求任意一对顶点双向可达

无向连通图最少边数

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

    “如果G是连通图则最少有n-1条边”。

  2. 声音
    观察依据

    讲解者画5个点并用4条边连接,说“五个顶点用到了四条边”。

  3. 图示
    观察依据

    红笔在空白处画出 A、B、C、D、E 五个点,并以 C 为中心连出4条边。

公式
解释

对于 n 个顶点的无向图 G,若 G 是连通图,则其边数至少为 n-1。片段通过 n=5n=5 的例子说明:5 个顶点最少需要 4 条边才能保持连通。

公式
∣E∣≥n−1|E|\ge n-1
适用条件
  1. G 为无向图

  2. G 有 n 个顶点

  3. G 连通

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

图1不是强连通图

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

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

  2. 图示
    观察依据

    图1中 A 到 D 有单向箭头,D 没有回到 A 的路径。

命题
命题

图1不是强连通图,因为存在顶点 A 与 D,使得 A 可到 D,但 D 不可到 A。

前提
  1. 图1为有向图

  2. 图中存在从 A 到 D 的有向边

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

量词

存在一对顶点 (A,D) 不满足双向可达

图2不是强连通图

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

    讲解者说:“图二肯定也不是了……B可以到A,A怎么跑到B呢?不行,所以说图二也不是一个强连通图。”

  2. 图示
    观察依据

    图2中 B→AB\to A、B→CB\to C、C→AC\to A 均为单向边,A 没有回到 B 的路径。

命题
命题

图2不是强连通图,因为存在顶点 A 与 B,使得 B 可到 A,但 A 不可到 B。

前提
  1. 图2为有向图

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

  3. 不存在从 A 到 B 的有向路径

量词

存在一对顶点 (A,B) 不满足双向可达

把图2改成有向环后成为强连通图且边数最小

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

    讲解者说:“除非他要把这个箭头改一下……这样形成一个环,它就是强连通图,并且这种情况下它的边数是最小的。”

  2. 图示
    观察依据

    讲解者在图2上补画反向箭头,使 A、B、C 形成有向环。

待核验内容
  1. 视频未给出一般性证明,只以三顶点环作直观例子。

命题
命题

将图2中的边方向调整为形成有向环后,该图成为强连通图;在该例子中这种结构的边数是最小的。

前提
  1. 修改后的图中 A、B、C 形成有向环

  2. 环上每个顶点都可沿方向到达其余顶点

量词

针对该示例图的具体修改

无向连通图边数下界

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

    “如果G是连通图则最少有n-1条边”。

  2. 声音
    观察依据

    讲解者用5个顶点、4条边的例子支持该结论。

命题
命题

若 G 是 n 个顶点的无向连通图,则 |E(G)E(G)| ≥ n-1。

前提
  1. G 是无向图

  2. G 有 n 个顶点

  3. G 连通

量词

对所有满足前提的无向连通图 G 成立

无向简单图边数上界

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

    “最多为 n∗(n−1)/2n*(n-1)/2”。

  2. 声音
    观察依据

    讲解者把它解释为完全图的边数。

命题
命题

若 G 是 n 个顶点的无向简单图,则 |E(G)E(G)| ≤ n(n−1)/2n(n-1)/2。

前提
  1. G 是无向简单图

  2. G 有 n 个顶点

量词

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

无向非连通图边数上界

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

    “若为非连通图,则z最多可能有 (n-1)*(n-2)/2 条边”。

  2. 声音
    观察依据

    讲解者用“5个顶点组成完全图,第6个顶点孤立”的构造说明该上界可达。

待核验内容
  1. 字幕中的 z 未定义,疑似笔误。

命题
命题

若 G 是 n 个顶点的无向非连通简单图,则 |E(G)E(G)| ≤ (n-1)(n-2)/2。

前提
  1. G 是无向简单图

  2. G 有 n 个顶点

  3. G 非连通

量词

对所有满足前提的无向非连通图成立

有向强连通图边数下界

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

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

  2. 图示
    观察依据

    右侧有向环示例显示 n 个顶点用 n 条边实现强连通。

命题
命题

若 G 是 n 个顶点的有向强连通图,则 |E(G)E(G)| ≥ n。

前提
  1. G 是有向图

  2. G 有 n 个顶点

  3. G 强连通

量词

对所有满足前提的有向强连通图成立

有向强连通图边数上界

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

    “最多n∗(n−1)n*(n-1)”。

待核验内容
  1. 片段未给出证明,只给出结论性文字。

命题
命题

若 G 是 n 个顶点的有向强连通简单图,则 |E(G)E(G)| ≤ n(n−1)n(n-1)。

前提
  1. G 是有向简单图

  2. G 有 n 个顶点

  3. G 强连通

量词

对所有满足前提的有向强连通图成立

无向连通图边数极值命题

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

    幻灯片文字明确写出该结论。

命题
命题

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

前提
  1. G 是无向图

  2. G 有 n 个顶点

  3. G 连通

量词

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

无向非连通图边数上界命题

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

    幻灯片文字明确写出该结论。

命题
命题

对于 n 个顶点的无向图 G,如果 G 是非连通图,则最多可能有 (n−1)(n−2)2\frac{(n-1)(n-2)}{2} 条边。

前提
  1. G 是无向图

  2. G 有 n 个顶点

  3. G 非连通

量词

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

有向强连通图边数极值命题

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

    幻灯片文字明确写出该结论。

命题
命题

在 n 个顶点的有向图 G 中,若 G 是强连通图,则最少有 n 条边,最多有 n(n−1)n(n-1) 条边。

前提
  1. G 是有向图

  2. G 有 n 个顶点

  3. G 强连通

量词

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

推导与证明 · 10

通过路径判断连通性

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

    比方说这个A和D...它可以通过A走到C,C再走到D...所以说可以认为A与D之间是连通的。并且A与B、C、E...都是存在路径的。所以这幅图就是一个连通图。

  2. 动画
    观察依据

    讲师在左侧无向图上用红线描出 A-C-D 的路径

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

    寻找顶点 A 和 D 之间的路径

    步骤依据

    连通意味着存在路径,不要求直接相连

    视频直接表达
  2. 公式
    ∀u,v∈V,∃P(u,v)\forall u, v \in V, \exists P(u, v)
    解释

    图中任意两点间均存在路径

    步骤依据

    满足连通图的定义

    依据视频推导
结论

该无向图是连通图

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

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

    讲解者逐对检查上方有向图:“A可以走B再走到C……C走D再走到A……同样的A与E也是强连通,A与D也是强连通,还有B与C,B与E,B与D,C与E,C与D,E与D,都是强连通的。”

  2. 图示
    观察依据

    上方右侧有向图中各顶点之间存在可沿箭头行走的路径。

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

    先说明从 A 到 C 可沿有向路径到达。

    步骤依据

    依据图中箭头方向和讲解者口述路径。

    视频直接表达
  2. 公式
    C→D→AC \to D \to A
    解释

    再说明从 C 回到 A 也存在有向路径,因此 A 与 C 双向可达。

    步骤依据

    依据图中箭头方向和讲解者口述路径。

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

    随后讲解者继续列举 A 与 E、A 与 D、B 与 C、B 与 E、B 与 D、C 与 E、C 与 D、E 与 D 等顶点对,说明它们都强连通。

    步骤依据

    依据强连通图定义:任意一对顶点都强连通。

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

    由所有顶点对均双向可达,得出结论。

    步骤依据

    直接套用强连通图定义。

    视频直接表达
结论

上方右侧有向图满足任意一对顶点都强连通,因此是强连通图。

用一对顶点否定图1的强连通性

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

    讲解者指出“A可以到D,但D不能反过去到A”。

  2. 图示
    观察依据

    图1中 D 为只有入边的终点,没有离开 D 的箭头。

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

    图中存在从 A 到 D 的有向路径。

    步骤依据

    直接读图。

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

    但图中不存在从 D 回到 A 的有向路径。

    步骤依据

    直接读图,D 没有出边。

    视频直接表达
  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,A怎么跑到B呢?不行”。

  2. 图示
    观察依据

    图2中 B→AB\to A、B→CB\to C、C→AC\to A,A 没有指向其他顶点的出边。

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

    图中存在从 B 到 A 的有向路径。

    步骤依据

    直接读图。

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

    但 A 没有出边,无法沿箭头回到 B。

    步骤依据

    直接读图。

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

    所以 B 与 A 不满足强连通。

    步骤依据

    强连通要求双向可达。

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

    存在一对顶点不可互达,故整体不是强连通图。

    步骤依据

    强连通图定义的否定。

    视频直接表达
结论

图2不是强连通图。

通过补画反向边把图2变成强连通图

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

    讲解者说“把这个箭头改一下……B可以到C,C可以到A,A可以到B,这样形成一个环,它就是强连通图”。

  2. 图示
    观察依据

    讲解者在图2上补画反向箭头,形成 A、B、C 的有向环。

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

    修改后三个顶点沿同一方向构成闭合有向环。

    步骤依据

    依据讲解者补画箭头后的图形。

    视频直接表达
  2. 公式
    ∀u,v∈{A,B,C}, u↔v\forall u,v \in \{A,B,C\},\ u \leftrightarrow v
    解释

    在有向环中,任取两点都可沿环方向到达对方。

    步骤依据

    环的可达性直观说明。

    依据视频推导
  3. 公式
    the modified graph is strongly connected\text{the modified graph is strongly connected}
    解释

    由于三对顶点均双向可达,满足强连通图定义。

    步骤依据

    套用强连通图定义。

    视频直接表达
结论

把图2改成有向环后,它成为强连通图;视频进一步称这种结构边数最小。

完全图边数的逐步计数推导

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

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

  2. 公式
    观察依据

    板书写出 4+3+2+1=(5⋅4)/24+3+2+1 = (5\cdot 4)/2。

  3. 图示
    观察依据

    左侧绿色完全图被红笔圈注,用来辅助计数。

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

    对5个顶点的完全图,从第一个顶点出发可连4条边;去掉已计过的边后,第二个顶点再新增3条,第三个新增2条,第四个新增1条。

    步骤依据

    按顶点顺序逐层计数,避免重复统计同一条无向边。

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

    把 4+3+2+14+3+2+1 看成首项为4、末项为1、项数为4的等差数列,也可写成 (5⋅45\cdot 4)/2。

    步骤依据

    讲解者口头使用“首项加末项”的等差求和思路,并在板书写出该结果。

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

    将具体例子中的 5 替换为一般顶点数 n,得到 n 个顶点完全图的边数公式。

    步骤依据

    由特例推广到一般公式;片段文字已直接给出该通式。

    视频直接表达
结论

n 个顶点的无向完全图有 n(n−1)/2n(n-1)/2 条边,因此这也是无向简单图的最大边数。

非连通图最大边数的构造推导

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

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

  2. 图示
    观察依据

    红笔画出 A、B、C、D、E 被圈在一起,F 单独在外。

待核验内容
  1. 片段只讲到构造思路,未继续写出最终数值计算。

直观解释
步骤
  1. 公式
    Kn−1K_{n-1}
    解释

    为了让图边数尽可能多但仍不连通,先把其中 n-1 个顶点两两相连,形成一个完全子图。

    步骤依据

    完全子图在给定顶点数下边数最多。

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

    这 n-1 个顶点内部的边数就是 (n-1)(n-2)/2。

    步骤依据

    套用前面得到的完全图边数公式。

    依据视频推导
  3. 公式
    v isolatedv \text{ isolated}
    解释

    剩下的第 n 个顶点不与任何顶点相连,因此整个图仍然非连通。

    步骤依据

    孤立点保证不存在跨分量的通路。

    视频直接表达
结论

由此可得:n 个顶点的无向非连通图最多有 (n-1)(n-2)/2 条边。

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

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

    讲解者说“因为总总的顶点数为六个”“最终答案是二分之五乘四”“就是二分之n减一乘上n减二”“因为它是根据顶点为n减一个顶点嘛”“本来是n个减去这一个位,然后剩余的剩余的顶点数就为n减一个顶点”“n减一个顶点对应的完全图的数量不就是二分之n乘n减一嘛”“如果这个单独出来的一个顶点与下面的这五个顶点当中任意一个顶点之间都有连线的话,那么它就不能成为非连通图了”。

  2. 动画
    观察依据

    讲解者在空白处圈出 6,并写出 n、n-1、n-2 等提示,配合口头解释。

待核验内容
  1. 讲解者口述中“二分之n乘n减一”与最终公式“二分之n减一乘n减二”之间的过渡略快,但整体指向剩余 n-1 个顶点构成完全图。

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

    先把一个顶点视为孤立点,使图保持非连通。

    步骤依据

    讲解者说“本来是n个减去这一个位”,即从 n 个顶点中拿出一个单独顶点。

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

    剩下的顶点数为 n-1。

    步骤依据

    讲解者明确说“剩余的顶点数就为n减一个顶点”。

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

    为了让总边数最多,让这 n-1 个剩余顶点之间两两相连,形成完全图。

    步骤依据

    讲解者说“n减一个顶点对应的完全图的数量不就是……”,并把答案落到“二分之n减一乘上n减二”。

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

    若把这个孤立顶点再与其余任一顶点相连,图就不再是非连通图。

    步骤依据

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

    视频直接表达
结论

因此,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 条边。

    步骤依据

    讲解者总结“n个顶点对应n条边”。

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

    在这个有向环中,任意两个顶点都可沿环互相到达,因此图是强连通的。

    步骤依据

    这是“环形”构造用于说明强连通最少边数的直接含义。

    依据视频推导
结论

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

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

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

    讲解者说“最多有n乘n减一”“这个最多的情况与之前我们讲的这个性质是一样的,最多有二分之n乘n减一嘛”“因为在有向图当中它有两条边嘛,它一个指过去一个指过来,所以说在它基础上它要乘个二”。

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

    先回忆 n 个顶点无向完全图的边数。

    步骤依据

    讲解者明确引用“最多有二分之n乘n减一”。

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

    在有向图中,每一对顶点之间可以有两条方向相反的边。

    步骤依据

    讲解者说“它一个指过去一个指过来,所以说在它基础上它要乘个二”。

    视频直接表达
结论

因此 n 个顶点有向图的最大边数为 n(n−1)n(n-1)。

例题详解 · 9

无向连通图示例

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

    左侧展示了一个包含 A, B, C, D, E 五个顶点的无向图

  2. 声音
    观察依据

    讲师以 A 和 D 为例,说明它们之间虽然没有直接边,但存在 A-C-D 的路径,因此是连通的。

题目

判断给定的无向图是否为连通图

已知条件
  1. 无向图包含顶点 A, B, C, D, E

  2. 边包括 (A,B), (A,C), (B,C), (C,D), (C,E), (D,E) 等

目标

验证任意两点间是否存在路径

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

    验证 A 和 D 之间是否存在路径

    步骤依据

    通过中间节点 C 可以找到路径

    视频直接表达
  2. 公式
    The same reasoning applies to other pairs of points\text{The same reasoning applies to other pairs of points}
    解释

    验证其他任意两点间是否存在路径

    步骤依据

    观察图形可知所有点都在同一个连通分量中

    视频直接表达
结果

该图是连通图

检验

任意两点间均可找到路径

上方有向示例图判定为强连通图

依据清楚
视频直接表达
来源依据
  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,\ 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”为有向图,顶点 A、B、C、D,其中 A→DA\to D 为单向边。

  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”为有向图,顶点 A、B、C,边方向为 B→AB\to A、B→CB\to C、C→AC\to A。

  2. 声音
    观察依据

    讲解者说“B可以到A,A怎么跑到B呢?不行”。

题目

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

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

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

  3. A 没有回到 B 的出边路径

目标

判断图2是否满足任意一对顶点都强连通。

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

    B 可以到达 A。

    步骤依据

    直接读图。

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

    A 不能到达 B。

    步骤依据

    直接读图。

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

    所以 B 与 A 不满足强连通。

    步骤依据

    强连通要求双向可达。

    视频直接表达
结果

图2不是强连通图。

检验

通过找出一对不可互达顶点完成否定。

修改图2使其成为强连通图

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

    讲解者在图2上补画反向箭头,使 A、B、C 形成有向环。

  2. 声音
    观察依据

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

题目

如何改动图2的边方向,使它成为强连通图,并观察其边数特点。

已知条件
  1. 原图2为有向图

  2. 顶点为 A、B、C

  3. 讲解者可手工补画箭头

目标

构造一个强连通版本,并说明其边数最小。

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

    把边改成沿同一方向闭合的有向环。

    步骤依据

    依据讲解者补画后的图形。

    视频直接表达
  2. 公式
    ∀u,v∈{A,B,C}, u↔v\forall u,v \in \{A,B,C\},\ u \leftrightarrow v
    解释

    环上任意两点都可沿环到达彼此。

    步骤依据

    有向环的可达性。

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

    三顶点环恰用三条边实现强连通。

    步骤依据

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

    视频直接表达
结果

修改后的图2是强连通图,且在该例子中边数最小。

检验

检查任意两顶点是否都能沿环互相到达。

5个顶点连通图最少边数示例

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

    “我画一下吧,字母A B C D E。我们让C连A,C连B,C连D,C连E。”“看到没?五个顶点用到了四条边。”

  2. 图示
    观察依据

    红笔在空白处画出5个点,并以 C 为中心连出4条边。

题目

用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 作为中心点,分别连到其余4个顶点。

    步骤依据

    这样任意两点都可经过 C 相通,图连通。

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

    该构造一共使用了4条边。

    步骤依据

    与“n 个顶点连通图最少 n-1 条边”的结论一致。

    视频直接表达
结果

5个顶点的连通无向图最少需要4条边。

检验

讲解者直接数出所画边数为4,并与 n-1 对应。

5个顶点完全图边数示例

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

    “完全图当中不就是二分之n乘n减一条边吗?”“A与另外四个顶点都有相连……四加三加二加一……就等于二分之五乘四。”

  2. 公式
    观察依据

    板书写出 4+3+2+1=(5⋅4)/24+3+2+1 = (5\cdot 4)/2。

  3. 图示
    观察依据

    左侧绿色5顶点完全图被圈出并用于计数。

题目

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

已知条件
  1. 顶点数 n=5n=5

  2. 图为完全图

目标

求边数并联系通式 n(n−1)/2n(n-1)/2

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

    按顶点顺序逐次新增边:第一个点连4条,第二个再连3条,第三个再连2条,第四个再连1条。

    步骤依据

    避免重复计数同一条无向边。

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

    把上述求和写成等差求和结果。

    步骤依据

    讲解者口头使用“首项加末项”的求和说法。

    视频直接表达
  3. 公式
    n(n−1)2∣n=5=5⋅42\frac{n(n-1)}{2}\bigg|_{n=5}=\frac{5\cdot 4}{2}
    解释

    将一般公式代入 n=5n=5,得到同样结果。

    步骤依据

    与板书和口述一致。

    视频直接表达
结果

5个顶点的完全图有10条边,即 (5⋅45\cdot 4)/2。

检验

特例计算与通式代入结果一致。

非连通图最大边数构造示例

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

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

  2. 图示
    观察依据

    红笔画出 A、B、C、D、E 被圈在一起,F 单独在外。

待核验内容
  1. 片段未继续算出该例子的具体边数,只停留在构造说明。

题目

构造一个边数尽可能多但仍然非连通的无向图。

已知条件
  1. 示例中共有6个顶点:A、B、C、D、E、F

  2. 要求图非连通

目标

说明如何使边数最大化同时保持非连通

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

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

    步骤依据

    在5个顶点内部,完全图边数最多。

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

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

    步骤依据

    这样 F 自成一个孤立分量,整体图仍非连通。

    视频直接表达
结果

该构造说明:非连通但边数最多的图,可取一个 n-1 个顶点的完全图再加一个孤立点。

检验

讲解者通过“完全子图 + 孤立点”的构造直接支持上界思路。

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

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

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

  2. 动画
    观察依据

    讲解者在空白处圈出数字 6,并写出与 5、4 相关的计算提示。

题目

若总顶点数为 6,求无向非连通图最多可能有多少条边。

已知条件
  1. 顶点总数 n=6n=6

  2. 图为无向图

  3. 图非连通

目标

求最大边数。

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

    代入非连通无向图最大边数公式。

    步骤依据

    来自幻灯片公式 |E| ≤(n−1)(n−2)2\le \frac{(n-1)(n-2)}{2}。

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

    化简括号内的差值。

    步骤依据

    讲解者口述“二分之五乘四”。

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

    计算得到最大边数。

    步骤依据

    算术化简。

    依据视频推导
结果

10 条边。

检验

与幻灯片给出的通式在 n=6n=6 时一致。

图示与动画 · 12

图表标注与路径绘制

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

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

  2. 动画
    观察依据

    讲师在左侧无向图上画出 A 到 D 的路径 A-C-D

  3. 动画
    观察依据

    讲师在右侧有向图上画出 A 到 B 的双向箭头,并在下方写出 A -> B 和 B -> A

图中对象
  1. 无向图

  2. 有向图

  3. 红色手写笔迹

变化过程
  1. 添加文字标注区分无向和有向

  2. 绘制路径以解释连通性

  3. 绘制双向箭头以解释强连通性

不变量
  1. 图的基本拓扑结构不变

数学含义

通过动态标注强调连通图针对无向图,强连通图针对有向图,并直观展示路径和双向可达的概念。

页面整体布局

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

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

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

  2. 左侧无向图示例

  3. 右侧有向图示例

  4. 左下考点文字

  5. 右下“图1”“图2”

变化过程
  1. 讲解过程中在右侧有向图和下方图1、图2上陆续添加红色箭头、圈注和叉号。

不变量
  1. 页面主标题和左右两大定义区始终可见。

数学含义

版面对比了无向图的“连通”与有向图的“强连通”,并用下方例题检验概念。

右上有向图的路径描画

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

    讲解者在右上有向图上沿边描画路径,并圈出若干顶点。

  2. 声音
    观察依据

    同步口述“A可以走B再走到C”“C走D再走到A”等。

图中对象
  1. 顶点 A、B、C、D、E

  2. 有向边

  3. 红色描画轨迹

变化过程
  1. 沿箭头依次描出若干可达路径

  2. 用圈注强调正在检查的顶点对

不变量
  1. 图本身结构不变

  2. 箭头方向不变

数学含义

视觉动作用于说明“任意一对顶点都强连通”的逐对验证过程。

图1上的反例标注

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

    讲解者在图1上描出 A 到 D 的方向,并在 D 附近做否定标记。

  2. 声音
    观察依据

    同步说“D不能反过去到A”。

图中对象
  1. 图1

  2. 顶点 A、D

  3. 红色标记

变化过程
  1. 强调 A→DA\to D 可达

  2. 强调 D→AD\to A 不可达

不变量
  1. 图1原有边方向不变

数学含义

用一对不可互达顶点说明图1不是强连通图。

图2的否定与改造

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

    先在图2上指出 B→AB\to A 可达而 A→BA\to B 不可达,随后补画反向箭头形成环。

  2. 声音
    观察依据

    讲解者先说“图二也不是一个强连通图”,后说“把这个箭头改一下……形成一个环,它就是强连通图”。

图中对象
  1. 图2

  2. 顶点 A、B、C

  3. 新增红色箭头

变化过程
  1. 先标出 A 无法回到 B

  2. 后补画箭头使 A、B、C 构成有向环

不变量
  1. 顶点集合不变

  2. 讨论对象仍是同一三顶点有向图

数学含义

同一图形先作为非强连通反例,再通过改变边方向展示最小强连通结构。

课件总体版式

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

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

图中对象
  1. 左侧绿色无向图

  2. 右侧橙色有向图

  3. 下方考点文字

  4. 右下角图1和图2

不变量
  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 为中心的边

变化过程
  1. 先写顶点标签

  2. 再从中心点 C 向外逐条画边

不变量
  1. 顶点总数保持为5

  2. 边数最终为4

数学含义

该动画演示 n 个顶点的连通图最少可用 n-1 条边实现。

完全图边数标注过程

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

    红笔圈住左侧绿色完全图,并在上方写出 4、4+34+3、4+3+24+3+2、4+3+2+14+3+2+1,最后写成 (5⋅45\cdot 4)/2。

  2. 公式
    观察依据

    板书逐步累加并转化为乘积除以2。

图中对象
  1. 左侧5顶点完全图

  2. 红色累加式 4+3+2+14+3+2+1

  3. 结果 (5⋅45\cdot 4)/2

变化过程
  1. 先圈出完全图

  2. 再逐项写出累加过程

  3. 最后改写为乘积形式

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

  2. 讨论对象始终是无向完全图

数学含义

视觉过程把“逐点新增边”的计数方法转成等差求和,再过渡到一般公式 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. 圈住的五个顶点

  3. 孤立的 F

变化过程
  1. 先列出6个顶点

  2. 再把前5个顶点圈成一组

  3. 最后把 F 留在组外

不变量
  1. 总顶点数为6

  2. 图始终保持非连通

数学含义

该动画直观展示“一个完全分量加一个孤立点”的极值构造思想。

幻灯片总体布局

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

    整段画面为同一张幻灯片:上方左右分别是“连通图”和“强连通图”示例,下方是“考点”文字与公式,右下还有“图1”“图2”两个小型有向图示例。

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

  2. 左侧“连通图”示例

  3. 右侧“强连通图”示例

  4. 下方“考点”文字与公式

  5. 右下“图1”“图2”

变化过程
  1. 讲解过程中红笔在空白处不断添加圈注、字母和箭头

不变量
  1. 幻灯片主文字和示例图始终可见

  2. 主题一直围绕连通图与强连通图的边数极值

数学含义

画面以静态讲义为主,动态红笔批注用于补充推导和构造示例。

非连通图最大边数的红笔批注

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

    讲解者在空白处圈出“6”,并陆续写出 n、n-1、n-2 等提示,围绕非连通图最大边数进行标注。

待核验内容
  1. 个别手写符号较潦草,但结合音频可确认其在说明 n、n-1、n-2 的关系。

图中对象
  1. 圈出的数字 6

  2. 手写的 n、n-1、n-2

  3. 原有幻灯片公式

变化过程
  1. 从具体数值 6 过渡到一般表达式 n-1、n-2

  2. 通过圈画强调“剩余顶点构成完全图”的思想

不变量
  1. 幻灯片原公式保持不变

数学含义

这些批注把抽象公式 (n−1)(n−2)2\frac{(n-1)(n-2)}{2} 与“拿出一个孤立点,其余点尽量连满”的构造联系起来。

有向强连通图最少边数的环状构造

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

    讲解者在空白处画出 A、B、C、D 四个顶点及有向箭头,形成环状结构。

  2. 声音
    观察依据

    讲解者同步说“让它成为一个环形嘛”“n个顶点对应n条边”。

待核验内容
  1. 口述箭头顺序与画面局部笔顺不完全一致,但都指向同一个有向环构造。

图中对象
  1. 手写顶点 A、B、C、D

  2. 有向箭头

  3. 空白批注区

变化过程
  1. 先写顶点字母,再补有向边,最后围成环

不变量
  1. 顶点数为 4 时边数也为 4

  2. 构造目的是说明最少边情形

数学含义

该动画直观展示了强连通有向图最少边数 n 的取得方式:把所有顶点串成一个有向环。

易错点 · 9

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

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

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

误区

认为两个顶点之间必须有直接的边相连才是连通的。

说明

连通是指两个顶点之间存在路径,路径可以经过其他中间顶点,不要求直接相连。

误把有向图中的单向可达当作强连通

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

    讲解者反复强调“D不能反过去到A”“A怎么跑到B呢?不行”。

  2. 图示
    观察依据

    图1、图2都依靠箭头方向判断可达性。

误区

看到两点之间有一条路径就以为它们强连通。

说明

强连通要求双向可达;只满足一个方向不足以判定为强连通。

误以为连通图必须有很多边

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

    讲解者问“什么时候情况是最小的呢?就是类似于一棵树的时候”。

  2. 公式
    观察依据

    板书给出连通无向图最少 n-1 条边。

误区

认为只要连通就需要接近完全图的边数。

说明

n 个顶点的无向连通图最少只需要 n-1 条边,典型情形就是树状结构。

字幕中 z 的含义不明

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

    “若为非连通图,则z最多可能有 (n-1)*(n-2)/2 条边”。

待核验内容
  1. 无法确认 z 是笔误还是排版占位符,但片段内未给出其定义。

误区

读者可能误以为 z 是另一个新引入的量。

说明

在本片段语境中,该句实际是在说非连通图最多可能有 (n-1)(n-2)/2 条边;z 未被另行定义,应视为可疑排版或笔误,而不是新的数学对象。

混淆无向连通与有向强连通

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

    左栏“连通图”配无向图,右栏“强连通图”配有向图。

  2. 字幕依据
    观察依据

    两侧定义分别强调“任意两个顶点都是联通的”和“任意一对顶点都是强联通的”。

误区

可能把“连通图”和“强连通图”当成同一种条件。

说明

片段通过左右分栏明确区分:连通图针对无向图,只要求任意两点相通;强连通图针对有向图,要求任意一对顶点双向可达。

忽略最少边数差异

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

    无向连通图“最少有n-1条边”;有向强连通图“最少有n条边(回路)”。

  2. 图示
    观察依据

    右侧示例是有向环。

误区

可能误以为无向连通图和有向强连通图的最少边数相同。

说明

片段明确给出不同下界:无向连通图最少 n-1 条边,而有向强连通图最少 n 条边,原因是有向图中需要用有向回路保证双向可达。

把“连通”误理解为“两两直接相连”

时间近似
补充解释
来源依据
  1. 图示
    观察依据

    左侧“连通图”示例并不是每两点都有直接边,而是通过路径相连。

  2. 公式
    观察依据

    幻灯片同时给出连通图最少 n-1 条边、最多 n(n−1)2\frac{n(n-1)}{2} 条边。

误区

容易把连通图误解为任意两点都必须有直接边。

说明

视频中的定义是“任意两个顶点都是连通的”,即存在路径即可;只有达到最多边数 n(n−1)2\frac{n(n-1)}{2} 时才是无向完全图。

误以为非连通图还能继续增加孤立点的连边

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

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

误区

在求非连通图最大边数时,容易想再把孤立点与其余点相连以增加边数。

说明

视频说明一旦这个单独顶点与其余任一顶点相连,图就不再是非连通图,因此最大边数只能来自剩余 n-1 个点内部的完全连接。

误以为强连通有向图最少也要接近完全图那么多边

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

    讲解者用“环形”说明最少边数,并说“n个顶点对应n条边”。

误区

容易把“强连通”与“边很多”直接挂钩。

说明

视频给出的最少情形只是一个有向环,n 个顶点只需 n 条边即可强连通。

概念关系 · 12

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

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

    这个定义与其实与连通图当中都比较像吧

对比
解释

连通图针对无向图,要求任意两点有路径;强连通图针对有向图,要求任意两点有双向路径。两者定义形式相似但适用对象和条件不同。

连通图 → 强连通图

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

    左右两侧分别给出“连通图”和“强连通图”的定义。

  2. 图示
    观察依据

    左侧配无向图,右侧配有向图。

对比
解释

连通图针对无向图的任意两点可达,强连通图针对有向图的任意两点双向可达。

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

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

    讲解者先说改成环后“边数是最小的”,后面板书又给出有向强连通图最少 n 条边。

应用
解释

前面用三顶点环直观说明最小强连通结构,后面把它推广为 n 顶点有向强连通图最少 n 条边。

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

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

    板书在“考点”中直接对“G是连通图”给出最少 n-1 条边、最多 n(n−1)/2n(n-1)/2 条边。

应用
解释

连通图定义被用于推出无向图在连通与非连通情形下的边数极值。

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

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

    先给出“连通图”定义,随后在“考点”中给出“如果G是连通图则最少有n-1条边”。

应用
解释

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

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

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

    讲解者把最大边数解释为“完全图当中不就是二分之n乘n减一条边吗”。

对比
解释

无向图最大边数对应完全图;而非连通图的最大边数则来自“去掉一个孤立点后,其余 n-1 个点仍尽量稠密”的对比构造。

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

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

    右栏先定义“强连通图”,后文给出“若G是强连通图,则最少有n条边(回路)”。

应用
解释

强连通性的双向可达要求,直接对应有向环这种最少 n 条边的实现方式。

连通图与非连通图 → 强连通图

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

    左栏为无向图示例,右栏为有向图示例;标题分别为“连通图”和“强连通图”。

对比
解释

片段把无向图的连通性与有向图的强连通性并列对照,强调二者适用对象和判定条件不同。

连通图与非连通图 → n 个顶点无向连通图的边数范围

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

    幻灯片先定义连通图,再给出“如果G是连通图则最少有n-1条边,最多为 n∗(n−1)/2n*(n-1)/2”。

应用
解释

无向连通图的边数范围直接建立在“连通图”定义之上。

强连通图 → n 个顶点有向强连通图的边数范围

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

    幻灯片先定义强连通图,再给出“在n个顶点的有向图G中,若G是强连通图,则最少有n条边……最多n∗(n−1)n*(n-1)”。

应用
解释

有向强连通图的边数极值命题以强连通图定义为前提。

n 个顶点无向连通图的边数范围 → n 个顶点有向强连通图的边数范围

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

    讲解者说“这个最多的情况与之前我们讲的这个性质是一样的,最多有二分之n乘n减一嘛”“因为在有向图当中它有两条边嘛……所以说在它基础上它要乘个二”。

对比
解释

视频把有向图最大边数 n(n−1)n(n-1) 与无向完全图最大边数 n(n−1)2\frac{n(n-1)}{2} 对比,说明有向情形每对顶点可有两条反向边。

n 个顶点无向连通图的边数范围 → n 个顶点无向非连通图的边数上界

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

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

对比
解释

同一类无向图按是否连通分成两种边数极值情形。

问题定位 · 21

什么是连通图?

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

    好,我们接着来看一下连通图的定义。

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

什么是强连通图?

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

    在强连通图当中,图中任意一对顶点都是强连通的,则称此图为强连通图。

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

连通图和非连通图的边数有什么规律?

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

    考点:对于N个顶点的无向图G...

涉及知识点
  1. 连通图的边数范围
  2. 非连通图的最大边数

什么是强连通图?

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

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

涉及知识点
  1. 强连通图

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

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

    讲解者用 A 到 D、D 不能回 A 判断图1。

涉及知识点
  1. 强连通图
  2. 图1是否为强连通图

为什么强连通有向图最少需要 n 条边?

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

    讲解者说改成环后“边数是最小的”。

  2. 公式
    观察依据

    板书给出有向强连通图最少 n 条边。

涉及知识点
  1. 有向强连通图的边数范围
  2. 修改图2使其成为强连通图

n 个顶点的无向连通图最少和最多有多少条边?

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

    板书列出无向连通图与非连通图的边数公式。

涉及知识点
  1. 无向连通图与非连通图的边数范围

什么是连通图,怎样判断一个无向图是不是连通图?

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

    “图中任意两个顶点都是联通的,则称为连通图,否则是非连通图”。

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

强连通图适用于哪种图,定义是什么?

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

    “图中任意一对顶点都是强联通的,则称此图为强连通图”。

涉及知识点
  1. 强连通图

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

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

    “五个顶点用到了四条边”。

  2. 字幕依据
    观察依据

    “如果G是连通图则最少有n-1条边”。

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

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

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

    4加3加2加1等于5乘以4再除以2。

  2. 声音
    观察依据

    讲解者把它联系到完全图。

涉及知识点
  1. 无向完全图边数与无向图最大边数
  2. 完全图边数的逐步计数推导
  3. 5个顶点完全图边数示例

非连通图为什么最多能有 (n-1)(n-2)/2 条边?

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

    “要让这幅图是一个非连通图且有最多的边……让下面这五个顶点成为一颗完全图……让F与A、B、C、D、E都不相连”。

涉及知识点
  1. 无向非连通图最大边数
  2. 非连通图最大边数的构造推导
  3. 非连通图最大边数构造示例
覆盖情况与待核验内容

已覆盖 · 引入概念,区分无向图和有向图的适用范围

已覆盖 · 讲解连通图定义及通过路径判断连通性的方法,纠正误区

已覆盖 · 讲解强连通图定义,强调双向路径的要求

已覆盖 · 讲解上方示例,给出连通图与强连通图定义,并验证右上有向图是强连通图。

已覆盖 · 判断图1不是强连通图,用 A 到 D 但 D 不能回 A 作为反例。

已覆盖 · 判断图2不是强连通图,指出 B 可到 A 但 A 不可到 B。

已覆盖 · 讲解者补画箭头把图2改成有向环,说明其成为强连通图且边数最小。

已覆盖 · 进入考点总结,给出无向图和有向图在连通/强连通情形下的边数极值。

已覆盖 · 讲解者手绘5顶点4边的连通示例,说明无向连通图最少边数。

已覆盖 · 提出问题“最多有多少条边”,引出 n(n−1)/2n(n-1)/2 与完全图。

已覆盖 · 用 4+3+2+1=(5⋅4)/24+3+2+1=(5\cdot 4)/2 的板书推导完全图边数,并推广到一般公式。

已覆盖 · 转入“若为非连通图”的考点文字,给出 (n-1)(n-2)/2 上界。

已覆盖 · 用 A、B、C、D、E 组成完全图、F 孤立的构造解释非连通图最大边数思路;片段在此结束。

已覆盖 · 画面展示整张讲义,讲解者承接前文提到 5 个顶点时的 5×42\frac{5\times4}{2} 计算思路。

已覆盖 · 讲解者围绕 n=6n=6 的例子解释非连通无向图最大边数公式 (n−1)(n−2)2\frac{(n-1)(n-2)}{2} 的来源。

已覆盖 · 讲解者转入下一条性质,读出“在 n 个顶点的有向图 G 中,若 G 是强连通图,则最少有 n 条边”。

已覆盖 · 讲解者用红笔画出有向环,说明强连通有向图最少边数 n 的构造。

已覆盖 · 讲解者说明最多边数为 n(n−1)n(n-1),并把它与无向完全图的 n(n−1)2\frac{n(n-1)}{2} 对比,指出有向情形每对顶点有两条反向边。

探索视频中的知识

打开视频知识图谱 →

  • 图 应用定位 3:37
    查看关联依据

    已审核中文素材 v1:card「无向图连通与非连通的边数极值」出现在 3:37——板书总结:对 nn 个顶点的无向图 GG,若 GG 是连通图,则最少有 n−1n-1 条边,最多有 n(n−1)2\frac{n(n-1)}{2} 条边;若 GG 是非连通图,则最多可能有 (n−1)(n−2)2\frac{(n-1)(n-2)}{2} 条边。讲解者口头指出最小情形“类似于一棵树”。

这个视频解答的问题

掌握方法

↗
认识概念

↗
认识概念

↗