Claims

The baseline and capacitated facility location formulations of school aggregation are formally equivalent

Claim · All claims
Evidence · 1 study · design r2 · q2
Currency · newest study 2026 · not yet checked against its sources · not reviewed by a person

Subclaims

Reading the evidence codes

q is the design tier, i the impact, n the sample, and the kind with its r the rigour judged within that kind: what each code means.

This claim: no standardized effect is recorded in observations/ for it yet, so no benchmark reading is possible.

q2 i? Variant II, a capacitated facility location reformulation, is an exact compact reformulation of the baseline integer programming formulation, preserving feasible solutions and optimal objective value. → Alessia Ciacco 2026

Evidence

Alessia Ciacco 2026

Alessia Ciacco, Luigi Di Puglia Pugliese, Francesca Guerriero. (2026). School network reorganization under educational and spatial constraints using classical and quantum optimization. https://arxiv.org/abs/2608.05427 doi:10.48550/arxiv.2608.05427

q2 · i? · design · r2

Analytical derivation in Section 4.3 establishing a one-to-one correspondence between feasible solutions of the two formulations. The article concludes Variant II is "an exact compact reformulation of Variant I", removing incompatible arcs in advance and combining activation and capacity into a single constraint.

"Therefore, the two formulations define the same optimization problem and have the same optimal objective value:"

Discussion

Page metadata
Field Value
type claim
id equivalent-school-aggregation-formulations
title The baseline and capacitated facility location formulations of school aggregation are formally equivalent
description The baseline and capacitated facility location formulations of school aggregation are formally equivalent
status review
evidence_strength moderate
newest_evidence 2026
generated by process:wiki-ingest on 2026-10-11
trust unverified — no one has confirmed this page's content
sources 1 — alessia-ciacco-2026

Frontmatter is the page's machine-readable record — see the Schema & Guide.