"Matematizzazione"

[Triarii]

Come da titolo, cerco delle dispense sui trucchetti da usare in questi cosiddetti problemi di "matematizzazione" (come vengono chiamati nelle raccolte di Barsanti e altri). Quando li faccio (in particolare quelli so configurazioni ottimali/percorsi minimi) o qualche idea, ma non riesco mai a risolvere il problema completamente). Poi un'altra cosa che mi piacerebbe sapere è la giustificazione formale delle colorazioni... Non ho mai capito perchè funzionino
Grazie in anticipo