partition_disjuncts

来自[KMT21]的GDPs的步骤间（P-Split）重构。

Classes

PartitionDisjuncts_Transformation()

通过采用Kronqvist等人2021年提出的“P-split”公式，将析取模型转换为等效的析取模型（可能具有更紧密的壳松弛）[KMT21]。

Functions

arbitrary_partition(disjunction, P)

返回一个有效的分区，将出现在'disjunction'中的代数可加性分离约束中的变量分成P个集合。

compute_fbbt_bounds(expr, ...)

在表达式上调用fbbt，并根据表达式中出现的变量的边界返回表达式的上下界。

compute_optimal_bounds(expr, ...)

返回一个元组 (LB, UB)，其中 LB 和 UB 是在变量边界和全局约束块上的约束条件下最小化和最大化 expr 的结果。