School network reorganization under educational and spatial constraints using classical and quantum optimization

Technische Samenvatting: Herstructurering van Schoolnetwerken onder Educatieve en Ruimtelijke Beperkingen

Probleemdefinitie
Het artikel behandelt de strategische herstructurering van schoolnetwerken, een complex combinatorisch optimalisatieprobleem dat wordt gedreven door demografische krimp, budgettaire beperkingen en de noodzaak van territoriale gelijkheid. Specifiek betreft het probleem het bepalen welke autonome onderwijsinstellingen hun administratieve status behouden en welke worden samengevoegd tot grotere "schoolhubs". Deze beslissing moet conflicterende doelstellingen balanceren: het optimaliseren van administratieve efficiëntie en middelenallocatie, terwijl het waarborgen van rechtvaardige toegang tot onderwijs, het respecteren van institutionele regelgeving en het behoud van sociale cohesie in kwetsbare, geografisch geïsoleerde gebieden, wordt gewaarborgd. De studie richt zich op de Italiaanse context, waar beleid voor de omvang van scholen wordt beheerst door specifieke wetgevende kaders met betrekking tot institutionele compatibiliteit, provinciale grenzen en inschrijvingsdrempels.

Methodologie
De auteurs stellen een verenigd optimalisatiekader voor op basis van Integer Lineaire Programmering (ILP) dat zes primaire dimensies integreert:

1. Administratieve Geografie: Aggregaties zijn beperkt tot dezelfde provincie; grensoverschrijdende aggregaties tussen gemeenten worden bestraft om lokaal bestuur te bevoordelen.
2. Institutionele Compatibiliteit: Scholen kunnen alleen aggregeren als ze tot dezelfde onderwijscategorie behoren (omvattende instituten versus middelbare scholen). Binnen de middelbare scholen worden mismatches in curriculumpaden behandeld als 'soft constraints' met bijbehorende strafpunten.
3. Territoriale Kwetsbaarheid: Gemeenten worden geclassificeerd volgens een kritiekindex (niveaus 0–4) op basis van inkomen, onderwijs, arbeid en bestuur. Aggregaties in zeer kritieke gebieden (niveaus 3 en 4) worden zwaar bestraft om verdere marginalisering te voorkomen.
4. Dimensionale Vereisten: De geschiktheid voor herstructurering wordt bepaald door inschrijvingsdrempels die omgekeerd evenredig variëren met de territoriale kritiek (bijv. scholen in de meest kwetsbare gebieden hebben minder leerlingen nodig om autonoom te blijven).
5. Ruimtelijke Toegankelijkheid: Aggregaties zijn alleen haalbaar als de reistijd tussen scholen (berekend op het wegennetwerk) de categorie-specifieke drempelwaarden niet overschrijdt.
6. Operationele Haalbaarheid: Constraints zorgen ervoor dat geaggregeerde scholen de capaciteitslimieten niet overschrijden en dat kleinere scholen alleen worden geabsorbeerd door grotere of even grote leeftgenoten.

Het artikel presenteert twee wiskundige formuleringen:

• Variant I (Baseline ILP): Een standaardformulering waarbij compatibiliteits- en toegankelijkheidsbeperkingen worden afgedwongen via expliciete lineaire restricties.
• Variant II (Capacitated Facility Location Problem - CFLP): Een compactere herformulering waarbij compatibiliteitseisen direct in het domein van de toewijzingsvariabelen zijn ingebed, wat de restrictiestructuur vermindert.

Om het model te evalueren, ontwikkelden de auteurs een synthetische benchmarkgenerator die realistische regionale schoolnetwerken reproduceert met hiërarchische nederzettingspatronen en variërende demografische scenario's. Daarnaast werd een casestudy uit de echte wereld uitgevoerd met het volledige publieke schoolnetwerk van de regio Calabrië (Italië).

De studie onderzoekt zowel klassieke als quantum-optimalisatiebenaderingen. Klassieke optimalisatie maakt gebruik van de Gurobi Optimizer (exacte solver). Quantum-optimalisatie maakt gebruik van een hybride quantum-klassiek framework (D-Wave Leap) met behulp van een Constrained Quadratic Model (CQM) om het probleem op te lossen via Quantum Annealing (QA).

Belangrijkste Bijdragen

• Nieuw ILP-Formulering: Het artikel introduceert een specifiek ILP-model voor schooldimensionering dat uniek institutionele regelgeving, wegnetwerk-reistijden, territoriale kwetsbaarheid en curriculaire compatibiliteit binnen één enkel kader integreert.
• Synthetische Benchmarkgeneratie: De auteurs hebben een generator voor synthetische instanties ontwikkeld, waarmee het gebrek aan publieke benchmarkdatasets voor schooldimensioneringsproblemen wordt aangepakt.
• Quantum-optimalisatie Proof-of-Concept: Het werk herformuleert het schooldimensioneringsprobleem als een CQM en implementeert het op een hybride quantum-solver, waarbij de haalbaarheid van opkomende quantumtechnologieën voor de planning van publieke dienstverleningsnetwerken wordt beoordeeld.
• Validatie in de Praktijk: Het model wordt toegepast op het volledige schoolnetwerk van Calabrië, wat de toepasbaarheid ervan demonstreert voor complexe, real-world operationele scenario's met 190 beslissingsvariabelen en diverse territoriale beperkingen.

Resultaten

• Klassieke Prestaties: De compacte CFLP-formulering (Variant II) vertoonde een hoge computationele efficiëntie. Voor synthetische instanties variërend van 250 tot 1.000 scholen vond de Gurobi-solver optimale oplossingen in een verwaarloosbare tijd (gemiddelde looptijd < 0,12 seconden voor 1.000 scholen). Gevoeligheidsanalyse toonde aan dat geografische coherentie (inter-gemeentelijke straffen) en inschrijvingsdrempels de dominante drijfveren van de optimalisatie waren, terwijl territoriale bescherming en toegankelijkheidsdrempels minimale statistische invloed hadden op de optimale objectieve waarde in de geteste synthetische scenario's.
• Quantum Prestaties: In de hybride quantum-klassieke experimenten (getest op de synthetische instantie van 500 scholen en de Calabrië-casestudy), reproduceerde de solver consistent de exacte optimale oplossingen gevonden door de klassieke solver met een optimaliteitskloof van 0% en een standaarddeviatie van nul over herhaalde runs. Echter, de quantum-aanpak vertoonde aanzienlijk hogere executietijden (ongeveer 11–13 seconden) vergeleken met de klassieke solver (< 0,2 seconden), wat te wijten is aan de overhead van het hybride framework in plaats van de optimalisatiecomplexiteit zelf.
• Calabrië Casestudy: Het model genereerde succesvol optimale aggregatieplannen voor de regio Calabrië onder 64 verschillende beleidsconfiguraties. De resultaten toonden structurele robuustheid; variaties in beleidsgewichten veranderden de territoriale organisatie of het aantal educatieve hubs niet drastisch, wat suggereert dat de geografie van het netwerk de belangrijkste determinant is van de oplossingsstructuur.

Betekenis en Claims
Het artikel beweert dat het voorgestelde framework dient als een robuust besluitvormingsinstrument voor regionale autoriteiten, waardoor planning op basis van bewijs mogelijk wordt die de balans houdt tussen administratieve efficiëntie en territoriale gelijkheid. De auteurs benadrukken dat de methodologie effectief de structurele kenmerken van het onderwijssysteem behoudt terwijl het optimale aggregatieplannen identificeert onder diverse beleidsscenario's.

Wat betreft quantum computing neemt het artikel een bescheiden standpunt in. Het claimt geen computationele superioriteit over klassieke methoden. In plaats daarvan positioneert het werk zich als een validatie van de compatibiliteit van de voorgestelde wiskundige formulering met opkomende quantumtechnologieën. De resultaten laten zien dat het schooldimensioneringsprobleem de structurele kenmerken bezit (binaire variabelen, ijle constraints) die geschikt zijn voor hybride quantum-optimalisatie. De auteurs concluderen dat hoewel huidige quantumhardware nog niet sneller is dan state-of-the-art klassieke solvers voor dit specifieke probleem, de succesvolle reproductie van optimale oplossingen de levensvatbaarheid van de aanpak bevestigt naarmate quantumhardware volwassen wordt. Voorgestelde toekomstige onderzoeksrichtingen omvatten meerjarige planning, demografische forecasting en de toepassing van de volgende generatie quantumhardware op grootschaligere instanties.