kcl方程独立性的图论证明

这是困惑了本人很久的问题，最近得闲，去b站观光了部分的离散数学课程并参考了一些资料，对这个问题做个总结，也算是笔记吧。电路原理和离散数学都还没学完，小白一只，各位如有发现任何错误，恳请指出。

支路电流法解线性电路的一般方法

已知在求解线性电路的过程当中，可以列出n-1条kcl独立的kcl方程，b-（n-1）条kvl独立的方程，从而可以解出b条支路的电压电流参数。作为一般性的理论，在电路的求解过程当中常会用到。但我们是否有思考过，为什么电路的节点之中一定就能够找到n-1条kcl方程呢？下面用图论的割集理论对这一现象做出解释（作图不太熟悉，先打着字，图过段时间补）

图与电路

电路图本质上可以生成由节点和边作为基本参数的无向图。
节点就是电路的分叉点，节点数记为n，边即为电路上的各个支路，边数记为b。

割集

参照百度百科定义：
设S是G的边集E的一个子集，如果在连通图G中删除S的所有边．则G-S不连通，并且不存在S的真子集使G-S不连通，就称边集S是图G的一个割集。
也就是说在图上删除掉一个最小数量的边可以将一个连通的图拆分成不联通的两个部分，那么这个边组成的集合就称为割集。
图上有n个节点，一个显然的结论是，假如删除掉某一个节点上连接的所有边，那么这一个节点将和图上的其他部分，分割成两个互不连通的子图。所以，每个节点上关联的所有边都可以成为这个图的割集。

kcl与割集

显然，由上可知