T434255 「YAC Round 7」✌巫女要买茶叶了


灵梦有一个数组，她现在想要花费最少的钱将数组清空，这样她就可以拿省下来的钱去买幻想乡最好的茶叶了。 灵梦有两种操作： - 直接删除一个元素 $x$，花费的代价为 $1$； - 若上一次删除的元素为 $x$，那么可以删除一个元素 $x + 1$，花费的代价为 $0$。 注意此操作的前提是 $x + 1$ 在数组中存在。 请帮灵梦算出清空数组的最小代价。

第一行包含一个整数 $n$ $\;$ (1 \le n \le 10^5)，表示数组的大小。 第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$ $\;$ ($1 \le a_i \le 10^9$)，表示数组的元素。

输出一个整数，表示灵梦清空数组花费的最小代价。