Предположим, что у меня есть мультикарта (которая отображает несколько значений на один ключ), и затем я решаю, что мне нужно удалить все, кроме первого / последнего / совпадающего с предикатом значения для всех ключей. После этой операции у меня есть традиционная карта (которая отображает одно значение на один ключ).
Есть ли слово, которое описывает эту операцию? Лучшее, что я придумал, это «удалить дубликаты», но это не так. «фильтр» кажется слишком общим. «trim» - это строковая операция. «компактный» / «сжатый» несут неправильные значения (то есть обратимость).
РЕДАКТИРОВАТЬ: я в конечном итоге пошел с "Свернуть" на основе идеи, что multimap[i] is (y1, y2, ... yn), который описывает кривую, и что я хотел "свернуть кривую в одну точку", используя "функцию приоритета", чтобы выбрать первый элемент , Я надеюсь, что это имеет смысл.