供电系统抽象图，是供电系统分析的核心数据结构, 在给定真值表下， 该图将生成以各个电源为根节点的一组树。
注意，在生成森林的过程中，只有一条规则:
任意两个电源，以及电源和电源自己，不能存在闭合通路
而Dc/Dc, 闭合开关， 正向二极管都认为是闭合通路的一部分。
在test_graph.py下有若干对闭合通路的测试，可以查看单元测试进一步的了解如何 是一个合法的供电系统工作状态.
- TREE的根一定是电源
- 电源一定接开关
- 开关接汇流条, DC/DC 或者负载
- 汇流条下有 DC/DC 或者其他开关
Install rye, then:
rye sync
pytest- Generate forest
- Find passages
- 为什么要用forest(森林)而不是dag(有向无环图)来描述供电系统的运行状态?
首先dag可以表达为逻辑上等价的forest， 只是forest的空间效率低于dag.
严格来说，由于不能存在多路供电，供电系统的运行状态是forest， 但是由于我们没有实现表决算法，实际上供电系统 的运行状态也可以用dag描述。
所以，仅仅就目前而言， 用forest只是出于算法实现的简化， 但通过性能测试，forest也足以满足需求， 所以先用forest描述供电系统的运行状态。