compute_bounds

提供用于计算和执行分离变量边界的函数。

这些是在某个析取范围内有效的更严格的变量界限。也就是说，这些是当关联的析取处于活动状态（indicator_var 值为 1）时成立的变量界限。这些界限通过在每个析取上使用 ConstraintList 来强制执行相关的变量界限。这可能会导致约束的重复，因此建议在使用此转换处理的 NLP 问题中使用变量界限预处理转换。

Classes

ComputeDisjunctiveVarBounds(**kwds)

在给定模型中计算析取边界。

Functions

disjunctive_fbbt(model)	将FBBT应用于模型
disjunctive_obbt(model, solver)	使用求解器为模型提供基于最优性的边界收紧。
fbbt_disjunct(disj, parent_bounds)
obbt_disjunct(orig_model, idx, solver)
solve_bounding_problem(model, solver)