Implementazione di algoritmi di cammino minimo vincolato per la configurazione dinamica dello spazio aereo

Questa tesi affronta il problema della configurazione dinamica dello spazio aereo, che consiste nel partizionare dinamicamente lo spazio aereo per ottimizzarne il controllo e garantire maggiore sicurezza. L'obiettivo è minimizzare il sovraccarico nei settori, rispettando vincoli operativi. Il lavoro si concentra sull'implementazione in C/C++ di un algoritmo su grafi (percorso minimo vincolato) includendo vincoli di permanenza e quiescenza, con lo scopo di sviluppare un software efficiente e analizzarne le performance su dati realistici/reali, confrontandole con quelle ottenibili con algoritmi esistenti basati su programmazione lineare intera.