2013-BIT程序设计 15.小浣熊干脆面

Eureka灰常喜欢吃小浣熊干脆面（五香牛肉味，烤肉味，奇奇怪怪味，意大利红烩味，照烧猪排味，香辣蟹味，海苔味，麻辣香锅味，巧克力味，草莓味，玉米味，炸鸡味，奥尔良烤鸡翅味）。以上只是为了馋一下你 ^_^

现在Eureka厌倦了吃干脆面，所以他打算收集齐所有种类的干脆面送给NONO~,但是新一的自动售货机只能买连续的一些干脆面，并且你只能使用一次自动售货机，你能告诉他最少买多少包么？

输入

第一行两个整数n(1 <= n <= 1000000),表示售货机有连续的n袋干脆面, m(1 <= m <= 2000), 表示一共有m种干脆面

第二行有n个整数分别为a1,a2,a2...,an（1 <= ai <= 2000)，表示第i袋干脆面是第ai种的

输出

一个整数ans，表示最少购买多少袋(也就是说最短的区间包含1到m所有类型的干脆面,当然Eureka可以等待别人买完前面的一部分再开始买）

样例中Eureka会选择购买5 3 1 3 2 4这一段共6袋

测试用例 2 以文本方式显示
1.12 5↵
2.2 5 3 1 3 2 4 1 1 5 4 3↵以文本方式显示
1.6↵1秒 64M 0