COIN-OR：有界正整数变量在 CBC 求解的优化过程中取什么值？
COIN-OR: What values does a bounded positive integer variable take in an optimization process solved by CBC?
我尝试用 PuLP 和 CBC 解决 MILP 问题。
除了问题的其余部分，我遇到了一组正整数变量的问题。我有一个松弛约束，这意味着正整数变量中的一些变量由于约束而没有固定为某个值。
因此，换句话说，在一组正整数约束中，一些变量由于约束而获得值，但是当放松相同的约束（大 M 松弛）时，其余变量不必获得 a一定的价值。
由 CBC 为他们赋予价值。它们中的大多数变为 0，但其中一些得到变量上限值 1440。这是为什么？ CBC 是否随机将这些值赋予这些变量？ sovler 是否遵循任何规则？
如果您不明白什么，请告诉我，以便我添加信息或改写，我是新手。谢谢。
我相信 CBC 求解器通常会进行 'standard' B&B 搜索，在搜索树时求解一系列 LP 松弛。如果您使用其中一种单纯形法求解 LP，那么通常该 LP 的搜索过程会绕着可行的表面 space，因此对于其他约束不足的变量，通常会采用它们的上限或下限值。
我尝试用 PuLP 和 CBC 解决 MILP 问题。
除了问题的其余部分，我遇到了一组正整数变量的问题。我有一个松弛约束，这意味着正整数变量中的一些变量由于约束而没有固定为某个值。
因此，换句话说，在一组正整数约束中，一些变量由于约束而获得值，但是当放松相同的约束（大 M 松弛）时，其余变量不必获得 a一定的价值。
由 CBC 为他们赋予价值。它们中的大多数变为 0，但其中一些得到变量上限值 1440。这是为什么？ CBC 是否随机将这些值赋予这些变量？ sovler 是否遵循任何规则？
如果您不明白什么，请告诉我，以便我添加信息或改写，我是新手。谢谢。
我相信 CBC 求解器通常会进行 'standard' B&B 搜索，在搜索树时求解一系列 LP 松弛。如果您使用其中一种单纯形法求解 LP，那么通常该 LP 的搜索过程会绕着可行的表面 space，因此对于其他约束不足的变量，通常会采用它们的上限或下限值。