CCCGuide

Problem S3: Gates

2015 · S3 · Original problem · DMOJ

Problem Description

For your birthday, you were given an airport.

The airport has GG gates, numbered from 1 to GG.

PP planes arrive at the airport, one after another. You are to assign the iith plane to permanently dock at any gate 1,…,gi (1≤gi≤G)1,\ldots, g_i~(1 \leq g_i \leq G), at which no previous plane has docked. As soon as a plane cannot dock at any gate, the airport is shut down and no future planes are allowed to arrive.

In order to keep the person who gave you the airport happy, you would like to maximize the number of planes starting from the beginning that can all dock at different gates.

Input Specification

The first line of input contains G (1≤G≤105)G~(1 \leq G \leq 10^5), the number of gates at the airport.

The second line of input contains P (1≤P≤105)P~(1 \leq P \leq 10^5), the number of planes which will land.

The next PP lines contain one integer gi (1≤gi≤G)g_i~(1 \leq g_i \leq G), such that the iith plane must dock at some gate from 11 to gig_i, inclusive.

Note that for at least 40% of the marks for this question, P≤2000P \leq 2000 and G≤2000G \leq 2000.

Output Specification

Output the maximum number of planes that can land starting from the beginning.

Sample Input 1

4
3
4
1
1

Output for Sample Input 1

2

Explanation of Output for Sample Input 1

The first plane can go anywhere, but it is best to not put it into Gate 1. Notice that planes 2 and 3 both want to dock into Gate 1, so plane 3 is unable to dock.

Sample Input 2

4
6
2
2
3
3
4
4

Output for Sample Input 2

3

Explanation of Output for Sample Input 2

The first two planes will dock in gates 1 and 2 (in any order). The third plane must dock at Gate 3. Thus, the fourth plane cannot dock anywhere, and the airport is closed, even though plane 5 would have been able to dock.