图定义(离散数学)
由顶点(节点)和连接它们的边组成的结构。区别于连续函数的图形绘图。
MIT OpenCourseWare · YouTube · 15:26
这里的图由节点和边组成,不是函数曲线。示例包含4个节点与5条边。选定边方向后,关联矩阵记录带标签的连接关系;随后将它乘以节点电位向量,得到边上的电位差。 网页链接、电话连接和神经元连接说明图模型的用途。讲解随后回到示例:关联矩阵有5个边对应的横行和4个节点对应的竖列,并按所选边方向填写元素。这些是建模示例,不是完整的物理或生物理论。 一条边从节点i指向节点j时,对应横行在起点位置为−1、终点位置为+1,其余位置为零。讲解逐行填完示例图的五个横行。无向图也可以人为选定参考方向;关联矩阵不包含几何长度或材料参数。 完成的关联矩阵有5个横行与4个竖列。给每个节点指定电位后,就得到可与矩阵相乘的向量。乘积表示端点电位差;要得到电流,还需要另一个描述边物性的定律。 将示例关联矩阵乘以节点电位向量,可得到五条边的终点电位减起点电位。讲解据此引出电流。编辑补充:这种简单响应针对电阻有限且为正的被动电阻边;仅有矩阵乘积还不能直接算出电流。 网络中有两组未知量:节点电位与边流量。关联矩阵把节点电位变成边上的差值,边流量标签表示另一类量。这里建立的是离散的矩阵与向量模型。要求解物理网络,还需补充物性定律、源项以及参考或边界数据。 讲解将电位差关系与基尔霍夫电流定律联系起来。稳态节点的总流入与总流出电流平衡。编辑补充:这里假定节点没有电荷积累;统计全部电流时,需要包括外接支路。 关联矩阵的转置把边流量映射为节点的带符号收支。本例转置为4乘5矩阵,作用于含5个分量的流量向量。在稳态且所列边系统没有外部节点注入时,结果为零向量。它是线性映射,不是投影算子。 讲解区分节点收支与逐边物性定律。对被动欧姆电阻,欧姆定律联系电流与电压降。原片一处电导和电阻的口头混用在此由编辑澄清:电阻乘以电流得到电压降,电导则是电阻的倒数。 欧姆定律提供电阻边的物性关系,关联矩阵给出端点差值,其转置给出节点收支。这些部分引出网络方程;要得到确定的物理解,还需要源项、边界条件和参考电位。原片没有计算数值电流。 讲解最后把称为无权图拉普拉斯算子,将图的连接关系与矩阵运算联系起来,端点差值和节点收支提供了动机。带权物理网络通常需要电导权重;原片引入算子,没有完整证明或求解网络系统。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
讲座开始将焦点从微分方程转移到线性代数,特别是引入“关联矩阵”作为编码图结构的工具。
讲师澄清术语:在此语境中,“图”不是像 这样的函数图像,而是由边连接的离散节点集合。
利用左侧的图表,定义了变量 n(节点数量)和 m(边数量)。对于此示例, 且 。
将“完全图”的概念与当前的“一般图”进行对比。完全图将包括每一个可能的连接(如假设的边 6),而一般图允许存在缺失的连接。
这个示例不是完全图,还有一条可能的连接没有出现。确定节点与边之后,下一步就是用矩阵表达连接关系。
讲师开场提出图是许多现实世界系统的主要数学模型。板书标题强化了这一框架:“图:主要应用模型1.”
他给出了第一个例子,万维网。在这个模型中,每个网站是一个节点,当且仅当对应的网站链接时,在两个节点之间放置一条边。这使得网络成为一个非常大图的例子。
然后他给出了电信领域的第二个例子。电话是节点,一条边代表两部电话之间的通话。同样,系统的结构由节点和边捕获。
第三个例子是大脑。讲师将神经元连接的网络描述为图,并将理解该图呈现为一个主要的科学挑战。这个例子是激励性的,而非在片段内详细形式化。
讲座随后从广泛的例子转向一个具有四个节点和五条边的具体黑板图。演讲者宣布他将创建与该图关联的矩阵。
他解释了关联矩阵 A 的布局:因为图有五条边,矩阵有五行;因为图有四个节点,节点对应列。因此,显示的矩阵组织为 5 乘 4 的数组。
对第一横行,边1连接节点1与节点2,其符号用于记录这个方向的起点和终点。
我们首先建立图的边与矩阵行之间的对应关系。边 1 连接节点 1 到节点 2。
按本讲约定,将 -1 写入起点(节点 1)对应的列,将 +1 写入终点(节点 2)对应的列。同一横行的其他元素为 0。
接下来,边 2 从节点 1 指向节点 3。相应横行将 -1 写入第 1 竖列,将 +1 写入第 3 竖列,其余写零。
边 3 从节点 2 指向节点 3。因此把 -1 写入第 2 竖列,把 +1 写入第 3 竖列。
边 4 从节点 1 指向节点 4,因此把 -1 写入第 1 竖列,把 +1 写入第 4 竖列。
最后,边 5 从节点 2 指向节点 4,在相应横行把 -1 写入第 2 竖列,把 +1 写入第 4 竖列。
完成的矩阵现在以代数方式记录图的连接关系。几何距离和边的物性仍需另外的数据。
我们首先检查关联矩阵 A,它对具有 5 条边和 4 个节点的图进行建模。任何矩阵的基本属性是其通过乘法作用于向量的能力。
为了演示这一点,我们准备将我们的 5x4 关联矩阵乘以一个向量。由于矩阵有 4 列,它需要一个具有 4 个分量的向量来执行乘法。
在电气网络的背景下,这 4 个分量代表每个 4 个节点处的电压,记为 , , 和 。我们将此写为列向量 v。
现在给每个节点指定电位。关联矩阵与电位向量相乘,得到所选边方向上的差值;要确定电流,还需要边的物性定律。
我们从由关联矩阵 A 和节点电压向量 v 表征的图开始。目标是计算矩阵-向量乘积 Av。
通过取关联矩阵 A 的每一行与电压向量 v 的点积,我们计算出生成向量的分量。例如,第一行 [-1, 1, 0, 0] 与 [, , , ]^T 的点积产生 。
生成的向量 Av 包含图每条边上的电压差。这种数学运算将节点的绝对电位转化为连接线上的相对电位降。
这些差值引出了电流模型。对电阻有限且为正的被动电阻,端点电位相等时电流为零,非零差值可以驱动电流。电流大小及参考符号还需由边的物性定律确定。
黑板汇集了网络框架:含4个节点与5条边的图、关联矩阵和端点电位差。对被动电阻边,有意义的是这些差值,而不是给所有节点电位任意加上的共同偏移。
讲师依次标出边流量。这些变量定义在边上,而电位定义在节点上。
随后他总结这道题有两组未知量:一组是节点上的 到 ,另一组是边上的 到 。此时黑板右侧的 Av 已经给出具体形式,讲师用它说明:如果先把节点电位排成向量 v,再用关联矩阵 A 去乘,得到的就是每条边两端的电位差。
这是由图、矩阵与向量建立的离散应用模型。在这个网络框架中,讲师没有进行导数计算。
为了使用图论对电气网络建模,我们首先查看节点处的电位。设 A 表示图的关联矩阵,设 v 为包含每个节点电压的向量。当我们将关联矩阵乘以电压向量时,结果是一个新向量,其中每个条目对应于网络中特定边上的电压差。这由方程 A v 等于电压差来表示。
确立了电压与边差的关系后,我们现在必须考虑网络内的流动。我们引入一个新向量 w,它代表沿每条边流动的电流。为了确定这些电流的行为,我们依赖一个称为基尔霍夫电流定律的基本物理原理,通常缩写为 KCL。
在稳态且没有积累的假定下,基尔霍夫电流定律给出节点收支平衡。必须统计节点的全部流入与流出电流,包括可能存在的外接支路。
讲座首先建立了物理背景:我们正在分析处于稳定平衡状态的网络或图。在这种状态下,基本的守恒原理适用——进入特定节点的任何流量必须精确等于离开同一节点的流量。
为了在数学上处理这一原理,讲师将物理描述转化为线性代数的语言,特别利用了记为 A 的关联矩阵。虽然之前的概念如电压差直接使用 A 建模,但流量守恒需要不同的方向。
讲师引入了矩阵形式的基尔霍夫电流定律(KCL)。他解释说,KCL 通过优雅地使用关联矩阵的转置 来捕获。鉴于原始矩阵 A 是 5x4(代表 5 条边和 4 个节点),其转置 变为 4x5 矩阵。
接下来,引入标记为 w 的流量向量。由于网络中有 5 条边,w 是具有 5 个分量的列向量(维度 5x1)。将 4x5 矩阵 乘以 5x1 向量 w 得到 4x1 的结果。讲师指出,为了使系统处于平衡状态,这个乘积必须是零向量:。结果向量中的四个零分别对应于四个节点之一的净流量平衡。
关联矩阵及其转置现在分别描述端点差值与节点收支。还需要一个关系:把电位差与电流联系起来的边的物性定律。
我们首先回顾关联矩阵 A,它通过 Av 将节点电位 v 连接到边电压差,并通过 强制执行基尔霍夫电流定律。这些关系纯粹是拓扑的。
现在我们介绍第三个基本定律:欧姆定律。与之前的定律不同,这一定律“逐边”运作,并将物理原因(电压降/电位差)与结果(电流)联系起来。
在数学上,我们陈述边上的电压降与流经它的电流成正比。这种比例关系引入了一个新元素:代表边材料属性的物理常数。
节点收支定律不需要具体电阻值,边的物性关系则需要材料系数。这里一处口头电导标签存在歧义;后续关系使用电阻乘以电流,电导是电阻的倒数。
欧姆定律说明被动电压降等于电阻乘以电流,即。以欧姆为单位测量的材料常数是,不是这个方程本身。
讲解已把4个节点电位与5个边电流列为未知量。要声称物理解唯一,还需在支配关系之外给出源项、边界数据和电位参考。
焦点转移到关联矩阵 A 的核心重要性。讲师圈出了项 'Av' 中的 A 和 '' 中的 。他澄清了它们不同的作用:A 将节点电位转换为边电压差(“使某事发生”),而 A 转置强制执行平衡定律,确保每个节点的净电流为零(基尔霍夫电流定律)。
把连接关系、守恒关系与电阻行为结合起来,就引出了最终的网络算子。讲解随后提到涉及关联矩阵的乘积,没有求解数值电路。
讲解最后引入矩阵乘积,它是连接前述矩阵框架的图算子,不是已经完成的一般电路推导。
对无权图,这个乘积把边差值与节点结构联系起来。若物理电导不均匀,算子中还需加入权重。
这个算子称为图拉普拉斯算子,是代数图论中的重要对象。原片给出其名称和动机,没有完整证明相关定理。
片段以讲师感谢观众结束,随后是 Gilbert Strang 的版权声明和知识共享许可信息。
由顶点(节点)和连接它们的边组成的结构。区别于连续函数的图形绘图。
一个 矩阵,其中行代表边,列代表节点。它编码了图的连通性。
n 表示节点的数量(A 中的列)。m 表示边的数量(A 中的行)。在所示示例中, 且 。
完全图在每对不同节点之间都有一条边。一般图可能缺少一些边,导致某些节点对未连接。
讲座引入图作为由对象和成对关系组成的系统的灵活模型。给出的例子是万维网、电话网络和大脑。在每种情况下,基本结构都由节点和边捕获。
网站被表示为节点。如果两个网站链接,则在对应节点之间画一条边。这将网络变成一个巨大的图。
电话是图的节点。一条边代表两部电话之间进行的通话。这提供了图结构的另一个大规模应用。
讲师用神经元之间的连接来描述大脑,将该连接模式视为图。理解该图被呈现为一个主要问题,尽管片段未在总体思想之外形式化映射。
本例有个节点与条边,关联矩阵含5个横行和4个竖列。每个边对应的横行记录所选起点与终点;讲解随后填写这些元素。
在具体示例中讨论的第一条边是边 1,它连接节点 1 到节点 2。这在概念上确定了关联矩阵的第一行,但在此片段期间未写出实际的行元素。
图的矩阵表示,其中行对应边,列对应节点。对于从节点 i 到节点 j 的有向边,矩阵在位置 (边, i) 处有 -1,在位置 (边, j) 处有 +1。
将每条边的所选方向转换为一个横行:起点处为−1、终点处为+1,其余位置为零。这记录的是带标签连接关系,不是几何长度或材料属性。
关联矩阵是用于表示图结构的数学工具。对于具有 m 条边和 n 个节点的图,关联矩阵是一个 m x n 矩阵。每一行对应一条边,每一列对应一个节点。条目指示哪些节点由哪些边连接。
线性代数中的一个核心运算是矩阵-向量乘法。m x n 矩阵可以乘以 n x 1 列向量,结果为 m x 1 列向量。此运算允许矩阵“作用于”或变换向量。
在电气工程中,电路图的关联矩阵可以乘以节点电压向量。此运算是制定描述电流流过电路分支(边)方程的关键步骤。
关联矩阵 A 编码了图的拓扑结构。行代表边,列代表节点。元素 -1 表示边的起始节点,+1 表示结束节点,0 表示该节点未连接到该边。
将关联矩阵 A 乘以节点电压向量 v,得到一个向量,其中每个元素是由相应边连接的两个节点之间的电压差。
乘积表示终点电位减起点电位,而不是电流。对电阻有限且为正的被动电阻边,可通过物性定律把方向一致的电压差转换为电流。给所有节点电位加上同一个常数,差值不变。
视频中的 A 是图的 关联矩阵,用来把节点上的量转换成边上的差分量。本例里它是 矩阵,对应 5 条边和 4 个节点。
v 的分量定义在节点上,表示各节点电压/电位。视频把它作为第一组未知量。
边流量向量为。与节点电位不同,它的分量属于边。这里的标签用于标识变量,没有给出数值流量解。
黑板上直接写出 Av 的展开式,讲师据此说明 A 的作用是把节点电位映射为每条边两端的差值。
讲师把这一模型归入 离散应用数学,强调这里不用导数,而是用图、矩阵和向量来表达网络中的基本规律。
在基于图的网络建模中,将关联矩阵 A 乘以节点电压向量 v 会产生一个表示图各边上电压差的向量。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
黑板标明 个节点。
n
图中的节点数量
正整数
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
黑板标明 条边。
m
图中的边数量
非负整数
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
黑板上显示一个标记为“A =”的大型空矩阵括号,行索引为 1 到 5,列索引为 1 到 4。
A
表示图结构的关联矩阵
大小为 的矩阵(此处为 )
板书文字显示“ 节点”。
n
示例图中的节点数量。
正整数;此处 。
板书文字显示“ 边”。
m
示例图中的边数量。
正整数;此处 。
板书显示“A =”后跟一个大的方括号矩阵轮廓。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
在此片段中,矩阵元素未填写。
A
与所画图关联的关联矩阵。
行索引为边、列索引为节点的矩阵。
矩阵下方的标签写着“节点 1 2 3 4”。
图形绘制中包含圈出的节点标签 1, 2, 3, 4。
node 1, node 2, node 3, node 4
关联矩阵的列索引,对应四个图节点。
整数标签 1 到 4。
矩阵旁边的右侧标签写着“1 2 3 4 5 边”。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
edge 1, edge 2, edge 3, edge 4, edge 5
关联矩阵的行索引,对应五个图边。
整数标签 1 到 5。
字母 A 写在黑板上,作为关联矩阵的标签。
A
有向图的关联矩阵
维度为 m x n 的矩阵(5 行 4 列)
写为 ' 节点'。
n
图中的节点数量
正整数
写为 ' 边'。
m
图中的边数量
正整数
画面上的矩阵以边为横行、节点为竖列。第一横行在起点节点处为−1,在终点节点处为+1。
A
图的关联矩阵。
5x4 矩阵
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
左侧的粉笔图画出了标记为 1、2、3、4 的圆圈,由标记为 1、2、3、4、5 的线条连接。
在此语境中,“图”指的是由节点(顶点)和连接它们的边组成的离散数学结构,区别于 等连续函数图像。
与微积分中的函数图像区分开来
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
黑板显示空矩阵 A,其维度由节点/边数量隐含确定。
在此片段中,具体条目(+1, -1, 0)尚未填入;仅引入了概念和维度设置。
定向关联矩阵记录图中带标签的连接关系和所选边方向,不包含几何长度或边的物理常数。
行由边索引(1 到 m)
列由节点索引(1 到 n)
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
完全图包含节点对之间的每一条可能的边。一般图可能省略一些边,导致存在未连接的节点对。
适用于此示例中无自环的简单无向图
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
板书标题:“视频5.6图:主要应用模型1”。
讲座引入图作为一种广泛使用的数学应用模型。演讲者给出了用节点和边表示系统的例子:相互链接的网站、通过通话连接的电话以及大脑中连接的神经元。
适用于可以用离散对象及其之间的成对连接来描述的系统。
板书将矩阵标记为“关联矩阵A”。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
在片段结束前,A 的实际数值元素并未写出。
对于示例图,讲师构建了一个关联矩阵 A,其行对应边,列对应节点。由于 条边和 个节点,显示的矩阵排列成 5 乘 4 的数组。
行由边索引。
列由节点索引。
片段说明了布局但未填入元素。
讲师逐行构造矩阵,在起点位置填负值、终点位置填正值。
黑板上显示一个 5x4 矩阵正在被填入 -1、0 和 1。
对选定边方向的无自环图,每个横行代表一条边、每个竖列代表一个节点。横行在起点位置为−1、终点位置为+1,其余位置为零。
对无自环图的每条边选定参考方向。
黑板上的标题写着 '图:主要应用模型1'。
图被呈现为各种应用的主要数学模型,利用节点和边来表示关系。
黑板上在 5x4 矩阵旁显示了文字“关联矩阵A”(关联矩阵 A)。
讲师说明完整矩阵可以作用于向量,并给图的节点指定电位。
关联矩阵 A 是用于表示图的矩阵。在此示例中,它是一个 5x4 矩阵,其中行对应于边(),列对应于节点()。每一行恰好有一个 1 和一个 -1,表示该边连接的两个节点。
图有 n 个节点和 m 条边。
矩阵的大小为 m x n。
讲师说明完整矩阵可以作用于向量,并给图的节点指定电位。
演讲者在矩阵 A 旁边写下向量 v,以设置乘法 Av。
矩阵通过乘法作用于向量。对于 m x n 矩阵,它乘以一个 n 维向量以产生一个 m 维向量。在此背景下,关联矩阵 乘以电压向量 以产生一个 5x1 向量。
矩阵的列数必须等于向量的行数。
黑板上显示了文字“关联矩阵 A”以及矩阵 A。
关联矩阵 A 表示图中节点与边之间的连接关系。每一行对应一条边,每一列对应一个节点。矩阵元素指示了边相对于节点的方向。
图有 n 个节点和 m 条边。
矩阵的大小为 m x n。
讲师将关联矩阵乘以节点电位,把结果解释为端点电位差,再讨论电流。
演讲者计算 Av 并将结果写在黑板上。
将关联矩阵 A 乘以电压向量 v,得到一个新向量,其中每个分量代表图中特定边上的电压差。
A 是关联矩阵。
v 是节点电压向量。
黑板标题写有 “视频5.6图:主要应用模型1”。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
视频把 图 作为应用数学中的基本模型来引入,强调它用节点和边描述网络结构,并用矩阵和向量表达其中的电位与流量关系。
适用于离散网络模型
本片段以 4 个节点、5 条边的图为例
讲师将关联矩阵乘以节点电位,把结果解释为端点电位差,再讨论电流。
对电阻有限且为正的被动电阻边,非零端点电位差会产生电流;在这个模型中,端点电位相等时电流为零。
边是电阻有限且为正的被动电阻。
电压与电流的参考方向一致。
对满足这些假定的各条边。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
在被动电阻模型中,端点电位差通过边的物性定律驱动电流。
电阻有限且为正,且参考方向一致。
对视频所讨论的一般网络流动关系作陈述,未给出严格证明。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
黑板上写出 Av = (, , , , )^T。
对本例中的关联矩阵 A 和节点电位向量 v,乘积 Av 的分量正好是各条边两端的电位差。
A 为黑板上给出的 关联矩阵
针对本例图与所写矩阵成立。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
该图网络问题中的未知量分为两组:节点上的 到 ,以及边上的 到 。
图为 4 节点、5 边
同时考虑节点电位和边流量
对本片段所设问题成立。
讲师将关联矩阵转置乘以边流量向量,并在平衡状态下把节点收支结果设为零。
为了使网络处于稳定平衡状态,进入任意给定节点的总流量必须精确等于流出该节点的总流量。
网络承载稳态流量。
系统处于平衡状态。
对于网络中的所有节点。
讲师引入与材料相关的欧姆关系,短暂混用电导和电阻术语,后续给出电阻说明。
在稳态守恒假定下,节点流量收支依赖连接关系和一致的参考方向,不依赖具体电阻数值。
稳态流量且节点没有积累。
包括外接支路,或把它们的贡献放在方程右端。
对满足上述守恒假定的节点。
讲师引入与材料相关的欧姆关系,短暂混用电导和电阻术语,后续给出电阻说明。
欧姆定律引入了一个取决于网络边材料的物理常数(电导/电阻)。
边是像电阻器或管道这样的物理组件。
对于具有定义材料属性的边。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
板书显示行标签 1 到 5 标记为边,列标签 1 到 4 标记为节点。
推导在任何 A 的元素写出之前就停止了。
示例图有五条边和四个节点。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
每条边贡献关联矩阵的一行。
讲师指着矩阵轮廓时口头陈述。
每个节点对应关联矩阵的一列。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
因此,该图的显示关联矩阵是一个 5 乘 4 的矩阵。
使用前两步以及 和 推导得出。
所画图形的关联矩阵 A 被设置为 5 行 4 列的矩阵,行由边索引,列由节点索引;片段未达到填写元素的阶段。
讲师逐行构造矩阵,在起点位置填负值、终点位置填正值。
演讲者在矩阵网格中写入数字,对应于图上绘制的箭头。
边 1 连接节点 1 到节点 2。
起始节点得 -1,终止节点得 +1。
边 2 连接节点 1 到节点 3。
起始节点得 -1,终止节点得 +1。
边 3 连接节点 2 到节点 3。
起始节点得 -1,终止节点得 +1。
边 4 连接节点 1 到节点 4。
起始节点得 -1,终止节点得 +1。
边 5 连接节点 2 到节点 4。
起始节点得 -1,终止节点得 +1。
完成的关联矩阵记录画面中图的带标签连接关系和所选方向。
讲师将关联矩阵乘以节点电位,把结果解释为端点电位差,再讨论电流。
生成的向量写在黑板上。
A 的第一行与 v 的点积给出了边 1 上的电压差。
矩阵-向量乘法(点积)的定义。
A 的第二行与 v 的点积给出了边 2 上的电压差。
矩阵-向量乘法(点积)的定义。
A 的第三行与 v 的点积给出了边 3 上的电压差。
矩阵-向量乘法(点积)的定义。
A 的第四行与 v 的点积给出了边 4 上的电压差。
矩阵-向量乘法(点积)的定义。
A 的第五行与 v 的点积给出了边 5 上的电压差。
矩阵-向量乘法(点积)的定义。
乘积 Av 是一个包含所有五条边上电压差的向量。
黑板上直接写出 Av 的展开结果。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
视频没有逐行演示矩阵乘法过程,只给出结果式。
黑板给出关联矩阵 A 和节点电位向量 v。
直接来自板书。
乘积结果是一个 5 维向量,其每个分量都是某条边两端节点电位的差。
直接来自板书中的等式。
讲师据此把 Av 解释为“电压差”。
来自音频中的口头总结。
在本例中,Av 的作用是把节点电位转换为各边上的电位差。
讲师将关联矩阵转置乘以边流量向量,并在平衡状态下把节点收支结果设为零。
演讲者写下 ,然后添加维度 4x5,接着写下 w 及其维度 5x1,最后将乘积设为 0。
识别出需要关联矩阵的转置将边流量映射回节点。
音频解释将 KCL 与 A 转置联系起来。
根据原始的 5x4 关联矩阵指定转置矩阵的维度。
讲师将关联矩阵转置乘以边流量向量,并在平衡状态下把节点收支结果设为零。
引入流量向量 w,它必须有 5 个分量以对应 5 条边。
讲师将关联矩阵转置乘以边流量向量,并在平衡状态下把节点收支结果设为零。
陈述转置关联矩阵与流量向量的乘积必须是零向量以满足平衡。
讲师将关联矩阵转置乘以边流量向量,并在平衡状态下把节点收支结果设为零。
矩阵方程 在数学上编码了网络中每个节点处流量守恒(基尔霍夫电流定律)的物理要求。
讲师引入与材料相关的欧姆关系,短暂混用电导和电阻术语,后续给出电阻说明。
书写顺序:“欧姆定律”、“:电压降”、“两端之间”、“=”、“C”。
本分析区间结束时尚未写出电流项;全片继续并给出电阻关系。
识别驱动流量的物理量:电压降(电位差)。
讲师引入与材料相关的欧姆关系,短暂混用电导和电阻术语,后续给出电阻说明。
陈述其与电流成正比。
讲师引入与材料相关的欧姆关系,短暂混用电导和电阻术语,后续给出电阻说明。
引入与材料相关的比例系数;在电压降等于系数乘电流的形式中,该系数为电阻,不是电导。
讲师引入与材料相关的欧姆关系,短暂混用电导和电阻术语,后续给出电阻说明。
在欧姆电阻模型中,电压降与电流成正比,比例系数为电阻。
讲师说明电阻乘以电流的关系,回顾节点收支与端点差值,并引出网络方程,没有进行数值电路求解。
黑板显示 Av=电压差,,以及将它们联系起来的欧姆定律。
以表示给出的终点减起点电位差;这是对画面关系使用的补充记号。
关联矩阵对电位作用的定义。
应用基尔霍夫电流定律以确保每个节点的电荷守恒。
电流平衡的物理定律。
编辑规定符号:若以起点到终点为正向,被动电压降为起点电位减终点电位,与相反。
电阻器的物理属性。
接下来引入的是无权图拉普拉斯算子。仅凭它不能指定唯一电路解;还需另外给出源项、边界数据和电位参考。
全片随后提到关联矩阵的转置与关联矩阵的乘积,没有进行数值网络求解。
连接关系、边的物性定律和守恒关系共同引出网络方程,而不是原片已经给出的完整唯一解。
讲师把关联矩阵转置与关联矩阵的乘积称为图拉普拉斯算子,并结束讲解,没有给出数值网络解。
黑板显示“A v = 电压差”,“”和“欧姆定律”。演讲者将“”写为结果。
演讲者跳过了明确的代数替换步骤,依靠板上方程的视觉布局来暗示推导过程。
编辑记号表示关联矩阵给出的终点减起点电位差。
关联矩阵应用于节点电位的定义。
关联矩阵的转置乘以边电流向量 w 等于零,代表每个节点的电流平衡(基尔霍夫电流定律)。
讲师把关联矩阵转置与关联矩阵的乘积称为图拉普拉斯算子,并结束讲解,没有给出数值网络解。
补充被动规定:以起点到终点为正向,因此电压降是的负值。这里是有限正边电阻构成的对角矩阵。
讲师把关联矩阵转置与关联矩阵的乘积称为图拉普拉斯算子,并结束讲解,没有给出数值网络解。
编辑补充:在稳态且没有外部注入的模型中代入可得到带电导权重的算子。所有电阻等于单位值时,得到无权形式;不同权重不能直接吸收到同一个无权关联矩阵中。
这段补充代数明确电阻和源项假定;讲师仅给出最后无权图算子的名称。
原片为提供动机并给出名称;带权物理模型及唯一解还需要另外的物性、源项和边界假定。
视觉图表显示 4 个节点大致排列成三角形,内部有一个节点,由 5 条编号边连接。
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
定义一个具体的图实例以说明关联矩阵的构造。
节点:{1, 2, 3, 4}
边:{1, 2, 3, 4, 5}
确定矩阵 A 的参数 n 和 m。
从图中识别节点。
直接观察圈出的数字 1-4。
从图中识别边。
直接观察标记为 1-5 的线段。
,
计数与黑板文本“ 节点”、“ 边”相符。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
使用图术语表示网络的结构。
网站可作为对象获得。
网站之间的链接可作为关系获得。
确定在网站图模型中什么扮演节点和边的角色。
每个网站被视为一个节点。
在讲座音频中直接陈述。
当对应的网站链接时,在两个节点之间放置一条边。
在讲座音频中直接陈述。
万维网被建模为一个巨大的图,其节点是网站,边是网站之间的链接。
这与示例中节点和边的口头定义相符。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
将电话连接建模为图。
电话是系统中的对象。
通话连接成对的电话。
确定电话公司图中的节点和边。
每部电话由一个节点表示。
在讲座音频中直接陈述。
一条边代表从一个电话拨打到另一个电话的通话。
在讲座音频中直接陈述。
电话系统被建模为一个图,其节点是电话,边是成对电话之间的通话。
这完全遵循了电话示例的口头描述。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
讲师在此片段中未定义从神经元和突触到节点和边的精确映射。
用图论术语描述大脑。
大脑包含神经元。
神经元相互连接。
识别大脑作为图状结构的一个例子。
讲师将神经元连接的网络视为图。
在讲座音频中陈述。
大脑被呈现为由神经元连接形成的图,理解该图被描述为一个主要的科学问题。
该主张在音频中明确陈述,尽管没有详细的正式映射。
板书左侧画有一个小图,包含四个圈出的节点,标签为 1, 2, 3, 4,以及五条编号的边。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
矩阵标签显示行为边 1 到 5,列为节点 1 到 4。
讲师开始讨论边 1,但在片段结束前未写出相应的行元素。
在此片段中未完成所有五条边的完整邻接列表。
使用绘制的 4 节点、5 边图开始构建关联矩阵 A。
图有 个节点。
图有 条边。
边 1 连接节点 1 到节点 2。
确定图如何编码到矩阵布局中。
矩阵行由边编号标记。
从板书标签可见并在音频中陈述。
矩阵列由节点编号标记。
从板书标签可见并在音频中陈述。
讲师确定第一条边连接节点 1 到节点 2。
指着图时直接说出。
黑板示例先建立 5 行 4 列的关联矩阵,并以边 1 连接节点 1 到节点 2 来说明第一横行的意义;本段尚未写出具体矩阵元素,后续视频继续构造。
这与可见的矩阵标签和讲师的口头设置一致。
左侧绘制了一个具有 4 个节点和 5 条边的特定图。
右侧完全写出了生成的矩阵。
给定有向图,具有 4 个节点和 5 条边,连接依次为 (1->2, 1->3, 2->3, 1->4, 2->4),构造其关联矩阵。
节点:1, 2, 3, 4
边:1, 2, 3, 4, 5
边 1:1 -> 2
边 2:1 -> 3
边 3:2 -> 3
边 4:1 -> 4
边 5:2 -> 4
填充 5x4 矩阵 A。
查看图示意图中的箭头方向。
有向图边的定义。
遵循演讲者建立的规则。
关联矩阵构造的定义。
未被特定边连接的节点得 0。
关联矩阵构造的定义。
检查每一行的总和是否为零,并且恰好有一个 -1 和一个 +1。
黑板左侧画有一个包含 4 个节点和 5 条边的图。
基于此图定义了关联矩阵 A 和电压向量 v。
给定一个具有 4 个节点和 5 条边的图,以及节点电压向量 v,求每条边上的电压差。
图结构:4 个节点,5 条边。
关联矩阵 A。
电压向量 。
计算向量 Av。
设置矩阵-向量乘法。
问题的定义。
逐行执行点积运算。
矩阵乘法规则。
生成的向量是 [, , , , ]^T。
每个分量对应于由相应边连接的两个节点之间的电压差。
黑板左侧画出 4 个节点和 5 条边的图。
旁边写有 “ 节点, 边, 关联矩阵A, ”。
讲师随后在边上标注 , , , , 。
图中各条边的编号与矩阵各行之间的对应关系没有逐条口头说明,只能从板书整体布局推断。
用一个具体图说明节点电位、边流量和关联矩阵之间的关系。
个节点
条边
节点电位记为 ,,,
边流量记为 ,,,,
关联矩阵 A 已写在黑板上
识别图中的两类未知量,并理解 Av 表示边上的电位差。
先在黑板左侧画出 4 个节点和 5 条边的网络图。
来自画面中的图示。
把节点上的电压/电位收集为一个向量。
来自板书与讲解。
把边上的流量/电流收集为另一个向量。
来自讲解与图中新增标注。
用关联矩阵把节点电位映射为各边电位差。
来自板书中的矩阵等式。
该例子展示了:节点量是 v,边量是 w,而 A 把 v 变成边上的差分量 Av。
可通过比较矩阵每一行与非零元位置对应的两个节点差来核对板书中的 Av 结果。
左侧:图绘制。中间:文本定义(n, m, 关联矩阵)。右侧:带有轴标签的空矩阵模板 A。
图示意图
参数列表
矩阵模板
在此片段内无变化;静态黑板状态。
几何对象(图)、标量参数(n,m)和代数对象(矩阵 A)的空间分离。
该布局直观地映射了从组合结构(图)到线性代数表示(矩阵)的转变。
板书左侧显示一个小图,包含四个圈出的节点,标签为 1, 2, 3, 4,以及五条编号的边。
中间文字写着“ 节点”, “ 边”, 和 “关联矩阵A”。
右侧显示一个大的空矩阵括号,行标签 1 到 5 标记为边,列标签 1 到 4 标记为节点。
除边 1 外,其他一些边到节点的关联在此片段中未口头确认。
标题文字 “视频5.6图:主要应用模型1”
四节点图绘制
文字 “ 节点”
文字 “ 边”
文字 “关联矩阵A”
空的 5 乘 4 矩阵轮廓
标记为边的行标签 1 到 5
标记为节点的列标签 1 到 4
讲师在讨论应用时指向图。
接近结束时,他转向矩阵区域并指向第一条边和矩阵结构。
在整个片段中,图保持绘制为四个节点和五条边。
在整个片段中,矩阵保持未填充。
视觉安排在计算任何元素之前建立了具体图与其矩阵表示之间的对应关系。
教授在指向图的同时,依次将数字写入矩阵括号内。
粉笔
黑板
矩阵网格
空矩阵被填入整数 -1, 0, 1。
维度保持为 5x4。
图结构保持不变。
直观演示如何将几何图属性映射到代数矩阵元素。
黑板上显示一个具有 4 个节点(标记为 1, 2, 3, 4 的圆圈)和 5 条边(标记为 1, 2, 3, 4, 5 的线条)的图。旁边是关联矩阵 A,行标记为 1 到 5(边),列标记为 1 到 4(节点)。
图示意图
关联矩阵 A
节点标签
边标签
演讲者擦除矩阵右侧的边编号,以便为向量 v 腾出空间。
图的结构和关联矩阵中的值保持不变。
视觉设置直接将抽象矩阵 A 与具体图结构联系起来,展示了节点和边如何在矩阵维度中表示。
演讲者在矩阵 A 的右侧写下一个包含条目 , , , 的列向量。
讲师说明完整矩阵可以作用于向量,并给图的节点指定电位。
矩阵 A
列向量 v
向量 v 被添加到黑板上。
矩阵 A 保持不变。
此动作设置了矩阵-向量乘法 Av,引入了与图节点相关的物理量(电压)。
演讲者在黑板上逐个写下结果向量 Av 的分量。
黑板
粉笔
演讲者的手
向量 Av 逐渐填入诸如 , 等表达式。
矩阵 A 和向量 v 在黑板上保持不变。
可视化矩阵-向量乘积的分步计算过程。
黑板左侧是图,中部是 关联矩阵A,右侧是 Av 的展开式。
4 个节点的图
5 条边
矩阵 A
向量 v
向量 Av
开头已存在图、矩阵和 Av 展开式
随后讲师在边上补写 w 标记
节点数保持为 4
边数保持为 5
矩阵 A 的形式保持不变
画面把“图结构—矩阵表示—向量结果”并列展示,便于把抽象矩阵乘法对应到具体网络。
讲师依次在五条边上写下 , , , , 。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
五条边
符号 ,,,,
原本只有图结构
之后每条边都获得一个流量符号
图的拓扑不变
节点电位 v 的设定不变
这一动作把“边上的未知量”可视化,明确 w 是定义在边而非节点上的量。
讲师用手指向黑板右侧的 Av 展开式。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
矩阵 A
向量 v
向量 Av
注意力从左侧图转到右侧矩阵等式
板书内容本身不变
视觉上把矩阵乘法结果与“电压差”直接联系起来。
讲师在下方黑板面板上写下方程 'A v = 电压差'。
讲师
黑板
粉笔
板上出现文本 'A v = 电压差'。
上方黑板面板保持不变,仍有之前的笔记。
此视觉事件建立了关联矩阵、节点电压和边电压差之间的数学关系。
讲师写下 '基尔霍夫电流定律' 并加下划线,然后写下 'KCL'。
讲师
黑板
粉笔
板上出现文本 '基尔霍夫电流定律' 和 'KCL'。
之前写下的方程 'A v = 电压差' 仍然可见。
此视觉事件引入了支配网络的第二个基本定律,侧重于节点的电流守恒。
讲师在黑板上依次写下“”、“4x5”、“w”、“5x1”、“=”和“0”以构建方程。
黑板
粉笔
讲师的手
写出项 。
在 下方添加维度 4x5。
写出变量 w。
在 w 下方添加维度 5x1。
写出等号和零以完成方程。
预先存在的方程 Av = 电压差 保持在上方可见。
文字“基尔霍夫电流定律”(基尔霍夫电流定律)保持在右侧可见。
视觉进程展示了如何将电流守恒的抽象概念利用关联矩阵的性质逐步转化为具体的线性代数方程。
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
学生可能假设“图”指的是微积分中看到的 等函数绘图。
在这里,“图”意味着由离散点(节点)和连接(边)组成的网络。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
板书将行标记为边,列标记为节点。
人们可能认为矩阵的行对应节点,列对应边。
在本讲的关联矩阵 A 中,行对应边,列对应节点。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
模型在该短句中插入了否定词;完整官方英文字幕和讲解语境均支持这里是不用导数的离散模型。
看到 流量或电流 就默认需要导数或连续介质方程。
视频强调这是 离散应用数学,基本对象是 图,表达工具是 矩阵和向量,而不是 导数。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
把 v 和 w 都看成同一种位置上的未知量。
v 定义在节点上,w 定义在边上;二者是成对出现的不同未知量。
讲师引入与材料相关的欧姆关系,短暂混用电导和电阻术语,后续给出电阻说明。
不清楚这是口误还是有意做出的区分。
混淆电压降等于电流关系中的比例常数。
电阻与电导是不同的倒数量。讲师书写电压降关系时短暂使用电导一词,后续电阻说明明确了所用定律。编辑补充:应使用或,其中,并保持符号方向一致。
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
关联矩阵是用于表示先前定义的图的属性的代数工具。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
板书在图数据旁边将矩阵标记为“关联矩阵A”。
将系统建模为图的总体思想应用于具体的 4 节点、5 边示例,然后将其编码为关联矩阵。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
图建模许多应用的广泛主张通过几个具体例子说明,包括万维网、电话网络和大脑。
讲师逐行构造矩阵,在起点位置填负值、终点位置填正值。
关联矩阵是用于建模图结构的代数表示。
黑板在视觉上连接了图示意图和关联矩阵 A。
讲师说明完整矩阵可以作用于向量,并给图的节点指定电位。
对图进行建模的关联矩阵通过矩阵-向量乘法应用于节点电压向量,以分析网络。
讲师将关联矩阵乘以节点电位,把结果解释为端点电位差,再讨论电流。
将关联矩阵乘以电压向量的数学运算产生了电压差,这在物理上驱动了电流流动。
先给出图,再在旁边写出 关联矩阵A。
图结构被用来构造关联矩阵 A。
板书把 A 与 v 相乘并写出 Av 的结果。
关于 Av 给出电位差的结论依赖于关联矩阵 A 的具体形式和节点向量 v 的定义。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
节点电位与边流量构成一组对照:一个定义在节点上,一个定义在边上。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
图网络建模被纳入离散应用数学这一更大的表述框架中。
讲师保留电位差方程,并通过基尔霍夫电流定律引入节点流量收支。
基尔霍夫电流定律提供了支配记为 w 的电流向量的物理约束。
讲师将关联矩阵转置乘以边流量向量,并在平衡状态下把节点收支结果设为零。
基尔霍夫电流定律使用关联矩阵的转置来表述,应用图的结构信息来强制执行物理守恒定律。
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
开场区分节点与边构成的图和函数曲线,并以画面中的图引出关联矩阵。
板书文字将矩阵命名为“关联矩阵A”。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
讲师用网页、电话和神经元连接说明图模型,再将示例矩阵的横行对应边、竖列对应节点。
相应的矩阵行在此片段中未写出。
讲师逐行构造矩阵,在起点位置填负值、终点位置填正值。
在特定列中使用 -1 和 1。
黑板明确将矩阵标记为“关联矩阵A”(关联矩阵 A)。
讲师说明完整矩阵可以作用于向量,并给图的节点指定电位。
讲师将关联矩阵乘以节点电位,把结果解释为端点电位差,再讨论电流。
黑板上写有 关联矩阵A。
讲师区分节点电位与边流量,说明这里使用不涉及导数的离散矩阵与向量模型。
已覆盖 · 介绍主题和术语“关联矩阵”。
已覆盖 · 澄清单词“图”与函数图像的区别。
已覆盖 · 使用黑板上的特定示例定义 n 和 m。
已覆盖 · 讨论缺失的边和完全图。
已覆盖 · 重申从图片创建矩阵的目标。
已覆盖 · 开场陈述图是应用的第一模型。
已覆盖 · 万维网示例,网站为节点,链接为边。
已覆盖 · 电话公司示例,电话为节点,通话为边。
已覆盖 · 大脑示例,将神经元连接描述为图。
已覆盖 · 过渡到板书图并设置关联矩阵;确定了边 1,但在片段结束前未填写任何矩阵元素。
已覆盖 · 完整片段涵盖了定义和示例构造。
已覆盖 · 整个片段专注于介绍关联矩阵并设置其与电压向量的乘法。
已覆盖 · 整个片段涵盖了关联矩阵的定义、Av 的计算以及将结果解释为驱动电流的电压差。
已覆盖 · 开场已给出图、矩阵 A、向量 v 和 Av 的板书,讲师说明电位差驱动流动。
已覆盖 · 讲师在五条边上标注 到 ,引入边流量未知量。
已覆盖 · 讲师总结两组未知量,并把 Av 解释为电压差。
已覆盖 · 讲师把内容定位为 离散应用数学,强调使用矩阵和向量而非导数。
已覆盖 · 讲师准备在下方黑板面板上书写。
已覆盖 · 讲师书写并解释方程 A v = 电压差。
已覆盖 · 讲师过渡到讨论涉及电流的下一个方程。
已覆盖 · 讲师书写并定义基尔霍夫电流定律。
已覆盖 · 整个片段专注于使用关联矩阵推导和解释基尔霍夫电流定律的矩阵公式化。
已覆盖 · 整个片段涵盖了在使用关联矩阵框架的背景下,通过与基尔霍夫定律对比来介绍欧姆定律。
已覆盖 · 整个片段专注于定义三个关键方程(Av, , 欧姆定律)及其物理解释。
已覆盖 · 主要讲座内容,解释图拉普拉斯算子的形成和命名。
已覆盖 · 版权和许可信息屏幕;无数学内容。