预置示例
max 3x₁+2x₂，x₁为整数变量，x₂连续变量
问题参数
问题形式
max3x₁ + 2x₂
s.t.2x₁ + x₂ ≤ 8
s.t.x₁ + 2x₂ ≤ 8
s.t.x₁, x₂ ≥ 0
s.t.x₁ 整数
s.t.x₂ 连续
| 约束 \ 变量 | x₁ℤ | x₂ | ≤ b |
|---|---|---|---|
| 约束 1 | 2 | 1 | 8 |
| 约束 2 | 1 | 2 | 8 |
| 目标系数 c | 3 | 2 | — |
变量类型
x1: 整数x2: 连续
10
速度:
可行域（2变量）
步骤日志
混合整数规划的 Gomory MIP 割平面（Mixed Integer Rounding）。区分整数变量 I₁/I₂ 与连续变量 J₁/J₂，生成 MIR 割恢复整数最优性。
max 3x₁+2x₂，x₁为整数变量，x₂连续变量
| 约束 \ 变量 | x₁ℤ | x₂ | ≤ b |
|---|---|---|---|
| 约束 1 | 2 | 1 | 8 |
| 约束 2 | 1 | 2 | 8 |
| 目标系数 c | 3 | 2 | — |