离散问题初始化

用于初始化基于逻辑的外部逼近中的主要问题的函数。

Functions

init_custom_disjuncts(util_block, ...)

使用用户指定的自定义析取项进行初始化。

init_fixed_disjuncts(util_block, ...)

通过使用当前的分离值解决问题来进行初始化。

init_max_binaries(util_block, ...)

通过最大化二进制变量和析取项进行初始化。

init_set_covering(util_block, ...)

通过解决问题来初始化,以覆盖所有析取项的集合。

preserve_discrete_problem_feasible_region(...)

update_set_covering_objective(...)

use_discrete_problem_for_max_binary_initialization(...)

use_discrete_problem_for_set_covering(...)