Jardín triangular de coste mínimo

Optimización: por qué esas variables, de dónde sale la ligadura y cómo se sabe que es un mínimo