Ernesto, la teoria che cerchi è tutta esposta nella Guida GuIT, capitolo 27, in parricolare il § 27.1 con la formaula 27.1 per la formazione dei capoversi.
§ 27.2 per la divisione delle pagine e la formula 27.3 per il calcolo del “costo” che è in sostanza la badness della apgina, invece che del capovero.
ì importante sapere che quando componi un capoverso, esso non viene spezzato in righe subito, quindi non si sta parlando della bruttezza di quella \hbox, ma questo buffer viene svuotao nella scatola 255, la “galley proof” formado il cpaoverso, ma senza inserire materiale flottante o altri “inserts”, quando entra in azione la routine di uscita, per accodare la pagina corrente al file di uscita, allora si tiene coto anche degli inserts, e degli oggetti flottanti.
Non è semplice tenere a mente ogni dettaglio di questo meccanismo complesso, ma è importante conoscerlo perché se lil programam di composizione e la routine di uscita fanno in un certo modo, quello è il risultato dell’ottimizzazione discreta programmata dal matematico Knuth per minimizzare la badness del capoverso e il costo della pagina. Essendo il frutto di una ottimizzazione, è difficle poter fare di meglio, perché meglio dell’ottimo è un po’ impossibile….:smile: