По каждому атрибуту построим точку в 3d: (first_slime[i], second_slime[i], third_slime[i]). Задача эквивалентна следующей: построить монотонную цепочку (у каждой следующей точки все 3 координаты >= предыдущей; в цепочке не обязательно столько же точек сколько во вводе) такую, что если каждую исходную точку модифицировать в ближайшую (по Манхэттену) точку построенной цепочки, то сумма будет минимальна. Можно показать, что в цепочке, которую мы строим, можно всегда считать, что у соседних точек две координаты совпадают, а третья +1 (с точки зрения сжатых координат). Отсюда простое ДП за N^3.

Поехать двумя машинами, очевидно, невыгодно, так как ходить медленнее. Путь от остановки первой машины до стоянки второй мы проделаем быстрее на колёсах, а если сэкономим машину, нам будет только лучше.