MatMin has same structure as matrix multiplication (+ -> min, * -> +).
Problem solution is essentially repeated matrix multiplication!