Отсортируем обувь по неубыванию размера и применим жадный алгоритм: как только размер очередной пары больше последней "надетой" хотя бы на 3 размера, увеличиваем счетчик количества пар и меняем последний использованный размер. В качестве первой пары нам подходит минимальная из тех, которые больше или равны размеру ноги покупателя.