Problem Forge
Give each variable the value 0 or 1 so that every constraint holds.
x₁ + x₂ + x₃ ≥ 2
x₁ + x₃ ≤ 1
x₁ = 1, x₂ = 1, x₃ = 0
x₁ + x₂ ≥ 1
x₂ + x₃ ≥ 1
x₁ + x₃ ≥ 1
x₁ + x₂ + x₃ ≤ 1
This Month's Challenges: 0-1 Integer Programming
This month's rungs
| rung | solved, all climbers | answers sent, all climbers | status |
|---|---|---|---|
| 2026-11-ILP-12 | 0 | 0 | unsolved |
| 2026-11-ILP-11 | 0 | 0 | unsolved |
| 2026-11-ILP-10 | 0 | 0 | unsolved |
| 2026-11-ILP-09 | 0 | 0 | unsolved |
| 2026-11-ILP-08 | 0 | 0 | unsolved |
| 2026-11-ILP-07 | 1 | 1 | solved |
| 2026-11-ILP-06 | 1 | 1 | solved |
| 2026-11-ILP-05 | 1 | 1 | solved |
| 2026-11-ILP-04 | 1 | 1 | solved |
| 2026-11-ILP-03 | 1 | 1 | solved |
| 2026-11-ILP-02 | 1 | 1 | solved |
| 2026-11-ILP-01 | 1 | 1 | solved |
| 2026-11-ILP-00 | 1 | 1 | solved |
Sign in to see your own progress and to open the rungs.
Samples
Five sample files, each with its answer. You need no account. To check your own answer, open a file on the Check page.
- SAMPLE-ILP-01.opb · 28 variables, 137 constraints · answer
- SAMPLE-ILP-02.opb · 33 variables, 130 constraints · answer
- SAMPLE-ILP-03.opb · 31 variables, 139 constraints · answer
- SAMPLE-ILP-04.opb · 40 variables, 152 constraints · answer
- SAMPLE-ILP-05.opb · 32 variables, 138 constraints · answer
Read more: references for 0-1 Integer Programming.