El TeXbook describe (en el capítulo 14) en detalle cómo TeX calcula los deméritos totales asociados con dividir un párrafo en líneas y que TeX elige la secuencia de puntos de interrupción que producen la menor cantidad de deméritos totales (en un proceso con tres pasos).
Sin embargo, hay un pequeño detalle que no se menciona en el TeXbook: ¿Qué sucede si dos (o más) secuencias de puntos de interrupción producen los mismos deméritos totales? ¿Se puede describir en términos simples qué secuencia de puntos de interrupción elige TeX en tal caso? ¿O tienes que leer el código fuente de TeX para entenderlo?
Respuesta1
TeX tiene al final del salto de línea una lista de puntos de interrupción que comienzan con "@\par". Esta lista se examina desde el último hasta el primero y se toma el primer punto de interrupción "@\par" con el total de deméritos más pequeño para encontrar el punto de interrupción anterior, etc., hasta el inicio del párrafo.
La secuencia de puntos de interrupción en esta lista se cambia por \looseness(y otras primitivas, por ejemplo \parshape). En este articulo
https://tug.org/TUGboat/tb37-3/tb117wermuth.pdf, páginas 372--373, se presenta un párrafo corto que TeX compone de manera diferente dependiendo de la configuración de \looseness, es decir, 0 o -1, aunque el número de líneas en el párrafo es siempre el mismo.