Minimum-cost Coverage Workbench
Choose a least-cost subset of candidates that collectively covers every named requirement, with a coverage witness.
Loading tool…
How to use Minimum-cost Coverage Workbench
Track the exact cheapest choice for every finite requirement mask, add each candidate at most once and expose the selected rows and coverage of each requirement.
- Use the example as the schema; replace its labels and entered model assumptions.
- Track the exact cheapest choice for every finite requirement mask, add each candidate at most once and expose the selected rows and coverage of each requirement.
- Calculate, inspect the complete witnesses and limitations, then copy or download the JSON report.
Good to know
- 1–12 distinct requirements and 0–30 distinct candidates; each covers at least one known distinct requirement. Nonnegative costs use decimal strings up to 1 billion with six places.
- At most 4,096 requirement states; overlapping coverage is allowed. No quotas, capacities, geography, candidate dependencies or minimum-count secondary objective. This exact small instance is not an emergency-service siting recommendation.
- Local calculation with no upload, input persistence or outside lookup. Model JSON is limited to 30,000 characters and 10,000 values. Decimal quantities are strings with up to six places; count fields use plain JSON integers. Exact fractions are capped at 8,192 bits. The complete JSON output is limited to 1,000,000 characters; approximate numbers preserve their stored values. Unsupported states fail explicitly.
Common questions
Does overlapping coverage make a selection invalid?
No. A requirement needs at least one selected covering candidate. Extra overlap is allowed and paid for; the objective minimizes total entered cost, not overlap or the number of candidates.
Are my model inputs saved or sent to a server?
No. This model runs in the current browser tab and creates a local JSON download. It does not save your input or call an external data service.
Keep going with related tools
All math →Bounded Zero-one Selection Workbench
Choose a maximum-value subset under one integer capacity and inspect every selected item and exact total.
CalculatorsCost Assignment Workbench
Find an exact minimum-cost or maximum-value one-to-one assignment and export the matching witness.
CalculatorsBalanced Transportation Cost Planner
Allocate integer supply to integer demand over declared routes and return a checked minimum-cost shipment matrix.