Alternatives and Scope

Honest Set-Covering Scope

The exact certificate is useful because its assumptions stay visible.

highlighted = computed this step

Tiny instance

The model has 5 demand points and 4 candidate sites.

tiny finite instance\text{tiny finite instance}
Visible alternativesAlternatives are checked by the same coverage and cost arithmetic.alternative checkscostmissingfeasibleA plus B plus C901B plus D1001A plus C510

Exact optimum

Inside this tiny model, the optimum cost is exactly 9.

optimal cost=9\text{optimal cost}=9
Visible alternativesAlternatives are checked by the same coverage and cost arithmetic.alternative checkscostmissingfeasibleA plus B plus C901B plus D1001A plus C510

Not solver theory

This lesson does not claim large integer-programming solving, approximation guarantees, geography, travel time, capacity, or demand uncertainty.

tiny enumerated set cover only\text{tiny enumerated set cover only}
Visible alternativesAlternatives are checked by the same coverage and cost arithmetic.alternative checkscostmissingfeasibleA plus B plus C901B plus D1001A plus C510

Honesty note

This is a tiny enumerated set-covering model. It does not claim large integer-programming solving, approximation guarantees, geography, travel time, capacity, or demand uncertainty. Pixel positions are rounded for layout; every displayed coverage, cost, and comparison is exact.

exact arithmetic inside a small set-covering model\text{exact arithmetic inside a small set-covering model}
Visible alternativesAlternatives are checked by the same coverage and cost arithmetic.alternative checkscostmissingfeasibleA plus B plus C901B plus D1001A plus C510