Если функция цены это сумма длин в какой-то степени \gamma, то при \gamma->+∞ мы минимизируем максимальную длину отрезка (а далее лексикографически: если максимальные длины совпадают, то смотрим на следующие за ними, и так далее).
Значения \gamma<0 тоже осмысленны, только нужно поменять знак — рассматривать функцию  
-d(x,y)^\gamma,
чтобы она была всё ещё монотонно возрастающей.
Предел \gamma->-∞ означает, что нас интересуют сначала самые короткие отрезки (чем короче отрезок, тем больше по модулю его цена). Так что для конечного случая рассмотрение γ→−∞ означает, что мы сначала « подружим » самые близкие красную и синюю точки, потом самые близкие из оставшихся, потом самые близкие из оставшихся, и так далее.
И этот случай — единственный из трёх на той картинке, для которого существование неулучшаемого паросочетания на всей плоскости было известно.