生成强连通组件

(函数来自 pyomo.contrib.incidence_analysis.scc_solver)

pyomo.contrib.incidence_analysis.scc_solver.generate_strongly_connected_components(constraints, variables=None, include_fixed=False, igraph=None)[source]

按顺序生成 BlockData，每个包含约束和变量的关联矩阵的块下三角化中单个对角块的变量和约束

这些对角块对应于二分关联图的强连通组件，相对于完美匹配投影到有向图中。

Parameters:

  • 约束 (列表的Pyomo 约束数据对象) – 用于生成强连通组件的约束。

  • 变量 (列表的Pyomo变量数据对象) – 可能参与强连通组件的变量。 如果未提供，将使用约束中的所有变量。

  • include_fixed (Bool, optional) – 表示在识别约束中的变量时是否包含固定变量。

  • igraph (IncidenceGraphInterface, optional) – 包含（至少）提供的约束和变量的关联图。

Yields:

BlockData 的元组，变量列表 – 包含每个强连通组件的变量和约束的块，按拓扑顺序排列。变量是该块的“输入变量”。