### 2015 Canadian Computing Competition, Stage 1

## Problem S3: Gates

For your birthday, you were given an airport.

The airport has `G` gates, numbered from 1 to `G`.

`P` planes arrive at the airport, one after another. You are to assign the `i`-th plane to permanently dock at any gate 1, …, `g _{i}` (1 ≤

`g`≤

_{i}`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

The first line of input contains `G` (1 ≤ `G` ≤ 10^{5}), the number of gates at the airport.

The second line of input contains `P` (1 ≤ `P` ≤ 10^{5}), the number of planes which will land.

The next `P` lines contain one integer `g _{i}` (1 ≤

`g`≤

_{i}`G`), such that the

`i`th plane must dock at some gate from 1 to

`g`, inclusive.

_{i}Note that for at least 40% of the marks for this question, `P` ≤ 2000 and `G` ≤ 2000.

### Output

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

### Sample Input 1

4 3 4 1 1

### Sample Output 1

2

### Explanation of Sample 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

### Sample Output 2

3

### Explanation of Sample 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.

All Submissions

Best Solutions

**Point Value:** 7

**Time Limit:** 2.00s

**Memory Limit:** 256M

**Added:** Feb 21, 2015

**Author:** SourSpinach

**Languages Allowed:**

C++03, PAS, C, HASK, ASM, RUBY, PYTH2, JAVA, PHP, SCM, CAML, PERL, C#, C++11, PYTH3

## Comments (Search)

Alexon Feb 21, 2015 - 6:45:43 pm UTC Stronger data added^{2}) solution now fails (as it should).hezeyu2007on Dec 15, 2017 - 1:44:40 am UTC Re: Stronger data addedkxoraxeon Dec 18, 2017 - 4:03:07 pm UTC Re: Stronger data addedA test case is stronger if it is more difficult to solve.

hezeyu2007on Dec 15, 2017 - 1:58:45 am UTC weirdAaronZhang314on Dec 18, 2017 - 12:58:09 am UTC Re: weird