算法变体
预置示例
max 3x₁+4x₂，两约束关于两变量对称
问题参数
问题形式
max3x₁ + 4x₂
s.t.2x₁ + x₂ ≤ 6
s.t.x₁ + 2x₂ ≤ 6
s.t.x₁, x₂ ≥ 0
s.t.x₁, x₂ 整数
| 约束 \ 变量 | x₁ℤ | x₂ℤ | ≤ b |
|---|---|---|---|
| 约束 1 | 2 | 1 | 6 |
| 约束 2 | 1 | 2 | 6 |
| 目标系数 c | 3 | 4 | — |
10
速度:
可行域（2变量）
步骤日志
整数割平面算法，包含对偶整数割平面与原始整数割平面两种变体。通过 floor(α/λ) 公式生成割平面，对偶单纯形恢复可行性。
max 3x₁+4x₂，两约束关于两变量对称
| 约束 \ 变量 | x₁ℤ | x₂ℤ | ≤ b |
|---|---|---|---|
| 约束 1 | 2 | 1 | 6 |
| 约束 2 | 1 | 2 | 6 |
| 目标系数 c | 3 | 4 | — |