Optimization Assurance · Assignment review
Capacities require explicit assignments
Review complete
Objective units: demand units × cost units per demand unit · 09 October 2026, 01:54 UTC
Submitted cost12
Best checked cost10
Relaxed lower bound4
Best plan proven optimal?Unknown
Review findings
- Selected sites, required IDs, complete whole-client assignments and capacity loads passed exact checks.
Lower bound: Each client may use its cheapest candidate; opening count, required sites and capacities relaxed.
The best checked cost is at most 6 above the optimum for this model. This is a bound on suboptimality, not a measured difference from a known optimum.
Best checked plan reduces submitted cost by 2.
The nearest-site reassignment was rejected: Capacity exceeded at S0: load 4, capacity 2.
Submitted plan
Open sites: S0, S1
| Site ID | Assigned demand |
|---|
| S0 | 2 |
| S1 | 2 |
Client assignments
Best checked plan
Open sites: S0, S1
| Site ID | Assigned demand |
|---|
| S0 | 2 |
| S1 | 2 |
Client assignments
Conventional solver
Optimal, as reported by the solver. Solver status and numerical bounds remain separate from independent optimality.
Input provenance
Generated computational control; no customer or geographic data.
Supplied provenance is not independently verified.
- assignments.csv · SHA-256
92e08db4079de7c1eee8c2f726f0224e4eeb3b5dac502813fffefd1810a4f6cd - clients.csv · SHA-256
ada84fbede9ebf46e1eacfa60f45056d62e7cd5c5d50ba6e9a6f28f669dc6526 - costs.csv · SHA-256
4120811aaf5e90a9ff2a7b6e497a51fbe6692680fba4a870ef4d0c294f70331c - selected.csv · SHA-256
e0fbf53dac7e863b9625e750aa3e48c7561139613819bdf5c91de031a8362dcb - sites.csv · SHA-256
76d941660529c4a05bddab90e09b6f7175b23e5e18b65f571e9c7272281bfa4f - study.json · SHA-256
4ec921ee86dee83e0ef236f78ec9124d2ff8b5bfcc0c92a26eaa91b47801b015
Evidence and scope
Exact frozen weighted assignment model only. No strict-metric/source-theorem eligibility, geographic validation or customer benefit is established.
Limits: 512 clients, 128 sites, eight MiB per file, sixteen MiB combined and 128-bit rational input components. Optional solver: two seconds, one worker; exact scales capped at one million and integer range capped conservatively.
Review JSON · File manifest