Legge di Benford e Minizinc challenge

La legge di Benford, o legge della prima cifra, serve a descrivere la distribuzione di probabilità con cui compare la prima cifra in molte raccolte di dati reali. Oggi viene principalmente utilizzata per analizzare insiemi di dati rilevando i casi in cui la stessa non viene rispettata. In questo studio ci si è chiesti se fosse possibile applicarla alle soluzioni di problemi di programmazione a vincoli, prendendo come riferimento la MiniZinc challenge. Lo scopo di questo elaborato è fare chiarezza sul possibile utilizzo della legge di Benford per definire delle euristiche di ricerca nei problemi di programmazione a vincoli.