농부 철수는 N(1<=N<=100,000)마리의 소를 소유하고 있다.

지금 이 N마리의 소가 한 줄로 서 있고, 각각의 소는 1부터 K(1<=K<=10,000)사이의 번호가 붙어 있는데,

이는 소의 품종을 식별하는 용도로 사용된다.

예를 들어 14마리의 소가 다음과 같이 서 있다고 하자. 숫자는 위에서 언급했듯 해당 소의 품종을 의미하는 식별 번호다.

1 5 3 2 5 1 3 4 4 2 5 1 2 3

농부 철수는 수학적 감각이 탁월한 농부여서 위의 품종번호들의 연속된 나열을 수열로 보고,

해당 수열의 특성을 알아차리고자 한다. 예컨대, 3 4 1 3은 위 수열의 부분 수열(연속일 필요는 없다.)임을 알 수 있다.

농부 철수를 위 수열에서 가능한 모든 부분 수열 중 1부터 K의 수를 이용해서

구성할 수 없는 가장 짧은 부분 수열의 길이를 찾고자 한다.

하지만 소의 마리수가 너무 많을 경우에는 수를 헤아리는데 너무 많은 시간이 들게 되므로

이러한 문제를 푸는 프로그램을 작성하여 농부 철수를 도와주자.

The Cow Lineup timer 1s memory 256MB

The Cow Lineup 1s 256MB