Skip to content
Back to exploration
Discrete mathematics / English

Connectedness and Strongly Connected Graphs

南极玄武岩 · Bilibili · 7:44

Open original
READ & KEEP

The explanation, unpacked.

Saves 0

Reviewed learning material · Video analysis · English
Read the full overview

This segment mainly explains the concepts of connected graphs and strongly connected graphs in graph theory. First, it clarifies that connected graphs apply to undirected graphs, while strongly connected graphs apply to directed graphs. Next, it gives the definition of a connected graph: there exists a path between any two vertices in the graph. The instructor uses concrete examples to correct the misconception that "direct edges are required for connectivity", pointing out that paths may go through intermediate vertices. Then it introduces the definition of a strongly connected graph: in a directed graph, there exist bidirectional paths between any pair of vertices. Additionally, the slide lists formulas for edge-number ranges under different connectivity conditions for a graph with N vertices. This segment focuses on 'connected graphs' and 'strongly connected graphs'. First, definitions are presented side by side on the board: an undirected graph in which any two vertices are connected is called a connected graph; a directed graph in which any two vertices are mutually reachable is called a strongly connected graph. Then, strong connectivity is verified pair by pair using the directed example above. Next, 'graph 1' and 'graph 2' below are used to illustrate how a single pair of non-mutually-reachable vertices suffices to disprove strong connectivity. Finally, common exam points are summarized, including extremal numbers of edges for an n-vertex undirected graph under connectivity versus non-connectivity, and minimal and maximal numbers of edges for a strongly connected directed graph. This segment focuses on 'connected graphs and strongly connected graphs': first defining undirected connected graphs and directed strongly connected graphs, then presenting several extremal edge-number results: an undirected connected graph has at least n-1 edges; an undirected simple graph has at most n(n−1)/2n(n-1)/2 edges; a disconnected graph has at most (n-1)(n-2)/2 edges; a directed strongly connected graph has at least n edges and at most n(n−1)n(n-1) edges. The instructor illustrates these conclusions intuitively using a star-shaped connected example with 5 vertices, the complete-graph edge count 4+3+2+1=(5⋅4)/24+3+2+1=(5\cdot 4)/2, and the construction 'a complete graph on 5 vertices plus 1 isolated vertices'. This segment focuses on extremal edge counts for connected and strongly connected graphs. The video first defines undirected connected graphs, undirected disconnected graphs, and directed strongly connected graphs, then summarizes three core results: an undirected connected graph with n vertices has at least n−1n-1 edges and at most n(n−1)2\frac{n(n−1)}{2} edges; an undirected disconnected graph has at most (n−1)(n−2)2\frac{(n−1)(n−2)}{2} edges; a directed strongly connected graph with n vertices has at least n edges and at most n(n−1)n(n-1) edges. The instructor illustrates the disconnected graph's maximum-edge formula using the concrete example n=6n=6, draws a directed cycle in red to demonstrate the construction achieving the minimum edge count for strong connectivity, and finally contrasts the directed graph's maximum edge count with the undirected complete graph's edge count.

Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.

Chapters

0:00Concept introduction and applicable scope.0:24Definition of a connected graph and path-based connectivity determination.1:23Definition of a strongly connected graph and bidirectional paths.2:00Definitions of connected graph and strongly connected graph2:23Graph 1 is not strongly connected2:38Graph 2 is not strongly connected3:14Convert graph 2 into a directed cycle3:37Common exam point: extremal numbers of edges4:00Definition of connected graph and example of minimum edge count4:12Maximum number of edges in an undirected graph and the complete graph4:30Counting derivation of 4+3+2+14+3+2+15:13Conclusion on the maximum number of edges in a disconnected graph5:28Construction explanation using a complete subgraph plus isolated vertices6:00Definitions and Key Exam Points: Connected Graphs and Strongly Connected Graphs6:14Intuitive Explanation of the Maximum Number of Edges in a Disconnected Undirected Graph6:54Minimum Number of Edges in a Directed Strongly Connected Graph: Circular Construction7:23Comparison of the Maximum Number of Edges in a Directed Graph with That in an Undirected Complete Graph

Learning script

Generated from the video's visuals and explanation; not verbatim speech.

At the beginning of the video, a comparison page titled "Connected Graph" and "Strongly Connected Graph" appears. The instructor first clarifies the applicable scopes of these two concepts: connected graphs pertain to undirected graphs, whereas strongly connected graphs pertain to directed graphs. On screen, the instructor marks "undirected graph" and "directed graph" beside the respective titles using a red pen.

Next, we introduce the definition of a connected graph. The slide reads: "A graph in which any two vertices are connected is called a connected graph; otherwise, it is a disconnected graph." The instructor further explains that "connected" does not mean there must be a direct edge between the two vertices, but rather that there exists a path between them.

To clarify a common misconception, the instructor uses vertices A and D from the example graph on the left. He points out that although there is no direct red edge between A and D, this does not mean they are disconnected. In fact, one can go from A to C, then from C to D—the path A-C-D demonstrates that A and D are connected. The instructor traces this path in red on the graph and confirms that a path exists between any two vertices in the graph; thus, it is a connected graph.

Next, the instructor introduces the definition of a strongly connected graph. The slide reads: "A graph in which any pair of vertices is strongly connected is called a strongly connected graph." The instructor emphasizes that strong connectivity imposes a stricter requirement than connectivity: it demands not only a path from u to v, but also a path from v to u—that is, mutual reachability.

In the directed graph example on the right, the instructor illustrates using vertices A and B. Below the graph, he writes A→BA \rightarrow B and B→AB \rightarrow A, indicating that paths exist both from A to B and from B to A; therefore, A and B are strongly connected. Finally, the instructor prepares to check strong connectivity between A and C, and the clip ends here.

This part first clarifies both types of graphs side by side: on the left, the 'connected graph' for undirected graphs; on the right, the 'strongly connected graph' for directed graphs. The board definitions read: 'If any two vertices in the graph are connected, the graph is called a connected graph', and 'If any pair of vertices in the graph is strongly connected, the graph is called a strongly connected graph'.

Next, the directed example in the upper right is used for pair-by-pair verification. The instructor traces along the arrows to explain A→B→CA\to B\to C, then explains C→D→AC\to D\to A, so AA and CC are mutually reachable; then continues checking vertex pairs AA and EE, AA and DD, BB and CC, BB and EE, BB and DD, CC and EE, CC and DD, EE and DD, concluding that 'any pair of vertices is strongly connected', so this graph is strongly connected.

Then move to the lower 'Figure 1'. The key is not whether paths exist, but whether every pair of vertices can reach each other in both directions. In the figure, AA can reach DD, but there is no path from DD back to AA; thus, this pair violates bidirectional reachability, and Figure 1 is not strongly connected.

Next consider 'Figure 2'. The instructor first follows the arrows: BB can reach AA, BB can reach CC, and CC can reach AA, but AA cannot return to BB. As long as one pair of vertices fails mutual reachability, the entire directed graph is not strongly connected; therefore, Figure 2 is also not strongly connected.

Next, the instructor directly adds reverse arrows to graph 2, transforming the three vertices into a unidirectional closed cycle: B→C→A→BB\to C\to A\to B. Thus, any two vertices on the cycle can reach each other along the cycle, making the graph strongly connected. The video specifically notes that this cyclic structure uses the minimum possible number of edges, laying the groundwork for the later conclusion that a directed strongly connected graph has at least nn edges.

Finally, move on to the key concept summary. The blackboard displays: Fornn an undirected graph with n verticesGG, ifGG it is connected, then it has at leastn−1n-1 edges and at mostn(n−1)2\frac{n(n-1)}{2} edges; ifGG it is not connected, then it has at most(n−1)(n−2)2\frac{(n-1)(n-2)}{2} edges. For a directed graphGG, ifGG it is strongly connected, then it has at leastnn edges and at mostn(n−1)n(n-1) edges. The instructor adds orally that the minimal connected case is similar to a tree.

This slide presents two concepts side by side: 'connected graph' on the left and 'strongly connected graph' on the right. First, consider the left side: the lecture notes define a connected graph as one in which every pair of vertices is connected; otherwise, it is disconnected. The instructor then draws five points labeled A, B, C, D, and E on blank space, and connects C to A, B, D, and E using 4 edges to join 5 vertices. This example intuitively illustrates that a connected undirected graph with n vertices requires at least n−1n-1 edges.

Next, he turns to 'maximum possible number of edges'. The slide states: 'maximum is n∗(n−1)/2n*(n-1)/2'. The key idea is linking this maximum to the concept of a 'complete graph': the number of edges reaches its maximum when there is an edge between every pair of distinct vertices.

To explain why this formula holds, the instructor performs step-by-step counting on the green complete graph shown on the left. First, he says A connects to the other four vertices, contributing 4 edges; next, B connects to the remaining three uncounted vertices, contributing 3 edges; continuing this way yields 4+3+2+14+3+2+1. The board writes this sum as (5⋅45\cdot 4)/2, i.e., substituting n=5n=5 from the concrete example into the general formula n(n−1)/2n(n-1)/2. This both explains the number of edges in a complete graph and establishes the upper bound for the number of edges in a simple undirected graph.

Then comes the next key point: 'If the graph is disconnected, the maximum possible number of edges is (n−1n-1)*(n−2n-2)/2.' This means that, to maximize the number of edges while keeping the graph disconnected, we must avoid concentrating all vertices into a single dense component.

The instructor demonstrates this via a constructive approach. He draws six points labeled A, B, C, D, E, and F, groups A through E together to form a complete graph, and leaves F isolated—unconnected to any other point. Thus, the entire graph remains disconnected, yet its internal edge count is maximized. This example corresponds to the general result: among an n-vertex disconnected graph, we can make at most n−1n-1 vertices form a complete graph, yielding (n−1n-1)(n−2n-2)/2 edges, while the remaining 1 vertices remain isolated. The clip ends here without completing the numerical substitution.

This segment first builds on the earlier example: for an undirected complete graph with 5 vertices, the number of edges is 5×42\frac{5\times4}{2}. The screen simultaneously displays the current topic, "Connected Graphs and Strongly Connected Graphs", along with two definitions: an undirected graph is connected if every pair of vertices is connected; otherwise, it is disconnected; a directed graph is strongly connected if every ordered pair of vertices is mutually reachable.

Next, the instructor turns to the question: "What is the maximum possible number of edges in a disconnected graph?" He first illustrates using the specific case of n=6n=6: isolate one vertex, leaving 6−1=56-1=5 vertices; to maximize the number of edges, make those 5 vertices pairwise adjacent, yielding 5×42\frac{5\times4}{2} edges.

Then he generalizes this numerical reasoning to the general case: from nn vertices, isolate 1 vertices, and let the remaining n−1n-1 vertices form a complete graph, which has (n−1)(n−2)2\frac{(n-1)(n-2)}{2} edges. This is precisely the origin of the slide's statement: "If the graph is disconnected, it can have at most (n−1)∗(n−2)/2(n-1)*(n-2)/2 edges."

The instructor further stresses the boundary condition: if the isolated vertex were connected to any other vertex, the graph would no longer be disconnected. Thus, the maximum number of edges in a disconnected graph arises only from the extreme construction: "one isolated vertex plus a complete graph on the remaining n−1n-1 vertices."

Then we move on to properties of directed graphs. The slide states: In a directed graph with nn vertices GG, if GG is strongly connected, then it has at least nn edges and at most n(n−1)n(n-1) edges. The instructor first explains the minimum number of edges.

He draws, in red, a directed cycle composed of several vertices, saying, "Just make it a cycle." In this construction, each vertex has exactly one outgoing edge and one incoming edge; thus, nn vertices correspond exactly to nn edges; and since one can reach any vertex from any other by traversing the cycle, this represents the minimal-edge case for a strongly connected directed graph.

Finally, he explains the maximum number of edges. He compares it with the earlier undirected complete graph's n(n−1)2\frac{n(n-1)}{2}: in an undirected graph, there is at most one edge between any pair of vertices; in a directed graph, the same pair may support two opposite-directed edges—one pointing each way—so the total count must be multiplied by 2, giving 2×n(n−1)2=n(n−1)2\times\frac{n(n-1)}{2}=n(n-1).

At the end of this segment, the instructor does not pursue further formal proofs but leaves this multiplicative relationship for viewers to derive independently; the entire page concludes with a comparative summary of extremal edge counts for connected graphs, disconnected graphs, and strongly connected graphs.

Knowledge cards

01

Definition of a connected graph

In an undirected graph, if there exists a path between any two vertices, the graph is called a connected graph. Note that "connected" means existence of a path—not requiring a direct edge between the vertices. For example, indirect arrival via intermediate vertices is allowed.

02

Definition of a strongly connected graph

In a directed graph, if there exists a bidirectional path between any pair of vertices—that is, a path from u to v and also a path from v to u—then the graph is called a strongly connected graph. This requirement is stricter than connectivity in undirected graphs.

03

Range of edge count for a connected graph

For an undirected graph G with N vertices, if G is connected, its number of edges e satisfies: minimum e=N−1e = N - 1 (achieved by a tree), maximum e=N×(N−1)/2e = N \times (N - 1) / 2 (achieved by a complete graph).

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

Maximum edge count for a disconnected graph

For an undirected graph G with N vertices, if G is disconnected, its number of edges e can be at most (N−1N - 1) × (N−2N - 2) / 2. This means that even with many edges, the graph fails to be connected if it does not satisfy the connectivity condition.

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

Edge count range of a strongly connected graph

For a directed graph G with N vertices, if G is strongly connected, its edge count e satisfies: minimum N edges (forming a directed cycle), maximum N∗(N−1)N*(N-1) edges (bidirectional edges between every pair of vertices).

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

connected graph

The video defines it as follows: In an undirected graph, if every pair of vertices is connected, the graph is called connected; otherwise, it is called disconnected. The key criterion is whether a path exists between any two vertices.

07

strongly connected graph

The video defines it as follows: In a directed graph, if every pair of vertices is strongly connected, the graph is called strongly connected. Here, 'strongly connected' means that each pair must be mutually reachable following arrow directions—not merely unidirectionally reachable.

08

How to determine whether a directed graph is strongly connected

The method shown in the clip is to check mutual reachability for each vertex pair. The upper example demonstrates mutual reachability for several pairs, such as A→B→CA\to B\to C and C→D→AC\to D\to A; whereas Figures 1 and 2 each provide counterexamples—A→DA\to D but not D↛AD\not\to A, and B→AB\to A but not A↛BA\not\to B—to refute strong connectivity.

09

A directed cycle is an intuitive example of the smallest strongly connected structure

After redrawing Figure 2 as a directed cycle B→C→A→BB\to C\to A\to B, the instructor explains that any two vertices on the cycle can mutually reach each other along the cycle, thus forming a strongly connected graph, and emphasizes that this configuration uses the fewest possible edges. This example provides intuitive support for the later statement that 'a directed strongly connected graph with nn vertices requires at least nn edges'.

10

Edge extremal values for connected versus disconnected undirected graphs

Board summary: For nn an undirected graph with GG if GG is a connected graph, then it has at least n−1n-1 edges and at most n(n−1)2\frac{n(n-1)}{2} edges; if GG is a disconnected graph, then it can have at most (n−1)(n−2)2\frac{(n-1)(n-2)}{2} edges. The instructor orally points out that the minimum case is similar to a tree.

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

Edge extremal values for strongly connected directed graphs

Board summary: In nn a directed graph with GG if GG is a strongly connected graph, then it has at least nn edges, at most n(n−1)n(n-1) edges. The three-vertex directed cycle mentioned earlier is a simplified example of the "minimum number of edges" idea.

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

Connected graph versus disconnected graph

The clip defines an undirected graph as follows: if there exists a path between every pair of vertices, it is called a connected graph; if there exists at least one pair of vertices with no connecting path, it is called a disconnected graph. The left-side example uses a green undirected graph to illustrate this concept.

13

Strongly connected graph

The clip defines a directed graph as follows: if every pair of vertices is mutually reachable—that is, each can reach the other along directed edges—then the graph is called strongly connected. The right-side example uses an orange directed cycle to show that each vertex can reach every other vertex via directed edges.

14

Minimum number of edges in a connected undirected graph

For an undirected graph G with n vertices, if G is connected, then the number of edges is at least n−1n-1. The instructor illustrates this using a star-shaped example with 5 vertices and 4 edges.

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

Number of edges in a complete undirected graph

An undirected complete graph with n vertices has n(n−1)/2n(n-1)/2 edges, which is also the maximum number of edges in an undirected simple graph. The segment explains this formula using the counting process 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

Maximum number of edges in an undirected disconnected graph

If an undirected graph with n vertices is not connected, then it can have at most (n−1n-1)(n−2n-2)/2 edges. The instructor illustrates this upper bound by constructing a graph where n−1n-1 vertices form a complete graph and the remaining 1 vertices are isolated.

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

Minimum number of edges in a directed strongly connected graph

In a directed graph G with n vertices, if G is strongly connected, then it requires at least n edges. The lecture material gives an example in the form of a 'cycle', and the diagram on the right shows a directed cycle.

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

Maximum number of edges in a directed strongly connected graph

The segment states: In a directed graph G with n vertices, if G is strongly connected, then the maximum number of edges is n(n−1)n(n-1). This corresponds to the fact that in a directed simple graph, between any two distinct vertices there can be at most two directed edges pointing in opposite directions.

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

Connected and disconnected graphs

The video defines: in an undirected graph, if every pair of vertices is connected, it is called a connected graph; otherwise, it is called a disconnected graph. The key point is 'existence of a path', not 'presence of a direct edge'.

20

Strongly connected graph

For a directed graph, if every pair of vertices is strongly connected, the graph is called strongly connected. As illustrated by the example: between any two vertices, there must exist a directed path from one to the other, and also a directed path from the other back to the first.

21

Edge count range for undirected connected graphs

For an undirected graph with nn vertices GG, if GG is connected, then it has at least n−1n-1 edges, at most n(n−1)2\frac{n(n-1)}{2} edges. The minimum corresponds to a tree-connected structure, and the maximum corresponds to an undirected complete graph.

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

Maximum edge count for undirected disconnected graphs

If an undirected graph with nn vertices is disconnected, then it has at most (n−1)(n−2)2\frac{(n-1)(n-2)}{2} edges. The video's intuitive construction is: isolate 1 vertices, and let the remaining n−1n-1 vertices form a complete graph; adding any edge incident to an isolated vertex would make the graph connected.

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

Minimum edge count for directed strongly connected graphs

In a directed graph with nn vertices, if the graph is strongly connected, then it requires at least nn edges. The instructor illustrates using a 'circular' construction: arrange all vertices into a directed cycle, where each vertex has one outgoing edge and one incoming edge, totaling nn edges—sufficient for mutual reachability.

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

Maximum edge count for directed graphs

A directed graph with nn vertices has at most n(n−1)n(n-1) edges. The video compares this to the n(n−1)2\frac{n(n-1)}{2} edges of an undirected complete graph: in a directed graph, each unordered pair of vertices can support two oppositely directed edges, so we multiply the undirected complete graph's edge count by 2.

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

Detailed learning notes

Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.

Symbols · 21

N

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    The phrase 'N vertices' appears in the exam point description.

Symbol

N

Meaning

the number of vertices in the graph

Domain

positive integer

e

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    The phrase 'e edges' appears in the exam point description.

Symbol

e

Meaning

the number of edges in the graph

Domain

nonnegative integer

A, B, C, D, E

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Vertices in the graph are labeled with letters A, B, C, D, E

Symbol

A, B, C, D, E

Meaning

vertex labels in the example graph

Domain

discrete set

n

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board notes include phrases such as 'for an undirected graph G with N vertices', 'has at least n minus 1 edges', and 'has at most n times (n minus 1) divided by 2'.

Uncertainties
  1. The video uses both uppercase N and lowercase n to denote the number of vertices, without clarifying whether they are strictly synonymous.

Symbol

n

Meaning

the number of vertices in the graph

Domain

a positive integer

G

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board writes: 'If G is a connected graph' and 'If G is a strongly connected graph'.

Symbol

G

Meaning

the graph under discussion

Domain

an undirected or directed graph

A, B, C, D, E

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    In the top example diagram and in Diagram 1 and Diagram 2 below, all vertices are labeled A, B, C, D, and E.

  2. Audio
    Observation

    The instructor repeatedly says 'A can go to B and then to C', 'B can reach A', and so on.

Symbol

A, B, C, D, E

Meaning

the vertex labels in the example diagram

Domain

elements of the vertex set

n

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    Expressions such as 'N vertices', 'n−1n-1 edges', 'n⋅(n−1)/2n\cdot (n-1)/2', '(n−1n-1)·(n−2n-2)/2', and 'n⋅(n−1)n\cdot (n-1)' appear in the exam point description.

  2. Audio
    Observation

    During the explanation, the number of vertices from a concrete example is substituted as n=5n = 5, illustrating: 'Here, n equals 5—that is, five vertices.'

Symbol

n

Meaning

The number of vertices in the graph

Domain

A positive integer; in the concrete example of this segment, n=5n = 5

G

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    The exam point description states: 'For an undirected graph G with N vertices' and 'In a directed graph G with N vertices.'

Symbol

G

Meaning

The graph under discussion; in this segment, it refers to both undirected and directed graphs, and its type must be inferred from context

n-1

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If G is a connected graph, then it has at least n−1n-1 edges.

  2. Audio
    Observation

    The instructor draws 5 vertices and connects them with 4 edges, saying: 'Five vertices use four edges.'

Symbol

n-1

Meaning

The minimum number of edges in an undirected connected graph with n vertices

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

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    The maximum is n⋅(n−1)/2n\cdot (n-1)/2.

  2. Formula
    Observation

    The board displays 4+3+2+1=(5⋅4)/24+3+2+1 = (5\cdot 4)/2, and the instructor verbally links it to the complete graph.

Symbol

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

Meaning

The number of edges in an undirected complete graph with n vertices, which is also the maximum number of edges in an undirected simple graph

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

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If it is a disconnected graph, then z can have at most (n−1n-1)×(n−2n-2)/2 edges.

  2. Audio
    Observation

    The instructor constructs an example: let 5 vertices form a complete graph, and let the other vertex be disconnected from all of the first 5 vertices.

Uncertainties
  1. The subtitle reads 'z can have at most', but z is not defined elsewhere in this segment; this appears to be a typesetting placeholder or a typo.

Symbol

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

Meaning

Maximum number of edges possible in an undirected disconnected graph with n vertices

n

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    In a directed graph G with N vertices, if G is strongly connected, then it has at least n edges (a cycle).

  2. Diagram
    Observation

    The example of a 'strongly connected graph' on the right is a directed cycle on 5 vertices.

Symbol

n

Meaning

Minimum number of edges in a strongly connected directed graph with n vertices; stated in the segment as a 'cycle'.

Knowledge points · 21

definition of a connected graph

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Okay, let us now look at the definition of a connected graph. If every pair of vertices in the graph is connected, then the graph is called connected; otherwise, it is disconnected.

  2. Caption evidence
    Observation

    If every pair of vertices in the graph is connected, then the graph is called connected; otherwise, it is disconnected.

Definition
Explanation

In an undirected graph, if there exists a path between every pair of vertices, the graph is called connected; otherwise, it is disconnected.

Formula
Conditions
  1. Applies to undirected graphs

Definition of a strongly connected graph

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    In a strongly connected graph, every pair of vertices is mutually reachable; such a graph is called strongly connected.

  2. Caption evidence
    Observation

    If every pair of vertices in a graph is mutually reachable, the graph is called strongly connected.

Definition
Explanation

In a directed graph, if there exists a bidirectional path between every pair of vertices (i.e., a path from u to v and a path from v to u), the graph is called strongly connected.

Formula
Conditions
  1. Applies to directed graphs

Range of number of edges in a connected graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If G is connected, it has at least n minus 1 edges and at most n times (n minus 1) divided by 2 edges.

Formula
Explanation

For an undirected graph G with N vertices, if G is connected, it has at least N minus 1 edges and at most N times (N minus 1) divided by 2 edges.

Formula
e≥N−1,e≤N(N−1)2e \ge N - 1, \quad e \le \frac{N(N-1)}{2}
Conditions
  1. G is an undirected connected graph

Prerequisites
  1. definition of a connected graph

maximum number of edges in a disconnected graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If G is disconnected, the number of edges e can be at most (n minus 1) times (n minus 2) divided by 2.

Formula
Explanation

For an undirected graph G with N vertices, if G is disconnected, then the number of edges e can be at most (N-1)*(N-2)/2.

Formula
e≤(N−1)(N−2)2e \le \frac{(N-1)(N-2)}{2}
Conditions
  1. G is an undirected disconnected graph

Prerequisites
  1. definition of a connected graph

range of edge counts for a strongly connected graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    In a directed graph G with N vertices, if G is strongly connected, then it has at least N edges (forming a cycle) and at most N∗(N−1)N*(N-1).

Formula
Explanation

For a directed graph G with N vertices, if G is strongly connected, then it has at least N edges (forming a cycle) and at most N∗(N−1)N*(N-1) edges.

Formula
e≥N,e≤N(N−1)e \ge N, \quad e \le N(N-1)
Conditions
  1. G is a directed strongly connected graph

Prerequisites
  1. Definition of a strongly connected graph

Connected graph

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The left side of the board states: 'If every pair of vertices in the graph is connected, then the graph is called connected; otherwise, it is disconnected.'

  2. Diagram
    Observation

    The left example is an undirected graph, with vertices A, B, C, D, and E connected by undirected edges.

Definition
Explanation

The video defines a connected graph as an undirected graph in which there exists a path between every pair of vertices; if even one pair of vertices is not connected, the graph is called disconnected.

Formula
Conditions
  1. Applies to undirected graphs

  2. Requires that every pair of vertices be connected

Strongly connected graph

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The right board states: "If every pair of vertices in the graph is strongly connected, then the graph is called a strongly connected graph."

  2. Diagram
    Observation

    The right example is a directed graph, with vertices A, B, C, D, and E connected by directed arrows.

  3. Audio
    Observation

    The instructor says, "A can go to B, then to C… C can go to D, then to A… A and C are also strongly connected," and concludes, "Every pair of vertices is strongly connected, so this graph is a strongly connected graph."

Definition
Explanation

The video defines a strongly connected graph as a directed graph in which every pair of vertices can reach each other via directed paths. The method of verification is to check, for each pair, whether bidirectional reachability exists.

Formula
Conditions
  1. Applies to directed graphs

  2. Requires that every pair of vertices be strongly connected

Prerequisites
  1. Connected graph

Number of edges in undirected connected versus disconnected graphs

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Board writing key point: 'For an undirected graph G with N vertices, if G is connected, then the minimum number of edges is n minus 1, and the maximum is n times (n minus 1) divided by 2; if G is disconnected, then the maximum possible number of edges is (n minus 1) times (n minus 2) divided by 2.'

  2. Audio
    Observation

    The instructor reads: 'In an undirected graph, if G is connected, then it has at least n minus one edge,' and asks, 'When does this minimum occur? It occurs when the graph resembles a tree.'

Uncertainties
  1. The video only verbally explains that the minimum number of edges corresponds to a structure resembling a tree, without providing a formal proof.

Formula
Explanation

The video gives the extremal numbers of edges for an undirected graph with n vertices under two cases: when connected — minimum n minus 1 edges, maximum equal to the number of edges in a complete graph, n times (n minus 1) divided by 2; when disconnected — maximum (n minus 1) times (n minus 2) divided by 2 edges.

Formula
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}
Conditions
  1. G is an undirected graph with n vertices

  2. Separately considering the two cases: G connected and G disconnected

Prerequisites
  1. Connected graph

Number of edges in directed strongly connected graphs

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The last line written on the board: 'In a directed graph G with N vertices, if G is strongly connected, then the minimum number of edges is n (forming a cycle), and the maximum is n times (n minus 1).'

Uncertainties
  1. Within this segment, the video does not fully prove why the minimum number of edges is n (with the parenthetical note 'cycle'); it only gives an intuitive illustration using a three-vertex cycle earlier.

Formula
Explanation

The video gives the extremal numbers of edges for a directed graph with n vertices when strongly connected: minimum n edges, with the parenthetical hint 'cycle' indicating the minimal structure; maximum n times (n minus 1) edges — meaning that for any two distinct vertices, both directions of the directed edge may exist.

Formula
minimum strongly connectednmaximum strongly connectedn(n−1)\text{minimum strongly connected} n \quad \text{maximum strongly connected} n(n-1)
Conditions
  1. G is a directed graph with n vertices

  2. G is a strongly connected graph.

Prerequisites
  1. Strongly connected graph

Connected graphs and disconnected graphs

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If any two vertices in a graph are connected, the graph is called connected; otherwise, it is disconnected.

  2. Diagram
    Observation

    The left-side title reads 'Connected Graph', accompanied by an example of an undirected graph with 5 vertices.

Definition
Explanation

The segment defines an undirected graph: if there exists a path between any two vertices in the graph, it is called a connected graph; if there exist two vertices that are not connected, it is called a disconnected graph. The left-side example visually illustrates this concept using a green undirected graph.

Formula
Conditions
  1. The object is an undirected graph

  2. The criterion for judgment is whether 'any two vertices' are connected

strongly connected graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If any pair of vertices in a graph is strongly connected, the graph is called strongly connected.

  2. Diagram
    Observation

    The right-side title reads 'Strongly Connected Graph', accompanied by an example of a directed cycle with 5 vertices.

Definition
Explanation

The segment defines a directed graph as strongly connected if every pair of vertices is mutually reachable. The right-hand example uses an orange directed cycle to show that each vertex can reach every other vertex along directed edges.

Formula
Conditions
  1. The object is a directed graph

  2. It requires mutual reachability between every pair of vertices

minimum number of edges in an undirected connected graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If G is a connected graph, then it has at least n minus 1 edges.

  2. Audio
    Observation

    The instructor draws 5 points and connects them with 4 edges, saying, "Five vertices use four edges."

  3. Diagram
    Observation

    With a red pen, the instructor draws five points labeled A, B, C, D, and E on blank space, and draws 4 edges emanating from point C.

Formula
Explanation

For an undirected graph G with n vertices, if G is connected, then its number of edges is at least n minus 1. The segment illustrates this using the example n equals 5: 5 vertices require at least 4 edges to remain connected.

Formula
∣E∣≥n−1|E|\ge n-1
Conditions
  1. G is an undirected graph

  2. G has n vertices

  3. G is connected

Prerequisites
  1. Connected graphs and disconnected graphs
Claims and conditions · 11

Graph 1 is not strongly connected.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says: "Clearly, Graph One is not, because A can reach D, but D cannot reach A in return; therefore, it is not a strongly connected graph."

  2. Diagram
    Observation

    In Graph 1, there is a directed edge from A to D, and no directed path from D back to A.

Proposition
Statement

Graph 1 is not strongly connected, because there exist vertices A and D such that A can reach D but D cannot reach A.

Hypotheses
  1. Graph 1 is a directed graph.

  2. There exists a directed edge from A to D in the graph.

  3. There is no directed path from D back to A.

Quantifiers

There exists a pair of vertices (A, D) that are not mutually reachable.

Graph 2 is not strongly connected.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says: "Graph Two is certainly not either... B can reach A, but how can A reach B? It cannot; therefore, Graph Two is also not a strongly connected graph."

  2. Diagram
    Observation

    In Graph 2, the edges B→AB\to A, B→CB\to C, and C→AC\to A are all directed edges, and there is no directed path from A back to B.

Proposition
Statement

Graph 2 is not strongly connected because there exist vertices A and B such that B can reach A but A cannot reach B.

Hypotheses
  1. Graph 2 is a directed graph.

  2. There exists a directed path from B to A.

  3. There does not exist a directed path from A to B.

Quantifiers

There exists a pair of vertices (A, B) that are not mutually reachable.

After modifying graph 2 into a directed cycle, it becomes a strongly connected graph with the minimal number of edges.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says: "Unless he changes this arrow... so that it forms a cycle, then it becomes a strongly connected graph, and in this case its number of edges is minimal."

  2. Diagram
    Observation

    The instructor adds a reverse arrow to graph 2 so that A, B, and C form a directed cycle.

Uncertainties
  1. The video does not provide a general proof, only an intuitive example using a three-vertex cycle.

Proposition
Statement

After adjusting the edge directions in graph 2 to form a directed cycle, the graph becomes strongly connected; in this example, such a structure has the minimal number of edges.

Hypotheses
  1. In the modified graph, A, B, and C form a directed cycle.

  2. On the cycle, every vertex can reach all other vertices by following the direction.

Quantifiers

Specific modifications to this example diagram

Lower bound on the number of edges in an undirected connected graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If G is a connected graph, then it has at least n−1n-1 edges.

  2. Audio
    Observation

    The instructor supports this conclusion using an example with 5 vertices and 4 edges.

Proposition
Statement

If G is an undirected connected graph with n vertices, then |E(G)E(G)| ≥ n−1n-1.

Hypotheses
  1. G is an undirected graph

  2. G has n vertices

  3. G is connected

Quantifiers

holds for all undirected connected graphs G satisfying the premise

upper bound on the number of edges in an undirected simple graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    at most n∗(n−1)/2n*(n-1)/2.

  2. Audio
    Observation

    The instructor interprets this as the number of edges in a complete graph.

Proposition
Statement

If G is an undirected simple graph with n vertices, then |E(G)E(G)| ≤ n(n−1)/2n(n-1)/2.

Hypotheses
  1. G is an undirected simple graph

  2. G has n vertices

Quantifiers

holds for all undirected simple graphs with n vertices

Upper bound on the number of edges in an undirected disconnected graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If it is a disconnected graph, then it can have at most (n-1)*(n-2)/2 edges.

  2. Audio
    Observation

    The instructor demonstrates that this upper bound is attainable by constructing a graph where 5 vertices form a complete graph and the 6th vertex is isolated.

Uncertainties
  1. The letter z in the subtitle is undefined and appears to be a typo.

Proposition
Statement

If G is an undirected disconnected simple graph with n vertices, then |E(G)E(G)| ≤ (n−1n-1)(n−2n-2)/2.

Hypotheses
  1. G is an undirected simple graph

  2. G has n vertices

  3. G is disconnected

Quantifiers

Holds for all undirected disconnected graphs satisfying the premise

Lower bound on the number of edges in a directed strongly connected graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    In a directed graph G with N vertices, if G is strongly connected, then G has at least n edges (a cycle).

  2. Diagram
    Observation

    The directed cycle on the right shows strong connectivity achieved with n edges on n vertices.

Proposition
Statement

If G is a directed strongly connected graph with n vertices, then |E(G)E(G)| ≥ n.

Hypotheses
  1. G is a directed graph

  2. G has n vertices

  3. G is strongly connected

Quantifiers

holds for all directed strongly connected graphs satisfying the premise

upper bound on the number of edges in a directed strongly connected graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    at most n times (n minus 1).

Uncertainties
  1. The segment does not provide a proof, only the concluding statement.

Proposition
Statement

If G is a directed strongly connected simple graph with n vertices, then |E(G)E(G)| ≤ n(n minus 1).

Hypotheses
  1. G is a directed simple graph

  2. G has n vertices

  3. G is strongly connected

Quantifiers

holds for all directed strongly connected graphs satisfying the premise

Edge count extremal proposition for undirected connected graphs

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The slide text explicitly states this conclusion.

Proposition
Statement

For an undirected graph G with n vertices, if G is connected, then it has at least n minus1 edges and at most n times n minus1 over2 edges.

Hypotheses
  1. G is an undirected graph

  2. G has n vertices

  3. G is connected

Quantifiers

Holds for all n and G satisfying the premises

Edge count upper bound proposition for undirected disconnected graphs

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The slide text explicitly states this conclusion.

Proposition
Statement

For an undirected graph G with n vertices, if G is disconnected, then it can have at most the quantity n minus 1 times the quantity n minus 2, all divided by 2 edges.

Hypotheses
  1. G is an undirected graph.

  2. G has n vertices.

  3. G is disconnected.

Quantifiers

Holds for all n and G satisfying the premises.

Extremal edge-count proposition for directed strongly connected graphs.

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The slide text explicitly states this conclusion.

Proposition
Statement

In a directed graph G with n vertices, if G is strongly connected, then it has at least n edges and at most n(n−1)n(n-1) edges.

Hypotheses
  1. G is a directed graph.

  2. G has n vertices.

  3. G is strongly connected.

Quantifiers

Holds for all n and G satisfying the premises.

Derivations and proofs · 10

determining connectivity via paths

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    For example, consider vertices A and D: one can go from A to C, then from C to D; thus, A and D are considered connected. Also, there exist paths between A and B, C, E, and so on. Therefore, this graph is a connected graph.

  2. Animation
    Observation

    The instructor traces the path A-C-D in red on the undirected graph on the left

Intuitive argument
Steps
  1. Expression
    A→C→DA \to C \to D
    Explanation

    finding a path between vertices A and D

    Justification

    connectivity means existence of a path; direct adjacency is not required

    Shown in the video
  2. Expression
    ∀u,v∈V,∃P(u,v)\forall u, v \in V, \exists P(u, v)
    Explanation

    There exists a path between any two vertices in the graph.

    Justification

    It satisfies the definition of a connected graph.

    Derived from the video
Conclusion

This undirected graph is a connected graph.

The upper example diagram illustrates the process of determining whether a graph is strongly connected.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The presenter checks each pair in the directed graph above: 'A can go to B and then to C... C can go to D and then to A... Similarly, A and E are strongly connected, A and D are strongly connected, and also B and C, B and E, B and D, C and E, C and D, E and D are all strongly connected.'

  2. Diagram
    Observation

    In the directed graph on the upper right, there exists a path following arrow directions between every pair of vertices.

Proof
Steps
  1. Expression
    A→B→CA \to B \to C
    Explanation

    First, explain that A can reach C via a directed path.

    Justification

    Based on the arrow directions in the diagram and the presenter's verbal path description.

    Shown in the video
  2. Expression
    C→D→AC \to D \to A
    Explanation

    Then, explain that C can return to A via a directed path, so A and C are mutually reachable.

    Justification

    Based on the arrow directions in the diagram and the presenter's verbal path description.

    Shown in the video
  3. Expression
    ∀u,v∈V, u↔v\forall u,v \in V,\ u \leftrightarrow v
    Explanation

    Next, the presenter continues listing vertex pairs—A and E, A and D, B and C, B and E, B and D, C and E, C and D, E and D—and explains that each pair is strongly connected.

    Justification

    According to the definition of a strongly connected graph: every pair of vertices is strongly connected.

    Shown in the video
  4. Expression
    this directed graph is strongly connected\text{this directed graph is strongly connected}
    Explanation

    Since all vertex pairs are mutually reachable, conclude accordingly.

    Justification

    Apply the definition of a strongly connected graph directly.

    Shown in the video
Conclusion

The directed graph in the upper right satisfies strong connectivity for any pair of vertices, so it is a strongly connected graph.

Use a pair of vertices to disprove the strong connectivity of graph 1.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor points out, "A can reach D, but D cannot go back to A."

  2. Diagram
    Observation

    In graph 1, D is a sink vertex with only incoming edges and no arrows leaving D.

Proof
Steps
  1. Expression
    A→DA \to D
    Explanation

    There exists a directed path from A to D in the graph.

    Justification

    Read directly from the graph.

    Shown in the video
  2. Expression
    D↛AD \not\to A
    Explanation

    However, there is no directed path from D back to A in the graph.

    Justification

    Read directly from the graph: D has no outgoing edges.

    Shown in the video
  3. Expression
    ¬(A↔D)\neg(A \leftrightarrow D)
    Explanation

    Therefore, A and D are not a strongly connected pair of vertices.

    Justification

    Strong connectivity requires mutual reachability.

    Shown in the video
  4. Expression
    graph one is not strongly connected\text{graph one is not strongly connected}
    Explanation

    If even one pair of vertices fails mutual reachability, the entire directed graph is not strongly connected.

    Justification

    Negation of the definition of a strongly connected graph.

    Shown in the video
Conclusion

Graph 1 is not strongly connected.

Use a pair of vertices to disprove the strong connectivity of graph 2.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, "B can reach A, but how can A reach B? That's impossible."

  2. Diagram
    Observation

    In graph 2, there are directed edges B→AB\to A, B→CB\to C, and C→AC\to A; vertex A has no outgoing edges to other vertices.

Proof
Steps
  1. Expression
    B→AB \to A
    Explanation

    There exists a directed path from B to A in the graph.

    Justification

    Read the graph directly.

    Shown in the video
  2. Expression
    A↛BA \not\to B
    Explanation

    But A has no outgoing edges, so it cannot return to B along the arrows.

    Justification

    Read the graph directly.

    Shown in the video
  3. Expression
    ¬(B↔A)\neg(B \leftrightarrow A)
    Explanation

    Therefore, B and A do not satisfy strong connectivity.

    Justification

    Strong connectivity requires mutual reachability.

    Shown in the video
  4. Expression
    graph two is not strongly connected\text{graph two is not strongly connected}
    Explanation

    Since there exists a pair of vertices that cannot reach each other, the entire graph is not strongly connected.

    Justification

    Negation of the definition of a strongly connected graph.

    Shown in the video
Conclusion

Figure 2 is not strongly connected.

Making Figure 2 strongly connected by adding reverse-directed edges.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, "Let’s reverse this arrow… B can reach C, C can reach A, and A can reach B, forming a cycle; then it becomes a strongly connected graph."

  2. Diagram
    Observation

    The instructor adds reverse-directed arrows to Figure 2, forming a directed cycle among A, B, and C.

Visual argument
Steps
  1. Expression
    B→C→A→BB \to C \to A \to B
    Explanation

    After modification, the three vertices form a closed directed cycle in the same direction.

    Justification

    Based on the figure after the instructor added the arrows.

    Shown in the video
  2. Expression
    ∀u,v∈{A,B,C}, u↔v\forall u,v \in \{A,B,C\},\ u \leftrightarrow v
    Explanation

    In a directed cycle, any two vertices can reach each other following the cycle’s direction.

    Justification

    An intuitive illustration of reachability in a cycle.

    Derived from the video
  3. Expression
    the modified graph is strongly connected\text{the modified graph is strongly connected}
    Explanation

    Since all three pairs of vertices are mutually reachable, the definition of a strongly connected graph is satisfied.

    Justification

    Applying the definition of a strongly connected graph.

    Shown in the video
Conclusion

After converting Figure 2 into a directed cycle, it becomes a strongly connected graph; the video further states that this structure has the minimum number of edges.

Step-by-step derivation of the number of edges in a complete graph.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, in sequence: "A connects to the other four vertices, using four edges," "then B connects to the other three vertices, using three edges," "four plus three plus two plus one."

  2. Formula
    Observation

    The blackboard writes 4 plus 3 plus 2 plus 1 equals (5 times 4) divided by 2.

  3. Diagram
    Observation

    The green complete graph on the left is circled in red to assist counting.

Intuitive argument
Steps
  1. Expression
    4+3+2+14+3+2+1
    Explanation

    For a complete graph with 5 vertices, 4 edges can be drawn from the first vertex; after removing already-counted edges, the second vertex contributes 3 new edges, the third contributes 2 new edges, and the fourth contributes 1 new edges.

    Justification

    Counting layer by layer according to vertex order avoids double-counting any undirected edge.

    Shown in the video
  2. Expression
    5⋅42\frac{5\cdot 4}{2}
    Explanation

    Viewing 4+3+2+14+3+2+1 as an arithmetic sequence with first term 4, last term 1, and 4 terms, it can also be written as (5⋅45\cdot 4)/2.

    Justification

    The instructor verbally uses the 'first term plus last term' approach for summing arithmetic sequences and writes this result on the board.

    Shown in the video
  3. Expression
    n(n−1)2\frac{n(n-1)}{2}
    Explanation

    Replacing the specific 5 in the example with the general number of vertices n yields the edge-count formula for a complete graph with n vertices.

    Justification

    Generalizing from a specific case to a general formula; the text of this segment directly gives the closed-form expression.

    Shown in the video
Conclusion

An undirected complete graph with n vertices has n(n−1)/2n(n-1)/2 edges, so this is also the maximum number of edges in an undirected simple graph.

Construction and derivation of the maximum number of edges in a disconnected graph

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, 'We want this graph to be disconnected yet have the maximum possible number of edges, so let these five vertices—A, B, C, D, and E—form a complete graph, and … let F be disconnected from A, B, C, D, and E.'

  2. Diagram
    Observation

    In red ink, vertices A, B, C, D, and E are circled together, while F stands alone outside the circle.

Uncertainties
  1. This segment only explains the construction idea and does not proceed to the final numerical calculation.

Intuitive argument
Steps
  1. Expression
    Kn−1K_{n-1}
    Explanation

    To maximize the number of edges while keeping the graph disconnected, first connect all pairs among n−1n-1 vertices to form a complete subgraph.

    Justification

    Among all graphs with a given number of vertices, a complete graph has the maximum number of edges.

    Shown in the video
  2. Expression
    (n−1)(n−2)2\frac{(n-1)(n-2)}{2}
    Explanation

    The number of edges inside these n−1n-1 vertices is (n−1n-1)(n−2n-2)/2.

    Justification

    Apply the formula for the number of edges in a complete graph derived earlier.

    Derived from the video
  3. Expression
    v isolatedv \text{ isolated}
    Explanation

    The remaining nth vertex is isolated—unconnected to any other vertex—so the entire graph remains disconnected.

    Justification

    An isolated vertex ensures no path exists between components.

    Shown in the video
Conclusion

Thus, a disconnected undirected graph with n vertices can have at most (n−1n-1)(n−2n-2)/2 edges.

Intuitive derivation of the maximum number of edges in a disconnected undirected graph

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, 'Because the total number of vertices is six,' 'The final answer is five halves times four,' 'That is, n minus one over two, multiplied by n minus two,' 'Because it is based on a complete graph with n minus one vertices,' 'Originally there are n vertices; we remove one vertex, leaving n minus one vertices,' 'The number of edges in a complete graph on n minus one vertices is n times n minus one over two,' 'If this single isolated vertex has an edge to or from any of the other five vertices, then the graph cannot be disconnected.'

  2. Animation
    Observation

    The instructor circles 6 in blank space and writes hints such as n, n−1n-1, n−2n-2, while giving a verbal explanation.

Uncertainties
  1. The instructor's spoken transition from 'n over two times n minus one' to the final formula 'n minus one over two times n minus two' is somewhat quick, but overall points to the remaining n−1n-1 vertices forming a complete graph.

Intuitive argument
Steps
  1. Expression
    Explanation

    First treat one vertex as an isolated vertex to keep the graph disconnected.

    Justification

    The instructor says 'originally there were n vertices, minus this one position', meaning selecting one vertex separately from the n vertices.

    Shown in the video
  2. Expression
    Explanation

    The number of remaining vertices is n−1n-1.

    Justification

    The instructor explicitly states 'the number of remaining vertices is n minus one vertex'.

    Shown in the video
  3. Expression
    (n−1)(n−2)2\frac{(n-1)(n-2)}{2}
    Explanation

    To maximize the total number of edges, connect every pair among these n−1n-1 remaining vertices, forming a complete graph.

    Justification

    The instructor says 'the number of edges in the complete graph corresponding to n minus one vertex is just...', then gives the answer as 'n minus one over two times n minus two'.

    Shown in the video
  4. Expression
    Explanation

    If this isolated vertex is connected to any other vertex, the graph is no longer disconnected.

    Justification

    The instructor says 'if this single vertex is connected to any one of these five vertices below, then it cannot be a disconnected graph'.

    Shown in the video
Conclusion

Therefore, a disconnected undirected graph with n vertices has at most (n−1)(n−2)2\frac{(n−1)(n−2)}{2} edges.

An intuitive construction for the minimum number of edges in a strongly connected directed graph.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, 'Make it a cycle,' 'A, B, C, D,' 'A points to C, C points to D, D points to B, B points to A,' 'In this case, the number of edges is minimized,' 'n vertices correspond to n edges—for example, four vertices correspond to four edges.'

  2. Animation
    Observation

    The instructor draws four vertices A, B, C, D and directed arrows on blank space, forming a cyclic structure.

Uncertainties
  1. The spoken phrase 'A points to C, C points to D, D points to B, B points to A' does not exactly match the cyclic order drawn in the figure, but both convey the core idea of 'forming a cycle.'

Visual argument
Steps
  1. Expression
    Explanation

    Take n vertices and connect them sequentially in a directed cycle.

    Justification

    The instructor says, 'Make it a cycle.'

    Shown in the video
  2. Expression
    Explanation

    Each vertex on the cycle has exactly one outgoing edge and one incoming edge; the entire graph has n edges.

    Justification

    The instructor concludes, 'n vertices correspond to n edges.'

    Shown in the video
  3. Expression
    Explanation

    In this directed cycle, any two vertices can reach each other along the cycle, so the graph is strongly connected.

    Justification

    This is the direct meaning of using the 'cyclic' construction to illustrate the minimum number of edges for strong connectivity.

    Derived from the video
Conclusion

Therefore, a strongly connected directed graph with n vertices requires at least n edges.

Relationship between the maximum number of edges in a directed graph and a complete undirected graph

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, 'The maximum is n times (n minus one),' 'This maximum case matches the property we discussed earlier: the maximum is one-half times n times (n minus one),' 'Because in a directed graph there are two edges— one pointing forward and one pointing backward—so we multiply by two on top of that.'

Intuitive argument
Steps
  1. Expression
    n(n−1)2\frac{n(n-1)}{2}
    Explanation

    First, recall the number of edges in a complete undirected graph with n vertices.

    Justification

    The instructor explicitly cites "at most n times n minus one, all over two".

    Shown in the video
  2. Expression
    2×n(n−1)2=n(n−1)2 \times \frac{n(n-1)}{2}=n(n-1)
    Explanation

    In a directed graph, there can be two edges between each pair of vertices, pointing in opposite directions.

    Justification

    The instructor says "one points forward and one points backward, so we multiply the previous result by two".

    Shown in the video
Conclusion

Therefore, the maximum number of edges in a directed graph with n vertices is n times n minus 1.

Worked examples · 9

Example of an undirected connected graph.

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The left side shows an undirected graph with five vertices: A, B, C, D, and E.

  2. Audio
    Observation

    The instructor uses A and D as an example, explaining that although there is no direct edge between them, there exists a path A-C-D, so they are connected.

Problem

Determine whether a given undirected graph is a connected graph.

Given
  1. The undirected graph contains vertices A, B, C, D, and E.

  2. The edges include (A,B), (A,C), (B,C), (C,D), (C,E), (D,E), and others.

Goal

Verify whether a path exists between any two vertices.

Steps
  1. Expression
    A→C→DA \to C \to D
    Explanation

    Verify whether a path exists between A and D.

    Justification

    A path can be found via the intermediate vertex C.

    Shown in the video
  2. Expression
    The same reasoning applies to other pairs of points\text{The same reasoning applies to other pairs of points}
    Explanation

    Verify whether a path exists between any other pair of vertices

    Justification

    Observing the graph, we see that all vertices belong to the same connected component

    Shown in the video
Answer

This graph is a connected graph

Verification

A path can be found between any pair of vertices

The directed example graph above is determined to be strongly connected.

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The directed graph in the upper right, with vertices A, B, C, D, and E.

  2. Audio
    Observation

    The instructor verifies strong connectivity for every pair of vertices one by one.

Problem

Determine whether the directed graph on the upper right is strongly connected.

Given
  1. The graph is a directed graph.

  2. The vertices are A, B, C, D, and E.

  3. The graph contains several directed edges, which can be traversed following the arrow directions.

Goal

Verify whether every pair of vertices is strongly connected.

Steps
  1. Expression
    A→B→C, C→D→AA \to B \to C,\ C \to D \to A
    Explanation

    First verify mutual reachability between A and C.

    Justification

    Read the graph and follow the instructor's verbal description of paths.

    Shown in the video
  2. Expression
    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
    Explanation

    Continue checking whether all remaining vertex pairs are also mutually reachable.

    Justification

    The instructor lists each of these vertex pairs as strongly connected, one by one.

    Shown in the video
  3. Expression
    every pair of vertices is strongly connected\text{every pair of vertices is strongly connected}
    Explanation

    All vertex pairs satisfy mutual reachability.

    Justification

    Definition of a strongly connected graph.

    Shown in the video
Answer

This graph is strongly connected.

Verification

Verification is completed by checking directed paths between every pair of vertices.

Is Graph 1 strongly connected?

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The directed graph below, labeled "Graph 1", has vertices A, B, C, and D, where A→DA\to D is a unidirectional edge.

  2. Audio
    Observation

    The instructor says, "A can reach D, but D cannot go back to A."

Problem

Determine whether Graph 1 is strongly connected.

Given
  1. Graph 1 is a directed graph.

  2. There exists a directed path from A to D.

  3. There is no directed path from D back to A.

Goal

Determine whether Graph 1 satisfies strong connectivity for every pair of vertices.

Steps
  1. Expression
    A→DA \to D
    Explanation

    A can reach D.

    Justification

    Read the graph directly.

    Shown in the video
  2. Expression
    D↛AD \not\to A
    Explanation

    D cannot return to A.

    Justification

    Read the graph directly.

    Shown in the video
  3. Expression
    ¬(A↔D)\neg(A \leftrightarrow D)
    Explanation

    Therefore, A and D do not satisfy strong connectivity.

    Justification

    Strong connectivity requires mutual reachability.

    Shown in the video
Answer

Graph 1 is not a strongly connected graph.

Verification

To disprove overall strong connectivity, it suffices to find one pair of vertices that cannot reach each other.

Is Graph 2 a strongly connected graph?

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The "Graph 2" below is a directed graph with vertices A, B, and C, and edge directions B→AB\to A, B→CB\to C, and C→AC\to A.

  2. Audio
    Observation

    The instructor says, "B can reach A, but how can A reach B? It cannot."

Problem

Determine whether Graph 2 is a strongly connected graph.

Given
  1. Graph 2 is a directed graph.

  2. There exists a directed path from B to A.

  3. A has no outgoing path back to B.

Goal

Determine whether graph 2 satisfies strong connectivity for every pair of vertices.

Steps
  1. Expression
    B→AB \to A
    Explanation

    B can reach A.

    Justification

    Read the graph directly.

    Shown in the video
  2. Expression
    A↛BA \not\to B
    Explanation

    A cannot reach B.

    Justification

    Read the graph directly.

    Shown in the video
  3. Expression
    ¬(B↔A)\neg(B \leftrightarrow A)
    Explanation

    Therefore, B and A do not satisfy strong connectivity.

    Justification

    Strong connectivity requires mutual reachability.

    Shown in the video
Answer

Graph 2 is not strongly connected.

Verification

Negate it by identifying a pair of vertices that cannot reach each other.

Modify graph 2 to make it strongly connected

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The instructor adds reverse arrows to graph 2, forming a directed cycle among A, B, and C.

  2. Audio
    Observation

    The presenter says, 'B can reach C, C can reach A, and A can reach B; this forms a cycle, making it a strongly connected graph, and in this case, its number of edges is minimal.'

Problem

How to change the direction of edges in graph 2 to make it strongly connected, and observe the property of its number of edges.

Given
  1. Original graph 2 is a directed graph

  2. Vertices are A, B, and C

  3. The presenter may manually add arrows

Goal

Construct a strongly connected version and explain that its number of edges is minimal.

Steps
  1. Expression
    B→C→A→BB \to C \to A \to B
    Explanation

    Change the edges to form a directed cycle with all edges oriented in the same direction.

    Justification

    Based on the diagram after the presenter's manual additions.

    Shown in the video
  2. Expression
    ∀u,v∈{A,B,C}, u↔v\forall u,v \in \{A,B,C\},\ u \leftrightarrow v
    Explanation

    Any two vertices on the cycle can reach each other along the cycle.

    Justification

    Reachability in a directed cycle.

    Derived from the video
  3. Expression
    number of edges=3\text{number of edges}=3
    Explanation

    A three-vertex cycle achieves strong connectivity using exactly three edges.

    Justification

    The presenter says, "In this case, it has the minimum number of edges."

    Shown in the video
Answer

The modified graph 2 is strongly connected and has the minimum number of edges in this example.

Verification

Check whether any two vertices can reach each other along a cycle.

Example of the minimum number of edges for a connected graph on 5 vertices

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    "Let me draw it: letters A, B, C, D, E. We connect C to A, C to B, C to D, and C to E." "See? Four edges are used for five vertices."

  2. Diagram
    Observation

    With a red pen, draw 5 points in the blank space and draw 4 edges centered at C.

Problem

Construct a connected undirected graph using 5 vertices and observe the minimum number of edges required.

Given
  1. vertices A, B, C, D, and E

  2. require the graph to be connected

Goal

construct a connected graph with the minimum possible number of edges

Steps
  1. Expression
    C−A, C−B, C−D, C−EC-A,\ C-B,\ C-D,\ C-E
    Explanation

    take C as the central vertex and connect it to each of the other 4 vertices

    Justification

    then any two vertices can communicate via C, so the graph is connected

    Shown in the video
  2. Expression
    4=5−14=5-1
    Explanation

    this construction uses exactly 4 edges

    Justification

    this matches the conclusion that a connected graph with n vertices requires at least n minus 1 edges

    Shown in the video
Answer

a connected undirected graph with 5 vertices requires at least 4 edges

Verification

the instructor directly counts the drawn edges as 4 and matches this with n minus 1

Example: number of edges in a complete graph with 5 vertices

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Is not the number of edges in a complete graph equal to n times n minus one, all over two? A is connected to each of the other four vertices… four plus three plus two plus one… equals five times four over two.

  2. Formula
    Observation

    the board writes 4+3+2+1=(5⋅4)/24 + 3 + 2 + 1 = (5 \cdot 4) / 2

  3. Diagram
    Observation

    the left-side green complete graph on 5 vertices is circled and used for counting

Problem

Calculate how many edges a complete undirected graph with 5 vertices has.

Given
  1. Number of vertices n=5n = 5

  2. The graph is complete

Goal

Find the number of edges and relate it to the general formula n(n−1)/2n(n - 1)/2

Steps
  1. Expression
    4+3+2+14+3+2+1
    Explanation

    Add edges sequentially by vertex order: the first vertex connects to 4 others, the second adds 3 more, the third adds 2 more, and the fourth adds 1 more.

    Justification

    Avoid double-counting the same undirected edge.

    Shown in the video
  2. Expression
    5⋅42\frac{5\cdot 4}{2}
    Explanation

    Write the above sum as the result of an arithmetic series sum.

    Justification

    The instructor verbally uses the phrase 'first term plus last term' for summation.

    Shown in the video
  3. Expression
    n(n−1)2∣n=5=5⋅42\frac{n(n-1)}{2}\bigg|_{n=5}=\frac{5\cdot 4}{2}
    Explanation

    Substitute the general formula with n=5n = 5 to obtain the same result.

    Justification

    Consistent with both the board work and oral explanation.

    Shown in the video
Answer

A complete graph with 5 vertices has 10 edges, namely (5⋅45\cdot 4)/2.

Verification

The special-case calculation matches the result from substituting into the general formula.

Example constructing a non-connected graph with the maximum number of edges

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    For example, suppose there are five vertices below: A, B, C, D, and E, plus another vertex F. To make this graph non-connected while having the maximum possible number of edges, we let these five vertices form a complete graph, and let F be disconnected from A, B, C, D, and E.

  2. Diagram
    Observation

    A red pen circles vertices A, B, C, D, and E together, with F isolated outside.

Uncertainties
  1. The segment does not compute the exact number of edges for this example, stopping only at the construction description.

Problem

Construct an undirected graph that has as many edges as possible while remaining non-connected.

Given
  1. The example has 6 vertices: A, B, C, D, E, F

  2. Require the graph to be non-connected

Goal

Explain how to maximize the number of edges while maintaining non-connectedness

Steps
  1. Expression
    K5 on {A,B,C,D,E}K_5 \text{ on } \{A,B,C,D,E\}
    Explanation

    Connect vertices A, B, C, D, and E pairwise to form a complete subgraph.

    Justification

    Among 5 vertices, the complete graph has the maximum number of edges.

    Shown in the video
  2. Expression
    F isolatedF \text{ isolated}
    Explanation

    Let F be disconnected from A, B, C, D, and E.

    Justification

    Thus, F itself forms an isolated component, and the entire graph remains disconnected.

    Shown in the video
Answer

This construction shows that the disconnected graph with the maximum number of edges can be obtained by taking a complete graph on n minus 1 vertices together with an isolated vertex.

Verification

The instructor directly supports the upper-bound reasoning through the construction of 'complete subgraph plus isolated vertex'.

Maximum number of edges in an undirected disconnected graph with 6 vertices

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says "because the total number of vertices is six" and "the final answer is five times four, all over two".

  2. Animation
    Observation

    The instructor circles the number 6 in blank space and writes computational hints related to 5 and 4.

Problem

Given a total of 6 vertices, what is the maximum possible number of edges in an undirected disconnected graph?

Given
  1. Total number of vertices n equals 6

  2. The graph is undirected

  3. The graph is disconnected.

Goal

Find the maximum number of edges.

Steps
  1. Expression
    (6−1)(6−2)2\frac{(6-1)(6-2)}{2}
    Explanation

    Substitute into the formula for the maximum number of edges in a disconnected undirected graph.

    Justification

    Formula from the slide: |E| ≤(n−1)(n−2)2\le \frac{(n-1)(n-2)}{2}.

    Shown in the video
  2. Expression
    5×42\frac{5 \times 4}{2}
    Explanation

    Simplify the differences inside the parentheses.

    Justification

    The presenter says, "five halves times four."

    Shown in the video
  3. Expression
    1010
    Explanation

    Compute to obtain the maximum number of edges.

    Justification

    Arithmetic simplification.

    Derived from the video
Answer

10 edges.

Verification

Matches the general formula given on the slide when n equals 6.

Visual events · 12

Labeling the diagram and drawing paths

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    The instructor writes 'undirected graph' next to 'connected graph' and 'directed graph' next to 'strongly connected graph'

  2. Animation
    Observation

    The instructor draws a path A–C–D from A to D on the left undirected graph

  3. Animation
    Observation

    The instructor draws bidirectional arrows between A and B on the right directed graph and writes 'A→BA \to B' and 'B→AB \to A' below

Objects
  1. Undirected graph

  2. Directed graph

  3. Red handwritten script

Changes
  1. Adding text labels to distinguish undirected and directed

  2. Draw a path to illustrate connectivity.

  3. Draw bidirectional arrows to illustrate strong connectivity.

Invariants
  1. The basic topological structure of the graph remains unchanged.

Interpretation

Use dynamic labeling to emphasize that connectivity applies to undirected graphs, while strong connectivity applies to directed graphs, and to visually demonstrate the concepts of paths and mutual reachability.

Overall page layout

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The entire page title is "Connected Graphs and Strongly Connected Graphs"; the top-left shows an undirected graph example, the top-right shows a directed graph example, the bottom-left contains the text "Key Concept", and the bottom-right displays "Graph 1" and "Graph 2".

Objects
  1. Main title: "Connected Graphs and Strongly Connected Graphs"

  2. Left-side undirected graph example

  3. Right-side directed graph example

  4. Bottom-left key concept text

  5. Bottom-right "Graph 1" and "Graph 2"

Changes
  1. During the explanation, red arrows, circled annotations, and crosses are added sequentially to the right-side directed graph and to graphs 1 and 2 below.

Invariants
  1. The main page title and the two major definition areas on the left and right remain visible throughout.

Interpretation

The screen compares "connected" for undirected graphs and "strongly connected" for directed graphs, and tests these concepts using the example problem below.

Path tracing on the directed graph in the upper right

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    The instructor traces paths along edges on the directed graph in the upper right and circles several vertices.

  2. Audio
    Observation

    Simultaneously speaking: "A can go to B, then to C", "C can go to D, then to A", etc.

Objects
  1. Vertices A, B, C, D, E

  2. Directed edges

  3. Red tracing path

Changes
  1. Tracing several reachable paths sequentially along the arrows

  2. Circling to emphasize the vertex pair currently under verification

Invariants
  1. The graph's structure remains unchanged

  2. Arrow directions remain unchanged

Interpretation

Visual actions illustrate the pairwise verification process for "every pair of vertices is strongly connected".

Counterexample annotation on Figure 1

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    The presenter traces the direction from A to D on Figure 1 and places a negation mark near D.

  2. Audio
    Observation

    Simultaneously says, "D cannot go back to A."

Objects
  1. Figure 1

  2. Vertices A and D

  3. Red mark

Changes
  1. Emphasizes that A→DA\to D is reachable

  2. Emphasizes that D→AD\to A is not reachable

Invariants
  1. Original edge directions in Figure 1 remain unchanged

Interpretation

Uses a pair of mutually unreachable vertices to show that Figure 1 is not strongly connected.

Negation and modification of Figure 2

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    First points out on Figure 2 that B→AB\to A is reachable but A→BA\to B is not, then adds a reverse arrow to form a cycle.

  2. Audio
    Observation

    The presenter first says, "Figure two is also not a strongly connected graph," then says, "Let us modify this arrow... to form a cycle; then it becomes a strongly connected graph."

Objects
  1. Figure 2

  2. Vertices A, B, and C

  3. New red arrows

Changes
  1. First mark that A cannot return to B

  2. Then add arrows so that A, B, and C form a directed cycle

Invariants
  1. The vertex set remains unchanged

  2. The object under discussion remains the same three-vertex directed graph

Interpretation

The same figure first serves as a counterexample to strong connectivity, then demonstrates a minimally strongly connected structure by reversing edge directions.

Overall slide layout

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The entire page is divided into left and right halves: the left half bears the title 'Connected Graph', and the right half bears the title 'Strongly Connected Graph'; below them appear the words 'Key Concept' and two small directed graph examples labeled 'Graph 1' and 'Graph 2'.

Objects
  1. Left-side green undirected graph

  2. Right-side orange directed graph

  3. Key Concept text below

  4. Graph 1 and Graph 2 in the lower-right corner

Invariants
  1. The left column always corresponds to undirected connected graphs

  2. The right column always corresponds to directed strongly connected graphs

Interpretation

The page uses a side-by-side layout to contrast the concepts of connectivity and their extremal edge counts for undirected versus directed graphs.

Hand-drawn example of a star-shaped connected graph.

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    A red pen writes A, B, C, D, and E sequentially in blank space, then draws edges from C to each of the other four points.

  2. Audio
    Observation

    The presenter says in sync: 'C connects to A, C connects to B, C connects to D, C connects to E' and 'four edges are used for five vertices.'

Objects
  1. Five red points labeled A, B, C, D, and E.

  2. Four edges centered at C.

Changes
  1. First, write the vertex labels.

  2. Then draw edges one by one outward from the central vertex C.

Invariants
  1. The total number of vertices remains 5.

  2. The number of edges ultimately becomes 4.

Interpretation

This animation demonstrates that a connected graph with n vertices can be realized using as few as n minus 1 edges.

Edge count labeling process for a complete graph

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    A red pen circles the green complete graph on the left and writes above it 4, 4+34+3, 4+3+24+3+2, 4+3+2+14+3+2+1, and finally (5⋅45\cdot 4)/2.

  2. Formula
    Observation

    The boardwork progressively accumulates the sum and converts it into a product divided by 2.

Objects
  1. Complete graph with 5 vertices on the left

  2. Red summation expression 4+3+2+14+3+2+1

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

Changes
  1. First, circle the complete graph

  2. Then, write out the summation term by term

  3. Finally, rewrite it in product form

Invariants
  1. The number of vertices in the example is always 5

  2. The object under discussion is always an undirected complete graph

Interpretation

The visual process converts the counting method of "adding edges point by point" into an arithmetic series sum, then transitions to the general formula n(n−1)/2n(n-1)/2.

Animation constructing the maximum number of edges in a disconnected graph

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    Write A, B, C, D, E, F in red ink; circle A through E together, and leave F outside the circle.

  2. Audio
    Observation

    The instructor says: make the five vertices into a complete graph, and keep F disconnected from all other vertices.

Objects
  1. Six vertices labeled A, B, C, D, E, and F

  2. Five enclosed vertices

  3. Isolated vertex F

Changes
  1. First list 6 vertices

  2. Then enclose the first 5 vertices as one group

  3. Finally leave F outside the group

Invariants
  1. Total number of vertices is 6

  2. The graph remains disconnected throughout

Interpretation

This animation visually illustrates the extremal construction idea: 'one complete component plus one isolated vertex'.

Overall layout of the slide.

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The entire frame shows a single slide: at the top left and right are examples labeled "connected graph" and "strongly connected graph", respectively; below them is the text "key concept" followed by a formula; in the bottom right corner are two small directed graph examples labeled "Figure 1" and "Figure 2".

Objects
  1. Title: "Connected Graphs and Strongly Connected Graphs"

  2. Left: example of a connected graph

  3. Right: example of a strongly connected graph

  4. Bottom: text and formula labeled "Key Concept"

  5. Bottom right: "Graph 1", "Graph 2"

Changes
  1. During explanation, red pen continuously adds circled annotations, letters, and arrows in blank areas

Invariants
  1. Main slide text and example diagrams remain constantly visible

  2. The topic consistently focuses on extremal numbers of edges for connected and strongly connected graphs

Interpretation

The visual presentation is primarily static lecture notes, with dynamic red-pen annotations used to supplement derivations and construct examples.

Red-pen annotation for the maximum number of edges in a disconnected graph

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    The instructor circles "6" in blank space and successively writes n, n−1n-1, n−2n-2, etc., annotating the maximum number of edges in a disconnected graph.

Uncertainties
  1. Some handwritten symbols are messy, but audio confirms they illustrate relationships among n, n−1n-1, and n−2n-2.

Objects
  1. the circled number 6

  2. handwritten n, n−1n-1, n−2n-2

  3. original slide formula

Changes
  1. transition from the specific value 6 to the general expressions n−1n-1 and n−2n-2

  2. highlighting the idea that "the remaining vertices form a complete graph" through circling

Invariants
  1. the original slide formula remains unchanged

Interpretation

these annotations connect the abstract formula (n−1)(n−2)2\frac{(n−1)(n−2)}{2} with the construction of "removing one isolated vertex and fully connecting the rest".

cyclic construction for the minimum number of edges in a strongly connected directed graph

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    the presenter draws four vertices A, B, C, D and directed arrows on blank space, forming a cyclic structure.

  2. Audio
    Observation

    the presenter says aloud, "let it become a cycle" and "n vertices correspond to n edges".

Uncertainties
  1. the spoken order of arrows does not exactly match the local handwriting sequence in the video, but both point to the same directed cycle construction.

Objects
  1. handwritten vertices A, B, C, D

  2. directed arrow

  3. blank annotation area

Changes
  1. first write the vertex letter, then add the directed edge, and finally form a cycle

Invariants
  1. when the number of vertices is 4, the number of edges is also 4

  2. the purpose of construction is to illustrate the minimum-edge case

Interpretation

this animation visually demonstrates how the minimum number of edges n for a strongly connected directed graph is achieved: by arranging all vertices into a single directed cycle.

Misconceptions · 9

Mistakenly believing that a direct edge is required for connectivity.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Some students think that since there is no red edge directly connecting A and D, A and D are not connected. This understanding is clearly incorrect.

Misconception

Believing that two vertices must be joined by a direct edge to be connected.

Clarification

Connectivity means there exists a path between two vertices; the path may pass through other intermediate vertices and does not require a direct connection.

Mistakenly treating one-way reachability in a directed graph as strong connectivity

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor repeatedly emphasizes 'D cannot go back to A' and 'How can A reach B? Impossible.'

  2. Diagram
    Observation

    Both Figure 1 and Figure 2 rely on arrow direction to determine reachability.

Misconception

Assuming two vertices are strongly connected just because there is a path between them.

Clarification

Strong connectivity requires mutual reachability; satisfying reachability in only one direction is insufficient to conclude strong connectivity.

Misbelieving that a connected graph must have many edges.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor asks, 'When is the situation minimal? It is when it resembles a tree.'

  2. Formula
    Observation

    The board writes that a connected undirected graph has at least n−1n-1 edges.

Misconception

Thinking that connectivity alone requires nearly as many edges as a complete graph.

Clarification

A connected undirected graph with n vertices needs only n−1n-1 edges at minimum, with the tree structure being a typical example.

The meaning of z in the subtitle is unclear.

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If the graph is disconnected, then z can have at most (n−1n-1)×(n−2n-2)/2 edges.

Uncertainties
  1. It is unclear whether z is a typographical error or a typesetting placeholder; its definition is not provided within the fragment.

Misconception

Readers might mistakenly think z is another newly introduced quantity.

Clarification

In the context of this segment, the sentence actually states that a disconnected graph can have at most (n-1)(n-2)/2 edges; z is not otherwise defined and should be regarded as a suspicious typesetting error or typo, not a new mathematical object.

Confusing undirected connectivity with directed strong connectivity.

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The left column 'connected graph' pairs with an undirected graph; the right column 'strongly connected graph' pairs with a directed graph.

  2. Caption evidence
    Observation

    The definitions on both sides respectively emphasize 'any two vertices are connected' and 'any pair of vertices is strongly connected'.

Misconception

Might treat 'connected graph' and 'strongly connected graph' as the same condition.

Clarification

This segment clearly distinguishes the two via side-by-side columns: a connected graph applies to undirected graphs and only requires that any two vertices be connected; a strongly connected graph applies to directed graphs and requires that any pair of vertices be mutually reachable.

Ignoring the difference in minimum edge counts.

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    An undirected connected graph has at least n-1 edges; a directed strongly connected graph has at least n edges (a cycle).

  2. Diagram
    Observation

    The example on the right is a directed cycle.

Misconception

Might mistakenly assume the minimum number of edges is the same for undirected connected graphs and directed strongly connected graphs.

Clarification

The segment explicitly gives different lower bounds: an undirected connected graph has at least n minus 1 edges, whereas a directed strongly connected graph has at least n edges, because directed cycles are needed in directed graphs to ensure mutual reachability.

mistaking "connected" for "pairwise directly connected"

Approximate timing
Supplementary explanation
Evidence
  1. Diagram
    Observation

    the "connected graph" example on the left does not have a direct edge between every pair of vertices, but rather connects every pair via a path.

  2. Formula
    Observation

    the slide simultaneously gives the minimum number of edges for a connected graph as n minus 1, and the maximum number as n(n−1)2\frac{n(n-1)}{2}.

Misconception

it is easy to mistakenly think that in a connected graph, every pair of vertices must be joined by a direct edge.

Clarification

the definition given in the video is "any two vertices are connected", meaning a path exists; only when the maximum number of edges n(n−1)2\frac{n(n-1)}{2} is reached does it become an undirected complete graph.

Mistakenly thinking that isolated vertices can still be connected by edges in a disconnected graph.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    the instructor emphasizes "if this isolated vertex has an edge to any one of the five vertices below, then it cannot be a disconnected graph."

Misconception

When finding the maximum number of edges in a disconnected graph, one might mistakenly think of connecting an isolated vertex to all other vertices to increase the edge count.

Clarification

The video explains that once this single vertex connects to any other vertex, the graph is no longer disconnected; thus, the maximum number of edges must come solely from the complete connection among the remaining n−1n-1 vertices.

Mistakenly thinking that a strongly connected directed graph must have nearly as many edges as a complete graph.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The presenter uses a 'cycle' to illustrate the minimum number of edges and states, 'n vertices correspond to n edges.'

Misconception

One easily conflates 'strong connectivity' directly with 'having many edges.'

Clarification

The video gives the minimal case: just a directed cycle, requiring only n edges for strong connectivity among n vertices.

Concept relations · 12

definition of a connected graph → Definition of a strongly connected graph

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    This definition is quite similar to the one used for connected graphs, isn’t it?

Contrast
Explanation

A connected graph applies to undirected graphs and requires a path between any two vertices; a strongly connected graph applies to directed graphs and requires a bidirectional path between any two vertices. Although their definitions have similar forms, they apply to different types of graphs and impose different conditions.

Connected graph → Strongly connected graph

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Definitions for 'connected graph' and 'strongly connected graph' appear on the left and right sides respectively.

  2. Diagram
    Observation

    The left side pairs with an undirected graph; the right side pairs with a directed graph.

Contrast
Explanation

A connected graph applies to undirected graphs where any two vertices are reachable; a strongly connected graph applies to directed graphs where any two vertices are mutually reachable.

Strongly connected graph → Number of edges in directed strongly connected graphs

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor first says that after changing to a cycle, 'the number of edges is minimal,' then later writes on the board that a strongly connected directed graph has at least n edges.

Application
Explanation

Earlier, a three-vertex cycle was used intuitively to illustrate the minimal strongly connected structure; later, this was generalized to state that a directed strongly connected graph with n vertices has at least n edges.

Connected graph → Number of edges in undirected connected versus disconnected graphs

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board writing in 'Key Points' directly states that for 'G is a connected graph', the minimum number of edges is n minus 1, and the maximum number is n times (n minus 1) divided by 2.

Application
Explanation

The definition of a connected graph is used to derive the extremal numbers of edges for undirected graphs in both connected and disconnected cases.

Connected graphs and disconnected graphs → minimum number of edges in an undirected connected graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    First gives the definition of 'connected graph', then states in the 'key point' section: 'If G is a connected graph, then it has at least n minus 1 edges.'

Application
Explanation

The definition of a connected graph directly leads to its minimum edge count: to ensure connectivity between any two vertices, at least n minus 1 edges are required.

Number of edges in an undirected complete graph versus maximum number of edges in an undirected graph. → Maximum number of edges in an undirected disconnected graph.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor explains the maximum number of edges as 'In a complete graph, isn't it n times n minus one, divided by two?'

Contrast
Explanation

The maximum number of edges in an undirected graph corresponds to the complete graph; in contrast, the maximum number of edges in a disconnected graph arises from the constructive comparison: 'remove one isolated vertex, and make the remaining n minus 1 vertices as dense as possible.'

strongly connected graph → Minimum number of edges in a strongly connected directed graph

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    The right column first defines 'strongly connected graph'; later it states: 'If G is a strongly connected graph, then it has at least n edges (a cycle).'

Application
Explanation

The mutual reachability requirement of strong connectivity directly corresponds to directed cycles—the minimal realization requiring exactly n edges.

Connected graphs and disconnected graphs → strongly connected graph

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The left column shows an undirected graph example; the right column shows a directed graph example; their headings are 'Connected Graph' and 'Strongly Connected Graph', respectively.

Contrast
Explanation

The segment juxtaposes undirected graph connectivity with directed graph strong connectivity, emphasizing differences in applicable objects and criteria for determination.

Connected graphs and disconnected graphs → Number of edges in an undirected connected graph with n vertices

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The slide first defines a connected graph, then states, 'If G is a connected graph, it has at least n−1n-1 edges and at most n×(n−1)n\times (n-1)∕2.'

Application
Explanation

The edge-number range for undirected connected graphs is built directly upon the definition of 'connected graph.'

Strongly connected graph → Range of the number of edges in a directed strongly connected graph with n vertices

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The slide first defines a strongly connected graph, then states, 'In a directed graph G with n vertices, if G is strongly connected, it has at least n edges … and at most n×(n−1)n\times (n-1).'

Application
Explanation

The extremal edge-number statement for directed strongly connected graphs takes the definition of 'strongly connected graph' as its premise.

Number of edges in an undirected connected graph with n vertices → Range of the number of edges in a directed strongly connected graph with n vertices

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The presenter says, 'This maximum case matches the property we discussed earlier: the maximum is n times (n minus one) over two,' and adds, 'Because in a directed graph, each undirected edge corresponds to two directed edges, so we multiply by two.'

Contrast
Explanation

The video compares the maximum number of edges in a directed graph, n(n−1)n(n-1), with that in an undirected complete graph, n(n−1)2\frac{n(n−1)}{2}, to illustrate that each pair of vertices in the directed case can have two opposite-directed edges.

Number of edges in an undirected connected graph with n vertices → Upper bound on the number of edges in an undirected disconnected graph with n vertices

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The slide lists side by side: "If G is a connected graph..." and "If it is a disconnected graph...".

Contrast
Explanation

Undirected graphs of the same type are divided into two extremal edge-number cases based on whether they are connected.

Find an answer · 21

What is a connected graph?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Alright, let’s now look at the definition of a connected graph.

Knowledge points
  1. definition of a connected graph

What is a strongly connected graph?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    In a strongly connected graph, any pair of vertices is strongly connected; such a graph is called strongly connected.

Knowledge points
  1. Definition of a strongly connected graph

What pattern governs the number of edges in connected versus disconnected graphs?

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    Key point: For an undirected graph G with N vertices...

Knowledge points
  1. Range of number of edges in a connected graph
  2. maximum number of edges in a disconnected graph

What is a strongly connected graph?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The text on the right directly gives the definition of a strongly connected graph.

Knowledge points
  1. Strongly connected graph

How do we determine whether a directed graph is strongly connected?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor uses the path from A to D and the inability to return from D to A to determine whether graph 1 is strongly connected.

Knowledge points
  1. Strongly connected graph
  2. Is Graph 1 strongly connected?

Why does a strongly connected directed graph require at least n edges?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says that after changing it into a cycle, 'the number of edges is minimal.'

  2. Formula
    Observation

    The board writing states that a directed strongly connected graph has a minimum of n edges.

Knowledge points
  1. Number of edges in directed strongly connected graphs
  2. Modify graph 2 to make it strongly connected

For an undirected graph with n vertices, what are the minimum and maximum possible numbers of edges?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board writing lists the edge-count formulas for undirected connected and disconnected graphs.

Knowledge points
  1. Number of edges in undirected connected versus disconnected graphs

What is a connected graph, and how do we determine whether an undirected graph is connected?

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If every pair of vertices in a graph is connected, the graph is called a connected graph; otherwise, it is disconnected.

Knowledge points
  1. Connected graphs and disconnected graphs

Which type of graph does a strongly connected graph apply to, and what is its definition?

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    If every ordered pair of vertices in a graph is strongly connected, then the graph is called a strongly connected graph.

Knowledge points
  1. strongly connected graph

Why must an undirected connected graph with n vertices have at least n minus 1 edges?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Four edges are used among five vertices.

  2. Caption evidence
    Observation

    If G is a connected graph, then it has at least n minus 1 edges.

Knowledge points
  1. minimum number of edges in an undirected connected graph
  2. Example of the minimum number of edges for a connected graph on 5 vertices

Why is the maximum number of edges in an undirected graph n times (n minus 1) divided by 2, and how is this formula derived?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    4 plus 3 plus 2 plus 1 equals 5 times 4 divided by 2.

  2. Audio
    Observation

    The instructor relates it to the complete graph.

Knowledge points
  1. Number of edges in an undirected complete graph versus maximum number of edges in an undirected graph.
  2. Step-by-step derivation of the number of edges in a complete graph.
  3. Example: number of edges in a complete graph with 5 vertices

Why can a disconnected graph have at most (n minus 1) times (n minus 2) divided by 2 edges?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    To make this graph a disconnected graph with the maximum number of edges… make these five vertices form a complete graph… and let F be disconnected from A, B, C, D, and E.

Knowledge points
  1. Maximum number of edges in an undirected disconnected graph.
  2. Construction and derivation of the maximum number of edges in a disconnected graph
  3. Example constructing a non-connected graph with the maximum number of edges
Coverage and review notes

Covered · Introduce concepts and distinguish applicable scopes for undirected and directed graphs.

Covered · Explain the definition of a connected graph and methods to determine connectivity via paths; correct common misconceptions.

Covered · Explain the definition of a strongly connected graph, emphasizing the requirement of bidirectional paths.

Covered · The instructor explains the example above, gives the definitions of connected graph and strongly connected graph, and verifies that the directed graph on the right is strongly connected.

Covered · Show that graph 1 is not strongly connected, using the counterexample that A can reach D but D cannot reach A.

Covered · Show that graph 2 is not strongly connected, pointing out that B can reach A but A cannot reach B.

Covered · The instructor adds arrows to convert graph 2 into a directed cycle, explaining that it then becomes strongly connected and has the minimum possible number of edges.

Covered · Proceed to the summary of key exam points, giving extremal numbers of edges for connected and strongly connected graphs—both undirected and directed.

Covered · The instructor hand-draws a connected example with 5 vertices and 4 edges to illustrate the minimum number of edges in an undirected connected graph.

Covered · The question 'What is the maximum number of edges?' is raised, leading to the expression n(n−1)/2n(n-1)/2 and the concept of a complete graph.

Covered · On the board, the derivation of the number of edges in a complete graph proceeds as 4+3+2+1=(5⋅4)/24+3+2+1=(5\cdot 4)/2, then generalizes to the standard formula.

Covered · The discussion shifts to the exam point 'if the graph is disconnected', giving the upper bound (n-1)(n-2)/2.

Covered · The reasoning for the maximum number of edges in a disconnected graph is explained using a construction: a complete graph on vertices A, B, C, D, E, plus an isolated vertex F; the segment ends here.

Covered · The screen shows the entire handout, and the instructor continues from the previous discussion of5 vertices and the reasoning behind the calculation n times5 divided by4 over2.

Covered · The instructor explains the maximum number of edges formula for a disconnected undirected graph, using the example n equals6, which is n minus1 times n minus2)2 comes from.

Covered · The instructor moves to the next property and reads aloud: "In a directed graph G with n vertices, if G is strongly connected, then it has at least n edges."

Covered · The instructor draws a directed cycle in red and explains the construction achieving the minimum number n of edges for a strongly connected directed graph.

Covered · The instructor states that the maximum number of edges is n(n−1)n(n-1) and compares it with the undirected complete graph'sn(n−1)2s \frac{n(n−1)}{2}, pointing out that in the directed case each pair of vertices contributes two opposite edges.

Explore the knowledge in this video

Open video knowledge graph →

  • Graphs ApplicationAt 3:37
    Why this connection?

    Reviewed English material v1: card "Edge extremal values for connected versus disconnected undirected graphs" at 3:37 — Board summary: For nn an undirected graph with GG if GG is a connected graph, then it has at least n−1n-1 edges and at most n(n−1)2\frac{n(n-1)}{2} edges; if GG is a disconnected graph, then it can have at most (n−1)(n−2)2\frac{(n-1)(n-2)}{2} edges. The instructor orally points out that the minimum case is similar to a tree.