eolymp
Змагання

Implementation: Data Structures

SpaceX

Ілон Маск планує відправити свої космічні кораблі на k різних планет. Для цього у нього є n космічних кораблів. Спочатку відомо, куди буде відправлено кожен корабль. Планети пронумеровані від 1 до 109 . Як гловному космоінженеру компанії SpaceX, вам надано право міняти пункт призначення будь-якого корабля. Вам, за мінимальну кількість змін, потрібно зробити так, щоб всі кораблі були відправлені на k різних планет.

Вхідні дані

В першому рядку дано два числа n (1n105) і k (1kn). У другому рядку розміщені n цілих чисел pi (1pi105 ) - початкові пункти призначення кораблів.

Вихідні дані

Виведіть мінімальну кількість змін.

Ліміт часу 1 секунда
Ліміт використання пам'яті 128 MiB
Вхідні дані #1
3 1
1 5 3
Вихідні дані #1
2
Вхідні дані #2
5 4
10 1 2 1 10
Вихідні дані #2
1
Автор Рафаэль Саддатимов
Джерело 2019-2020 Азербайджан, Финал Республиканской олимпиады, 17 июня